Skip to main content


Journal of Automated Reasoning

Journal of Automated Reasoning 4/2019

Issue 4/2019

Special Issue: Linearity / Guest Editors: Iliano Cervesato, Maribel Fernandez & Special Issue: Selected Extended Papers of NFM 2017 / Guest Editors: Clark Barrett, Temesghen Kahsai

Table of Contents ( 13 Articles )

27-07-2019 | Issue 4/2019

Preface to the Special Issue on Linearity

Iliano Cervesato, Maribel Fernández

31-07-2019 | Issue 4/2019

Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs

Patrick Baillot, Gilles Barthe, Ugo Dal Lago

18-06-2018 | Issue 4/2019

A Proof Theory for Model Checking

Quentin Heath, Dale Miller

07-02-2018 | Issue 4/2019 Open Access

Linear Numeral Systems

Ian Mackie

22-05-2018 | Issue 4/2019

Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics

Matteo Acclavio

13-03-2019 | Issue 4/2019

QPCF: Higher-Order Languages and Quantum Circuits

Luca Paolini, Mauro Piccolo, Margherita Zorzi

22-06-2019 | Issue 4/2019

Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic

Mohamed Yousri Mahmoud, Amy P. Felty

20-10-2018 | Issue 4/2019

Selected Extended Papers of NFM 2017: Preface

Clark Barrett, Temesghen Kahsai

24-11-2018 | Issue 4/2019

Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants

Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson

19-01-2019 | Issue 4/2019

Compositional Falsification of Cyber-Physical Systems with Machine Learning Components

Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia

29-11-2018 | Issue 4/2019

Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae

Susmit Jha, Tuhin Sahai, Vasumathi Raman, Alessandro Pinto, Michael Francis

07-11-2018 | Issue 4/2019

An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains

Hadar Frenkel, Orna Grumberg, Sarai Sheinvald

25-10-2018 | Issue 4/2019 Open Access

Efficient Active Automata Learning via Mutation Testing

Bernhard K. Aichernig, Martin Tappler

Current Publications

Premium Partner

    Image Credits