IEEE Symposium on Logic in Computer Science

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

Authors on this page:

• Nicolas Tabareau
• Jean-Marc Talbot
• Carolyn L. Talcott
• Jean-Pierre Talpin
• Gang Tan
• Tony Tan
• Francesco Tapparo
• Claude Tardif
• Andrzej Tarlecki
• Christine Tasson
• Makoto Tatsuta
• Paul Taylor
• Siamak Tazari
• Vanessa Teague
• Balder ten Cate
• Lidia Tendera
• Tachio Terauchi
• Eugenia Ternovska
• Kazushige Terui
• Neil Thapen
• Denis Thérien
• P. S. Thiagarajan
• Wolfgang Thomas
• Bent Thomsen
• Christopher Thorpe
• Michael L. Tiomkin
• Sophie Tison
• Alwen F. Tiu
• Jerzy Tiuryn
• Ashish Tiwari
• Anthony Widjaja To
• Chris M. N. Tofts
• Chritophe Tollu
• Noah Torp-Smith
• Lorenzo Tortora de Falco
• Tayssir Touili
• Yoshihito Toyama
• Mathieu Tracol
• Boris A. Trakhtenbrot
• Richard J. Trefler
• Ralf Treinen
• Valery Trifonov
• Ashutosh Trivedi
• Enrico Tronci
• Tomasz Truderung
• Todor Tsankov
• Yih-Kuen Tsay
• Toru Tsujishita
• Daniele Turi
• Franco Turini
• Mathieu Turuani
• Jerzy Tyszkiewicz
• Nikos Tzevelekos

Nicolas Tabareau

• Paper: Paul-André Melliès Nicolas Tabareau
  Resource modalities in game semantics (LICS 2007) 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...

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

Gang Tan

• Short Presentation: Gang Tan Andrew W. Appel
  Semantics of machine Instructions at Multiple Levels of Abstraction (LICS 2001) More Information...

Tony Tan

• Paper: Tony Tan
  Graph Reachability and Pebble Automata over Infinite Alphabets (LICS 2009) 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...

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

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

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

Tachio Terauchi

• Paper: Tachio Terauchi Alexander Aiken
  On Typability for Rank-2 Intersection Types with Polymorphic Recursion (LICS 2006) 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...

Neil Thapen

• Paper: Stephen A. Cook Neil Thapen
  The Strength of Replacement in Weak Arithmetic (LICS 2004) 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...

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

Michael L. Tiomkin

• Paper: Michael L. Tiomkin
  Proving unprovability (LICS 1988) 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...

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

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

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

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

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

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

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

Ashutosh Trivedi

• Paper: Marcin Jurdzinski Ashutosh Trivedi
  Average Time Games (LICS 2006) 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...

Tomasz Truderung

• Paper: Detlef Kähler Ralf Küsters Tomasz Truderung
  Infinite State AMC-Model Checking for Cryptographic Protocols (LICS 2007) 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...

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

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

Jerzy Tyszkiewicz

• Paper: James F. Lynch Jerzy Tyszkiewicz
  The Infinitary Logic of Sparse Random Graphs (LICS 1995) 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...