IPRA 2014 PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A C D E F G H K L M N O P R S T V W

A
Abdulla, Parosh Aziz	Towards Craig Interpolation for String Constraints (PDF, talk)
Albarghouthi, Aws	Specification Synthesis via Generalized Abduction (PDF, talk)
Atig, Mohamed Faouzi	Towards Craig Interpolation for String Constraints (PDF, talk)
C
Chechik, Marsha	Specification Synthesis via Generalized Abduction (PDF, talk)
Chen, Yu-Fang	Towards Craig Interpolation for String Constraints (PDF, talk)
D
Dillig, Isil	Specification Synthesis via Generalized Abduction (PDF, talk)
E
Een, Niklas	Interpolants in Two-Player Games (PDF, talk)
F
Franconi, Enrico	Interpolation and Domain Independence applied to Databases (PDF, talk)
Fränzle, Martin	Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theories Problems (PDF, talk)
G
Grumberg, Orna	SAT-Based Model Checking with Interpolation (PDF, talk)
Guagliardo, Paolo	Interpolation and Domain Independence applied to Databases (PDF, talk)
Gurfinkel, Arie	Specification Synthesis via Generalized Abduction (PDF, talk) Interpolants from Clausal Proofs (PDF, talk)
H
Hofferek, Georg	Tree-based Modular SMT Solving (PDF, talk)
Holik, Lukas	Towards Craig Interpolation for String Constraints (PDF, talk)
K
Kerhet, Volha	Interpolation and Domain Independence applied to Databases (PDF, talk)
Koopmann, Patrick	Resolution Based Uniform Interpolation for Expressive Description Logics (PDF, talk)
L
Legg, Alexander	Interpolants in Two-Player Games (PDF, talk) Practical CNF Interpolants Via BDDs (PDF, talk)
M
Mahdi, Ahmed	Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theories Problems (PDF, talk)
McMillan, Kenneth	Interpolation Strategies (PDF, talk)
N
Narodytska, Nina	Interpolants in Two-Player Games (PDF, talk) Practical CNF Interpolants Via BDDs (PDF, talk)
Ngo, Nhung	Interpolation and Domain Independence applied to Databases (PDF, talk)
O
Oh, Chanseok	Fault Localization using Interpolation (PDF, talk)
P
Pudlak, Pavel	Feasible Interpolation in Proof Systems based on Integer Linear Programming (PDF, talk)
R
Rezine, Ahmed	Towards Craig Interpolation for String Constraints (PDF, talk)
Rocchetto, Marco	Using Interpolation for the Verification of Security Protocols (Extended Abstract) (PDF, talk)
Ruemmer, Philipp	Towards Craig Interpolation for String Constraints (PDF, talk)
Ryzhyk, Leonid	Interpolants in Two-Player Games (PDF, talk) Practical CNF Interpolants Via BDDs (PDF, talk)
S
Schadler, Georg	Tree-based Modular SMT Solving (PDF, talk)
Schäf, Martin	Fault Localization using Interpolation (PDF, talk)
Schmidt, Renate A.	Resolution Based Uniform Interpolation for Expressive Description Logics (PDF, talk)
Schwartz-Narbonne, Daniel	Fault Localization using Interpolation (PDF, talk)
Stenman, Jari	Towards Craig Interpolation for String Constraints (PDF, talk)
T
Toman, David	On Enumerating Query Plans via Interpolants from Tableau Proofs (abstract) (PDF, talk)
V
Viganò, Luca	Using Interpolation for the Verification of Security Protocols (Extended Abstract) (PDF, talk)
Vizel, Yakir	Interpolants from Clausal Proofs (PDF, talk)
Volpe, Marco	Using Interpolation for the Verification of Security Protocols (Extended Abstract) (PDF, talk)
W
Weddell, Grant	On Enumerating Query Plans via Interpolants from Tableau Proofs (abstract) (PDF, talk)
Wernhard, Christoph	Application Patterns of Projection/Forgetting (PDF, talk)
Wies, Thomas	Fault Localization using Interpolation (PDF, talk)
Wolter, Frank	Interpolation in Description Logic: A Survey (PDF, talk)