IEEE Symposium on Logic in Computer Science
LICS Home
-
LICS Awards
-
LICS Newsletters
-
LICS Archive
-
LICS Organization
-
Logic-Related Conferences
-
Links
Index by Authors:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Papers and Short Presentations by Authors: C
LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners
Authors on this page:
Michaël Cadilhac
Pierre Cagne
Yang Cai
Cristiano Calcagno
Andrea Calì
Diego Calvanese
Juanito Camilleri
Felix Canavoi
Florent Capelli
Venanzio Capretta
Paolo Capriotti
Arnaud Carayol
Michael Carbin
Aurelio Carboni
Clément Carbonnel
Luca Cardelli
Titouan Carette
David Carral
Alberto Carraro
Facundo Carreiro
Robert Cartwright
Catarina Carvalho
Antonio Casares
Paul Caspi
Giuseppe Castagna
Simon Castellan
Valentina Castiglioni
Daniel Castle
Balder ten Cate
Gian Luca Cattani
Didier Caucal
Gérard Cécé
Karlis Cerans
Serenella Cerrito
Julien Cervelle
Iliano Cervesato
Rohit Chadha
Souymodip Chakraborty
Supratik Chakraborty
Pierre Chambart
Edward Y. Chang
Angelos Charalambidis
Witold Charatonik
Krishnendu Chatterjee
Giannos Chatziagapis
Laura Chaubard
Kaustuv Chaudhuri
Swarat Chaudhuri
Hubie Chen
Yu-Fang Chen
Taolue Chen
Wei Chen
Yijia Chen
Yu Chen
Xiaohong Chen
James Cheney
Steven W. T. Cheung
Yannick Chevalier
Fabrice Chevalier
Dmitry Chistikov
Adam Chlipala
Miroslav Chodil
Ventsislav Chonev
Shang-Ching Chou
Søren Christensen
Juliusz Chroboczek
Martin Churchill
Agata Ciabattoni
Lorenzo Ciardo
Gianluca Cima
Stefan Ciobaca
Laura Ciobanu
Pierre Clairambault
Edmund M. Clarke
Rance Cleaveland
Lorenzo Clemente
Peter Clote
Alexandre Clément
Michael Codish
Bob Coecke
Claudio Sacerdoti Coen
Norine Coenen
Mika Cohen
Liron Cohen
Dario Colazzo
Thomas Colcombet
Loïc Colson
Hubert Comon-Lundh
Adriana B. Compagnoni
Kevin J. Compton
Andrea Condoluci
Marco Console
Robert L. Constable
Evelyne Contejean
Stephen A. Cook
Martin C. Cooper
Mario Coppo
Paolo Coppola
Thierry Coquand
Andrea Corradini
Flavio Corradini
Agostino Cortesi
Stavros S. Cosmadakis
Miguel Couceiro
Bruno Courcelle
Costas Courcoubetis
Patrick Cousot
Radhia Cousot
Emanuele Covino
Karl Crary
Julien Cretin
Carles Creus
Ioana Cristescu
Roy L. Crole
Raphaëlle Crubillé
Raphaëlle Crubillé
László Csirmaz
Licong Cui
Pierre-Louis Curien
Gianluca Curzi
Wojciech Czerwinski
Wojciech Czerwiński
Michaël Cadilhac
Paper:
Michaël Cadilhac
Charles Paperman
A crevice on the Crane Beach: Finite-degree predicates
(
LICS 2017
)
More Information...
Paper:
Corentin Barloy
Michaël Cadilhac
Charles Paperman
Thomas Zeume
The Regular Languages of First-Order Logic with One Alternation
(
LICS 2022
)
More Information...
Pierre Cagne
Paper:
Pierre Cagne
Ulrik Torben Buchholtz
Nicolai Kraus
Marc Bezem
On symmetries of spheres in univalent foundations
(
LICS 2024
)
More Information...
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...
Felix Canavoi
Paper:
Felix Canavoi
Erich Grädel
Simon Leßenich
Wied Pakusa
Defining Winning Strategies in Fixed-Point Logic
(
LICS 2015
)
More Information...
Paper:
Felix Canavoi
Martin Otto
Common knowledge and multi-scale locality analysis in Cayley structures
(
LICS 2017
)
More Information...
Florent Capelli
Paper:
Florent Capelli
Understanding the complexity of #SAT using knowledge compilation
(
LICS 2017
)
More Information...
Venanzio Capretta
Paper:
Venanzio Capretta
Jonathan Fowler
The continuity of monadic stream functions
(
LICS 2017
)
More Information...
Paolo Capriotti
Paper:
Paolo Capriotti
Nils Anders Danielsson
Andrea Vezzosi
Higher Lenses
(
LICS 2021
)
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...
Paper:
Arnaud Carayol
Olivier Serre
Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection
(
LICS 2012
)
More Information...
Paper:
Arnaud Carayol
Olivier Serre
How Good Is a Strategy in a Game with Nature? 609-620 Albert Atserias, José L
(
LICS 2015
)
More Information...
Paper:
Arnaud Carayol
Christof Löding
Olivier Serre
Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings
(
LICS 2016
)
More Information...
Michael Carbin
Paper:
Benjamin Sherman
Luke Sciarappa
Adam Chlipala
Michael Carbin
Computable decision making on the reals and other spaces: via partiality and nondeterminism
(
LICS 2018
)
More Information...
Aurelio Carboni
Paper:
Lars Birkedal
Aurelio Carboni
Giuseppe Rosolini
Dana S. Scott
Type Theory via Exact Categories
(
LICS 1998
)
More Information...
Clément Carbonnel
Paper:
Clément Carbonnel
Miguel Romero
Stanislav Zivny
Point-width and Max-CSPs
(
LICS 2019
)
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...
Paper:
Luca Cardelli
Mirco Tribastone
Max Tschaikowski
Andrea Vandin
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective
(
LICS 2016
)
More Information...
Titouan Carette
Paper:
Titouan Carette
Marc de Visme
Simon Perdrix
Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory
(
LICS 2021
)
More Information...
Paper:
Titouan Carette
Louis Lemonnier
Vladimir Zamdzhiev
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
(
LICS 2023
)
More Information...
Paper:
Titouan Carette
Timothée Hoffreumon
Émile Larroque
Renaud Vilmart
Complete Graphical Language for Hermiticity-Preserving Superoperators
(
LICS 2023
)
More Information...
David Carral
Paper:
Raven Beutner
David Carral
Bernd Finkbeiner
Jana Hofmann
Markus Krötzsch
Deciding Hyperproperties Combined with Functional Specifications
(
LICS 2022
)
More Information...
Alberto Carraro
Paper:
Alberto Carraro
Antonino Salibra
Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus
(
LICS 2009
)
More Information...
Facundo Carreiro
Paper:
Facundo Carreiro
Alessandro Facchini
Yde Venema
Fabio Zanasi
Weak MSO: automata and expressiveness modulo bisimilarity
(
LICS 2014
)
More Information...
Paper:
Facundo Carreiro
PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic
(
LICS 2015
)
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...
Paper:
Catarina Carvalho
Florent R. Madelaine
Barnaby Martin
From Complexity to Algebra and Back: Digraph Classes, Collapsibility, and the PGP
(
LICS 2015
)
More Information...
Antonio Casares
Paper:
Antonio Casares
Pierre Ohlmann
Positional ω-regular languages
(
LICS 2024
)
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...
Simon Castellan
Paper:
Simon Castellan
Pierre Clairambault
Glynn Winskel
Symmetry in concurrent games
(
LICS 2014
)
More Information...
Paper:
Simon Castellan
Pierre Clairambault
Glynn Winskel
The Parallel Intensionally Fully Abstract Games Model of PCF
(
LICS 2015
)
More Information...
Paper:
Simon Castellan
Pierre Clairambault
Hugo Paquet
Glynn Winskel
The concurrent game semantics of Probabilistic PCF
(
LICS 2018
)
More Information...
Valentina Castiglioni
Invited Paper:
Luca Aceto
Elli Anastasiadi
Valentina Castiglioni
Anna Ingólfsdóttir
Bas Luttik
In search of lost time: Axiomatising parallel composition in process algebras
(
LICS 2021
)
More Information...
Daniel Castle
Paper:
Chris Barrett
Daniel Castle
Willem Heijltjes
The Relational Machine Calculus
(
LICS 2024
)
More Information...
Balder ten Cate
Paper:
Michael Benedikt
Balder ten Cate
Michael Vanden Boom
Effective interpolation and preservation in guarded logics
(
LICS 2014
)
More Information...
Paper:
Michael Benedikt
Balder ten Cate
Thomas Colcombet
Michael Vanden Boom
The Complexity of Boundedness for Guarded Logics
(
LICS 2015
)
More Information...
Paper:
Michael Benedikt
Balder ten Cate
Michael Vanden Boom
Interpolation with Decidable Fixpoint Logics
(
LICS 2015
)
More Information...
Paper:
Michael Benedikt
Pierre Bourhis
Balder ten Cate
Gabriele Puppis
Querying Visible and Invisible Information
(
LICS 2016
)
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...
Gérard Cécé
Paper:
Gérard Cécé
Foundation for a series of efficient simulation algorithms
(
LICS 2017
)
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...
Julien Cervelle
Paper:
Julien Cervelle
Grégory Lafitte
On shift-invariant maximal filters and hormonal cellular automata
(
LICS 2017
)
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...
Paper:
Rohit Chadha
A. Prasad Sistla
Mahesh Viswanathan
Verification of randomized security protocols
(
LICS 2017
)
More Information...
Paper:
Gilles Barthe
Rohit Chadha
Vishal Jagannath
A. Prasad Sistla
Mahesh Viswanathan
Deciding Differential Privacy for Programs with Finite Inputs and Outputs
(
LICS 2020
)
More Information...
Paper:
Rohit Chadha
A. Prasad Sistla
Mahesh Viswanathan
On Linear Time Decidability of Differential Privacy for Programs with Unbounded Inputs
(
LICS 2021
)
More Information...
Souymodip Chakraborty
Paper:
Souymodip Chakraborty
Joost-Pieter Katoen
On the Satisfiability of Some Simple Probabilistic Logics
(
LICS 2016
)
More Information...
Supratik Chakraborty
Paper:
Preey Shah
Aman Bansal
S. Akshay
Supratik Chakraborty
A Normal Form Characterization for Efficient Boolean Skolem Function Synthesis
(
LICS 2021
)
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...
Angelos Charalambidis
Paper:
Angelos Charalambidis
Giannos Chatziagapis
Panos Rondogiannis
A Fixed Point Theorem on Lexicographic Lattice Structures
(
LICS 2020
)
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...
Paper:
Witold Charatonik
Piotr Witkowski
Two-Variable Logic with Counting and Trees
(
LICS 2013
)
More Information...
Short Presentation:
Witold Charatonik
Piotr Witkowski
Two-variable Logics with Counting and Datalog
(
LICS 2013
)
More Information...
Paper:
Witold Charatonik
Emanuel Kieronski
Filip Mazowiecki
Decidability of weak logics with deterministic transitive closure
(
LICS 2014
)
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 Kučera
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...
Paper:
Krishnendu Chatterjee
Laurent Doyen
Partial-Observation Stochastic Games: How to Win When Belief Fails
(
LICS 2012
)
More Information...
Paper:
Krishnendu Chatterjee
Mathieu Tracol
Decidable Problems for Probabilistic Automata on Infinite Words
(
LICS 2012
)
More Information...
Paper:
Krishnendu Chatterjee
Yaron Velner
Mean-Payoff Pushdown Games
(
LICS 2012
)
More Information...
Paper:
Tomáš Brázdil
Krishnendu Chatterjee
Vojtech Forejt
Antonín Kučera
Trading Performance for Stability in Markov Decision Processes
(
LICS 2013
)
More Information...
Paper:
Krishnendu Chatterjee
Zuzana Komárková
Jan Kretínský
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
(
LICS 2015
)
More Information...
Paper:
Krishnendu Chatterjee
Monika Henzinger
Veronika Loitzenbauer
Improved Algorithms for One-Pair and k-Pair Streett Objectives
(
LICS 2015
)
More Information...
Paper:
Krishnendu Chatterjee
Thomas A. Henzinger
Jan Otop
Nested Weighted Automata
(
LICS 2015
)
More Information...
Paper:
Krishnendu Chatterjee
Thomas A. Henzinger
Jan Otop
Quantitative Automata under Probabilistic Semantics
(
LICS 2016
)
More Information...
Paper:
Krishnendu Chatterjee
Wolfgang Dvorák
Monika Henzinger
Veronika Loitzenbauer
Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction
(
LICS 2016
)
More Information...
Paper:
Krishnendu Chatterjee
Laurent Doyen
Perfect-Information Stochastic Games with Generalized Mean-Payoff Objectives
(
LICS 2016
)
More Information...
Paper:
Tomás Brázdil
Krishnendu Chatterjee
Antonín Kucera
Petr Novotný
Dominik Velan
Florian Zuleger
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
(
LICS 2018
)
More Information...
Paper:
Krishnendu Chatterjee
Laurent Doyen
Graph Planning with Expected Finite Horizon
(
LICS 2019
)
More Information...
Paper:
Pranav Ashok
Krishnendu Chatterjee
Jan Kretínský
Maximilian Weininger
Tobias Winkler
Approximating Values of Generalized-Reachability Stochastic Games
(
LICS 2020
)
More Information...
Paper:
Krishnendu Chatterjee
Laurent Doyen
Stochastic Processes with Expected Stopping Time
(
LICS 2021
)
More Information...
Paper:
Krishnendu Chatterjee
Wolfgang Dvorák
Monika Henzinger
Alexander Svozil
Symbolic Time and Space Tradeoffs for Probabilistic Verification
(
LICS 2021
)
More Information...
Paper:
Ali Asadi
Krishnendu Chatterjee
Jakub Svoboda
Raimundo Saona Urmeneta
Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights
(
LICS 2024
)
More Information...
Giannos Chatziagapis
Paper:
Angelos Charalambidis
Giannos Chatziagapis
Panos Rondogiannis
A Fixed Point Theorem on Lexicographic Lattice Structures
(
LICS 2020
)
More Information...
Laura Chaubard
Paper:
Laura Chaubard
Jean-Eric Pin
Howard Straubing
First order formulas with modular predicates
(
LICS 2006
)
More Information...
Kaustuv Chaudhuri
Paper:
Kaustuv Chaudhuri
Nicolas Guenot
Equality and fixpoints in the calculus of structures
(
LICS 2014
)
More Information...
Swarat Chaudhuri
Paper:
Swarat Chaudhuri
Sriram Sankaranarayanan
Moshe Y. Vardi
Regular Real Analysis
(
LICS 2013
)
More Information...
Hubie Chen
Paper:
Manuel Bodirsky
Hubie Chen
Quantified Equality Constraints
(
LICS 2007
)
More Information...
Paper:
Hubie Chen
Florent R. Madelaine
Barnaby Martin
Quantified Constraints and Containment Problems
(
LICS 2008
)
More Information...
Paper:
Hubie Chen
Víctor Dalmau
Decomposing Quantified Conjunctive (or Disjunctive) Formulas
(
LICS 2012
)
More Information...
Paper:
Hubie Chen
Moritz Müller
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
(
LICS 2012
)
More Information...
Paper:
Hubie Chen
The tractability frontier of graph-like first-order query sets
(
LICS 2014
)
More Information...
Paper:
Hubie Chen
Moritz Müller
One hierarchy spawns another: graph deconstructions and the complexity classification of conjunctive queries
(
LICS 2014
)
More Information...
Paper:
Hubie Chen
Stefan Mengel
The logic of counting query answers
(
LICS 2017
)
More Information...
Yu-Fang Chen
Paper:
Yu-Fang Chen
Ondrej Lengál
Tony Tan
Zhilin Wu
Register automata with linear arithmetic
(
LICS 2017
)
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...
Paper:
Taolue Chen
Stefan Kiefer
On the total variation distance of labelled Markov chains
(
LICS 2014
)
More Information...
Wei Chen
Paper:
Martin Hofmann
Wei Chen
Abstract interpretation from Büchi automata
(
LICS 2014
)
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...
Paper:
Yijia Chen
Jörg Flum
On the Ordered Conjecture
(
LICS 2012
)
More Information...
Paper:
Yijia Chen
Jörg Flum
Tree-depth, quantifier elimination, and quantifier rank
(
LICS 2018
)
More Information...
Paper:
Yijia Chen
Moritz Müller
Keita Yokoyama
A parameterized halting problem, the linear time hierarchy, and the MRDP theorem
(
LICS 2018
)
More Information...
Paper:
Yijia Chen
Jörg Flum
Forbidden Induced Subgraphs and the Łoś-Tarski Theorem
(
LICS 2021
)
More Information...
Yu Chen
Paper:
Rajeev Alur
Yu Chen
Kishor Jothimurugan
Sanjeev Khanna
Space-efficient Query Evaluation over Probabilistic Event Streams
(
LICS 2020
)
More Information...
Xiaohong Chen
Paper:
Xiaohong Chen
Grigore Rosu
Matching μ-Logic
(
LICS 2019
)
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...
Steven W. T. Cheung
Paper:
Koko Muroya
Steven W. T. Cheung
Dan R. Ghica
The Geometry of Computation-Graph Abstraction
(
LICS 2018
)
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...
Dmitry Chistikov
Paper:
Mohamed Faouzi Atig
Dmitry Chistikov
Piotr Hofman
K. Narayan Kumar
Prakash Saivasan
Georg Zetzsche
The complexity of regular abstractions of one-counter languages
(
LICS 2016
)
More Information...
Paper:
Dmitry Chistikov
Mikhail Vyalyi
Re-pairing brackets
(
LICS 2020
)
More Information...
Paper:
Dmitry Chistikov
Christoph Haase
Alessio Mansutti
Geometric decision procedures and the VC dimension of linear arithmetic theories
(
LICS 2022
)
More Information...
Adam Chlipala
Paper:
Benjamin Sherman
Luke Sciarappa
Adam Chlipala
Michael Carbin
Computable decision making on the reals and other spaces: via partiality and nondeterminism
(
LICS 2018
)
More Information...
Miroslav Chodil
Paper:
Miroslav Chodil
Antonín Kucera
The Finite Satisfiability Problem for PCTL is Undecidable
(
LICS 2024
)
More Information...
Ventsislav Chonev
Paper:
Ventsislav Chonev
Joël Ouaknine
James Worrell
On Recurrent Reachability for Continuous Linear Dynamical Systems
(
LICS 2016
)
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...
Paper:
Federico Aschieri
Agata Ciabattoni
Francesco A. Genco
Gödel logic: From natural deduction to parallel computation
(
LICS 2017
)
More Information...
Paper:
Agata Ciabattoni
Timo Lang
Revantha Ramanayake
Cut-Restriction: From Cuts to Analytic Cuts
(
LICS 2023
)
More Information...
Lorenzo Ciardo
Paper:
Lorenzo Ciardo
Quantum advantage and CSP complexity
(
LICS 2024
)
More Information...
Paper:
Lorenzo Ciardo
Marcin Kozik
Andrei A. Krokhin
Tamio-Vesa Nakajima
Stanislav Zivný
1-in-3 vs
(
LICS 2024
)
More Information...
Gianluca Cima
Invited Paper:
Gianluca Cima
Marco Console
Maurizio Lenzerini
Antonella Poggi
Abstraction in Data Integration
(
LICS 2021
)
More Information...
Stefan Ciobaca
Paper:
Grigore Rosu
Andrei Stefanescu
Stefan Ciobaca
Brandon M. Moore
One-Path Reachability Logic
(
LICS 2013
)
More Information...
Laura Ciobanu
Paper:
Laura Ciobanu
Georg Zetzsche
Slice closures of indexed languages and word equations with counting constraints
(
LICS 2024
)
More Information...
Pierre Clairambault
Paper:
Pierre Clairambault
Isomorphisms of Types in the Presence of Higher-Order References
(
LICS 2011
)
More Information...
Paper:
Pierre Clairambault
Julian Gutierrez
Glynn Winskel
The Winning Ways of Concurrent Games
(
LICS 2012
)
More Information...
Paper:
Simon Castellan
Pierre Clairambault
Glynn Winskel
Symmetry in concurrent games
(
LICS 2014
)
More Information...
Paper:
Simon Castellan
Pierre Clairambault
Glynn Winskel
The Parallel Intensionally Fully Abstract Games Model of PCF
(
LICS 2015
)
More Information...
Paper:
Simon Castellan
Pierre Clairambault
Hugo Paquet
Glynn Winskel
The concurrent game semantics of Probabilistic PCF
(
LICS 2018
)
More Information...
Paper:
Pierre Clairambault
Federico Olimpieri
Hugo Paquet
From Thin Concurrent Games to Generalized Species of Structures
(
LICS 2023
)
More Information...
Paper:
Pierre Clairambault
Simon Forest
The Cartesian Closed Bicategory of Thin Spans of Groupoids
(
LICS 2023
)
More Information...
Paper:
Pierre Clairambault
Simon Forest
An Analysis of Symmetry in Quantitative Semantics
(
LICS 2024
)
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...
Paper:
Sicun Gao
Jeremy Avigad
Edmund M. Clarke
Delta-Decidability over the Reals
(
LICS 2012
)
More Information...
Paper:
Anvesh Komuravelli
Corina S. Pasareanu
Edmund M. Clarke
Learning Probabilistic Systems from Tree Samples
(
LICS 2012
)
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...
Lorenzo Clemente
Paper:
Lorenzo Clemente
Jean-François Raskin
Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives
(
LICS 2015
)
More Information...
Paper:
Lorenzo Clemente
Slawomir Lasota
Timed Pushdown Automata Revisited
(
LICS 2015
)
More Information...
Paper:
Lorenzo Clemente
Pawel Parys
Sylvain Salvati
Igor Walukiewicz
The Diagonal Problem for Higher-Order Recursion Schemes is Decidable
(
LICS 2016
)
More Information...
Paper:
Lorenzo Clemente
Slawomir Lasota
Ranko Lazic
Filip Mazowiecki
Timed pushdown automata and branching vector addition systems
(
LICS 2017
)
More Information...
Paper:
Nikhil Balaji
Lorenzo Clemente
Klara Nosan
Mahsa Shirmohammadi
James Worrell
Multiplicity Problems on Algebraic Series and Context-Free Grammars
(
LICS 2023
)
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...
Alexandre Clément
Paper:
Alexandre Clément
Nicolas Heurtel
Shane Mansfield
Simon Perdrix
Benoît Valiron
A Complete Equational Theory for Quantum Circuits
(
LICS 2023
)
More Information...
Paper:
Alexandre Clément
Noé Delorme
Simon Perdrix
Minimal Equational Theories for Quantum Circuits
(
LICS 2024
)
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...
Paper:
Bob Coecke
Ross Duncan
Aleks Kissinger
Quanlong Wang
Strong Complementarity and Non-locality in Categorical Quantum Mechanics
(
LICS 2012
)
More Information...
Paper:
Nicola Pinzani
Stefano Gogioso
Bob Coecke
Categorical Semantics for Time Travel
(
LICS 2019
)
More Information...
Paper:
Boldizsár Poór
Quanlong Wang
Razin A. Shaikh
Lia Yeh
Richie Yeung
Bob Coecke
Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus
(
LICS 2023
)
More Information...
Claudio Sacerdoti Coen
Paper:
Beniamino Accattoli
Claudio Sacerdoti Coen
On the Relative Usefulness of Fireballs
(
LICS 2015
)
More Information...
Paper:
Beniamino Accattoli
Andrea Condoluci
Claudio Sacerdoti Coen
Strong Call-by-Value is Reasonable, Implosively
(
LICS 2021
)
More Information...
Norine Coenen
Paper:
Norine Coenen
Bernd Finkbeiner
Christopher Hahn
Jana Hofmann
The Hierarchy of Hyperlogics
(
LICS 2019
)
More Information...
Mika Cohen
Paper:
Mika Cohen
Mads Dam
A Complete Axiomatization of Knowledge and Cryptography
(
LICS 2007
)
More Information...
Liron Cohen
Paper:
Mark Bickford
Liron Cohen
Robert L. Constable
Vincent Rahli
Computability Beyond Church-Turing via Choice Sequences
(
LICS 2018
)
More Information...
Paper:
Liron Cohen
Étienne Miquey
Ross Tate
Evidenced Frames: A Unifying Framework Broadening Realizability Models
(
LICS 2021
)
More Information...
Paper:
Liron Cohen
Yannick Forster
Dominik Kirst
Bruno da Rocha Paiva
Vincent Rahli
Separating Markov's Principles
(
LICS 2024
)
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...
Paper:
Thomas Colcombet
Magnitude Monadic Logic over Words and the Use of Relative Internal Set Theory
(
LICS 2013
)
More Information...
Paper:
Achim Blumensath
Thomas Colcombet
Denis Kuperberg
Pawel Parys
Michael Vanden Boom
Two-way cost automata and cost logics over infinite trees
(
LICS 2014
)
More Information...
Paper:
Michael Benedikt
Balder ten Cate
Thomas Colcombet
Michael Vanden Boom
The Complexity of Boundedness for Guarded Logics
(
LICS 2015
)
More Information...
Paper:
Thomas Colcombet
Stefan Göller
Games with bound guess actions
(
LICS 2016
)
More Information...
Paper:
Thomas Colcombet
Marcin Jurdzinski
Ranko Lazic
Sylvain Schmitz
Perfect half space games
(
LICS 2017
)
More Information...
Paper:
Thomas Colcombet
Gaëtan Douéneau-Tabot
Aliaume Lopez
ℤ-polyregular functions
(
LICS 2023
)
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...
Invited Paper:
Hubert Comon-Lundh
LICS: Logic in Computer Security - Some Attacker's Models and Related Decision Problems
(
LICS 2013
)
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...
Andrea Condoluci
Paper:
Beniamino Accattoli
Andrea Condoluci
Claudio Sacerdoti Coen
Strong Call-by-Value is Reasonable, Implosively
(
LICS 2021
)
More Information...
Marco Console
Invited Paper:
Gianluca Cima
Marco Console
Maurizio Lenzerini
Antonella Poggi
Abstraction in Data Integration
(
LICS 2021
)
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...
Invited Paper:
Robert L. Constable
On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer
(
LICS 2012
)
More Information...
Paper:
Vincent Rahli
Mark Bickford
Robert L. Constable
Bar induction: The good, the bad, and the ugly
(
LICS 2017
)
More Information...
Paper:
Mark Bickford
Liron Cohen
Robert L. Constable
Vincent Rahli
Computability Beyond Church-Turing via Choice Sequences
(
LICS 2018
)
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...
Paper:
Iddo Tzameret
Stephen A. Cook
Uniform, integral and efficient proofs for the determinant identities
(
LICS 2017
)
More Information...
Martin C. Cooper
Paper:
Martin C. Cooper
Stanislav Zivny
The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns
(
LICS 2016
)
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...
Paper:
Thierry Coquand
Bassel Mannaa
Fabian Ruch
Stack semantics of type theory
(
LICS 2017
)
More Information...
Invited Paper:
Thierry Coquand
Inner Models of Univalence
(
LICS 2018
)
More Information...
Paper:
Thierry Coquand
Simon Huber
Anders Mörtberg
On Higher Inductive Types in Cubical Type Theory
(
LICS 2018
)
More Information...
Andrea Corradini
Paper:
Paolo Baldan
Andrea Corradini
Fabio Gadducci
Domains and event structures for fusions
(
LICS 2017
)
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...
Patrick Cousot
Invited Paper:
Patrick Cousot
Radhia Cousot
Abstract interpretation: past, present and future
(
LICS 2014
)
More Information...
Radhia Cousot
Invited Paper:
Patrick Cousot
Radhia Cousot
Abstract interpretation: past, present and future
(
LICS 2014
)
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...
Paper:
Karl Crary
Strong Sums in Focused Logic
(
LICS 2018
)
More Information...
Julien Cretin
Paper:
Julien Cretin
Didier Rémy
System F with coercion constraints
(
LICS 2014
)
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...
Paper:
Carles Creus
Adria Gascón
Guillem Godoy
Lander Ramos
The HOM Problem is EXPTIME-Complete
(
LICS 2012
)
More Information...
Ioana Cristescu
Paper:
Ioana Cristescu
Jean Krivine
Daniele Varacca
A Compositional Semantics for the Reversible p-Calculus
(
LICS 2013
)
More Information...
Roy L. Crole
Paper:
Roy L. Crole
Andrew M. Pitts
New foundations for fixpoint computations
(
LICS 1990
)
More Information...
Raphaëlle Crubillé
Paper:
Raphaëlle Crubillé
Probabilistic Stable Functions on Discrete Cones are Power Series
(
LICS 2018
)
More Information...
Raphaëlle Crubillé
Paper:
Raphaëlle Crubillé
Ugo Dal Lago
Metric Reasoning about ?-Terms: The Affine Case
(
LICS 2015
)
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...
Paper:
Cédric Ho Thanh
Pierre-Louis Curien
Samuel Mimram
A Sequent Calculus for Opetopes
(
LICS 2019
)
More Information...
Gianluca Curzi
Paper:
Gianluca Curzi
Michele Pagani
The Benefit of Being Non-Lazy in Probabilistic λ-calculus: Applicative Bisimulation is Fully Abstract for Non-Lazy Probabilistic Call-by-Name
(
LICS 2020
)
More Information...
Paper:
Gianluca Curzi
Anupam Das
Cyclic Implicit Complexity
(
LICS 2022
)
More Information...
Paper:
Gianluca Curzi
Anupam Das
Computational expressivity of (circular) proofs with fixed points
(
LICS 2023
)
More Information...
Wojciech Czerwinski
Paper:
Wojciech Czerwinski
Georg Zetzsche
An Approach to Regular Separability in Vector Addition Systems
(
LICS 2020
)
More Information...
Paper:
Wojciech Czerwinski
Engel Lefaucheux
Filip Mazowiecki
David Purser
Markus A. Whiteland
The boundedness and zero isolation problems for weighted automata over nonnegative rationals
(
LICS 2022
)
More Information...
Paper:
Wojciech Czerwinski
Lukasz Orlikowski
Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes
(
LICS 2022
)
More Information...
Wojciech Czerwiński
Paper:
Wojciech Czerwiński
Petr Jančar
Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME
(
LICS 2015
)
More Information...
Paper:
Wojciech Czerwiński
Slawomir Lasota
Regular separability of one counter automata
(
LICS 2017
)
More Information...
Last modified: 2024-10-24
9:41
Sam Staton