IEEE Symposium on Logic in Computer Science

A B C D E F G H I J K L M N O P QR S T U V W X Y Z

Authors on this page:

• Yang Cai
• Cristiano Calcagno
• Andrea Calì
• Diego Calvanese
• Juanito Camilleri
• Arnaud Carayol
• Aurelio Carboni
• Luca Cardelli
• Alberto Carraro
• Robert Cartwright
• Catarina Carvalho
• Paul Caspi
• Giuseppe Castagna
• Gian Luca Cattani
• Didier Caucal
• Karlis Cerans
• Serenella Cerrito
• Iliano Cervesato
• Rohit Chadha
• Pierre Chambart
• Edward Y. Chang
• Witold Charatonik
• Krishnendu Chatterjee
• Laura Chaubard
• Hubie Chen
• Taolue Chen
• Yijia Chen
• James Cheney
• Yannick Chevalier
• Fabrice Chevalier
• Shang-Ching Chou
• Søren Christensen
• Juliusz Chroboczek
• Martin Churchill
• Agata Ciabattoni
• Pierre Clairambault
• Edmund M. Clarke
• Rance Cleaveland
• Peter Clote
• Michael Codish
• Bob Coecke
• Mika Cohen
• Dario Colazzo
• Thomas Colcombet
• Loïc Colson
• Hubert Comon-Lundh
• Adriana B. Compagnoni
• Kevin J. Compton
• Robert L. Constable
• Evelyne Contejean
• Stephen A. Cook
• Mario Coppo
• Paolo Coppola
• Thierry Coquand
• Flavio Corradini
• Agostino Cortesi
• Stavros S. Cosmadakis
• Miguel Couceiro
• Bruno Courcelle
• Costas Courcoubetis
• Emanuele Covino
• Karl Crary
• Carles Creus
• Roy L. Crole
• László Csirmaz
• Licong Cui
• Pierre-Louis Curien

Yang Cai

• Paper: Yang Cai Ting Zhang Haifeng Luo
  An Improved Lower Bound for the Complementation of Rabin Automata (LICS 2009) More Information...
• Short Presentation: Yang Cai Ting Zhang
  Can Nondeterminism Help Complementation? (LICS 2011) More Information...

Cristiano Calcagno

• Paper: Matthew Parkinson Richard Bornat Cristiano Calcagno
  Variables as Resource in Hoare Logics (LICS 2006) More Information...
• Paper: Cristiano Calcagno Peter W. O'Hearn Hongseok Yang
  Local Action and Abstract Separation Logic (LICS 2007) More Information...

Andrea Calì

• Invited Paper: Andrea Calì Georg Gottlob Thomas Lukasiewicz Bruno Marnette Andreas Pieris
  Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications (LICS 2010) More Information...

Diego Calvanese

• Paper: Diego Calvanese Giuseppe De Giacomo Maurizio Lenzerini Moshe Y. Vardi
  View-Based Query Processing and Constraint Satisfaction (LICS 2000) More Information...
• Invited Paper: Diego Calvanese Giuseppe De Giacomo Maurizio Lenzerini
  Description Logics: Foundations for Class-based Knowledge Representation (LICS 2002) More Information...

Juanito Camilleri

• Paper: Juanito Camilleri Glynn Winskel
  CCS with priority choice (LICS 1991) More Information...

Arnaud Carayol

• Paper: Arnaud Carayol Matthew Hague Antoine Meyer C.-H. Luke Ong Olivier Serre
  Winning Regions of Higher-Order Pushdown Games (LICS 2008) More Information...
• Paper: Christopher H. Broadbent Arnaud Carayol C.-H. Luke Ong Olivier Serre
  Recursion Schemes and Logical Reflection (LICS 2010) More Information...
• Paper: Arnaud Carayol Axel Haddad Olivier Serre
  Qualitative Tree Languages (LICS 2011) More Information...

Aurelio Carboni

• Paper: Lars Birkedal Aurelio Carboni Giuseppe Rosolini Dana S. Scott
  Type Theory via Exact Categories (LICS 1998) More Information...

Luca Cardelli

• Paper: Martín Abadi Luca Cardelli
  A semantics of object types (LICS 1994) More Information...
• Paper: Gordon D. Plotkin Martín Abadi Luca Cardelli
  Subtyping and parametricity (LICS 1994) More Information...

Alberto Carraro

• Paper: Alberto Carraro Antonino Salibra
  Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus (LICS 2009) More Information...

Robert Cartwright

• Paper: Robert Cartwright Alan J. Demers
  The topology of program termination (LICS 1988) More Information...

Catarina Carvalho

• Paper: Catarina Carvalho Víctor Dalmau Andrei A. Krokhin
  Caterpillar Duality for Constraint Satisfaction Problems (LICS 2008) More Information...

Paul Caspi

• Paper: Eugene Asarin Paul Caspi Oded Maler
  A Kleene theorem for timed automata (LICS 1997) More Information...

Giuseppe Castagna

• Paper: Alain Frisch Giuseppe Castagna Véronique Benzaken
  Semantic subtyping (LICS 2002) More Information...
• Paper: Giuseppe Castagna Rocco De Nicola Daniele Varacca
  Semantic Subtyping for the pi-Calculus (LICS 2005) More Information...

Gian Luca Cattani

• Paper: Gian Luca Cattani Vladimiro Sassone
  Higher Dimensional Transition Systems (LICS 1996) More Information...
• Paper: Gian Luca Cattani Marcelo P. Fiore Glynn Winskel
  A Theory of Recursive Domains with Applications to Concurrency (LICS 1998) More Information...
• Paper: Marcelo P. Fiore Gian Luca Cattani Glynn Winskel
  Weak Bisimulation and Open Maps (LICS 1999) More Information...
• Paper: Gian Luca Cattani Peter Sewell
  Models for Name-Passing Processes: Interleaving and Causal (LICS 2000) More Information...

Didier Caucal

• Paper: Didier Caucal
  Monadic theory of term rewritings (LICS 1992) More Information...

Karlis Cerans

• Paper: Parosh A. Abdulla Karlis Cerans Bengt Jonsson Yih-Kuen Tsay
  General decidability theorems for infinite-state systems (LICS 1996) More Information...

Serenella Cerrito

• Paper: Serenella Cerrito
  A linear semantics for allowed logic programs (LICS 1990) More Information...
• Paper: Serenella Cerrito Delia Kesner
  Pattern Matching as Cut Elimination (LICS 1999) More Information...

Iliano Cervesato

• Paper: Iliano Cervesato Frank Pfenning
  A Linear Logical Framework (LICS 1996) More Information...
• Paper: Iliano Cervesato Frank Pfenning
  Linear higher-order pre-unification (LICS 1997) More Information...
• Short Presentation: Steven Lindell Iliano Cervesato
  The Dolev-Yaho Intruder is the Most Powerful Attacker (LICS 2001) More Information...

Rohit Chadha

• Paper: Rohit Chadha A. Prasad Sistla Mahesh Viswanthan
  On the Expressiveness and Complexity of Randomization in Finite State Monitors (LICS 2008) More Information...

Pierre Chambart

• Paper: Pierre Chambart Philippe Schnoebelen
  The Ordinal Recursive Complexity of Lossy Channel Systems (LICS 2008) More Information...

Edward Y. Chang

• Paper: Edward Y. Chang Zohar Manna Amir Pnueli
  Compositional verification of real-time systems (LICS 1994) More Information...

Witold Charatonik

• Paper: Witold Charatonik Leszek Pacholski
  Negative set constraints with equality (LICS 1994) More Information...
• Paper: Witold Charatonik Andreas Podelski
  Set constraints with intersection (LICS 1997) More Information...
• Paper: Witold Charatonik David A. McAllester Damian Niwinski Andreas Podelski Igor Walukiewicz
  The Horn Mu-calculus (LICS 1998) More Information...

Krishnendu Chatterjee

• Paper: Krishnendu Chatterjee Thomas A. Henzinger Marcin Jurdzinski
  Games with Secure Equilibria (LICS 2004) More Information...
• Paper: Krishnendu Chatterjee Thomas A. Henzinger Marcin Jurdzinski
  Mean-Payoff Parity Games (LICS 2005) More Information...
• Paper: Krishnendu Chatterjee Laurent Doyen Thomas A. Henzinger
  Expressiveness and Closure Properties for Quantitative Languages (LICS 2009) More Information...
• Paper: Tomáš Brázdil Václav Brozek Krishnendu Chatterjee Vojtech Forejt Antonín Kucera
  Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (LICS 2011) More Information...
• Paper: Udi Boker Krishnendu Chatterjee Thomas A. Henzinger Orna Kupferman
  Temporal Specifications with Accumulative Values (LICS 2011) More Information...

Laura Chaubard

• Paper: Laura Chaubard Jean-Eric Pin Howard Straubing
  First order formulas with modular predicates (LICS 2006) More Information...

Hubie Chen

• Paper: Manuel Bodirsky Hubie Chen
  Quantified Equality Constraints (LICS 2007) More Information...
• Paper: Hubie Chen Florent Madelaine Barnaby Martin
  Quantified Constraints and Containment Problems (LICS 2008) More Information...

Taolue Chen

• Paper: Taolue Chen Wan Fokkink
  On the Axiomatizability of Impossible Futures: Preorder versus Equivalence (LICS 2008) More Information...
• Paper: Taolue Chen Tingting Han Joost-Pieter Katoen Alexandru Mereacre
  Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications (LICS 2009) More Information...

Yijia Chen

• Paper: Yijia Chen Jörg Flum
  A Logic for PTIME and a Parameterized Halting Problem (LICS 2009) More Information...
• Paper: Yijia Chen Jörg Flum
  Listings and Logics (LICS 2011) More Information...

James Cheney

• Paper: Murdoch Gabbay James Cheney
  A Sequent Calculus for Nominal Logic (LICS 2004) More Information...
• Paper: Christian Urban James Cheney Stefan Berghofer
  Mechanizing the Metatheory of LF (LICS 2008) More Information...

Yannick Chevalier

• Paper: Yannick Chevalier Ralf Küsters Michaël Rusinowitch Mathieu Turuani
  An NP Decision Procedure for Protocol Insecurity with XOR (LICS 2003) More Information...

Fabrice Chevalier

• Paper: Patricia Bouyer Thomas Brihaye Fabrice Chevalier
  Control in o-minimal hybrid systems (LICS 2006) More Information...

Shang-Ching Chou

• Paper: Shang-Ching Chou Hai-Ping Ko
  On Mechanical Theorem Proving in Minkowskian Plane Geometry (LICS 1986) More Information...
• Invited Paper: Shang-Ching Chou
  Automated Reasoning in Geometry Using Algebraic Methods (LICS 1990) More Information...
• Paper: Shang-Ching Chou Xiao-Shan Gao Jing-Zhong Zhang
  Automated production of traditional proofs for constructive geometry theorems (LICS 1993) More Information...

Søren Christensen

• Paper: Søren Christensen Yoram Hirshfeld Faron Moller
  Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes (LICS 1993) More Information...

Juliusz Chroboczek

• Paper: Juliusz Chroboczek
  Game Semantics and Subtyping (LICS 2000) More Information...

Martin Churchill

• Paper: Martin Churchill James Laird Guy McCusker
  Imperative Programs as Proofs via Game Semantics (LICS 2011) More Information...

Agata Ciabattoni

• Paper: Agata Ciabattoni Nikolaos Galatos Kazushige Terui
  From Axioms to Analytic Rules in Nonclassical Logics (LICS 2008) More Information...

Pierre Clairambault

• Paper: Pierre Clairambault
  Isomorphisms of Types in the Presence of Higher-Order References (LICS 2011) More Information...

Edmund M. Clarke

• Paper: Steven M. German Edmund M. Clarke Joseph Y. Halpern
  True Relative Completeness of an Axiom System for the Language L4 (Abridged) (LICS 1986) More Information...
• Paper: Soumitra Bose Edmund M. Clarke David E. Long Spiro Michaylov
  PARTHENON: a parallel theorem prover for non-Horn clauses (LICS 1989) More Information...
• Paper: Edmund M. Clarke David E. Long Kenneth L. McMillan
  Compositional model checking (LICS 1989) More Information...
• Paper: Jerry R. Burch Edmund M. Clarke Kenneth L. McMillan David L. Dill L. James Hwang
  Symbolic model checking: 10^20 states and beyond (LICS 1990) More Information...
• Invited Paper: Edmund M. Clarke
  Automatic verification of finite-state concurrent systems (LICS 1994) More Information...
• Paper: Edmund M. Clarke Somesh Jha Yuan Lu Helmut Veith
  Tree-like Counterexamples in Model Checking (LICS 2002) More Information...

Rance Cleaveland

• Paper: Rance Cleaveland Matthew Hennessy
  Priorities in process algebras (LICS 1988) More Information...
• Paper: Rance Cleaveland Bernhard Steffen
  When is `partial' adequate? A logic-based proof technique using partial specifications (LICS 1990) More Information...
• Paper: Rance Cleaveland Amy E. Zwarico
  A theory of testing for real-time (LICS 1991) More Information...
• Paper: Girish Bhat Rance Cleaveland Orna Grumberg
  Efficient On-the-Fly Model Checking for CTL (LICS 1995) More Information...
• Paper: Vaidhyanathan Natarajan Rance Cleaveland
  An Algebraic Theory of Process Efficiency (LICS 1996) More Information...
• Paper: Girish Bhat Rance Cleaveland
  Efficient model checking via the equational mu-calculus (LICS 1996) More Information...

Peter Clote

• Paper: Peter Clote
  ALOGTIME and a conjecture of S.A. Cook (LICS 1990) More Information...
• Paper: Peter Clote
  Cutting planes and constant depth Frege proofs (LICS 1992) More Information...

Michael Codish

• Paper: Rob Gerth Michael Codish Yossi Lichtenstein Ehud Y. Shapiro
  Fully abstract denotational semantics for flat Concurrent Prolog (LICS 1988) More Information...

Bob Coecke

• Paper: Samson Abramsky Bob Coecke
  A Categorical Semantics of Quantum Protocols (LICS 2004) More Information...

Mika Cohen

• Paper: Mika Cohen Mads Dam
  A Complete Axiomatization of Knowledge and Cryptography (LICS 2007) More Information...

Dario Colazzo

• Paper: Dario Colazzo Giorgio Ghelli
  Subtyping Recursive Types in Kernel Fun (LICS 1999) More Information...

Thomas Colcombet

• Paper: Mikołaj Bojańczyk Thomas Colcombet
  Omega-Regular Expressions with Bounds (LICS 2006) More Information...
• Paper: Thomas Colcombet Christof Löding
  Regular Cost Functions over Finite Trees (LICS 2010) More Information...

Loïc Colson

• Paper: Loïc Colson Thomas Ehrhard
  On strong stability and higher-order sequentiality (LICS 1994) More Information...

Hubert Comon-Lundh

• Paper: Hubert Comon-Lundh
  Solving inequations in terms algebras (LICS 1990) More Information...
• Paper: Hubert Comon-Lundh Marianne Haberstrau Jean-Pierre Jouannaud
  Decidable problems in shallow equational theories (LICS 1992) More Information...
• Paper: Hubert Comon-Lundh Robert Nieuwenhuis Albert Rubio
  Orderings, AC-theories and Symbolic Constraint Solving (LICS 1995) More Information...
• Paper: Hubert Comon-Lundh
  Sequentiality, Second-order Monadic Logic and Tree Automata (LICS 1995) More Information...
• Paper: Hubert Comon-Lundh Florent Jacquemard
  Ground Reducibility is EXPTIME-complete (LICS 1997) More Information...
• Invited Paper: Hubert Comon-Lundh
  Applications of Tree Automata in Rewriting and Lambda Calculus (LICS 1997) More Information...
• Paper: Hubert Comon-Lundh Paliath Narendran Robert Nieuwenhuis Michaël Rusinowitch
  Decision Problems in Ordered Rewriting (LICS 1998) More Information...
• Paper: Hubert Comon-Lundh Vitaly Shmatikov
  Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or (LICS 2003) More Information...

Adriana B. Compagnoni

• Paper: David Aspinall Adriana B. Compagnoni
  Subtyping Dependent Types (LICS 1996) More Information...

Kevin J. Compton

• Paper: Kevin J. Compton Claude Laflamme
  An algebra and a logic for NC¹ (LICS 1988) More Information...

Robert L. Constable

• Paper: Todd B. Knoblock Robert L. Constable
  Formalized Metareasoning in Type Theory (LICS 1986) More Information...
• Paper: Nax P. Mendler Prakash Panangaden Robert L. Constable
  Infinite Objects in Type Theory (LICS 1986) More Information...
• Paper: Robert L. Constable Scott F. Smith
  Partial Objects In Constructive Type Theory (LICS 1987) More Information...
• Paper: Robert L. Constable Scott F. Smith
  Computational foundations of basic recursive function theory (LICS 1988) More Information...
• Paper: Stuart F. Allen Robert L. Constable Douglas J. Howe William E. Aitken
  The semantics of reflected proof (LICS 1990) More Information...
• Invited Paper: Robert L. Constable
  Experience using type theory as a foundation for computer science (LICS 1995) More Information...
• Short Presentation: Eli Barzilay Stuart F. Allen Robert L. Constable
  Practical Reflection in Nuprl (LICS 2003) More Information...

Evelyne Contejean

• Paper: Alexandre Boudet Evelyne Contejean Hervé Devie
  A new AC unification algorithm with an algorithm for solving systems of diophantine equations (LICS 1990) More Information...

Stephen A. Cook

• Paper: Stephen A. Cook Antonina Kolokolova
  A Second-Order System for Polytime Reasoning Using Grädel's Theorem (LICS 2001) More Information...
• Invited Paper: Stephen A. Cook
  Complexity Classes, Propositional Proof Systems, and Formal Theories (LICS 2002) More Information...
• Paper: Michael Soltys Stephen A. Cook
  The Proof Complexity of Linear Algebra (LICS 2002) More Information...
• Short Presentation: Stephen A. Cook Antonina Kolokolova
  A second-order theory for NL (LICS 2003) More Information...
• Paper: Stephen A. Cook Neil Thapen
  The Strength of Replacement in Weak Arithmetic (LICS 2004) More Information...
• Paper: Phuong Nguyen Stephen A. Cook
  VTC⁰: A Second-Order Theory for TC⁰ (LICS 2004) More Information...
• Paper: Stephen A. Cook Antonina Kolokolova
  A Second-Order Theory for NL (LICS 2004) More Information...
• Paper: Phuong Nguyen Stephen A. Cook
  The Complexity of Proving the Discrete Jordan Curve Theorem (LICS 2007) More Information...
• Paper: Dai Tri Man Le Stephen A. Cook
  Formalizing Randomized Matching Algorithms (LICS 2011) More Information...

Mario Coppo

• Paper: Mario Coppo Maddalena Zacchi
  Type inference and logical relations (LICS 1986) More Information...

Paolo Coppola

• Paper: Patrick Baillot Paolo Coppola Ugo Dal Lago
  Light Logics and Optimal Reduction: Completeness and Complexity (LICS 2007) More Information...

Thierry Coquand

• Paper: Thierry Coquand
  An Analysis of Girard's Paradox (LICS 1986) More Information...
• Paper: Thierry Coquand
  Categories of embeddings (LICS 1988) More Information...
• Paper: Val Breazu-Tannen Thierry Coquand Carl A. Gunter Andre Scedrov
  Inheritance and explicit coercion (LICS 1989) More Information...
• Invited Paper: Thierry Coquand
  (LICS 1991) More Information...
• Paper: Thierry Coquand Arnaud Spiwack
  Proof of strong normalisation using domain theory (LICS 2006) More Information...
• Paper: Andreas Abel Thierry Coquand Peter Dybjer
  Normalization by Evaluation for Martin-Löf Type Theory with Typed Equality Judgements (LICS 2007) More Information...

Flavio Corradini

• Paper: Jos C. M. Baeten Flavio Corradini
  Regular Expressions in Process Algebra (LICS 2005) More Information...

Agostino Cortesi

• Paper: Agostino Cortesi Gilberto Filé William H. Winsborough
  Prop revisited: propositional formula as abstract domain for groundness analysis (LICS 1991) More Information...

Stavros S. Cosmadakis

• Invited Paper: Albert R. Meyer Stavros S. Cosmadakis
  Semantical paradigms: notes for an invited lecture (LICS 1988) More Information...
• Paper: Stavros S. Cosmadakis
  Computing with recursive types (LICS 1989) More Information...
• Paper: Stavros S. Cosmadakis Albert R. Meyer Jon G. Riecke
  Completeness for typed lazy inequalities (LICS 1990) More Information...

Miguel Couceiro

• Short Presentation: Miguel Couceiro Stephan Foldes
  On Definability of Function Classes by Relational Constraints and Corresponding Galois Connections (LICS 2004) More Information...

Bruno Courcelle

• Paper: Bruno Courcelle
  On the expression of monadic second-order graph properties without quantifications over sets of edges (LICS 1990) More Information...
• Paper: Bruno Courcelle
  Monadic second-order logic and hypergraph orientation (LICS 1993) More Information...

Costas Courcoubetis

• Paper: Rajeev Alur Costas Courcoubetis David L. Dill
  Model-checking for real-time systems (LICS 1990) More Information...

Emanuele Covino

• Short Presentation: Emanuele Covino Giovanni Pani
  Recursive Programming Languages for Complexity Classes (LICS 2001) More Information...
• Short Presentation: Emanuele Covino Giovanni Pani
  Time-Space Computational Complexity of Imperative Programming Languages (LICS 2002) More Information...

Karl Crary

• Paper: Tom Murphy VII Karl Crary Robert Harper Frank Pfenning
  A Symmetric Modal Lambda Calculus for Distributed Computing (LICS 2004) More Information...

Carles Creus

• Paper: Carles Creus Guillem Godoy Francesc Massanés Ashish Tiwari
  Non-linear Rewrite Closure and Weak Normalization (LICS 2009) More Information...
• Paper: Luis Barguñó Carles Creus Guillem Godoy Florent Jacquemard Camille Vacher
  The Emptiness Problem for Tree Automata with Global Constraints (LICS 2010) More Information...

Roy L. Crole

• Paper: Roy L. Crole Andrew M. Pitts
  New foundations for fixpoint computations (LICS 1990) More Information...

László Csirmaz

• Paper: László Csirmaz Bradd Hart
  Program Correctness on Finite Fields (LICS 1986) More Information...

Licong Cui

• Short Presentation: Guo-Qiang Zhang Xiangnan Zhou Robert Fraser Licong Cui
  Concatenation and Kleene Star on Deterministic Finite Automata (LICS 2011) More Information...

Pierre-Louis Curien

• Paper: Pierre-Louis Curien
  Observable algorithms on concrete data structures (LICS 1992) More Information...