LPAR-21: Author Index

AuthorPapers
B
Baaz, MatthiasGödel logics and the fully boxed fragment of LTL
Barthe, GillesProving uniformity and independence by self-composition and coupling
Bauer, SabineDecidable linear list constraints
Benzmüller, ChristophTheorem Provers For Every Normal Modal Logic
Biere, ArminBlocked Clauses in First-Order Logic
Bistarelli, StefanoA Quantitative Partial Model-Checking Function and Its Optimisation
Blahoudek, FrantišekSeminator: A Tool for Semi-Determinization of Omega-Automata
Bogaerts, BartPropagators and Solvers for the Algebra of Modular Systems
Boumarafi, YazidFrom SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes
Bourbouh, HamzaAutomated analysis of Stateflow models
C
Ciabattoni, AgataBunched Hypersequent Calculi for Distributive Substructural Logics
Cruz-Filipe, LuísFormally Proving the Boolean Pythagorean Triples Conjecture
D
Duret-Lutz, AlexandreSeminator: A Tool for Semi-Determinization of Omega-Automata
E
Echahed, RachidParallel Graph Rewriting with Overlapping Rules
Espitau, ThomasProving uniformity and independence by self-composition and coupling
F
Fedyukovich, GrigorySynchronizing Constrained Horn Clauses
Fischer, JeffreyProgramming by Composing Filters
Freitas, FredRACCOON: A Connection Reasoner for the Description Logic ALC
Frohn, FlorianAnalyzing Runtime Complexity via Innermost Runtime Complexity
G
Garion, ChristopheAutomated analysis of Stateflow models
Garoche, Pierre-LoicAutomated analysis of Stateflow models
Gauthier, ThibaultTacticToe: Learning to Reason with HOL4 Tactics
Giesl, JürgenAnalyzing Runtime Complexity via Innermost Runtime Complexity
Gigante, NicolaA One-Pass Tree-Shaped Tableau for LTL+Past
Gleißner, TobiasTheorem Provers For Every Normal Modal Logic
Grégoire, BenjaminProving uniformity and independence by self-composition and coupling
Gurfinkel, ArieAutomated analysis of Stateflow models
H
Hainry, EmmanuelHigher order interpretation for higher order complexity
Hannula, MiikaOn the Interaction of Inclusion Dependencies with Independence Atoms
Hofmann, MartinDecidable linear list constraints
Hollingum, NicholasCauliflower: a Solver Generator for Context-Free Language Reachability
Hsu, JustinProving uniformity and independence by self-composition and coupling
I
Irving, GeoffreyDeep Network Guided Proof Search
J
Jouannaud, Jean-PierreCoq without Type Casts: A Complete Proof of Coq Modulo Theory
K
Kahramanogullari, OzanDeep Proof Search in MELL
Kahsai, TemesghenAutomated analysis of Stateflow models
Quantified Heap Invariants for Object-Oriented Programs
Kaliszyk, CezaryDeep Network Guided Proof Search
TacticToe: Learning to Reason with HOL4 Tactics
Kersten, RodyQuantified Heap Invariants for Object-Oriented Programs
Kiesl, BenjaminBlocked Clauses in First-Order Logic
Klein, GerwinReasoning about Translation Lookaside Buffers
Klokočka, MikulášSeminator: A Tool for Semi-Determinization of Omega-Automata
Kontinen, JuhaOn the Interaction of Inclusion Dependencies with Independence Atoms
Kovács, LauraFirst-Order Interpolation and Interpolating Proof Systems
Křetínský, MojmírSeminator: A Tool for Semi-Determinization of Omega-Automata
L
Lellmann, BjoernA uniform framework for substructural logics with modalities
Lindsberger, JosefQuantified Boolean Formulas: Call the Plumber!
Link, SebastianOn the Interaction of Inclusion Dependencies with Independence Atoms
Loos, SarahDeep Network Guided Proof Search
M
Maignan, AudeParallel Graph Rewriting with Overlapping Rules
Majumdar, RupakProgramming by Composing Filters
Maringele, AlexanderQuantified Boolean Formulas: Call the Plumber!
Martinelli, FabioA Quantitative Partial Model-Checking Function and Its Optimisation
Matteucci, IlariaA Quantitative Partial Model-Checking Function and Its Optimisation
Melo Filho, DimasRACCOON: A Connection Reasoner for the Description Logic ALC
Mitchell, DavidPropagators and Solvers for the Algebra of Modular Systems
Montanari, AngeloA One-Pass Tree-Shaped Tableau for LTL+Past
Mordvinov, DmitrySynchronizing Constrained Horn Clauses
Moser, GeorgQuantified Boolean Formulas: Call the Plumber!
O
Olarte, CarlosA uniform framework for substructural logics with modalities
Otten, JensRACCOON: A Connection Reasoner for the Description Logic ALC
P
Philipp, TobiasTowards a Semantics of Unsatisfiability Proofs with Inprocessing
Pimentel, ElaineA uniform framework for substructural logics with modalities
Preining, NorbertGödel logics and the fully boxed fragment of LTL
Péchoux, RomainHigher order interpretation for higher order complexity
R
Ramanayake, RevanthaBunched Hypersequent Calculi for Distributive Substructural Logics
Rebola-Pardo, AdriánTowards a Semantics of Unsatisfiability Proofs with Inprocessing
Reynolds, MarkA One-Pass Tree-Shaped Tableau for LTL+Past
Rümmer, PhilippQuantified Heap Invariants for Object-Oriented Programs
S
Sais, LakhdarFrom SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes
Salhi, YakoubFrom SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes
Santini, FrancescoA Quantitative Partial Model-Checking Function and Its Optimisation
Schneider-Kamp, PeterFormally Proving the Boolean Pythagorean Triples Conjecture
Scholz, BernhardCauliflower: a Solver Generator for Context-Free Language Reachability
Schäf, MartinQuantified Heap Invariants for Object-Oriented Programs
Seidl, MartinaBlocked Clauses in First-Order Logic
Steen, AlexanderTheorem Provers For Every Normal Modal Logic
Strejček, JanSeminator: A Tool for Semi-Determinization of Omega-Automata
Strub, Pierre-YvesProving uniformity and independence by self-composition and coupling
Coq without Type Casts: A Complete Proof of Coq Modulo Theory
Suda, MartinBlocked Clauses in First-Order Logic
Syeda, HiraReasoning about Translation Lookaside Buffers
Szegedy, ChristianDeep Network Guided Proof Search
T
Ternovska, EugeniaPropagators and Solvers for the Algebra of Modular Systems
Thirioux, XavierAutomated analysis of Stateflow models
Tompits, HansBlocked Clauses in First-Order Logic
U
Urban, JosefTacticToe: Learning to Reason with HOL4 Tactics
V
Voronkov, AndreiFirst-Order Interpolation and Interpolating Proof Systems