IEEE Symposium on Logic in Computer Science

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

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