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: T
LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners
Authors on this page:
Nicolas Tabareau
Toru Takisaka
Jean-Marc Talbot
Carolyn L. Talcott
Jean-Pierre Talpin
Tony Tan
Gang Tan
Yong Kiam Tan
Ryo Tanaka
Till Tantau
Francesco Tapparo
Claude Tardif
Andrzej Tarlecki
Christine Tasson
Ross Tate
Makoto Tatsuta
Paul Taylor
Siamak Tazari
Vanessa Teague
Balder ten Cate
Lidia Tendera
Tachio Terauchi
Eugenia Ternovska
Kazushige Terui
Cédric Ho Thanh
Neil Thapen
Johan Thapper
Denis Thérien
P. S. Thiagarajan
David Thibodeau
René Thiemann
Dimitrios M. Thilikos
Wolfgang Thomas
Bent Thomsen
Christopher Thorpe
Cong Tian
Michael L. Tiomkin
Ferucio Laurentiu Tiplea
Sophie Tison
Alwen F. Tiu
Alwen Tiu
Jerzy Tiuryn
Ashish Tiwari
Anthony Widjaja To
Chris M. N. Tofts
Chritophe Tollu
Alexandru I. Tomescu
Noah Torp-Smith
Lorenzo Tortora de Falco
Szymon Torunczyk
Szymon Toruńczyk
Patrick Totzke
Tayssir Touili
Yoshihito Toyama
Mathieu Tracol
Boris A. Trakhtenbrot
Dmitriy Traytel
Richard J. Trefler
Ralf Treinen
Mirco Tribastone
Valery Trifonov
Stavros Tripakis
Jean-Baptiste Tristan
Ashutosh Trivedi
Enrico Tronci
Nicolas Troquard
Tomasz Truderung
Stelios Tsampas
Todor Tsankov
Yih-Kuen Tsay
Max Tschaikowski
Dimitris Tsementzis
Toru Tsujishita
Takeshi Tsukada
Games and Logic Takeshi Tsukada
Jamie Tucker-Foltz
Daniele Turi
Franco Turini
Mathieu Turuani
Rémy Tuyéras
Jerzy Tyszkiewicz
Iddo Tzameret
Nikos Tzevelekos
Nicolas Tabareau
Paper:
Paul-André Melliès
Nicolas Tabareau
Resource modalities in game semantics
(
LICS 2007
)
More Information...
Paper:
Guilhem Jaber
Nicolas Tabareau
Matthieu Sozeau
Extending Type Theory with Forcing
(
LICS 2012
)
More Information...
Paper:
Guilhem Jaber
Gabriel Lewertowski
Pierre-Marie Pédrot
Matthieu Sozeau
Nicolas Tabareau
The Definitional Side of the Forcing
(
LICS 2016
)
More Information...
Paper:
Pierre-Marie Pédrot
Nicolas Tabareau
An effectful way to eliminate addiction to dependence
(
LICS 2017
)
More Information...
Toru Takisaka
Paper:
Bakh Khoussainov
Toru Takisaka
Large scale geometries of infinite strings
(
LICS 2017
)
More Information...
Jean-Marc Talbot
Paper:
Joachim Niehren
Martin Müller
Jean-Marc Talbot
Entailment of Atomic Set Constraints is PSPACE-Complete
(
LICS 1999
)
More Information...
Paper:
Iovka Boneva
Jean-Marc Talbot
Sophie Tison
Expressiveness of a Spatial Logic for Trees
(
LICS 2005
)
More Information...
Paper:
Luc Dartois
Emmanuel Filiot
Pierre-Alain Reynier
Jean-Marc Talbot
Two-Way Visibly Pushdown Automata and Transducers
(
LICS 2016
)
More Information...
Paper:
Laure Daviaud
Pierre-Alain Reynier
Jean-Marc Talbot
A Generalised Twinning Property for Minimisation of Cost Register Automata
(
LICS 2016
)
More Information...
Carolyn L. Talcott
Paper:
Ian A. Mason
Carolyn L. Talcott
Axiomatizing operational equivalence in the presence of side effects
(
LICS 1989
)
More Information...
Paper:
Ian A. Mason
Carolyn L. Talcott
References, local variables and operational reasoning
(
LICS 1992
)
More Information...
Jean-Pierre Talpin
Paper:
Jean-Pierre Talpin
Pierre Jouvelot
The type and effect discipline
(
LICS 1992
)
More Information...
Tony Tan
Paper:
Tony Tan
Graph Reachability and Pebble Automata over Infinite Alphabets
(
LICS 2009
)
More Information...
Paper:
Tony Tan
An Automata Model for Trees with Ordered Data Values
(
LICS 2012
)
More Information...
Paper:
Yu-Fang Chen
Ondrej Lengál
Tony Tan
Zhilin Wu
Register automata with linear arithmetic
(
LICS 2017
)
More Information...
Paper:
Ting-Wei Lin
Chia-Hsuan Lu
Tony Tan
Towards a more efficient approach for the satisfiability of two-variable logic
(
LICS 2021
)
More Information...
Gang Tan
Short Presentation:
Gang Tan
Andrew W. Appel
Semantics of machine Instructions at Multiple Levels of Abstraction
(
LICS 2001
)
More Information...
Yong Kiam Tan
Paper:
André Platzer
Yong Kiam Tan
Differential Equation Axiomatization: The Impressive Power of Differential Ghosts
(
LICS 2018
)
More Information...
Ryo Tanaka
Paper:
Ugo Dal Lago
Ryo Tanaka
Akira Yoshimizu
The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens
(
LICS 2017
)
More Information...
Till Tantau
Paper:
Michael Elberfeld
Martin Grohe
Till Tantau
Where First-Order and Monadic Second-Order Logic Coincide
(
LICS 2012
)
More Information...
Francesco Tapparo
Paper:
Francesco Ranzato
Francesco Tapparo
A New Efficient Simulation Equivalence Algorithm
(
LICS 2007
)
More Information...
Claude Tardif
Paper:
Benoit Larose
Cynthia Loten
Claude Tardif
A Characterisation of First-Order Constraint Satisfaction Problems
(
LICS 2006
)
More Information...
Andrzej Tarlecki
Paper:
Robert Harper
Donald Sannella
Andrzej Tarlecki
Structure and representation in LF
(
LICS 1989
)
More Information...
Christine Tasson
Paper:
Michele Pagani
Christine Tasson
The Inverse Taylor Expansion Problem in Linear Logic
(
LICS 2009
)
More Information...
Paper:
Thomas Ehrhard
Michele Pagani
Christine Tasson
The Computational Meaning of Probabilistic Coherence Spaces
(
LICS 2011
)
More Information...
Ross Tate
Paper:
Liron Cohen
Étienne Miquey
Ross Tate
Evidenced Frames: A Unifying Framework Broadening Realizability Models
(
LICS 2021
)
More Information...
Makoto Tatsuta
Paper:
Makoto Tatsuta
Realizability for Constructive Theory of Functions and Classes and its Application to Program Synthesis
(
LICS 1998
)
More Information...
Paper:
Mariangiola Dezani-Ciancaglini
Makoto Tatsuta
Normalisation is insensible to lambda-term identity or difference
(
LICS 2006
)
More Information...
Paper:
Makoto Tatsuta
Types for Hereditary Permutators
(
LICS 2008
)
More Information...
Paper:
Stefano Berardi
Makoto Tatsuta
Equivalence of inductive definitions and cyclic proofs under arithmetic
(
LICS 2017
)
More Information...
Paul Taylor
Paper:
Paul Taylor
The fixed point property in synthetic domain theory
(
LICS 1991
)
More Information...
Siamak Tazari
Paper:
Stephan Kreutzer
Siamak Tazari
Lower Bounds for the Complexity of Monadic Second-Order Logic
(
LICS 2010
)
More Information...
Vanessa Teague
Invited Paper:
John C. Mitchell
Ajith Ramanathan
Vanessa Teague
Andre Scedrov
Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis
(
LICS 2001
)
More Information...
Balder ten Cate
Paper:
Balder ten Cate
Johan van Benthem
Jouko A. Väänänen
Lindström theorems for fragments of first-order logic
(
LICS 2007
)
More Information...
Short Presentation:
Amelie Gheerbrant
Balder ten Cate
Complete Axiomatizations of Fragments of Monadic Second- Order Logic on Finite Trees
(
LICS 2012
)
More Information...
Lidia Tendera
Paper:
Leszek Pacholski
Wieslaw Szwast
Lidia Tendera
Complexity of Two-Variable Logic with Counting
(
LICS 1997
)
More Information...
Paper:
Wieslaw Szwast
Lidia Tendera
On the Decision Problem for the Guarded Fragment with Transitivity
(
LICS 2001
)
More Information...
Paper:
Emanuel Kieronski
Lidia Tendera
On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations
(
LICS 2009
)
More Information...
Paper:
Emanuel Kieronski
Jakub Michaliszyn
Ian Pratt-Hartmann
Lidia Tendera
Two-Variable First-Order Logic with Equivalence Closure
(
LICS 2012
)
More Information...
Tachio Terauchi
Paper:
Tachio Terauchi
Alexander Aiken
On Typability for Rank-2 Intersection Types with Polymorphic Recursion
(
LICS 2006
)
More Information...
Paper:
Eric Koskinen
Tachio Terauchi
Local temporal reasoning
(
LICS 2014
)
More Information...
Paper:
Yoji Nanjo
Hiroshi Unno
Eric Koskinen
Tachio Terauchi
A Fixpoint Logic and Dependent Effects for Temporal Property Verification
(
LICS 2018
)
More Information...
Eugenia Ternovska
Short Presentation:
Marc Denecker
Eugenia Ternovska
Modularity Theorems for Non-Monotone Induction
(
LICS 2003
)
More Information...
Short Presentation:
Murray Patterson
Yongmei Liu
Eugenia Ternovska
Arvind Gupta
Grounding for Model Expansion in k-Guarded Formulas
(
LICS 2006
)
More Information...
Kazushige Terui
Paper:
Kazushige Terui
Light Affine Lambda Calculus and Polytime Strong Normalization
(
LICS 2001
)
More Information...
Paper:
Kazushige Terui
Proof Nets and Boolean Circuits
(
LICS 2004
)
More Information...
Paper:
Patrick Baillot
Kazushige Terui
Light Types for Polynomial Time Computation in Lambda-Calculus
(
LICS 2004
)
More Information...
Paper:
Agata Ciabattoni
Nikolaos Galatos
Kazushige Terui
From Axioms to Analytic Rules in Nonclassical Logics
(
LICS 2008
)
More Information...
Paper:
Michele Basaldella
Kazushige Terui
Infinitary Completeness in Ludics
(
LICS 2010
)
More Information...
Cédric Ho Thanh
Paper:
Cédric Ho Thanh
Pierre-Louis Curien
Samuel Mimram
A Sequent Calculus for Opetopes
(
LICS 2019
)
More Information...
Neil Thapen
Paper:
Stephen A. Cook
Neil Thapen
The Strength of Replacement in Weak Arithmetic
(
LICS 2004
)
More Information...
Paper:
Bit-complexity in Sums-of-Squares and Polynomial Calculus. 1-7 Fedor Part
Neil Thapen
Iddo Tzameret
First-Order Reasoning and Efficient Semi-Algebraic Proofs
(
LICS 2021
)
More Information...
Johan Thapper
Paper:
Johan Thapper
Stanislav Zivny
The limits of SDP relaxations for general-valued CSPs
(
LICS 2017
)
More Information...
Denis Thérien
Paper:
Augustin Baziramwabo
Pierre McKenzie
Denis Thérien
Modular Temporal Logic
(
LICS 1999
)
More Information...
Paper:
David A. Mix Barrington
Neil Immerman
Clemens Lautemann
Nicole Schweikardt
Denis Thérien
The Crane Beach Conjecture
(
LICS 2001
)
More Information...
P. S. Thiagarajan
Paper:
P. S. Thiagarajan
A trace based extension of linear time temporal logic
(
LICS 1994
)
More Information...
Paper:
P. S. Thiagarajan
Igor Walukiewicz
An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces
(
LICS 1997
)
More Information...
Paper:
Manindra Agrawal
S. Akshay
Blaise Genest
P. S. Thiagarajan
Approximate Verification of the Symbolic Dynamics of Markov Chains
(
LICS 2012
)
More Information...
David Thibodeau
Paper:
Brigitte Pientka
David Thibodeau
Andreas Abel
Francisco Ferreira
Rébecca Zucchini
A Type Theory for Defining Logics and Proofs
(
LICS 2019
)
More Information...
René Thiemann
Paper:
Fabian Mitterwallner
Aart Middeldorp
René Thiemann
Linear Termination is Undecidable
(
LICS 2024
)
More Information...
Dimitrios M. Thilikos
Paper:
Fedor V. Fomin
Petr A. Golovach
Dimitrios M. Thilikos
Parameterized Complexity of Elimination Distance to First-Order Logic Properties
(
LICS 2021
)
More Information...
Paper:
Nicole Schirrmacher
Sebastian Siebertz
Giannos Stamoulis
Dimitrios M. Thilikos
Alexandre Vigny
Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
(
LICS 2024
)
More Information...
Wolfgang Thomas
Paper:
Wolfgang Thomas
On Chain Logic, Path Logic, and First-Order Logic over Infinite Trees
(
LICS 1987
)
More Information...
Paper:
Oliver Matz
Wolfgang Thomas
The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite
(
LICS 1997
)
More Information...
Invited Paper:
Wolfgang Thomas
Monadic Logic and Automata: Recent Developments
(
LICS 1998
)
More Information...
Invited Paper:
Wolfgang Thomas
The Engineering Challenge for Logic
(
LICS 2001
)
More Information...
Paper:
Stefan Wöhrle
Wolfgang Thomas
Model Checking Synchronized Products of Infinite Transition Systems
(
LICS 2004
)
More Information...
Bent Thomsen
Paper:
Kim G. Larsen
Bent Thomsen
A modal process logic
(
LICS 1988
)
More Information...
Christopher Thorpe
Invited Paper:
Michael O. Rabin
Rocco A. Servedio
Christopher Thorpe
Highly Efficient Secrecy-Preserving Proofs of Correctness of Computations and Applications
(
LICS 2007
)
More Information...
Cong Tian
Paper:
Cong Tian
Wensheng Wang
Zhenhua Duan
Making Streett Determinization Tight
(
LICS 2020
)
More Information...
Michael L. Tiomkin
Paper:
Michael L. Tiomkin
Proving unprovability
(
LICS 1988
)
More Information...
Ferucio Laurentiu Tiplea
Paper:
Francesco Belardinelli
Catalin Dima
Vadim Malvone
Ferucio Laurentiu Tiplea
A Hennessy-Milner Theorem for ATL with Imperfect Information
(
LICS 2020
)
More Information...
Sophie Tison
Paper:
Max Dauchet
Sophie Tison
Thierry Heuillard
Pierre Lescanne
Decidability of the Confluence of Ground Term Rewriting Systems
(
LICS 1987
)
More Information...
Paper:
Max Dauchet
Sophie Tison
The theory of ground rewrite systems is decidable
(
LICS 1990
)
More Information...
Paper:
Iovka Boneva
Jean-Marc Talbot
Sophie Tison
Expressiveness of a Spatial Logic for Trees
(
LICS 2005
)
More Information...
Alwen F. Tiu
Paper:
Dale A. Miller
Alwen F. Tiu
A Proof Theory for Generic Judgments: An extended abstract
(
LICS 2003
)
More Information...
Alwen Tiu
Paper:
Ross Horne
Ki Yung Ahn
Shang-Wei Lin
Alwen Tiu
Quasi-Open Bisimilarity with Mismatch is Intuitionistic
(
LICS 2018
)
More Information...
Jerzy Tiuryn
Paper:
Assaf J. Kfoury
Jerzy Tiuryn
Pawel Urzyczyn
The Hierarchy of Finitely Typed Functional Programs (Short Version)
(
LICS 1987
)
More Information...
Paper:
Assaf J. Kfoury
Jerzy Tiuryn
Pawel Urzyczyn
On the computational power of universally polymorphic recursion
(
LICS 1988
)
More Information...
Paper:
Assaf J. Kfoury
Jerzy Tiuryn
Pawel Urzyczyn
Computational consequences and partial solutions of a generalized unification problem
(
LICS 1989
)
More Information...
Paper:
Assaf J. Kfoury
Jerzy Tiuryn
Type reconstruction in finite-rank fragments of the polymorphic λ-calculus
(
LICS 1990
)
More Information...
Paper:
Jerzy Tiuryn
Subtype inequalities
(
LICS 1992
)
More Information...
Paper:
Jerzy Tiuryn
Pawel Urzyczyn
The Subtyping Problem for Second-Order Types is Undecidable
(
LICS 1996
)
More Information...
Paper:
Mariangiola Dezani-Ciancaglini
Jerzy Tiuryn
Pawel Urzyczyn
Discrimination by Parallel Observers
(
LICS 1997
)
More Information...
Paper:
Dexter C. Kozen
Jerzy Tiuryn
Intuitionistic Linear Logic and Partial Correctness
(
LICS 2001
)
More Information...
Ashish Tiwari
Paper:
Ashish Tiwari
Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time
(
LICS 2002
)
More Information...
Paper:
Carles Creus
Guillem Godoy
Francesc Massanés
Ashish Tiwari
Non-linear Rewrite Closure and Weak Normalization
(
LICS 2009
)
More Information...
Invited Paper:
Ashish Tiwari
Logic in Software, Dynamical and Biological Systems
(
LICS 2011
)
More Information...
Paper:
Adria Gascón
Ashish Tiwari
Manfred Schmidt-Schauß
One Context Unification Problems Solvable in Polynomial Time
(
LICS 2015
)
More Information...
Anthony Widjaja To
Paper:
Stefan Göller
Richard Mayr
Anthony Widjaja To
On the Computational Complexity of Verifying One-Counter Processes
(
LICS 2009
)
More Information...
Paper:
Eryk Kopczyński
Anthony Widjaja To
Parikh Images of Grammars: Complexity and Applications
(
LICS 2010
)
More Information...
Chris M. N. Tofts
Paper:
Rob J. van Glabbeek
Scott A. Smolka
Bernhard Steffen
Chris M. N. Tofts
Reactive, generative, and stratified models of probabilistic processes
(
LICS 1990
)
More Information...
Chritophe Tollu
Paper:
Guy Fayolle
Stéphane Grumbach
Chritophe Tollu
Asymptotic probabilities of languages with generalized quantifiers
(
LICS 1993
)
More Information...
Alexandru I. Tomescu
Short Presentation:
Christoph Dittmann
Stephan Kreutzer
Alexandru I. Tomescu
Graph Operations on Parity Games and Polynomial-Time Algorithms
(
LICS 2013
)
More Information...
Noah Torp-Smith
Paper:
Lars Birkedal
Noah Torp-Smith
Hongseok Yang
Semantics of Separation-Logic Typing and Higher-Order Frame Rules
(
LICS 2005
)
More Information...
Short Presentation:
Bodil Biering
Lars Birkedal
Noah Torp-Smith
Higher-Order Separation Logic
(
LICS 2005
)
More Information...
Lorenzo Tortora de Falco
Paper:
Olivier Laurent
Lorenzo Tortora de Falco
Obsessional cliques: a semantic characterization of bounded time complexity
(
LICS 2006
)
More Information...
Szymon Torunczyk
Paper:
Mikolaj Bojanczyk
Szymon Torunczyk
On computability and tractability for infinite sets
(
LICS 2018
)
More Information...
Paper:
Michal Pilipczuk
Sebastian Siebertz
Szymon Torunczyk
Parameterized circuit complexity of model-checking on sparse structures
(
LICS 2018
)
More Information...
Paper:
Michal Pilipczuk
Sebastian Siebertz
Szymon Torunczyk
On the number of types in sparse graphs
(
LICS 2018
)
More Information...
Paper:
Grzegorz Fabianski
Michal Skrzypczak
Szymon Torunczyk
Uniformisations of Regular Relations Over Bi-Infinite Words
(
LICS 2020
)
More Information...
Paper:
Szymon Torunczyk
Thomas Zeume
Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
(
LICS 2020
)
More Information...
Paper:
Jan Dreier
Jakub Gajarský
Sandra Kiefer
Michal Pilipczuk
Szymon Torunczyk
Treelike Decompositions for Transductions of Sparse Graphs
(
LICS 2022
)
More Information...
Paper:
Jakub Gajarský
Michal Pilipczuk
Szymon Torunczyk
Stable graphs of bounded twin-width
(
LICS 2022
)
More Information...
Paper:
Édouard Bonnet
Jan Dreier
Jakub Gajarský
Stephan Kreutzer
Nikolas Mählmann
Pierre Simon
Szymon Torunczyk
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth
(
LICS 2022
)
More Information...
Paper:
Jakub Gajarský
Michal Pilipczuk
Marek Sokolowski
Giannos Stamoulis
Szymon Torunczyk
Elementary first-order model checking for sparse graphs
(
LICS 2024
)
More Information...
Szymon Toruńczyk
Paper:
Mikołaj Bojańczyk
Bartek Klin
Sławomir Lasota
Szymon Toruńczyk
Turing Machines with Atoms
(
LICS 2013
)
More Information...
Paper:
Bartek Klin
Sławomir Lasota
Joanna Ochremiak
Szymon Toruńczyk
Turing machines with atoms, constraint satisfaction problems, and descriptive complexity
(
LICS 2014
)
More Information...
Paper:
Bartek Klin
Eryk Kopczyński
Joanna Ochremiak
Szymon Toruńczyk
Locally Finite Constraint Satisfaction Problems
(
LICS 2015
)
More Information...
Patrick Totzke
Paper:
Piotr Hofman
Richard Mayr
Patrick Totzke
Decidability of Weak Simulation on One-Counter Nets
(
LICS 2013
)
More Information...
Paper:
Parosh A. Abdulla
Mohamed Faouzi Atig
Piotr Hofman
Richard Mayr
K. Narayan Kumar
Patrick Totzke
Infinite-state energy games
(
LICS 2014
)
More Information...
Paper:
Matthias Englert
Ranko Lazic
Patrick Totzke
Reachability in Two-Dimensional Unary Vector Addition Systems with States is NL-Complete
(
LICS 2016
)
More Information...
Paper:
Piotr Hofman
Jérôme Leroux
Patrick Totzke
Linear combinations of unordered data vectors
(
LICS 2017
)
More Information...
Paper:
Richard Mayr
Sven Schewe
Patrick Totzke
Dominik Wojtczak
MDPs with energy-parity objectives
(
LICS 2017
)
More Information...
Paper:
Sougata Bose
Rasmus Ibsen-Jensen
Patrick Totzke
Bounded-Memory Strategies in Partial-Information Games
(
LICS 2024
)
More Information...
Tayssir Touili
Paper:
Ahmed Bouajjani
Anca Muscholl
Tayssir Touili
Permutation Rewriting and Algorithmic Verification
(
LICS 2001
)
More Information...
Yoshihito Toyama
Paper:
Yoshihito Toyama
Strong sequentiality of left-linear overlapping term rewriting systems
(
LICS 1992
)
More Information...
Mathieu Tracol
Paper:
Michel de Rougemont
Mathieu Tracol
Statistic Analysis for Probabilistic Processes
(
LICS 2009
)
More Information...
Paper:
Krishnendu Chatterjee
Mathieu Tracol
Decidable Problems for Probabilistic Automata on Infinite Words
(
LICS 2012
)
More Information...
Boris A. Trakhtenbrot
Paper:
Alexander M. Rabinovich
Boris A. Trakhtenbrot
Nets and data flow interpreters
(
LICS 1989
)
More Information...
Invited Paper:
Boris A. Trakhtenbrot
Origins and Metamorphoses of The Trinity: Logic, Nets, Automata
(
LICS 1995
)
More Information...
Dmitriy Traytel
Paper:
Dmitriy Traytel
Andrei Popescu
Jasmin Christian Blanchette
Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving
(
LICS 2012
)
More Information...
Paper:
Jasmin Christian Blanchette
Fabian Meier
Andrei Popescu
Dmitriy Traytel
Foundational nonuniform (Co)datatypes for higher-order logic
(
LICS 2017
)
More Information...
Richard J. Trefler
Paper:
E. Allen Emerson
Richard J. Trefler
Parametric Quantitative Temporal Reasoning
(
LICS 1999
)
More Information...
Paper:
E. Allen Emerson
John W. Havlicek
Richard J. Trefler
Virtual Symmetry Reduction
(
LICS 2000
)
More Information...
Paper:
Panagiotis Manolios
Richard J. Trefler
Safety and Liveness in Branching Time
(
LICS 2001
)
More Information...
Ralf Treinen
Paper:
Martin Müller
Joachim Niehren
Ralf Treinen
The First-Order Theory of Ordering Constraints over Feature Trees
(
LICS 1998
)
More Information...
Mirco Tribastone
Paper:
Luca Cardelli
Mirco Tribastone
Max Tschaikowski
Andrea Vandin
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective
(
LICS 2016
)
More Information...
Paper:
Giorgio Bacci
Giovanni Bacci
Kim G. Larsen
Mirco Tribastone
Max Tschaikowski
Andrea Vandin
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
(
LICS 2021
)
More Information...
Paper:
Georgios Argyris
Alberto Lluch-Lafuente
Alexander Leguizamon-Robayo
Mirco Tribastone
Max Tschaikowski
Andrea Vandin
Minimization of Dynamical Systems over Monoids
(
LICS 2023
)
More Information...
Valery Trifonov
Paper:
Nadeem A. Hamid
Zhong Shao
Valery Trifonov
Stefan Monnier
Zhaozhong Ni
A Syntactic Approach to Foundational Proof-Carrying Code
(
LICS 2002
)
More Information...
Stavros Tripakis
Paper:
Viorel Preoteasa
Stavros Tripakis
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems
(
LICS 2016
)
More Information...
Jean-Baptiste Tristan
Paper:
Nathanael L. Ackerman
Julian Asilis
Jieqi Di
Cameron E. Freer
Jean-Baptiste Tristan
Computable PAC Learning of Continuous Features
(
LICS 2022
)
More Information...
Ashutosh Trivedi
Paper:
Marcin Jurdzinski
Ashutosh Trivedi
Average Time Games
(
LICS 2006
)
More Information...
Paper:
Rajeev Alur
Emmanuel Filiot
Ashutosh Trivedi
Regular Transformations of Infinite Strings
(
LICS 2012
)
More Information...
Paper:
Rajeev Alur
Antoine Durand-Gasselin
Ashutosh Trivedi
From Monadic Second-Order Definable String Transformations to Transducers
(
LICS 2013
)
More Information...
Enrico Tronci
Paper:
Corrado Böhm
Enrico Tronci
X-Separability and Left-Invertibility in lambda-calculus
(
LICS 1987
)
More Information...
Paper:
Enrico Tronci
Equational programming in λ-calculus
(
LICS 1991
)
More Information...
Paper:
Enrico Tronci
Hardware Verification, Boolean Logic Programming, Boolean Functional Programming
(
LICS 1995
)
More Information...
Nicolas Troquard
Paper:
Philippe Balbiani
Andreas Herzig
Nicolas Troquard
Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
(
LICS 2013
)
More Information...
Tomasz Truderung
Paper:
Detlef Kähler
Ralf Küsters
Tomasz Truderung
Infinite State AMC-Model Checking for Cryptographic Protocols
(
LICS 2007
)
More Information...
Stelios Tsampas
Paper:
Henning Urbat
Stelios Tsampas
Sergey Goncharov
Stefan Milius
Lutz Schröder
Weak Similarity in Higher-Order Mathematical Operational Semantics
(
LICS 2023
)
More Information...
Paper:
Sergey Goncharov
Stefan Milius
Stelios Tsampas
Henning Urbat
Bialgebraic Reasoning on Higher-order Program Equivalence
(
LICS 2024
)
More Information...
Todor Tsankov
Paper:
Manuel Bodirsky
Michael Pinsker
Todor Tsankov
Decidability of Definability
(
LICS 2011
)
More Information...
Yih-Kuen Tsay
Paper:
Parosh A. Abdulla
Karlis Cerans
Bengt Jonsson
Yih-Kuen Tsay
General decidability theorems for infinite-state systems
(
LICS 1996
)
More Information...
Max Tschaikowski
Paper:
Luca Cardelli
Mirco Tribastone
Max Tschaikowski
Andrea Vandin
Comparing Chemical Reaction Networks: A Categorical and Algorithmic Perspective
(
LICS 2016
)
More Information...
Paper:
Giorgio Bacci
Giovanni Bacci
Kim G. Larsen
Mirco Tribastone
Max Tschaikowski
Andrea Vandin
Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods
(
LICS 2021
)
More Information...
Paper:
Georgios Argyris
Alberto Lluch-Lafuente
Alexander Leguizamon-Robayo
Mirco Tribastone
Max Tschaikowski
Andrea Vandin
Minimization of Dynamical Systems over Monoids
(
LICS 2023
)
More Information...
Dimitris Tsementzis
Paper:
Benedikt Ahrens
Paige Randall North
Michael Shulman
Dimitris Tsementzis
A Higher Structure Identity Principle
(
LICS 2020
)
More Information...
Toru Tsujishita
Paper:
Peter Johnstone
A. John Power
Toru Tsujishita
Hiroshi Watanabe
James Worrell
An Axiomatics for Categories of Transition Systems as Coalgebras
(
LICS 1998
)
More Information...
Takeshi Tsukada
Paper:
Takeshi Tsukada
C.-H. Luke Ong
Compositional higher-order model checking via ω-regular games over Böhm trees
(
LICS 2014
)
More Information...
Paper:
Takeshi Tsukada
C.-H. Luke Ong
Nondeterminism in Game Semantics via Sheaves
(
LICS 2015
)
More Information...
Paper:
Takeshi Tsukada
Kazuyuki Asada
C.-H. Luke Ong
Generalised species of rigid resource terms
(
LICS 2017
)
More Information...
Paper:
Takeshi Tsukada
Kazuyuki Asada
C.-H. Luke Ong
Species, Profunctors and Taylor Expansion Weighted by SMCC: A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs
(
LICS 2018
)
More Information...
Paper:
Takeshi Tsukada
On Computability of Logical Approaches to Branching-Time Property Verification of Programs
(
LICS 2020
)
More Information...
Paper:
Takeshi Tsukada
Kazuyuki Asada
Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱
(
LICS 2022
)
More Information...
Games and Logic Takeshi Tsukada
Paper:
Games and Logic Takeshi Tsukada
C.-H. Luke Ong
Plays as Resource Terms via Non-idempotent Intersection Types
(
LICS 2016
)
More Information...
Jamie Tucker-Foltz
Paper:
Jamie Tucker-Foltz
Inapproximability of Unique Games in Fixed-Point Logic with Counting
(
LICS 2021
)
More Information...
Paper:
Jan Dreier
Jamie Tucker-Foltz
Pseudorandom Finite Models
(
LICS 2023
)
More Information...
Daniele Turi
Paper:
Daniele Turi
Gordon D. Plotkin
Towards a Mathematical Operational Semantics
(
LICS 1997
)
More Information...
Paper:
Marcelo P. Fiore
Gordon D. Plotkin
Daniele Turi
Abstract Syntax and Variable Binding
(
LICS 1999
)
More Information...
Paper:
Marcelo P. Fiore
Daniele Turi
Semantics of Name and Value Passing
(
LICS 2001
)
More Information...
Franco Turini
Paper:
Antonio Brogi
Franco Turini
Semantics of meta-logic in an algebra of programs
(
LICS 1994
)
More Information...
Mathieu Turuani
Paper:
Yannick Chevalier
Ralf Küsters
Michaël Rusinowitch
Mathieu Turuani
An NP Decision Procedure for Protocol Insecurity with XOR
(
LICS 2003
)
More Information...
Rémy Tuyéras
Paper:
Brendan Fong
David I. Spivak
Rémy Tuyéras
Backprop as Functor: A compositional perspective on supervised learning
(
LICS 2019
)
More Information...
Jerzy Tyszkiewicz
Paper:
James F. Lynch
Jerzy Tyszkiewicz
The Infinitary Logic of Sparse Random Graphs
(
LICS 1995
)
More Information...
Iddo Tzameret
Paper:
Sebastian Müller
Iddo Tzameret
Short Propositional Refutations for Dense Random 3CNF Formulas
(
LICS 2012
)
More Information...
Paper:
Iddo Tzameret
Stephen A. Cook
Uniform, integral and efficient proofs for the determinant identities
(
LICS 2017
)
More Information...
Paper:
Bit-complexity in Sums-of-Squares and Polynomial Calculus. 1-7 Fedor Part
Neil Thapen
Iddo Tzameret
First-Order Reasoning and Efficient Semi-Algebraic Proofs
(
LICS 2021
)
More Information...
Nikos Tzevelekos
Paper:
Nikos Tzevelekos
Full abstraction for nominal general references
(
LICS 2007
)
More Information...
Paper:
C.-H. Luke Ong
Nikos Tzevelekos
Functional Reachability
(
LICS 2009
)
More Information...
Paper:
Andrzej S. Murawski
Nikos Tzevelekos
Game Semantics for Good General References
(
LICS 2011
)
More Information...
Short Presentation:
Andrzej S. Murawski
Nikos Tzevelekos
Algorithmic nominal game semantics
(
LICS 2011
)
More Information...
Paper:
Andrzej S. Murawski
Steven J. Ramsay
Nikos Tzevelekos
Bisimilarity in Fresh-Register Automata
(
LICS 2015
)
More Information...
Paper:
Guilhem Jaber
Nikos Tzevelekos
Trace semantics for polymorphic references
(
LICS 2016
)
More Information...
Paper:
Vasileios Koutavas
Yu-Yang Lin
Nikos Tzevelekos
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF
(
LICS 2023
)
More Information...
Paper:
Vasileios Koutavas
Yu-Yang Lin
Nikos Tzevelekos
Pushdown Normal-Form Bisimulation: A Nominal Context-Free Approach to Program Equivalence
(
LICS 2024
)
More Information...
Last modified: 2024-10-24
9:41
Sam Staton