LPAR-21S:Author Index

AuthorPapers
A
Apt, KrzysztofDecidability of Fair Termination of Gossip Protocols
B
Benzmüller, ChristophLeo-III Version 1.1 (System description)
Going Polymorphic - TH1 Reasoning for Leo-III
Capability Discovery for Automated Reasoning Systems
Bjorner, NikolajAbduction by Non-Experts
J
Jamnik, MatejaReasoning with Concept Diagrams about Antipatterns
Jovanović, DejanAbduction by Non-Experts
K
Korovin, KonstantinTowards an Abstraction-Refinement Framework for Reasoning with Large Theories
L
Lepoint, TancrèdeAbduction by Non-Experts
Lopez Hernandez, Julio CesarTowards an Abstraction-Refinement Framework for Reasoning with Large Theories
R
Reger, GilesSet of Support for Theory Reasoning
Rümmer, PhilippAbduction by Non-Experts
S
Saarikivi, OlliTranslating C# to Branching Symbolic Transducers
Sato, YuriReasoning with Concept Diagrams about Antipatterns
Schurr, Hans-JörgCapability Discovery for Automated Reasoning Systems
Schäf, MartinAbduction by Non-Experts
Shams, ZohrehReasoning with Concept Diagrams about Antipatterns
Singh, Abhishek KrFormalization of some central theorems in combinatorics of finite sets
Stapleton, GemReasoning with Concept Diagrams about Antipatterns
Steen, AlexanderLeo-III Version 1.1 (System description)
Going Polymorphic - TH1 Reasoning for Leo-III
Capability Discovery for Automated Reasoning Systems
Suda, MartinSet of Support for Theory Reasoning
T
Toman, DavidAn Interpolation-based Compiler and Optimizer for Relational Queries (System design Report)
V
Veanes, MargusTranslating C# to Branching Symbolic Transducers
W
Weddell, GrantAn Interpolation-based Compiler and Optimizer for Relational Queries (System design Report)
Wisniewski, MaxLeo-III Version 1.1 (System description)
Going Polymorphic - TH1 Reasoning for Leo-III
Capability Discovery for Automated Reasoning Systems
Wojtczak, DominikDecidability of Fair Termination of Gossip Protocols