Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B F G I K L M R W Z

A
Afshari, Bahareh	Interpolation and Completeness in the Modal Mu-Calculus
B
Beyer, Dirk	Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
F
Fussner, Wesley	Interpolation via Finitely Subdirectly Irreducible Algebras
G
Gianola, Alessandro	Uniform Interpolants and Model Completions in Formal Verification of Infinite-State Systems
I
Indrzejczak, Andrzej	When iota Meets lambda
K
Keisler, H. Jerome	Application of Interpolation in Networks
Keisler, Jeffrey M.	Application of Interpolation in Networks
L
Lee, Nian-Ze	Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
M
McMillan, Ken	Interpolants and Transformational Proof Systems
Metcalfe, George	Interpolation via Finitely Subdirectly Irreducible Algebras
R
Rebola Pardo, Adrian	Interpolants and Interference
W
Wendler, Philipp	Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
Z
Zawidzki, Michal	When iota Meets lambda