Skip to main content
Register
Springer Professional
TOOLBAR 1 2 3 4
SEARCH
MENU 1 2 3 4
Close search form
EXTENDED SEARCH
main-content
Top
Issue archive
​
archive
​
insite
Print
​
print
​
share

Journal

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
Download PDF-version View full text

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
Download PDF-version View full text

Current Publications

Journal of Automated Reasoning 1/2021

Issue 1/2021
Journal of Automated Reasoning 8/2020

Issue 8/2020
Journal of Automated Reasoning 7/2020

Issue 7/2020
Journal of Automated Reasoning 6/2020

Issue 6/2020
Journal of Automated Reasoning 5/2020

Issue 5/2020
Journal of Automated Reasoning 4/2020

Issue 4/2020
Journal of Automated Reasoning 3/2020

Issue 3/2020
Journal of Automated Reasoning 2/2020

Issue 2/2020
Journal of Automated Reasoning 1/2020

Issue 1/2020
Journal of Automated Reasoning 4/2019

Issue 4/2019

Premium Partner

Neuer Inhalt
    Image Credits

    Version: 0.1251.0