The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "J. Autom. Reasoning"( http://dblp.L3S.de/Venues/J._Autom._Reasoning )

URL (DBLP): http://dblp.uni-trier.de/db/journals/jar

Publication years (Num. hits)
1985 (25) 1986 (18) 1987 (20) 1988 (22) 1989 (27) 1990 (25) 1991 (31) 1992 (38) 1993 (39) 1994 (34) 1995 (27) 1996 (25) 1997 (41) 1998 (29) 1999 (30) 2000 (26) 2001 (31) 2002 (33) 2003 (29) 2004 (27) 2005 (32) 2006 (29) 2007 (32) 2008 (28) 2009 (27) 2010 (35) 2011 (32) 2012 (37) 2013 (37) 2014 (28) 2015 (30) 2016 (29) 2017 (35) 2018 (37) 2019 (62)
Publication types (Num. hits)
article(1087)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 406 occurrences of 247 keywords

Results
Found 1087 publication records. Showing 1087 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Xavier Allamigeon, Ricardo D. Katz A Formalization of Convex Polyhedra Based on the Simplex Method. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dale Miller 0001 Mechanized Metatheory Revisited. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pierre Boutry, Charly Gries, Julien Narboux, Pascal Schreck Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matteo Acclavio Proof Diagrams for Multiplicative Linear Logic: Syntax and Semantics. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Simon Huber Canonicity for Cubical Type Theory. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andreas Lochbihler Effect Polymorphism in Higher-Order Logic (Proof Pearl). Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mauro Ferrari 0002, Camillo Fiorentini Goal-Oriented Proof-Search in Natural Deduction for Intuitionistic Propositional Logic. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Clark W. Barrett, Temesghen Kahsai Selected Extended Papers of NFM 2017: Preface. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Adam Sandberg Ericsson, Magnus O. Myreen, Johannes Åman Pohjola A Verified Generational Garbage Collector for CakeML. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fabian Immler, Christoph Traut The Flow of ODEs: Formalization of Variational Equation and Poincaré Map. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jasmin Christian Blanchette, Stephan Merz Selected Extended Papers of ITP 2016: Preface. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Li-Ming Li, Zhiping Shi, Yong Guan, Qian-Ying Zhang, Yong-Dong Li Formalization of Geometric Algebra in HOL Light. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luca Paolini, Mauro Piccolo, Margherita Zorzi QPCF: Higher-Order Languages and Quantum Circuits. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Gustavo Betarte, Juan Diego Campo, Carlos Luna System-Level Non-interference of Constant-Time Cryptography. Part I: Model. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ondrej Kuncar, Andrei Popescu 0001 A Consistent Foundation for Isabelle/HOL. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Iliano Cervesato, Maribel Fernández Preface to the Special Issue on Linearity. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel Verifying OpenJDK's Sort Method for Generic Collections. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xingyuan Zhang, Christian Urban Selected Extended Papers of ITP 2015: Preface. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bernhard K. Aichernig, Martin Tappler Efficient Active Automata Learning via Mutation Testing. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Susmit Jha, Tuhin Sahai, Vasumathi Raman, Alessandro Pinto, Michael Francis Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Olaf Beyersdorff, Joshua Blinkhorn, Leroy Chew, Renate A. Schmidt, Martin Suda 0001 Reinterpreting Dependency Schemes: Soundness Meets Incompleteness in DQBF. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohamed Yousri Mahmoud, Amy P. Felty Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ian Mackie Linear Numeral Systems. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peter Lammich Refinement to Imperative HOL. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Frédéric Besson, Sandrine Blazy, Pierre Wilke CompCertS: A Memory-Aware Verified C Compiler Using a Pointer as Integer Semantics. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dominik Kirst, Gert Smolka Categoricity Results and Large Model Constructions for Second-Order ZF in Dependent Type Theory. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hing-Lun Chan, Michael Norrish Classification of Finite Fields with Applications. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jia Tao A PSpace Algorithm for Acyclic Epistemic DL ALCS5m. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Frédéric Besson, Sandrine Blazy, Pierre Wilke A Verified CompCert Front-End for a Memory Model Supporting Pointer Arithmetic and Uninitialised Data. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ondrej Kuncar, Andrei Popescu 0001 From Types to Sets by Local Type Definition in Higher-Order Logic. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk, Karol Pak Semantics of Mizar as an Isabelle Object Logic. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Grégoire, Adam Chlipala Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexander Bentkamp, Jasmin Christian Blanchette, Dietrich Klakow A Formal Proof of the Expressiveness of Deep Learning. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peter LeFanu Lumsdaine, Nicolas Tabareau Preface: Special Issue on Homotopy Type Theory and Univalent Foundations. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tobias Nipkow, Hauke Brinkop Amortized Complexity Verified. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hing-Lun Chan, Michael Norrish Proof Pearl: Bounding Least Common Multiples with Triangles. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wenxi Wang, Harald Søndergaard, Peter J. Stuckey Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marc Bezem, Thierry Coquand, Simon Huber The Univalence Axiom in Cubical Sets. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wenda Li, Grant Olney Passmore, Lawrence C. Paulson Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tomás Peitl, Friedrich Slivovsky, Stefan Szeider Long-Distance Q-Resolution with Dependency Schemes. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Patrick Baillot, Gilles Barthe, Ugo Dal Lago Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Benedikt Ahrens, Ralph Matthes, Anders Mörtberg From Signatures to Monads in UniMath. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guillaume Brunerie The James Construction and π4(S3) in Homotopy Type Theory. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, Joao Marques-Silva, Peter Schneider-Kamp Formally Verifying the Solution to the Boolean Pythagorean Triples Problem. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peter Lammich, Andreas Lochbihler Automatic Refinement to Efficient Data Structures: A Comparison of Two Approaches. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hadar Frenkel, Orna Grumberg, Sarai Sheinvald An Automata-Theoretic Approach to Model-Checking Systems and Specifications Over Infinite Data Domains. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Filip Maric Fast Formal Proof of the Erdős-Szekeres Conjecture for Convex Polygons with at Most 6 Points. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohammad Abdulaziz, Lawrence C. Paulson An Isabelle/HOL Formalisation of Green's Theorem. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peter Lammich, S. Reza Sefidgar Formalizing Network Flow Algorithms: A Refinement Approach in Isabelle/HOL. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi Guarded Cubical Type Theory. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yannick Forster 0002, Gert Smolka Call-by-Value Lambda Calculus as a Model of Computation in Coq. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mauricio Ayala-Rincón, César A. Muñoz Selected Extended Papers of ITP 2017 - Preface. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrew Sogokon, Paul B. Jackson, Taylor T. Johnson Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Assia Mahboubi, Guillaume Melquiond, Thomas Sibut-Pinote Formally Verified Approximations of Definite Integrals. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Gabriel Ebner, Stefan Hetzl, Alexander Leitsch, Giselle Reis, Daniel Weller On the Generation of Quantified Lemmas. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bohua Zhan Formalization of the Fundamental Group in Untyped Set Theory Using Auto2. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sylvain Boulmé, Alexandre Maréchal Refinement to Certify Abstract Interpretations: Illustrated on Linearization for Polyhedra. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Arthur Charguéraud, François Pottier Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tommaso Dreossi, Alexandre Donzé, Sanjit A. Seshia Compositional Falsification of Cyber-Physical Systems with Machine Learning Components. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Quentin Heath, Dale Miller 0001 A Proof Theory for Model Checking. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexander Leitsch, Anela Lolic Extraction of Expansion Trees. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Qinxiang Cao, Lennart Beringer, Samuel Gruetter, Josiah Dodds, Andrew W. Appel VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fabian Immler A Verified ODE Solver and the Lorenz Attractor. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Muhammad Usama Sardar, Nida Afaq, Osman Hasan, Khaza Anuarul Hoque Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA). Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John Slaney, Bruno Woltzenlogel Paleo Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yi-Chin Wu, Vasumathi Raman, Blake C. Rawlings, Stéphane Lafortune, Sanjit A. Seshia Synthesis of Obfuscation Policies to Ensure Privacy and Utility. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cornelius Diekmann, Lars Hupel, Julius Michaelis, Max W. Haslbeck, Georg Carle Verified iptables Firewall Analysis and Verification. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jeremy Avigad, Jasmin Christian Blanchette, Gerwin Klein, Lawrence C. Paulson, Andrei Popescu 0001, Gregor Snelting Introduction to Milestones in Interactive Theorem Proving. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Josh Newell, Linna Pang, David Tremaine, Alan Wassyng, Mark Lawford Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jasmin Christian Blanchette, Mathias Fleury, Peter Lammich, Christoph Weidenbach A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Maggesi A Formalization of Metric Spaces in HOL Light. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu 0001, Franco Raimondi CoSMed: A Confidentiality-Verified Social Media Platform. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Grzegorz Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Kornilowicz, Roman Matuszewski, Adam Naumowicz, Karol Pak The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mohammad Abdulaziz, Michael Norrish, Charles Gretton Formally Verified Algorithms for Upper-Bounding State Space Diameters. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicolas Matentzoglu, Bijan Parsia, Uli Sattler OWL Reasoning: Subsumption Test Hardness and Modularity. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Salvador Lucas, Raúl Gutiérrez Automatic Synthesis of Logical Models for Order-Sorted First-Order Theories. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John Slaney, Bruno Woltzenlogel Paleo Erratum to: Conflict Resolution: A First-Order Resolution Calculus with Decision Literals and Conflict-Driven Clause Learning. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hao Chen 0023, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu Toward Compositional Verification of Interruptible OS Kernels and Device Drivers. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gang Tan, Greg Morrisett Bidirectional Grammars for Machine-Code Decoding and Encoding. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sandrine Blazy, Marsha Chechik Selected Extended Papers of VSTTE 2016. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Filipe Casal, João Rasga Many-Sorted Equivalence of Shiny and Strongly Polite Theories. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Clochard, Léon Gondelman, Mário Pereira The Matrix Reproved (Verification Pearl). Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lukasz Czajka 0001, Cezary Kaliszyk Hammer for Coq: Automation for Dependent Type Theory. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dirk Beyer 0001, Matthias Dangl, Philipp Wendler A Unifying View on SMT-Based Software Verification. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anders Schlichtkrull Formalization of the Resolution Calculus for First-Order Logic. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Susmit Jha, Vasumathi Raman, Dorsa Sadigh, Sanjit A. Seshia Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreas Lochbihler Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, César Sánchez Visibly Linear Temporal Logic. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Eric Braude, Satbek Abdyldayev Generalizing Morley's and Other Theorems with Automated Realization. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christian Doczkal, Gert Smolka Regular Language Representations in the Constructive Type Theory of Coq. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich Relational Program Reasoning Using Compiler IR - Combining Static Verification and Dynamic Analysis. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yves Bertot, Laurence Rideau, Laurent Théry Distant Decimals of π : Formal Proofs of Some Algorithms Computing Them and Guarantees of Exact Computation. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1César A. Muñoz, Sanjai Rayadurgam, Oksana Tkachuk Selected Extended Papers of NFM 2016: Preface. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Julian Brunner 0001, Peter Lammich Formal Verification of an Executable LTL Model Checker with Partial Order Reduction. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric Verifying Relative Safety, Accuracy, and Termination for Program Approximations. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi Automated Verification of Functional Correctness of Race-Free GPU Programs. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zoltan A. Kocsis, Jerry Swan Genetic Programming + Proof Search = Automatic Improvement. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1André Platzer A Complete Uniform Substitution Calculus for Differential Dynamic Logic. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1087 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license