The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "LPAR"( http://dblp.L3S.de/Venues/LPAR )

URL (DBLP): http://dblp.uni-trier.de/db/conf/lpar

Publication years (Num. hits)
1992 (61) 1993 (37) 1994 (25) 1999 (24) 2000 (31) 2001 (51) 2002 (31) 2003 (31) 2004 (36) 2005 (52) 2006 (40) 2007 (40) 2008 (49) 2012 (35) 2013 (53) 2015 (44) 2017 (32) 2018 (40)
Publication types (Num. hits)
inproceedings(694) proceedings(18)
Venues (Conferences, Journals, ...)
LPAR(712)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 115 occurrences of 95 keywords

Results
Found 712 publication records. Showing 712 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Rachel Faran, Orna Kupferman LTL with Arithmetic and its Applications in Reasoning about Hierarchical Systems. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Udi Boker Why These Automata Types? Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais Efficient SAT-Based Encodings of Conditional Cardinality Constraints. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Yue Niu, Jan Hoffmann 0002 Automatic Space Bound Analysis for Functional Programs with Garbage Collection. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Orna Kupferman, Tami Tamir Alternating Reachability Games with Behavioral and Revenue Objectives. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Orna Kupferman Playing with the Maximum-Flow Problem. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Matthias Baaz, Anela Lolic Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina SMTS: Distributed, Visualized Constraint Solving. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Martin Jonás, Jan Strejcek Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (Experimental Paper). Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Chuan Jiang, Gianfranco Ciardo Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko, Maciej J. Ciesielski Rewriting Environment for Arithmetic Circuit Verification. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Bernhard Gleiss, Laura Kovács, Simon Robillard Loop Analysis by Quantification over Iterations. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Vincent Rahli, Liron Cohen 0001, Mark Bickford A Verified Theorem Prover Backend Supported by a Monotonic Library. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine A. Meadows, José Meseguer Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil Quasipolynomial Set-Based Symbolic Algorithms for Parity Games. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Valentin Cassano, Carlos Areces, Pablo F. Castro Reasoning About Prescription and Description Using Prioritized Default Rules. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler Function Summarization Modulo Theories. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ralph Bottesch, Max W. Haslbeck, René Thiemann A Verified Efficient Implementation of the LLL Basis Reduction Algorithm. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sabine Bauer 0002, Steffen Jost, Martin Hofmann 0001 Decidable Inequalities over Infinite Trees. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Krzysztof R. Apt, Davide Grossi, Wiebe van der Hoek When Are Two Gossips the Same? Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Benjamin Farinier, Robin David, Sébastien Bardin, Matthieu Lemerre Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Holger Hermanns, Sebastian Biewer, Pedro R. D'Argenio, Maximilian A. Köhl Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Nachum Dershowitz, Jean-Pierre Jouannaud Graph Path Orderings. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina Lookahead-Based SMT Solving. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Gilles Barthe, Geoff Sutcliffe, Margus Veanes (eds.) LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018 Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Jaroslav Bendík, Ivana Cerna Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Adrián Rebola-Pardo, Martin Suda 0001 A Theory of Satisfiability-Preserving Proofs in SAT Solving. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Emmanuelle-Anna Dietz, Steffen Hölldobler, Sibylle Schwarz, L. Yohanes Stefanus The Weak Completion Semantics and Equality. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Sebastian Rudolph, Mantas Simkus The Triguarded Fragment of First-Order Logic. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Anupam Das 0002, Amina Doumane, Damien Pous Left-Handed Completeness for Kleene algebra, via Cyclic Proofs. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Shubham Sharma, Rahul Gupta, Subhajit Roy, Kuldeep S. Meel Knowledge Compilation meets Uniform Sampling. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mikolas Janota, Martin Suda 0001 Towards Smarter MACE-style Model Finders. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Radu Iosif, Cristina Serban A Complete Cyclic Proof System for Inductive Entailments in First Order Logic. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto The involutions-as-principal types/application-as-unification Analogy. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Franz Baader, Oliver Fernandez Gil, Pavlos Marantidis Matching in the Description Logic FL0 with respect to General TBoxes. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Witold Charatonik, Yegor Guskov, Ian Pratt-Hartmann, Piotr Witkowski 0001 Two-variable First-Order Logic with Counting in Forests. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Elias Alevizos, Alexander Artikis, Georgios Paliouras Wayeb: a Tool for Complex Event Forecasting. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García Polymorphic success types for Erlang. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Dhruv Singal, Palak Agarwal, Saket Jhunjhunwala, Subhajit Roy Parse Condition: Symbolic Encoding of LL(1) Parsing. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Sebastian Link On the Interaction of Inclusion Dependencies with Independence Atoms. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Stefano Bistarelli, Fabio Martinelli, Ilaria Matteucci, Francesco Santini 0001 A Quantitative Partial Model-Checking Function and Its Optimisation. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Emmanuel Hainry, Romain Péchoux Higher order interpretation for higher order complexity. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Sabine Bauer 0002, Martin Hofmann 0001 Decidable linear list constraints. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub Proving uniformity and independence by self-composition and coupling. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Agata Ciabattoni, Revantha Ramanayake Bunched Hypersequent Calculi for Distributive Substructural Logics. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Tobias Gleißner, Alexander Steen, Christoph Benzmüller Theorem Provers For Every Normal Modal Logic. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Dmitry Mordvinov, Grigory Fedyukovich Synchronizing Constrained Horn Clauses. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Thibault Gauthier, Cezary Kaliszyk, Josef Urban TacticToe: Learning to Reason with HOL4 Tactics. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Tobias Philipp, Adrián Rebola-Pardo Towards a Semantics of Unsatisfiability Proofs with Inprocessing. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Hira Syeda, Gerwin Klein Reasoning about Translation Lookaside Buffers. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Josef Lindsberger, Alexander Maringele, Georg Moser Quantified Boolean Formulas: Call the Plumber! Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux Automated analysis of Stateflow models. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Matthias Baaz, Norbert Preining Gödel logics and the fully boxed fragment of LTL. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Benjamin Kiesl, Martin Suda 0001, Martina Seidl, Hans Tompits, Armin Biere Blocked Clauses in First-Order Logic. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Temesghen Kahsai, Rody Kersten, Philipp Rümmer, Martin Schäf Quantified Heap Invariants for Object-Oriented Programs. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Florian Frohn, Jürgen Giesl Analyzing Runtime Complexity via Innermost Runtime Complexity. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Thomas Eiter, David Sands 0001 (eds.) LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017 Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Björn Lellmann, Carlos Olarte, Elaine Pimentel A uniform framework for substructural logics with modalities. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Luís Cruz-Filipe, Peter Schneider-Kamp Formally Proving the Boolean Pythagorean Triples Conjecture. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Jeffrey Fischer, Rupak Majumdar Programming by Composing Filters. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Eugenia Ternovska, David G. Mitchell Propagators and Solvers for the Algebra of Modular Systems. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Sarah M. Loos, Geoffrey Irving, Christian Szegedy, Cezary Kaliszyk Deep Network Guided Proof Search. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Frantisek Blahoudek, Alexandre Duret-Lutz, Mikulás Klokocka, Mojmír Kretínský, Jan Strejcek Seminator: A Tool for Semi-Determinization of Omega-Automata. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Dimas Melo Filho, Fred Freitas, Jens Otten RACCOON: A Connection Reasoner for the Description Logic ALC. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Yazid Boumarafi, Lakhdar Sais, Yakoub Salhi From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Rachid Echahed, Aude Maignan Parallel Graph Rewriting with Overlapping Rules. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Jean-Pierre Jouannaud, Pierre-Yves Strub Coq without Type Casts: A Complete Proof of Coq Modulo Theory. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Nicola Gigante, Angelo Montanari, Mark Reynolds A One-Pass Tree-Shaped Tableau for LTL+Past. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Ozan Kahramanogullari Deep Proof Search in MELL. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Laura Kovács, Andrei Voronkov First-Order Interpolation and Interpolating Proof Systems. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Nicholas Hollingum, Bernhard Scholz Cauliflower: a Solver Generator for Context-Free Language Reachability. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Miika Hannula Reasoning About Embedded Dependencies Using Inclusion Dependencies. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Frowin Ziegler Verification of Concurrent Programs Using Trace Abstraction Refinement. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Adi Sosnovich, Orna Grumberg, Gabi Nakibly Analyzing Internet Routing Security Using Model Checking. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gilles Dowek, Ying Jiang Decidability, Introduction Rules and Automata. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexander Steen, Christoph Benzmüller There Is No Best \beta -Normalization Strategy for Higher-Order Reasoners. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miroslav Klimos, Antonín Kucera 0001 Cobra: A Tool for Solving General Deductive Games. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Wolfgang Ahrendt, Laura Kovács, Simon Robillard Reasoning About Loops Using Vampire in KeY. Search on Bibsonomy LPAR The full citation details ... 2015 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 LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fiona Berreby, Gauvain Bourgne, Jean-Gabriel Ganascia Modelling Moral Reasoning and Ethical Responsibility with Logic Programming. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dale Miller 0001, Marco Volpe 0001 Focused Labeled Proof Systems for Modal Logic. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Uwe Egly, Florian Lonsing, Johannes Oetsch Automated Benchmarking of Incremental SAT and QBF Solvers. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Arie Gurfinkel, Natasha Sharygina Automated Discovery of Simulation Between Programs. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vojtech Forejt, Jan Krcál, Jan Kretínský Controller Synthesis for MDPs and Frequency LTL\GU. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schäf Finding Inconsistencies in Programs with Loops. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Peter Brottveit Bock, Carsten Schürmann A Contextual Logical Framework. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Souheib Baarir, Alexandre Duret-Lutz SAT-Based Minimization of Deterministic \omega -Automata. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, Fausto Spoto Boolean Formulas for the Static Identification of Injection Attacks in Java. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Cezary Kaliszyk, Josef Urban FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benjamin Aminof, Sasha Rubin, Florian Zuleger On the Expressive Power of Communication Primitives in Parameterised Systems. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Arlen Cox, Bor-Yuh Evan Chang, Huisong Li, Xavier Rival Abstract Domains and Solvers for Sets Reasoning. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kaustuv Chaudhuri, Giselle Reis An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yuya Uezato, Yasuhiko Minamide Synchronized Recursive Timed Automata. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Luciano Bello, Daniel Hedin, Andrei Sabelfeld Value Sensitivity and Observable Abstract Values for Information Flow Control. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari 0001 Gamifying Program Analysis. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dan Rosén, Nicholas Smallbone TIP: Tools for Inductive Provers. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benjamin Aminof, Aniello Murano, Sasha Rubin On CTL* with Graded Path Modalities. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Koen Claessen, Dan Rosén SAT Modulo Intuitionistic Implications. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shoshin Nomura, Katsuhiko Sano, Satoshi Tojo A Labelled Sequent Calculus for Intuitionistic Public Announcement Logic. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 712 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][>>]
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