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:

• Peter Habermehl
• Marianne Haberstrau
• Matthew Hague
• Thomas C. Hales
• Joseph Y. Halpern
• Nadeem A. Hamid
• Tingting Han
• Jiawei Han
• Chris Hankin
• John Hannan
• Kristoffer Arnsfelt Hansen
• Thérèse Hardin
• Chris Hardin
• David Harel
• Eyal Harel
• Russell Harmer
• Robert Harper
• John Harrison
• Bradd Hart
• Masahito Hasegawa
• John W. Havlicek
• Susumu Hayashi
• Jonathan Hayman
• Ara Hayrapetyan
• Nevin Heintze
• Lauri Hella
• Edith Hemaspaandra
• Noomene Ben Henda
• Fritz Henglein
• Matthew Hennessy
• Thomas A. Henzinger
• Hugo Herbelin
• Miki Hermann
• Claudio Hermida
• William Hesse
• Thierry Heuillard
• Thomas Hildebrandt
• Gerd G. Hillebrand
• Jane Hillston
• Colin Hirsch
• Daniel Hirschkoff
• Yoram Hirshfeld
• Tirza Hirst
• Greg Hjorth
• My Hoang
• C. Anthony R. Hoare
• Joshua S. Hodas
• Ian M. Hodkinson
• Martin Hofmann
• Bjarki Holm
• Kohei Honda
• Furio Honsell
• Mark W. Hopkins
• Clément Houtmann
• Douglas J. Howe
• Jieh Hsiang
• Paul Hudak
• Gérard Huet
• Dominic J. D. Hughes
• Henrik Hulgaard
• Hing-Kai Hung
• Hardi Hungar
• Aaron Hunter
• Michael Huth
• Hans Hüttel
• Graham Hutton
• Taneli Huuskonen
• L. James Hwang
• Martin Hyland
• Tapani Hyttinen

Peter Habermehl

• Paper: Ahmed Bouajjani Rachid Echahed Peter Habermehl
  On the Verification Problem of Nonregular Properties for Nonregular Processes (LICS 1995) More Information...

Marianne Haberstrau

• Paper: Hubert Comon-Lundh Marianne Haberstrau Jean-Pierre Jouannaud
  Decidable problems in shallow equational theories (LICS 1992) More Information...

Matthew Hague

• 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: Matthew Hague Andrzej S. Murawski C.-H. Luke Ong Olivier Serre
  Collapsible Pushdown Automata and Recursion Schemes (LICS 2008) More Information...

Thomas C. Hales

• Invited Paper: Thomas C. Hales
  Some Methods of Problem Solving in Elementary Geometry (LICS 2007) More Information...

Joseph Y. Halpern

• 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: Joseph Y. Halpern John H. Williams Edward L. Wimmers
  Good Rewrite Strategies for FP (LICS 1986) More Information...
• Paper: Joseph Y. Halpern Yoav Shoham
  A Propositional Model Logic of Time Intervals (LICS 1986) More Information...
• Paper: Joseph Y. Halpern Edward L. Wimmers
  Full Abstraction and Expressive Completeness for FP (LICS 1987) More Information...
• Paper: Ronald Fagin Joseph Y. Halpern
  I'm OK if You're OK: On the Notion of Trusting Communication (LICS 1987) More Information...
• Paper: Ronald Fagin Joseph Y. Halpern Nimrod Megiddo
  A logic for reasoning about probabilities (LICS 1988) More Information...
• Paper: Adam J. Grove Joseph Y. Halpern Daphne Koller
  Random worlds and maximum entropy (LICS 1992) More Information...
• Paper: Joseph Y. Halpern Bruce M. Kapron
  Zero-one laws for modal logic (LICS 1992) More Information...
• Invited Paper: Nir Friedman Joseph Y. Halpern
  Plausibility Measures and Default Reasoning: An Overview (LICS 1999) More Information...
• Paper: Joseph Y. Halpern Richard A. Shore
  Reasoning About Common Knowledge with Infinitely Many Agents (LICS 1999) More Information...

Nadeem A. Hamid

• Paper: Nadeem A. Hamid Zhong Shao Valery Trifonov Stefan Monnier Zhaozhong Ni
  A Syntactic Approach to Foundational Proof-Carrying Code (LICS 2002) More Information...

Tingting Han

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

Jiawei Han

• Paper: Laks V. S. Lakshmanan Karima Ashraf Jiawei Han
  Homomorphic tree embeddings and their applications to recursive program optimization (LICS 1993) More Information...

Chris Hankin

• Paper: Pasquale Malacaria Chris Hankin
  Non-Deterministic Games and Program Analysis: An Application to Security (LICS 1999) More Information...

John Hannan

• Paper: John Hannan Frank Pfenning
  Compiler verification in LF (LICS 1992) More Information...

Kristoffer Arnsfelt Hansen

• Paper: Kristoffer Arnsfelt Hansen Michal Koucký Peter Bro Miltersen
  Winning Concurrent Reachability Games Requires Doubly-Exponential Patience (LICS 2009) More Information...

Thérèse Hardin

• Paper: Gilles Dowek Thérèse Hardin Claude Kirchner
  Higher-order Unification via Explicit Substitutions (LICS 1995) More Information...

Chris Hardin

• Paper: Chris Hardin
  Proof Theory for Kleene Algebra (LICS 2005) More Information...

David Harel

• Paper: David Harel Amir Pnueli Jeanette P. Schmidt Rivi Sherman
  On the Formal Semantics of Statecharts (Extended Abstract) (LICS 1987) More Information...
• Paper: David Harel Roni Rosner Moshe Y. Vardi
  On the power of bounded concurrency. III. Reasoning about programs (LICS 1990) More Information...
• Paper: Tirza Hirst David Harel
  More about recursive structures: descriptive complexity and zero-one laws (LICS 1996) More Information...

Eyal Harel

• Paper: Eyal Harel Orna Lichtenstein Amir Pnueli
  Explicit clock temporal logic (LICS 1990) More Information...

Russell Harmer

• Paper: Russell Harmer Guy McCusker
  A Fully Abstract Game Semantics for Finite Nondeterminism (LICS 1999) More Information...
• Paper: Vincent Danos Russell Harmer
  Probabilistic Game Semantics (LICS 2000) More Information...
• Invited Paper: Russell Harmer Martin Hyland Paul-André Melliès
  Categorical Combinatorics for Innocent Strategies (LICS 2007) More Information...

Robert Harper

• Paper: Robert Harper Furio Honsell Gordon D. Plotkin
  A Framework for Defining Logics (LICS 1987) More Information...
• Paper: Robert Harper Donald Sannella Andrzej Tarlecki
  Structure and representation in LF (LICS 1989) More Information...
• Invited Paper: Robert Harper
  Self-Adjusting Computation (LICS 2004) More Information...
• Paper: Tom Murphy VII Karl Crary Robert Harper Frank Pfenning
  A Symmetric Modal Lambda Calculus for Distributed Computing (LICS 2004) More Information...
• Paper: Daniel R. Licata Noam Zeilberger Robert Harper
  Focusing on Binding and Computation (LICS 2008) More Information...

John Harrison

• Invited Paper: John Harrison
  Formal Verification at Intel (LICS 2003) More Information...

Bradd Hart

• Paper: László Csirmaz Bradd Hart
  Program Correctness on Finite Fields (LICS 1986) More Information...

Masahito Hasegawa

• Paper: Masahito Hasegawa
  Relational Parametricity and Control (LICS 2005) More Information...

John W. Havlicek

• Paper: E. Allen Emerson John W. Havlicek Richard J. Trefler
  Virtual Symmetry Reduction (LICS 2000) More Information...

Susumu Hayashi

• Paper: Yohji Akama Stefano Berardi Susumu Hayashi Ulrich Kohlenbach
  An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles (LICS 2004) More Information...

Jonathan Hayman

• Paper: Jonathan Hayman Glynn Winskel
  Independence and Concurrent Separation Logic (LICS 2006) More Information...

Ara Hayrapetyan

• Short Presentation: Ara Hayrapetyan Rakesh Verma
  On the Complexity of Confluence for Ground Rewrite Systems (LICS 2001) More Information...

Nevin Heintze

• Paper: Nevin Heintze Joxan Jaffar
  A decision procedure for a class of set constraints (LICS 1990) More Information...
• Paper: Nevin Heintze Joxan Jaffar
  An engine for logic program analysis (LICS 1992) More Information...
• Paper: Nevin Heintze David A. McAllester
  On the Cubic Bottleneck in Subtyping and Flow Analysis (LICS 1997) More Information...
• Paper: Anindya Banerjee Nevin Heintze Jon G. Riecke
  Region Analysis and the Polymorphic Lambda Calculus (LICS 1999) More Information...

Lauri Hella

• Paper: Lauri Hella
  Logical hierarchies in PTIME (LICS 1992) More Information...
• Paper: Lauri Hella Phokion G. Kolaitis Kerkko Luosto
  How to define a linear order on finite models (LICS 1994) More Information...
• Paper: Anuj Dawar Lauri Hella
  The expressive power of finitely many generalized quantifiers (LICS 1994) More Information...
• Paper: Anuj Dawar Lauri Hella Anil Seth
  Ordering Finite Variable Types with Generalized Quantifiers (LICS 1998) More Information...
• Paper: Lauri Hella Leonid Libkin Juha Nurmonen Limsoon Wong
  Logics with Aggregate Operators (LICS 1999) More Information...
• Paper: Kjell Lemström Lauri Hella
  Approximate Pattern Matching is Expressible in Transitive Closure Logic (LICS 2000) More Information...
• Short Presentation: Anuj Dawar Lauri Hella Mikko Suonio
  On Abiteboul-Vianu Theorem for Fixed-Point Logics with Generalized Quantifiers (LICS 2004) More Information...

Edith Hemaspaandra

• Paper: Edith Hemaspaandra
  Complexity transfer for modal logic (LICS 1994) More Information...

Noomene Ben Henda

• Paper: Richard Mayr Parosh A. Abdulla Noomene Ben Henda
  Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property (LICS 2005) More Information...

Fritz Henglein

• Paper: Fritz Henglein Jakob Rehof
  The complexity of subtype entailment for simple types (LICS 1997) More Information...

Matthew Hennessy

• Paper: Rance Cleaveland Matthew Hennessy
  Priorities in process algebras (LICS 1988) More Information...
• Paper: Luca Aceto Matthew Hennessy
  Towards action-refinement in process algebras (LICS 1989) More Information...
• Paper: Matthew Hennessy
  A fully abstract denotational model for higher-order processes (LICS 1993) More Information...
• Paper: Nobuko Yoshida Matthew Hennessy
  Assigning Types to Processes (LICS 2000) More Information...
• Paper: Yuxin Deng Rob J. van Glabbeek Matthew Hennessy Carroll Morgan Chenyi Zhang
  Characterising Testing Preorders for Finite Probabilistic Processes (LICS 2007) More Information...

Thomas A. Henzinger

• Paper: Rajeev Alur Thomas A. Henzinger
  Real-time logics: complexity and expressiveness (LICS 1990) More Information...
• Paper: Thomas A. Henzinger Xavier Nicollin Joseph Sifakis Sergio Yovine
  Symbolic model checking for real-time systems (LICS 1992) More Information...
• Paper: Rajeev Alur Thomas A. Henzinger
  Finitary fairness (LICS 1994) More Information...
• Paper: Rajeev Alur Thomas A. Henzinger
  Reactive Modules (LICS 1996) More Information...
• Invited Paper: Thomas A. Henzinger
  The theory of hybrid automata (LICS 1996) More Information...
• Paper: Luca de Alfaro Thomas A. Henzinger
  Concurrent Omega-Regular Games (LICS 2000) More Information...
• Paper: Luca de Alfaro Thomas A. Henzinger Rupak Majumdar
  From Verification to Control: Dynamic Programs for Omega-Regular Objectives (LICS 2001) More Information...
• 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...

Hugo Herbelin

• Paper: Vincent Danos Hugo Herbelin Laurent Regnier
  Game semantics and abstract machines (LICS 1996) More Information...

Miki Hermann

• Paper: Arnaud Durand Miki Hermann Gustav Nordh
  Trichotomy in the Complexity of Minimal Inference (LICS 2009) More Information...

Claudio Hermida

• Paper: Claudio Hermida Michael Makkai A. John Power
  Higher Dimensional Multigraphs (LICS 1998) More Information...

William Hesse

• Paper: William Hesse Neil Immerman
  Complete problems for Dynamic Complexity Classes (LICS 2002) More Information...

Thierry Heuillard

• Paper: Max Dauchet Sophie Tison Thierry Heuillard Pierre Lescanne
  Decidability of the Confluence of Ground Term Rewriting Systems (LICS 1987) More Information...

Thomas Hildebrandt

• Short Presentation: Jens C. Godskesen Thomas Hildebrandt Vladimiro Sassone
  An Overview of MR, a Calculus of Mobile Resources (LICS 2002) More Information...

Gerd G. Hillebrand

• Paper: Gerd G. Hillebrand Paris C. Kanellakis Harry G. Mairson
  Database query languages embedded in the typed lambda calculus (LICS 1993) More Information...
• Paper: Gerd G. Hillebrand Paris C. Kanellakis
  On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi (LICS 1996) More Information...

Jane Hillston

• Invited Paper: Jane Hillston
  Process Algebras for Quantitative Analysis (LICS 2005) More Information...

Colin Hirsch

• Paper: Erich Grädel Colin Hirsch Martin Otto
  Back and Forth between Guarded and Modal Logics (LICS 2000) More Information...

Daniel Hirschkoff

• Paper: Daniel Hirschkoff Étienne Lozes Davide Sangiorgi
  Separability, expressiveness, and decidability in the Ambient Logic (LICS 2002) More Information...

Yoram Hirshfeld

• Paper: Arnon Avron Yoram Hirshfeld
  On first order database query languages (LICS 1991) More Information...
• Paper: Søren Christensen Yoram Hirshfeld Faron Moller
  Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes (LICS 1993) More Information...

Tirza Hirst

• Paper: Tirza Hirst David Harel
  More about recursive structures: descriptive complexity and zero-one laws (LICS 1996) More Information...

Greg Hjorth

• Paper: Greg Hjorth Bakhadyr Khoussainov Antonio Montalbán André Nies
  From Automatic Structures to Borel Structures (LICS 2008) More Information...

My Hoang

• Paper: My Hoang John C. Mitchell Ramesh Viswanathan
  Standard ML-NJ weak polymorphism and imperative constructs (LICS 1993) More Information...

C. Anthony R. Hoare

• Invited Paper: C. Anthony R. Hoare Michael J. C. Gordon
  Partial correctness of C-MOS switching circuits: an exercise in applied logic (LICS 1988) More Information...

Joshua S. Hodas

• Paper: Joshua S. Hodas Dale A. Miller
  Logic programming in a fragment of intuitionistic linear logic (LICS 1991) More Information...

Ian M. Hodkinson

• Paper: Ian M. Hodkinson Frank Wolter Michael Zakharyaschev
  Decidable and undecidable fragments of first-order branching temporal logics (LICS 2002) More Information...

Martin Hofmann

• Paper: Martin Hofmann Thomas Streicher
  The groupoid model refutes uniqueness of identity proofs (LICS 1994) More Information...
• Paper: Thorsten Altenkirch Martin Hofmann Thomas Streicher
  Reduction-free normalisation for a polymorphic system (LICS 1996) More Information...
• Paper: Martin Hofmann Thomas Streicher
  Continuation models are universal for lambda-mu-calculus (LICS 1997) More Information...
• Paper: Martin Hofmann
  Semantical Analysis of Higher-Order Abstract Syntax (LICS 1999) More Information...
• Paper: Martin Hofmann
  Linear Types and Non Size-Increasing Polynomial Time Computation (LICS 1999) More Information...
• Paper: Thorsten Altenkirch Peter Dybjer Martin Hofmann Philip J. Scott
  Normalization by Evaluation for Typed Lambda Calculus with Coproducts (LICS 2001) More Information...
• Paper: Martin Hofmann
  Proof-Theoretic Approach to Description-Logic (LICS 2005) More Information...
• Paper: Martin Hofmann Ulrich Schöpp
  Pointer Programs and Undirected Reachability (LICS 2009) More Information...

Bjarki Holm

• Paper: Anuj Dawar Martin Grohe Bjarki Holm Bastian Laubner
  Logics with Rank Operators (LICS 2009) More Information...

Kohei Honda

• Paper: Samson Abramsky Kohei Honda Guy McCusker
  A Fully Abstract Game Semantics for General References (LICS 1998) More Information...
• Paper: Marcelo P. Fiore Kohei Honda
  Recursive Types in Games: Axiomatics and Process Representation (LICS 1998) More Information...
• Paper: Kohei Honda Nobuko Yoshida Martin Berger
  Strong Normalisation in the π-Calculus (LICS 2001) More Information...
• Paper: Kohei Honda Nobuko Yoshida Martin Berger
  An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules (LICS 2005) More Information...

Furio Honsell

• Paper: Robert Harper Furio Honsell Gordon D. Plotkin
  A Framework for Defining Logics (LICS 1987) More Information...
• Paper: John C. Mitchell Furio Honsell Kathleen Fisher
  A lambda calculus of objects and method specialization (LICS 1993) More Information...

Mark W. Hopkins

• Paper: Mark W. Hopkins Dexter C. Kozen
  Parikh's Theorem in Commutative Kleene Algebra (LICS 1999) More Information...

Clément Houtmann

• Paper: Paul Brauner Clément Houtmann Claude Kirchner
  Principles of Superdeduction (LICS 2007) More Information...

Douglas J. Howe

• Paper: Douglas J. Howe
  The Computational Behaviour of Girard's Paradox (LICS 1987) More Information...
• Paper: Douglas J. Howe
  Equality in lazy computation systems (LICS 1989) More Information...
• Paper: Stuart F. Allen Robert L. Constable Douglas J. Howe William E. Aitken
  The semantics of reflected proof (LICS 1990) More Information...
• Paper: Douglas J. Howe
  On computational open-endedness in Martin-Lof's type theory (LICS 1991) More Information...

Jieh Hsiang

• Paper: Leo Bachmair Nachum Dershowitz Jieh Hsiang
  Orderings for Equational Proofs (LICS 1986) More Information...

Paul Hudak

• Paper: Juan C. Guzmán Paul Hudak
  Single-threaded polymorphic lambda calculus (LICS 1990) More Information...

Gérard Huet

• Invited Paper: Gérard Huet
  Design of a Proof Assistant (LICS 1996) More Information...

Dominic J. D. Hughes

• Paper: Dominic J. D. Hughes
  Games and Definability for System F (LICS 1997) More Information...
• Paper: Harish Devarajan Dominic J. D. Hughes Vaughan R. Pratt Gordon D. Plotkin
  Full Completeness of the Multiplicative Linear Logic of Chu Spaces (LICS 1999) More Information...
• Paper: Dominic J. D. Hughes Rob J. van Glabbeek
  Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract) (LICS 2003) More Information...
• Short Presentation: Dominic J. D. Hughes
  Classical logic = Fibred MLL (LICS 2005) More Information...

Henrik Hulgaard

• Paper: Henrik R. Andersen Henrik Hulgaard
  Boolean Expression Diagrams (LICS 1997) More Information...

Hing-Kai Hung

• Paper: Hing-Kai Hung Jeffery I. Zucker
  Semantics of pointers, referencing and dereferencing with intensional logic (LICS 1991) More Information...

Hardi Hungar

• Paper: Michal Grabowski Hardi Hungar
  On the existence of effective Hoare logics (LICS 1988) More Information...
• Paper: Hardi Hungar
  Complexity bounds of Hoare-style proof systems (LICS 1991) More Information...

Aaron Hunter

• Paper: Aaron Hunter
  Spectrum Hierarchies and Subdiagonal Functions (LICS 2003) More Information...
• Short Presentation: Aaron Hunter
  Non-Closure Results for First-Order Spectra (LICS 2006) More Information...

Michael Huth

• Paper: Michael Huth Achim Jung Klaus Keimel
  Linear types, approximation, and topology (LICS 1994) More Information...
• Paper: Michael Huth Marta Z. Kwiatkowska
  Quantitative Analysis and Model Checking (LICS 1997) More Information...
• Paper: Michael Huth
  Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space (LICS 2004) More Information...
• Paper: Patrice Godefroid Michael Huth
  Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics (LICS 2005) More Information...

Hans Hüttel

• Paper: Hans Hüttel Colin Stirling
  Actions speak louder than words: proving bisimilarity for context-free processes (LICS 1991) More Information...

Graham Hutton

• Paper: Carolyn Brown Graham Hutton
  Categories, allegories and circuit design (LICS 1994) More Information...

Taneli Huuskonen

• Paper: Taneli Huuskonen Tapani Hyttinen
  On Definability of Order in Logic with Choice (LICS 2001) More Information...

L. James Hwang

• Paper: Jerry R. Burch Edmund M. Clarke Kenneth L. McMillan David L. Dill L. James Hwang
  Symbolic model checking: 10 states and beyond (LICS 1990) More Information...

Martin Hyland

• Paper: Martin Hyland Andrea Schalk
  Games on Graphs and Sequentially Realizable Functionals (LICS 2002) More Information...
• Invited Paper: Russell Harmer Martin Hyland Paul-André Melliès
  Categorical Combinatorics for Innocent Strategies (LICS 2007) More Information...

Tapani Hyttinen

• Paper: Taneli Huuskonen Tapani Hyttinen
  On Definability of Order in Logic with Choice (LICS 2001) More Information...