Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations Ullrich HustadtAna OzakiClare Dixon OriginalPaper Open access 19 February 2020 Pages: 1553 - 1610
The 2D Dependency Pair Framework for Conditional Rewrite Systems—Part II: Advanced Processors and Implementation Techniques Salvador LucasJosé MeseguerRaúl Gutiérrez OriginalPaper 16 January 2020 Pages: 1611 - 1662
Loop-Type Sequent Calculi for Temporal Logic R. AlonderisR. PliuškevičiusH. Giedra OriginalPaper 13 February 2020 Pages: 1663 - 1684
System-Level Non-interference of Constant-Time Cryptography. Part II: Verified Static Analysis and Stealth Memory Gilles BartheGustavo BetarteDavid Pichardie OriginalPaper 17 February 2020 Pages: 1685 - 1729