Volume 63, Issue 4

Search all Journal of Automated Reasoning articles

December 2019

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

Issue Editors:

Iliano Cervesato,
Maribel Fernandez,
Clark Barrett,
Temesghen Kahsai

13 articles in this issue

Preface to the Special Issue on Linearity
Iliano Cervesato
Maribel Fernández
EditorialNotes 27 July 2019 Pages: 809 - 811
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs
Patrick Baillot
Gilles Barthe
Ugo Dal Lago
OriginalPaper 31 July 2019 Pages: 813 - 855
A Proof Theory for Model Checking
Quentin Heath
Dale Miller
OriginalPaper 18 June 2018 Pages: 857 - 885
Linear Numeral Systems
Ian Mackie
OriginalPaper Open access 07 February 2018 Pages: 887 - 909
Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics
Matteo Acclavio
OriginalPaper 22 May 2018 Pages: 911 - 939
QPCF: Higher-Order Languages and Quantum Circuits
Luca Paolini
Mauro Piccolo
Margherita Zorzi
OriginalPaper 13 March 2019 Pages: 941 - 966
Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic
Mohamed Yousri Mahmoud
Amy P. Felty
OriginalPaper 22 June 2019 Pages: 967 - 1002
Selected Extended Papers of NFM 2017: Preface
Clark Barrett
Temesghen Kahsai
EditorialNotes 20 October 2018 Pages: 1003 - 1004
Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants
Andrew Sogokon
Paul B. Jackson
Taylor T. Johnson
OriginalPaper 24 November 2018 Pages: 1005 - 1029
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
Tommaso Dreossi
Alexandre Donzé
Sanjit A. Seshia
OriginalPaper 19 January 2019 Pages: 1031 - 1053
Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae
Susmit Jha
Tuhin Sahai
Michael Francis
OriginalPaper 29 November 2018 Pages: 1055 - 1075
An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains
Hadar Frenkel
Orna Grumberg
Sarai Sheinvald
OriginalPaper 07 November 2018 Pages: 1077 - 1101
Efficient Active Automata Learning via Mutation Testing
Bernhard K. Aichernig
Martin Tappler
OriginalPaper Open access 25 October 2018 Pages: 1103 - 1134

Volume 63, Issue 4

Search

Navigation