| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sabine Bauer 0002, Martin Hofmann 0001 |
Decidable linear list constraints.  |
LPAR  |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub |
Proving uniformity and independence by self-composition and coupling. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Agata Ciabattoni, Revantha Ramanayake |
Bunched Hypersequent Calculi for Distributive Substructural Logics. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Gleißner, Alexander Steen, Christoph Benzmüller |
Theorem Provers For Every Normal Modal Logic. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Mordvinov, Grigory Fedyukovich |
Synchronizing Constrained Horn Clauses. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibault Gauthier, Cezary Kaliszyk, Josef Urban |
TacticToe: Learning to Reason with HOL4 Tactics. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Philipp, Adrián Rebola-Pardo |
Towards a Semantics of Unsatisfiability Proofs with Inprocessing. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hira Taqdees Syeda, Gerwin Klein |
Reasoning about Translation Lookaside Buffers. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Lindsberger, Alexander Maringele, Georg Moser |
Quantified Boolean Formulas: Call the Plumber! |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux |
Automated analysis of Stateflow models. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Norbert Preining |
Gödel logics and the fully boxed fragment of LTL. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Kiesl, Martin Suda 0001, Martina Seidl, Hans Tompits, Armin Biere |
Blocked Clauses in First-Order Logic. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Temesghen Kahsai, Rody Kersten, Philipp Rümmer, Martin Schäf |
Quantified Heap Invariants for Object-Oriented Programs. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Frohn, Jürgen Giesl |
Analyzing Runtime Complexity via Innermost Runtime Complexity. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, David Sands 0001 (eds.) |
LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017 |
LPAR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Björn Lellmann, Carlos Olarte, Elaine Pimentel |
A uniform framework for substructural logics with modalities. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Cruz-Filipe, Peter Schneider-Kamp |
Formally Proving the Boolean Pythagorean Triples Conjecture. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey Fischer, Rupak Majumdar |
Programming by Composing Filters. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Bogaerts 0001, Eugenia Ternovska, David G. Mitchell |
Propagators and Solvers for the Algebra of Modular Systems. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah M. Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk |
Deep Network Guided Proof Search. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Frantisek Blahoudek, Alexandre Duret-Lutz, Mikulás Klokocka, Mojmír Kretínský, Jan Strejcek |
Seminator: A Tool for Semi-Determinization of Omega-Automata. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimas Melo Filho, Fred Freitas, Jens Otten |
RACCOON: A Connection Reasoner for the Description Logic ALC. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yazid Boumarafi, Lakhdar Sais, Yakoub Salhi |
From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Echahed, Aude Maignan |
Parallel Graph Rewriting with Overlapping Rules. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Jouannaud, Pierre-Yves Strub |
Coq without Type Casts: A Complete Proof of Coq Modulo Theory. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Gigante, Angelo Montanari, Mark Reynolds 0001 |
A One-Pass Tree-Shaped Tableau for LTL+Past. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ozan Kahramanogullari |
Deep Proof Search in MELL. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Kovács, Andrei Voronkov |
First-Order Interpolation and Interpolating Proof Systems. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Hollingum, Bernhard Scholz |
Cauliflower: a Solver Generator for Context-Free Language Reachability. |
LPAR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Miika Hannula |
Reasoning About Embedded Dependencies Using Inclusion Dependencies. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Cassez, Frowin Ziegler |
Verification of Concurrent Programs Using Trace Abstraction Refinement. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Adi Sosnovich, Orna Grumberg, Gabi Nakibly |
Analyzing Internet Routing Security Using Model Checking. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Dowek, Ying Jiang |
Decidability, Introduction Rules and Automata. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Steen, Christoph Benzmüller |
There Is No Best \beta -Normalization Strategy for Higher-Order Reasoners. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslav Klimos, Antonín Kucera 0001 |
Cobra: A Tool for Solving General Deductive Games. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Ahrendt, Laura Kovács, Simon Robillard |
Reasoning About Loops Using Vampire in KeY. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Baillot, Gilles Barthe, Ugo Dal Lago |
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Fiona Berreby, Gauvain Bourgne, Jean-Gabriel Ganascia |
Modelling Moral Reasoning and Ethical Responsibility with Logic Programming. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller 0001, Marco Volpe 0001 |
Focused Labeled Proof Systems for Modal Logic. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Egly, Florian Lonsing, Johannes Oetsch |
Automated Benchmarking of Incremental SAT and QBF Solvers. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina |
Automated Discovery of Simulation Between Programs. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vojtech Forejt, Jan Krcál, Jan Kretínský |
Controller Synthesis for MDPs and Frequency LTL\GU. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schäf |
Finding Inconsistencies in Programs with Loops. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Brottveit Bock, Carsten Schürmann 0001 |
A Contextual Logical Framework. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Souheib Baarir, Alexandre Duret-Lutz |
SAT-Based Minimization of Deterministic \omega -Automata. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto |
Boolean Formulas for the Static Identification of Injection Attacks in Java. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezary Kaliszyk, Josef Urban |
FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Aminof, Sasha Rubin, Florian Zuleger |
On the Expressive Power of Communication Primitives in Parameterised Systems. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival |
Abstract Domains and Solvers for Sets Reasoning. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaustuv Chaudhuri, Giselle Reis |
An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuya Uezato, Yasuhiko Minamide |
Synchronized Recursive Timed Automata. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Bello, Daniel Hedin, Andrei Sabelfeld |
Value Sensitivity and Observable Abstract Values for Information Flow Control. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari 0001 |
Gamifying Program Analysis. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Rosén, Nicholas Smallbone |
TIP: Tools for Inductive Provers. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Aminof, Aniello Murano, Sasha Rubin |
On CTL* with Graded Path Modalities. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen Claessen, Dan Rosén |
SAT Modulo Intuitionistic Implications. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoshin Nomura, Katsuhiko Sano, Satoshi Tojo |
A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov (eds.) |
Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Iliano Cervesato, Edmund S. L. Lam |
Modular Multiset Rewriting. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuck C. Liang, Dale Miller 0001 |
On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina David, Daniel Kroening, Matt Lewis |
Using Program Synthesis for Program Analysis. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Cynthia Kop, Naoki Nishida 0001 |
Constrained Term Rewriting tooL. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Lellmann, Elaine Pimentel |
Proof Search in Nested Sequent Calculi. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Liana Hadarean, Clark W. Barrett, Andrew Reynolds 0001, Cesare Tinelli, Morgan Deters |
Fine Grained SMT Proofs for the Theory of Fixed-Width Bit-Vectors. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Cintula, Denisa Diaconescu, George Metcalfe |
Skolemization for Substructural Logics. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Thinh Dong, Chan Le Duc, Philippe Bonnot 0002, Myriam Lamolle |
Tableau-Based Revision over SHIQ TBoxes. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibault Gauthier, Cezary Kaliszyk |
Sharing HOL4 and HOL Light Proof Knowledge. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Lonsing, Fahiem Bacchus, Armin Biere, Uwe Egly, Martina Seidl |
Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marijn J. H. Heule, Armin Biere |
Compositional Propositional Proofs. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub |
Relational Reasoning via Probabilistic Coupling. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Cvetan Dunchev, Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi |
ELPI: Fast, Embeddable, λProlog Interpreter. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaëtan Gilbert, Olivier Hermant |
Normalisation by Completeness with Heyting Algebras. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Éric Grégoire, Jean-Marie Lagniez |
On Anti-subsumptive Knowledge Enforcement. |
LPAR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezary Kaliszyk, Josef Urban |
Lemma Mining over HOL Light. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Annabelle McIver, Tahiry M. Rabehaja, Georg Struth |
An Event Structure Model for Probabilistic Concurrent Kleene Algebra. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Casini, Umberto Straccia |
Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gödel Logic. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Josh Berdine, Nikolaj S. Bjørner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger |
Resourceful Reachability as HORN-LA. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim French 0002, John Christopher McCabe-Dansted, Mark Reynolds 0001 |
Verifying Temporal Properties in Real Models. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Belaid Benhamou |
Dynamic and Static Symmetry Breaking in Answer Set Programming. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Scherer, Jan Hoffmann 0002 |
Tracking Data-Flow with Open Closure Types. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv |
Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisa Allali, Olivier Hermant |
Semantic A-translations and Super-Consistency Entail Classical Cut Elimination. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Heinemann |
Characterizing Subset Spaces as Bi-topological Structures. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, Samir Genaim, Enrique Martin-Martin |
May-Happen-in-Parallel Analysis for Priority-Based Scheduling. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner 0001, Joshua Bax |
Proving Infinite Satisfiability. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Cintula, George Metcalfe |
Herbrand Theorems for Substructural Logics. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Gudmund Grov, Aleks Kissinger, Yuhui Lin |
A Graphical Language for Proof Strategies. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Dietrich, Iain Whiteside, David Aspinall 0001 |
Polar: A Framework for Proof Refactoring. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Filipe Casal, João Rasga |
Revisiting the Equivalence of Shininess and Politeness. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marijn Heule, Armin Biere |
Blocked Clause Decomposition. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | David Aspinall 0001, Ewen Denney, Christoph Lüth |
A Semantic Basis for Proof Queries and Transformations. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina |
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Blackburn, Thomas Bolander, Torben Braüner, Klaus Frovin Jørgensen |
A Seligman-Style Tableau System. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | David Harel, Amir Kantor, Guy Katz |
Relaxing Synchronization Constraints in Behavioral Programs. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Mödersheim, Thomas Groß 0001, Luca Viganò 0001 |
Defining Privacy Is Supposed to Be Easy. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Régis Blanc, Ashutosh Gupta, Laura Kovács, Bernhard Kragl |
Tree Interpolation in Vampire. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Giulio Pellitta |
Complexity Analysis in Presence of Control Operators and Higher-Order Functions. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Syeda Hira Taqdees, Osman Hasan |
Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Krishnendu Chatterjee, Vojtech Forejt, Dominik Wojtczak |
Multi-objective Discounted Reward Verification in Graphs and MDPs. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Ignatiev, António Morgado 0001, Jordi Planes, João Marques-Silva 0001 |
Maximal Falsifiability - Definitions, Algorithms, and Applications. |
LPAR |
2013 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license