Skip to main content


Journal of Automated Reasoning

Journal of Automated Reasoning 4/2019

Ausgabe 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

Inhaltsverzeichnis ( 13 Artikel )

27.07.2019 | Ausgabe 4/2019

Preface to the Special Issue on Linearity

Iliano Cervesato, Maribel Fernández

31.07.2019 | Ausgabe 4/2019

Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs

Patrick Baillot, Gilles Barthe, Ugo Dal Lago

18.06.2018 | Ausgabe 4/2019

A Proof Theory for Model Checking

Quentin Heath, Dale Miller

07.02.2018 | Ausgabe 4/2019 Open Access

Linear Numeral Systems

Ian Mackie

22.05.2018 | Ausgabe 4/2019

Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics

Matteo Acclavio

13.03.2019 | Ausgabe 4/2019

QPCF: Higher-Order Languages and Quantum Circuits

Luca Paolini, Mauro Piccolo, Margherita Zorzi

22.06.2019 | Ausgabe 4/2019

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

Mohamed Yousri Mahmoud, Amy P. Felty

20.10.2018 | Ausgabe 4/2019

Selected Extended Papers of NFM 2017: Preface

Clark Barrett, Temesghen Kahsai

24.11.2018 | Ausgabe 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 | Ausgabe 4/2019

Compositional Falsification of Cyber-Physical Systems with Machine Learning Components

Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia

29.11.2018 | Ausgabe 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 | Ausgabe 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 | Ausgabe 4/2019 Open Access

Efficient Active Automata Learning via Mutation Testing

Bernhard K. Aichernig, Martin Tappler

Aktuelle Ausgaben

Premium Partner