IEEE Symposium on Logic in Computer Science

Authors on this page:

• Peter Habermehl
• Haberstrau, M.
• Joseph Y. Halpern
• Halpern, J.Y.
• Nadeem A. Hamid
• Jiawei Han
• Chris Hankin
• Hannan, J.
• Therese Hardin
• Chris Hardin
• D. Harel
• Harel, E.
• Harel, D.
• David Harel
• Russell Harmer
• Robert Harper
• Harper, R.
• John Harrison
• Bradd Hart
• Masahito Hasegawa
• John W. Havlicek
• Susumu Hayashi
• A. Hayrapetyan
• Heintze, N.
• Nevin Heintze
• Hella, L.
• Lauri Hella
• L. Hella
• Edith Hemaspaandra
• Noomene Ben Henda
• Fritz Henglein
• Matthew Hennessy
• Hennessy, M.
• M. Hennessy
• Henzinger, T.A.
• Thomas Henzinger
• Thomas A. Henzinger
• Hugo Herbelin
• Claudio Hermida
• William Hesse
• Thierry Heuillard
• T. Hildebrandt
• Gerd G. Hillebrand
• Gerd Hillebrand
• J. Hillston
• Colin Hirsch
• Daniel Hirschkoff
• J. Hirshfeld
• Yoram Hirshfeld
• Tirza Hirst
• My Hoang
• C. A. R. Hoare
• Joshua S. Hodas
• Ian Hodkinson
• Martin Hofmann
• Kohei Honda
• Furio Honsell
• Mark W. Hopkins
• Douglas J. Howe
• Howe, D.J.
• Jieh Hsiang
• Hudak, P.
• Gérard Huet
• Dominic J. D. Hughes
• Dominic Hughes
• Henrik Hulgaard
• Hing-Kai Hung
• Hardi Hungar
• Aaron Hunter
• Michael Huth
• Graham Hutton
• Taneli Huuskonen
• Hwang, L.J.
• Martin Hyland
• Tapani Hyttinen
• Hans Hüttel

Peter Habermehl

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

Haberstrau, M.

• Paper: Comon, H. Haberstrau, M. Jouannaud, J.-P.
  Decidable problems in shallow equational theories (LICS 1992) 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...
• Invited Talk: Nir Friedman Joseph Y. Halpern
  Plausibility Measures and Default Reasoning: An Overview (LICS 1999) More Information...
• Invited Talk: Joseph Y. Halpern Richard A. Shore
  Reasoning About Common Knowledge with Infinitely Many Agents (LICS 1999) More Information...

Halpern, J.Y.

• Paper: Grove, A.J. Halpern, J.Y. Koller, D.
  Random worlds and maximum entropy (LICS 1992) More Information...
• Paper: Halpern, J.Y. Kapron, B.M.
  Zero-one laws for modal logic (LICS 1992) 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...

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

Hannan, J.

• Paper: Hannan, J. Pfenning, F.
  Compiler verification in LF (LICS 1992) More Information...

Therese Hardin

• Paper: Gilles Dowek Therese 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...

D. Harel

• Paper: D. Harel A. Pnueli J. P. Schmidt R. Sherman
  On the Formal Semantics of Statecharts (Extended Abstract) (LICS 1987) More Information...

Harel, E.

• Paper: Harel, E. Lichtenstein, O. Pnueli, A.
  Explicit clock temporal logic (LICS 1990) More Information...

Harel, D.

• Paper: Harel, D. Rosner, R. Vardi, M.
  On the power of bounded concurrency. III. Reasoning about programs (LICS 1990) More Information...

David Harel

• Paper: Tirza Hirst David Harel
  More about recursive structures: descriptive complexity and zero-one laws (LICS 1996) 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...

Robert Harper

• Paper: Robert Harper Furio Honsell Gordon Plotkin
  A Framework for Defining Logics (LICS 1987) More Information...
• Invited Talk: 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...

Harper, R.

• Paper: Harper, R. Sannella, D. Tarlecki, A.
  Structure and representation in LF (LICS 1989) More Information...

John Harrison

• Invited Talk: 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...

A. Hayrapetyan

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

Heintze, N.

• Paper: Heintze, N. Jaffar, J.
  A decision procedure for a class of set constraints (LICS 1990) More Information...
• Paper: Heintze, N. Jaffar, J.
  An engine for logic program analysis (LICS 1992) More Information...

Nevin Heintze

• Paper: Nevin Heintze David 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...

Hella, L.

• Paper: Hella, L.
  Logical hierarchies in PTIME (LICS 1992) More Information...

Lauri Hella

• Paper: Lauri Hella Phokion 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...

L. Hella

• Short Presentation: A. Dawar L. Hella M. 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 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: Nobuko Yoshida Matthew Hennessy
  Assigning Types to Processes (LICS 2000) More Information...

Hennessy, M.

• Paper: Aceto, L. Hennessy, M.
  Towards action-refinement in process algebras (LICS 1989) More Information...

M. Hennessy

• Paper: M. Hennessy
  A fully abstract denotational model for higher-order processes (LICS 1993) More Information...

Henzinger, T.A.

• Paper: Alur, R. Henzinger, T.A.
  Real-time logics: complexity and expressiveness (LICS 1990) More Information...
• Paper: Henzinger, T.A. Nicollin, X. Sifakis, J. Yovine, S.
  Symbolic model checking for real-time systems (LICS 1992) More Information...

Thomas Henzinger

• Paper: Rajeev Alur Thomas Henzinger
  Finitary fairness (LICS 1994) More Information...

Thomas A. Henzinger

• Paper: Rajeev Alur Thomas A. Henzinger
  Reactive Modules (LICS 1996) More Information...
• Invited Talk: 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...

Hugo Herbelin

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

Claudio Hermida

• Paper: Claudio Hermida Michael Makkai 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...

T. Hildebrandt

• Short Presentation: J. C. Godskesen T. Hildebrandt V. 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...

Gerd Hillebrand

• Paper: Gerd Hillebrand Paris Kanellakis
  On the Expressive Power of Simply Typed and Let-Polymorphic Lambda Calculi (LICS 1996) More Information...

J. Hillston

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

Colin Hirsch

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

Daniel Hirschkoff

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

J. Hirshfeld

• Paper: A. Avron J. Hirshfeld
  On first order database query languages (LICS 1991) More Information...

Yoram Hirshfeld

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

My Hoang

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

C. A. R. Hoare

• Invited Talk: C. A. R. Hoare M. 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 Miller
  Logic programming in a fragment of intuitionistic linear logic (LICS 1991) More Information...

Ian Hodkinson

• Paper: Ian 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 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...

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
  An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules (LICS 2005) More Information...

Furio Honsell

• Paper: Robert Harper Furio Honsell Gordon 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...

Douglas J. Howe

• Paper: Douglas J. Howe
  The Computational Behaviour of Girard's Paradox (LICS 1987) More Information...
• Paper: Douglas J. Howe
  On computational open-endedness in Martin-Lof's type theory (LICS 1991) More Information...

Howe, D.J.

• Paper: Howe, D.J.
  Equality in lazy computation systems (LICS 1989) More Information...
• Paper: Allen, S.F. Constable, R.L. Howe, D.J. Aitken, W.E.
  The semantics of reflected proof (LICS 1990) More Information...

Jieh Hsiang

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

Hudak, P.

• Paper: Guzman, J.C. Hudak, P.
  Single-threaded polymorphic lambda calculus (LICS 1990) More Information...

Gérard Huet

• Invited Talk: 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...

Dominic Hughes

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

Henrik Hulgaard

• Paper: Henrik Reif 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...

Michael Huth

• Paper: Michael Huth Achim Jung Klaus Keimel
  Linear types, approximation, and topology (LICS 1994) More Information...
• Paper: Michael Huth Marta 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...

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

Hwang, L.J.

• Paper: Burch, J.R. Clarke, E.M. McMillan, K.L. Dill, D.L. Hwang, L.J.
  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...

Tapani Hyttinen

• Paper: Taneli Huuskonen Tapani Hyttinen
  On Definability of Order in Logic with Choice (LICS 2001) 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...