IEEE Symposium on Logic in Computer Science

Authors on this page:

• Diego Calvanese
• Juanito Camilleri
• Aurelio Carboni
• Luca Cardelli
• Robert Cartwright
• Paul Caspi
• Giuseppe Castagna
• Gian Luca Cattani
• Caucal, D.
• Karlis Cerans
• Cerrito, S.
• Serenella Cerrito
• Iliano Cervesato
• Iliano. Cervesato
• I. Cervesato
• Edward Chang
• Witold Charatonik
• Krishnendu Chatterjee
• James Cheney
• Yannick Chevalier
• Shang-Ching Chou
• Søren Christensen
• Juliusz Chroboczek
• Edmund M. Clarke
• Clarke, E.M.
• Ed Clarke
• Edmund Clarke
• Rance Cleaveland
• Cleaveland, R.
• Clote, P.
• Michael Codish
• Bob Coecke
• Dario Colazzo
• Loïc Colson
• Comon, H.
• H. Comon
• Hubert Comon
• H. Comon-Lundh
• Adriana Compagnoni
• Kevin J. Compton
• Robert L. Constable
• Constable, R.L.
• R.L. Constable
• Robert Constable
• Contejean, E.
• Stephen Cook
• Mario Coppo
• Thierry Coquand
• Coquand, T.
• F. Corradini
• A. Cortesi
• Stavros S. Cosmadakis
• Cosmadakis, S.S.
• M. Couceiro
• Courcelle, B.
• Bruno Courcelle
• Courcoubetis, C.
• E. Covino
• Karl Crary
• Crole, R.L.
• László Csirmaz
• Curien, P.-L.

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 Talk: 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...

Aurelio Carboni

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

Luca Cardelli

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

Robert Cartwright

• Paper: Robert Cartwright Alan J. Demers
  The topology of program termination (LICS 1988) 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 p-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 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...

Caucal, D.

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

Karlis Cerans

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

Cerrito, S.

• Paper: Cerrito, S.
  A linear semantics for allowed logic programs (LICS 1990) More Information...

Serenella Cerrito

• 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...

Iliano. Cervesato

• Paper: Iliano. Cervesato Frank Pfenning
  Linear higher-order pre-unification (LICS 1997) More Information...

I. Cervesato

• Short Presentation: S. Lindell I. Cervesato
  The Dolev-Yaho Intruder is the Most Powerful Attacker (LICS 2001) More Information...

Edward Chang

• Paper: Edward 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...

James Cheney

• Paper: Murdoch Gabbay James Cheney
  A Sequent Calculus for Nominal Logic (LICS 2004) 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...

Shang-Ching Chou

• Paper: Shang-Ching Chou Hai-Ping Ko
  On Mechanical Theorem Proving in Minkowskian Plane Geometry (LICS 1986) 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...

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...

Clarke, E.M.

• Paper: Bose, S. Clarke, E.M. Long, D.E. Michaylov, S.
  PARTHENON: a parallel theorem prover for nonHorn clauses (LICS 1989) More Information...
• Paper: Clarke, E.M. Long, D.E. McMillan, K.L.
  Compositional model checking (LICS 1989) More Information...
• Paper: Burch, J.R. Clarke, E.M. McMillan, K.L. Dill, D.L. Hwang, L.J.
  Symbolic model checking: 10 states and beyond (LICS 1990) More Information...

Ed Clarke

• Invited Talk: Ed Clarke
  Automatic verification of finite-state concurrent systems (LICS 1994) More Information...

Edmund Clarke

• Paper: Edmund 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 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: V. Natarajan Rance Cleaveland
  An Algebraic Theory of Process Efficiency (LICS 1996) More Information...
• Paper: Girish Bhat Rance Cleaveland
  Efficient model checking via the equational /spl mu/-calculus (LICS 1996) More Information...

Cleaveland, R.

• Paper: Cleaveland, R. Steffen, B.
  When is `partial' adequate? A logic-based proof technique using partial specifications (LICS 1990) More Information...

Clote, P.

• Paper: Clote, P.
  ALOGTIME and a conjecture of S.A. Cook (LICS 1990) More Information...
• Paper: Clote, P.
  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...

Dario Colazzo

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

Loïc Colson

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

Comon, H.

• Paper: Comon, H.
  Solving inequations in terms algebras (LICS 1990) More Information...
• Paper: Comon, H. Haberstrau, M. Jouannaud, J.-P.
  Decidable problems in shallow equational theories (LICS 1992) More Information...

H. Comon

• Paper: H. Comon R. Nieuwenhuis A. Rubio
  Orderings, AC-theories and Symbolic Constraint Solving (LICS 1995) More Information...
• Paper: H. Comon
  Sequentiality, Second-order Monadic Logic and Tree Automata (LICS 1995) More Information...

Hubert Comon

• Paper: Hubert Comon Florent Jacquemard
  Ground Reducibility is EXPTIME-complete (LICS 1997) More Information...
• Invited Talk: Hubert Comon
  Applications of Tree Automata in Rewriting and Lambda Calculus (LICS 1997) More Information...
• Paper: Hubert Comon Paliath Narendran Robert Nieuwenhuis Michaël Rusinowitch
  Decision Problems in Ordered Rewriting (LICS 1998) More Information...

H. Comon-Lundh

• Paper: H. Comon-Lundh V. Shmatikov
  Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or (LICS 2003) More Information...

Adriana Compagnoni

• Paper: David Aspinall Adriana 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: N. P. Mendler Prakash Panangaden Robert L. Constable
  Infinite Objects in Type Theory (LICS 1986) More Information...
• Paper: Robert L. Constable Scott Fraser 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...

Constable, R.L.

• Paper: Allen, S.F. Constable, R.L. Howe, D.J. Aitken, W.E.
  The semantics of reflected proof (LICS 1990) More Information...

R.L. Constable

• Invited Talk: R.L. Constable
  Experience using type theory as a foundation for computer science (LICS 1995) More Information...

Robert Constable

• Short Presentation: Eli Barzilay Stuart Allen Robert Constable
  Practical Reflection in Nuprl (LICS 2003) More Information...

Contejean, E.

• Paper: Boudet, A. Contejean, E. Devie, H.
  A new AC unification algorithm with an algorithm for solving systems of diophantine equations (LICS 1990) More Information...

Stephen Cook

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

Mario Coppo

• Paper: Mario Coppo Maddalena Zacchi
  Type inference and logical relations (LICS 1986) 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...

Coquand, T.

• Paper: Breazu-Tannen, V. Coquand, T. Gunter, C.A. Scedrov, A.
  Inheritance and explicit coercion (LICS 1989) More Information...

F. Corradini

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

A. Cortesi

• Paper: A. Cortesi G. Filé W. Winsborough
  Prop revisited: propositional formula as abstract domain for groundness analysis (LICS 1991) More Information...

Stavros S. Cosmadakis

• Invited Talk: Albert R. Meyer Stavros S. Cosmadakis
  Semantical paradigms: notes for an invited lecture (LICS 1988) More Information...

Cosmadakis, S.S.

• Paper: Cosmadakis, S.S.
  Computing with recursive types (LICS 1989) More Information...
• Paper: Cosmadakis, S.S. Meyer, A.R. Riecke, J.G.
  Completeness for typed lazy inequalities (LICS 1990) More Information...

M. Couceiro

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

Courcelle, B.

• Paper: Courcelle, B.
  On the expression of monadic second-order graph properties without quantifications over sets of edges (LICS 1990) More Information...

Bruno Courcelle

• Paper: Bruno Courcelle
  Monadic second-order logic and hypergraph orientation (LICS 1993) More Information...

Courcoubetis, C.

• Paper: Alur, R. Courcoubetis, C. Dill, D.
  Model-checking for real-time systems (LICS 1990) More Information...

E. Covino

• Short Presentation: E. Covino G. Pani
  Recursive Programming Languages for Complexity Classes (LICS 2001) More Information...
• Short Presentation: E. Covino G. 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...

Crole, R.L.

• Paper: Crole, R.L. Pitts, A.M.
  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...

Curien, P.-L.

• Paper: Curien, P.-L.
  Observable algorithms on concrete data structures (LICS 1992) More Information...