CSL-LICS 2014 FULL AND FINAL PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

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

A
Abdulla, Parosh Aziz	Infinite-State Energy Games (PDF, talk)
Accattoli, Beniamino	Beta Reduction is Invariant, Indeed (PDF, talk)
Alur, Rajeev	Regular Combinators for String Transformations (PDF, talk)
Asarin, Eugene	Asymptotic behaviour in temporal logic (PDF, talk)
Atig, Mohamed Faouzi	Infinite-State Energy Games (PDF, talk)
B
Baier, Christel	Trade-Off Analysis Meets Probabilistic Model Checking (PDF, talk) Weight Monitoring with Linear Temporal Logic: Complexity and Decidability (PDF, talk)
Barceló, Pablo	Graph Logics with Rational Relations: The Role of Word Combinatorics (PDF, talk)
Basin, David	Anchored LTL Separation (PDF, talk)
Benedikt, Michael	Effective Interpolation and Preservation in Guarded Logics (PDF, talk)
Bernardo, Marco	On the Discriminating Power of Passivation and Higher-Order Interaction (PDF, talk)
Bilokon, Paul	A domain-theoretic approach to Brownian motion and general continuous stochastic processes (PDF, talk)
Blumensath, Achim	Two-Way Cost Automata and Cost Logics over Infinite Trees (PDF, talk)
Bockelet, Michel	Asymptotic behaviour in temporal logic (PDF, talk)
Bojanczyk, Mikolaj	Decomposition Theorems and Model-Checking for the Modal $\mu$-calculus (PDF, talk)
Bollig, Benedikt	Logic for Communicating Automata with Parameterized Topology (PDF, talk) Logical Characterization of Weighted Pebble Walking Automata (PDF, talk)
Bonchi, Filippo	Coinduction Up-To in a Fibrational Setting (PDF, talk)
Bova, Simone	Model Checking Existential Logic on Partially Ordered Sets (PDF, talk)
Brazdil, Tomas	Zero-Reachability in Probabilistic Multi-Counter Automata (PDF, talk)
Brenguier, Romain	The Complexity of Admissibility in Omega-Regular Games (PDF, talk)
Breuvart, Flavien	On the characterization of models of H* (PDF, talk)
Brotherston, James	A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates (PDF, talk)
Bruyère, Véronique	Secure Equilibria in Weighted Games (PDF, talk)
C
Carreiro, Facundo	Weak MSO: Automata and Expressiveness Modulo Bisimilarity (PDF, talk)
Castellan, Simon	Symmetry in Concurrent Games (PDF, talk)
Charatonik, Witold	Decidability of Weak Logics with Deterministic Transitive Closure (PDF, talk)
Chaudhuri, Kaustuv	Equality and Fixpoints in the Calculus of Structures (PDF, talk)
Chen, Hubie	The Tractability Frontier of Graph-Like First-Order Query Sets (PDF, talk) One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries (PDF, talk)
Chen, Taolue	On the Total Variation Distance of Labelled Markov Chains (PDF, talk)
Chen, Wei	Abstract Interpretation from Buchi Automata (PDF, talk)
Clairambault, Pierre	Symmetry in Concurrent Games (PDF, talk)
Colcombet, Thomas	Two-Way Cost Automata and Cost Logics over Infinite Trees (PDF, talk)
Cousot, Patrick	Abstract Interpretation: Past, Present and Future (PDF, talk)
Cousot, Radhia	Abstract Interpretation: Past, Present and Future (PDF, talk)
Cretin, Julien	System F with Coercion Constraints (PDF, talk)
D
Dal Lago, Ugo	Beta Reduction is Invariant, Indeed (PDF, talk) The Geometry of Synchronization (PDF, talk)
Das, Anupam	On the Pigeonhole and Related Principles in Deep Inference and Monotone Systems (PDF, talk)
Dawar, Anuj	The Ackermann Award 2014 (PDF, talk)
Degorre, Aldric	Asymptotic behaviour in temporal logic (PDF, talk)
Demri, Stephane	Expressive Completeness of Separation Logic With Two Variables and No Separating Conjunction (PDF, talk)
Deters, Morgan	Expressive Completeness of Separation Logic With Two Variables and No Separating Conjunction (PDF, talk)
Dima, Cătălin	Asymptotic behaviour in temporal logic (PDF, talk)
Dittmann, Christoph	Decomposition Theorems and Model-Checking for the Modal $\mu$-calculus (PDF, talk)
Dubslaff, Clemens	Trade-Off Analysis Meets Probabilistic Model Checking (PDF, talk)
E
Edalat, Abbas	A domain-theoretic approach to Brownian motion and general continuous stochastic processes (PDF, talk)
Ehrhard, Thomas	A new correctness criterion for MLL proof nets (PDF, talk)
Endrullis, Joerg	On Periodically Iterated Morphisms (PDF, talk)
F
Facchini, Alessandro	Weak MSO: Automata and Expressiveness Modulo Bisimilarity (PDF, talk)
Faggian, Claudia	The Geometry of Synchronization (PDF, talk)
Feng, Xinyu	Compositional Verification of Termination-Preserving Refinement of Concurrent Programs (PDF, talk)
Figueira, Diego	Pattern Logics and Auxiliary Relations (PDF, talk)
Finster, Eric	Eilenberg-MacLane Spaces in Homotopy Type Theory (PDF, talk)
Fiore, Marcelo	Substitution, jumps, and algebraic effects (PDF, talk)
Fisher, Jasmin	Understanding Biology through Logic (PDF, talk)
Fredrikson, Matt	Satisfiability Modulo Counting: A New Approach for Analyzing Privacy Properties (PDF, talk)
Freilich, Adam	Regular Combinators for String Transformations (PDF, talk)
Fuhs, Carsten	A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates (PDF, talk)
G
Ganian, Robert	Model Checking Existential Logic on Partially Ordered Sets (PDF, talk)
Gastin, Paul	Logical Characterization of Weighted Pebble Walking Automata (PDF, talk)
Gorogiannis, Nikos	A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates (PDF, talk)
Gottlob, Georg	Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic (PDF, talk)
Grathwohl, Niels Bjørn Bugge	KAT + B! (PDF, talk)
Guenot, Nicolas	Equality and Fixpoints in the Calculus of Structures (PDF, talk) Symmetric Normalisation for Intuitionistic Logic (PDF, talk)
Gutierrez, Julian	Equilibria of Concurrent Games on Event Structures (PDF, talk)
H
Haase, Christoph	Subclasses of Presburger Arithmetic and the Weak EXP Hierarchy (PDF, talk)
Hague, Matthew	Senescent Ground Tree Rewrite Systems (PDF, talk)
Harwath, Frederik	Preservation and decomposition theorems for bounded degree structures (PDF, talk)
Hasuo, Ichiro	The Geometry of Synchronization (PDF, talk) Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects (PDF, talk)
Heijltjes, Willem	No proof nets for MLL with units: Proof equivalence in MLL is PSPACE-complete (PDF, talk)
Heimberg, Lucas	Preservation and decomposition theorems for bounded degree structures (PDF, talk)
Hendriks, Dimitri	On Periodically Iterated Morphisms (PDF, talk)
Hofman, Piotr	Infinite-State Energy Games (PDF, talk)
Hofmann, Martin	Abstract Interpretation from Buchi Automata (PDF, talk)
Hoshino, Naohiko	Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects (PDF, talk)
Houston, Robin	No proof nets for MLL with units: Proof equivalence in MLL is PSPACE-complete (PDF, talk)
I
Ilik, Danko	Axioms and Decidability for Type Isomorphism in the Presence of Sums (PDF, talk)
J
Jeffrey, Alan	Functional Reactive Types (PDF, talk)
Jha, Somesh	Satisfiability Modulo Counting: A New Approach for Analyzing Privacy Properties (PDF, talk)
K
Katoen, Joost-Pieter	Zero-Reachability in Probabilistic Multi-Counter Automata (PDF, talk) Probably Safe or Live (PDF, talk)
Khoussainov, Bakh	A quest for algorithmically random infinite structures (PDF, talk)
Kiefer, Stefan	Zero-Reachability in Probabilistic Multi-Counter Automata (PDF, talk) On the Total Variation Distance of Labelled Markov Chains (PDF, talk)
Kieronski, Emanuel	Decidability of Weak Logics with Deterministic Transitive Closure (PDF, talk)
Kikot, Stanislav	On the Succinctness of Query Rewriting over Shallow Ontologies (PDF, talk)
Klein, Joachim	Weight Monitoring with Linear Temporal Logic: Complexity and Decidability (PDF, talk)
Klin, Bartek	Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity (PDF, talk)
Klueppelholz, Sascha	Trade-Off Analysis Meets Probabilistic Model Checking (PDF, talk) Weight Monitoring with Linear Temporal Logic: Complexity and Decidability (PDF, talk)
Kontchakov, Roman	On the Succinctness of Query Rewriting over Shallow Ontologies (PDF, talk)
Koskinen, Eric	Local Temporal Reasoning (PDF, talk)
Kozen, Dexter	Citations for the Test-of-Time Award from 1994 (PDF, talk) KAT + B! (PDF, talk)
Kreutzer, Stephan	Decomposition Theorems and Model-Checking for the Modal $\mu$-calculus (PDF, talk) On Hanf-equivalence and the number of embeddings of small induced subgraphs (PDF, talk)
Kucera, Antonin	Zero-Reachability in Probabilistic Multi-Counter Automata (PDF, talk)
Kuperberg, Denis	Two-Way Cost Automata and Cost Logics over Infinite Trees (PDF, talk)
L
Lasota, Sławomir	Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity (PDF, talk)
Lazić, Ranko	Non-Elementary Complexities for Branching VASS, MELL, and Extensions (PDF, talk)
Le Roux, Stephane	Infinite sequential games with real-valued payoffs (PDF, talk)
Leroux, Jerome	Hyper-Ackermannian Bounds for Pushdown Vector Addition Systems (PDF, talk)
Levy, Paul Blain	Transition systems over games (PDF, talk)
Liang, Hongjin	Compositional Verification of Termination-Preserving Refinement of Concurrent Programs (PDF, talk)
Libkin, Leonid	Pattern Logics and Auxiliary Relations (PDF, talk)
Licata, Daniel R.	Eilenberg-MacLane Spaces in Homotopy Type Theory (PDF, talk)
Losemann, Katja	MSO Queries on Trees: Enumerating Answers under Updates (PDF, talk)
M
Mahboubi, Assia	Computer-checked mathematics: a formal proof of the Odd Order theorem (PDF, talk)
Malizia, Enrico	Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic (PDF, talk)
Mamino, Marcello	On the Computing Power of +, −, and × (PDF, talk)
Mamouras, Konstantinos	On the Hoare Theory of Monadic Recursion Schemes (PDF, talk)
Mamouras, Konstantinos	KAT + B! (PDF, talk)
Martens, Wim	MSO Queries on Trees: Enumerating Answers under Updates (PDF, talk)
Mayr, Richard	Infinite-State Energy Games (PDF, talk)
Mazowiecki, Filip	Decidability of Weak Logics with Deterministic Transitive Closure (PDF, talk)
Meunier, Noémie	Secure Equilibria in Weighted Games (PDF, talk)
Monmege, Benjamin	Logical Characterization of Weighted Pebble Walking Automata (PDF, talk)
Mu, Chunyan	Asymptotic behaviour in temporal logic (PDF, talk)
Mueller, Moritz	One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries (PDF, talk)
Munch-Maccagnoni, Guillaume	Formulae-as-Types for an Involutive Negation (PDF, talk)
Muroya, Koko	Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects (PDF, talk)
Muñoz, Pablo	Graph Logics with Rational Relations: The Role of Word Combinatorics (PDF, talk)
Møgelberg, Rasmus Ejlers	A type theory for productive coprogramming via guarded recursion (PDF, talk)
N
Narayan Kumar, K.	Infinite-State Energy Games (PDF, talk)
Navarro Perez, Juan	A Decision Procedure for Satisfiability in Separation Logic with Inductive Predicates (PDF, talk)
Novotný, Petr	Zero-Reachability in Probabilistic Multi-Counter Automata (PDF, talk)
O
Ochremiak, Joanna	Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity (PDF, talk)
Ong, Luke	Compositional Higher-Order Model Checking via Omega-Regular Games over Boehm Trees (PDF, talk)
P
Padovani, Luca	Deadlock and lock freedom in the linear pi-calculus (PDF, talk)
Parys, Paweł	Two-Way Cost Automata and Cost Logics over Infinite Trees (PDF, talk)
Pauly, Arno	Infinite sequential games with real-valued payoffs (PDF, talk)
Perrinel, Matthieu	On Context Semantics for Interaction Nets (PDF, talk)
Petric Maretic, Grgur	Anchored LTL Separation (PDF, talk)
Petrisan, Daniela	Coinduction Up-To in a Fibrational Setting (PDF, talk)
Place, Thomas	Separating Regular Languages with First-Order Logic (PDF, talk)
Podolskii, Vladimir	On the Succinctness of Query Rewriting over Shallow Ontologies (PDF, talk)
Pous, Damien	Coinduction Up-To in a Fibrational Setting (PDF, talk)
Pratt-Hartmann, Ian	Logics with Counting and Equivalence (PDF, talk)
Praveen, M.	Hyper-Ackermannian Bounds for Pushdown Vector Addition Systems (PDF, talk)
Pédrot, Pierre-Marie	A functional functional interpretation (PDF, talk)
R
Raghothaman, Mukund	Regular Combinators for String Transformations (PDF, talk)
Raskin, Jean-Francois	The Complexity of Admissibility in Omega-Regular Games (PDF, talk) Secure Equilibria in Weighted Games (PDF, talk)
Rot, Jurriaan	Coinduction Up-To in a Fibrational Setting (PDF, talk)
Rémy, Didier	System F with Coercion Constraints (PDF, talk)
S
Sangiorgi, Davide	On the Discriminating Power of Passivation and Higher-Order Interaction (PDF, talk)
Sassolas, Mathieu	The Complexity of Admissibility in Omega-Regular Games (PDF, talk)
Schmitz, Sylvain	Non-Elementary Complexities for Branching VASS, MELL, and Extensions (PDF, talk)
Schweikardt, Nicole	Preservation and decomposition theorems for bounded degree structures (PDF, talk) On Hanf-equivalence and the number of embeddings of small induced subgraphs (PDF, talk)
Shao, Zhong	Compositional Verification of Termination-Preserving Refinement of Concurrent Programs (PDF, talk)
Song, Lei	Probably Safe or Live (PDF, talk)
Staton, Sam	Substitution, jumps, and algebraic effects (PDF, talk) Transition systems over games (PDF, talk)
Strassburger, Lutz	Symmetric Normalisation for Intuitionistic Logic (PDF, talk)
Sutre, Grégoire	Hyper-Ackermannian Bounds for Pushdown Vector Addition Systems (PDF, talk)
Szeider, Stefan	Model Checking Existential Logic on Partially Ordered Sets (PDF, talk)
T
Ten Cate, Balder	Effective Interpolation and Preservation in Guarded Logics (PDF, talk)
Terauchi, Tachio	Local Temporal Reasoning (PDF, talk)
Torabi Dashti, Mohammad	Anchored LTL Separation (PDF, talk)
Toruńczyk, Szymon	Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity (PDF, talk)
Totzke, Patrick	Infinite-State Energy Games (PDF, talk)
Tsukada, Takeshi	Compositional Higher-Order Model Checking via Omega-Regular Games over Boehm Trees (PDF, talk)
V
Vanden Boom, Michael	Effective Interpolation and Preservation in Guarded Logics (PDF, talk) Two-Way Cost Automata and Cost Logics over Infinite Trees (PDF, talk)
Velner, Yaron	Finite-Memory Strategy Synthesis for Robust Multidimensional Mean-Payoff Objectives (PDF, talk)
Venema, Yde	Weak MSO: Automata and Expressiveness Modulo Bisimilarity (PDF, talk)
Vignudelli, Valeria	On the Discriminating Power of Passivation and Higher-Order Interaction (PDF, talk)
W
Williams, Ryan	Faster decision of first-order graph properties (PDF, talk)
Winskel, Glynn	Symmetry in Concurrent Games (PDF, talk)
Wooldridge, Michael	Equilibria of Concurrent Games on Event Structures (PDF, talk)
Wunderlich, Sascha	Weight Monitoring with Linear Temporal Logic: Complexity and Decidability (PDF, talk)
Y
Yoshimizu, Akira	The Geometry of Synchronization (PDF, talk)
Z
Zakharyaschev, Michael	On the Succinctness of Query Rewriting over Shallow Ontologies (PDF, talk)
Zanasi, Fabio	Weak MSO: Automata and Expressiveness Modulo Bisimilarity (PDF, talk)
Zeitoun, Marc	Logical Characterization of Weighted Pebble Walking Automata (PDF, talk) Separating Regular Languages with First-Order Logic (PDF, talk)
Zhang, Lijun	Probably Safe or Live (PDF, talk)