LPAR-21S: Author Index

Author	Papers
A
Apt, Krzysztof	Decidability of Fair Termination of Gossip Protocols
B
Benzmüller, Christoph	Leo-III Version 1.1 (System description) Going Polymorphic - TH1 Reasoning for Leo-III Capability Discovery for Automated Reasoning Systems
Bjorner, Nikolaj	Abduction by Non-Experts
J
Jamnik, Mateja	Reasoning with Concept Diagrams about Antipatterns
Jovanović, Dejan	Abduction by Non-Experts
K
Korovin, Konstantin	Towards an Abstraction-Refinement Framework for Reasoning with Large Theories
L
Lepoint, Tancrède	Abduction by Non-Experts
Lopez Hernandez, Julio Cesar	Towards an Abstraction-Refinement Framework for Reasoning with Large Theories
R
Reger, Giles	Set of Support for Theory Reasoning
Rümmer, Philipp	Abduction by Non-Experts
S
Saarikivi, Olli	Translating C# to Branching Symbolic Transducers
Sato, Yuri	Reasoning with Concept Diagrams about Antipatterns
Schurr, Hans-Jörg	Capability Discovery for Automated Reasoning Systems
Schäf, Martin	Abduction by Non-Experts
Shams, Zohreh	Reasoning with Concept Diagrams about Antipatterns
Singh, Abhishek Kr	Formalization of some central theorems in combinatorics of finite sets
Stapleton, Gem	Reasoning with Concept Diagrams about Antipatterns
Steen, Alexander	Leo-III Version 1.1 (System description) Going Polymorphic - TH1 Reasoning for Leo-III Capability Discovery for Automated Reasoning Systems
Suda, Martin	Set of Support for Theory Reasoning
T
Toman, David	An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report)
V
Veanes, Margus	Translating C# to Branching Symbolic Transducers
W
Weddell, Grant	An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report)
Wisniewski, Max	Leo-III Version 1.1 (System description) Going Polymorphic - TH1 Reasoning for Leo-III Capability Discovery for Automated Reasoning Systems
Wojtczak, Dominik	Decidability of Fair Termination of Gossip Protocols