Global Talk Author Index

GLOBAL TALK AUTHOR INDEX

Shortcuts: A B C D E F G H I J K L M O P R S T U V W

A
Apt, Krzysztof	(LPAR-21) Decidability of Fair Termination of Gossip Protocols
B
Baaz, Matthias	(LPAR-21) Gödel logics and the fully boxed fragment of LTL
Barthe, Gilles	(LPAR-21) Proving uniformity and independence by self-composition and coupling
Bauer, Sabine	(LPAR-21) Decidable linear list constraints
Benzmüller, Christoph	(LPAR-21) Theorem Provers For Every Normal Modal Logic (LPAR-21) Leo-III Version 1.1 (System description) (IWIL-2017) Capability Discovery for Automated Reasoning Systems (IWIL-2017) Going Polymorphic - TH1 Reasoning for Leo-III
Biere, Armin	(LPAR-21) Blocked Clauses in First-Order Logic
Bistarelli, Stefano	(LPAR-21) A Quantitative Partial Model-Checking Function and Its Optimisation
Bjorner, Nikolaj	(LPAR-21) Abduction by Non-Experts
Blahoudek, František	(LPAR-21) Seminator: A Tool for Semi-Determinization of Omega-Automata
Bogaerts, Bart	(LPAR-21) Propagators and Solvers for the Algebra of Modular Systems
Boumarafi, Yazid	(LPAR-21) From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes
Bourbouh, Hamza	(LPAR-21) Automated analysis of Stateflow models
C
Ciabattoni, Agata	(LPAR-21) Bunched Hypersequent Calculi for Distributive Substructural Logics
Cruz-Filipe, Luís	(LPAR-21) Formally Proving the Boolean Pythagorean Triples Conjecture
D
Duret-Lutz, Alexandre	(LPAR-21) Seminator: A Tool for Semi-Determinization of Omega-Automata
E
Echahed, Rachid	(LPAR-21) On Simultaneous Transformations with Overlapping Graph Rewrite Systems
Espitau, Thomas	(LPAR-21) Proving uniformity and independence by self-composition and coupling
F
Fedyukovich, Grigory	(LPAR-21) Synchronizing Constrained Horn Clauses
Fischer, Jeffrey	(LPAR-21) Programming by Composing Filters
Freitas, Fred	(LPAR-21) RACCOON: A Connection Reasoner for the Description Logic ALC
Frohn, Florian	(LPAR-21) Analyzing Runtime Complexity via Innermost Runtime Complexity
G
Garion, Christophe	(LPAR-21) Automated analysis of Stateflow models
Garoche, Pierre-Loic	(LPAR-21) Automated analysis of Stateflow models
Gauthier, Thibault	(LPAR-21) TacticToe: Learning to Reason with HOL4 Tactics
Giesl, Jürgen	(LPAR-21) Analyzing Runtime Complexity via Innermost Runtime Complexity
Gigante, Nicola	(LPAR-21) A One-Pass Tree-Shaped Tableau for LTL+Past
Gleißner, Tobias	(LPAR-21) Theorem Provers For Every Normal Modal Logic
Gregoire, Benjamin	(LPAR-21) Proving uniformity and independence by self-composition and coupling
Gurfinkel, Arie	(LPAR-21) Automated analysis of Stateflow models
H
Hainry, Emmanuel	(LPAR-21) Higher order interpretation for higher order complexity
Hannula, Miika	(LPAR-21) On the Interaction of Inclusion Dependencies with Independence Atoms
Hofmann, Martin	(LPAR-21) Decidable linear list constraints
Hollingum, Nicholas	(LPAR-21) Cauliflower: a Solver Generator for Context-Free Language Reachability
Hsu, Justin	(LPAR-21) Proving uniformity and independence by self-composition and coupling
I
Irving, Geoffrey	(LPAR-21) Deep Network Guided Proof Search
J
Jamnik, Mateja	(LPAR-21) Reasoning with Concept Diagrams about Antipatterns
Jouannaud, Jean-Pierre	(LPAR-21) A complete proof of Coq modulo Theory
Jovanović, Dejan	(LPAR-21) Abduction by Non-Experts
K
Kahramanogullari, Ozan	(LPAR-21) Deep Proof Search in MELL
Kahsai, Temesghen	(LPAR-21) Automated analysis of Stateflow models (LPAR-21) Quantified Heap Invariants for Object-Oriented Programs
Kaliszyk, Cezary	(LPAR-21) TacticToe: Learning to Reason with HOL4 Tactics (LPAR-21) Deep Network Guided Proof Search
Kersten, Rody	(LPAR-21) Quantified Heap Invariants for Object-Oriented Programs
Kiesl, Benjamin	(LPAR-21) Blocked Clauses in First-Order Logic
Klein, Gerwin	(LPAR-21) Reasoning about Translation Lookaside Buffers
Klokočka, Mikuláš	(LPAR-21) Seminator: A Tool for Semi-Determinization of Omega-Automata
Kontinen, Juha	(LPAR-21) On the Interaction of Inclusion Dependencies with Independence Atoms
Korovin, Konstantin	(IWIL-2017) Towards an Abstraction-Refinement Framework for Reasoning with Large Theories
Kovacs, Laura	(LPAR-21) First-Order Interpolation and Interpolating Proofs Systems
Kretinsky, Mojmir	(LPAR-21) Seminator: A Tool for Semi-Determinization of Omega-Automata
L
Lellmann, Bjoern	(LPAR-21) A uniform framework for substructural logics with modalities
Lepoint, Tancrède	(LPAR-21) Abduction by Non-Experts
Lindsberger, Josef	(LPAR-21) Quantified Boolean Formulas: Call the Plumber!
Link, Sebastian	(LPAR-21) On the Interaction of Inclusion Dependencies with Independence Atoms
Loos, Sarah	(LPAR-21) Deep Network Guided Proof Search
Lopez Hernandez, Julio Cesar	(IWIL-2017) Towards an Abstraction-Refinement Framework for Reasoning with Large Theories
M
Maignan, Aude	(LPAR-21) On Simultaneous Transformations with Overlapping Graph Rewrite Systems
Majumdar, Rupak	(LPAR-21) Programming by Composing Filters
Maringele, Alexander	(LPAR-21) Quantified Boolean Formulas: Call the Plumber!
Martinelli, Fabio	(LPAR-21) A Quantitative Partial Model-Checking Function and Its Optimisation
Matteucci, Ilaria	(LPAR-21) A Quantitative Partial Model-Checking Function and Its Optimisation
Melo Filho, Dimas	(LPAR-21) RACCOON: A Connection Reasoner for the Description Logic ALC
Mitchell, David	(LPAR-21) Propagators and Solvers for the Algebra of Modular Systems
Montanari, Angelo	(LPAR-21) A One-Pass Tree-Shaped Tableau for LTL+Past
Mordvinov, Dmitry	(LPAR-21) Synchronizing Constrained Horn Clauses
Moser, Georg	(LPAR-21) Quantified Boolean Formulas: Call the Plumber!
Muggleton, Stephen	(LPAR-21) Meta-Interpretive Learning of Logic Programs
O
Olarte, Carlos	(LPAR-21) A uniform framework for substructural logics with modalities
Otten, Jens	(LPAR-21) RACCOON: A Connection Reasoner for the Description Logic ALC
P
Philipp, Tobias	(LPAR-21) Towards a Semantics of Unsatisfiability Proofs with Inprocessing
Pimentel, Elaine	(LPAR-21) A uniform framework for substructural logics with modalities
Preining, Norbert	(LPAR-21) Gödel logics and the fully boxed fragment of LTL
Péchoux, Romain	(LPAR-21) Higher order interpretation for higher order complexity
R
Ramanayake, Revantha	(LPAR-21) Bunched Hypersequent Calculi for Distributive Substructural Logics
Rebola-Pardo, Adrian	(LPAR-21) Towards a Semantics of Unsatisfiability Proofs with Inprocessing
Reger, Giles	(IWIL-2017) Recent Improvements of Theory Reasoning in Vampire (IWIL-2017) Set of Support for Theory Reasoning
Reynolds, Mark	(LPAR-21) A One-Pass Tree-Shaped Tableau for LTL+Past
Ruemmer, Philipp	(LPAR-21) Abduction by Non-Experts (LPAR-21) Quantified Heap Invariants for Object-Oriented Programs
S
Saarikivi, Olli	(LPAR-21) Translating C# to Branching Symbolic Transducers
Sais, Lakhdar	(LPAR-21) From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes
Salhi, Yakoub	(LPAR-21) From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes
Santini, Francesco	(LPAR-21) A Quantitative Partial Model-Checking Function and Its Optimisation
Sato, Yuri	(LPAR-21) Reasoning with Concept Diagrams about Antipatterns
Schneider-Kamp, Peter	(LPAR-21) Formally Proving the Boolean Pythagorean Triples Conjecture
Scholz, Bernhard	(LPAR-21) Cauliflower: a Solver Generator for Context-Free Language Reachability
Schurr, Hans-Jörg	(IWIL-2017) Capability Discovery for Automated Reasoning Systems
Schäf, Martin	(LPAR-21) Abduction by Non-Experts (LPAR-21) Quantified Heap Invariants for Object-Oriented Programs
Seidl, Martina	(LPAR-21) Blocked Clauses in First-Order Logic
Shams, Zohreh	(LPAR-21) Reasoning with Concept Diagrams about Antipatterns
Singh, Abhishek Kr	(LPAR-21) Formalization of some central theorems in combinatorics of finite sets
Stapleton, Gem	(LPAR-21) Reasoning with Concept Diagrams about Antipatterns
Steen, Alexander	(LPAR-21) Theorem Provers For Every Normal Modal Logic (LPAR-21) Leo-III Version 1.1 (System description) (IWIL-2017) Capability Discovery for Automated Reasoning Systems (IWIL-2017) Going Polymorphic - TH1 Reasoning for Leo-III
Strejcek, Jan	(LPAR-21) Seminator: A Tool for Semi-Determinization of Omega-Automata
Strub, Pierre-Yves	(LPAR-21) Proving uniformity and independence by self-composition and coupling (LPAR-21) A complete proof of Coq modulo Theory
Suda, Martin	(LPAR-21) Blocked Clauses in First-Order Logic (IWIL-2017) Recent Improvements of Theory Reasoning in Vampire (IWIL-2017) Set of Support for Theory Reasoning
Syeda, Hira	(LPAR-21) Reasoning about Translation Lookaside Buffers
Szegedy, Christian	(LPAR-21) Deep Network Guided Proof Search
T
Ternovska, Evgenia	(LPAR-21) Propagators and Solvers for the Algebra of Modular Systems
Thirioux, Xavier	(LPAR-21) Automated analysis of Stateflow models
Toman, David	(LPAR-21) An Interpolation-based Compiler and Optimizer for Relational Queries (System Implementation Report)
Tompits, Hans	(LPAR-21) Blocked Clauses in First-Order Logic
U
Urban, Josef	(LPAR-21) TacticToe: Learning to Reason with HOL4 Tactics
V
Veanes, Margus	(LPAR-21) Translating C# to Branching Symbolic Transducers
Visser, Willem	(LPAR-21) Probabilistic Symbolic Execution: A New Hammer
Voronkov, Andrei	(LPAR-21) First-Order Interpolation and Interpolating Proofs Systems (IWIL-2017) Recent Improvements of Theory Reasoning in Vampire
W
Weddell, Grant	(LPAR-21) An Interpolation-based Compiler and Optimizer for Relational Queries (System Implementation Report)
Wisniewski, Max	(LPAR-21) Leo-III Version 1.1 (System description) (IWIL-2017) Capability Discovery for Automated Reasoning Systems (IWIL-2017) Going Polymorphic - TH1 Reasoning for Leo-III
Wojtczak, Dominik	(LPAR-21) Decidability of Fair Termination of Gossip Protocols