ACM/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:

• Anselm Haak
• Christoph Haase
• Peter Habermehl
• Marianne Haberstrau
• Jennifer Hackett
• Axel Haddad
• Serge Haddad
• Amar Hadzihasanovic
• Matthew Hague
• Michael Hahn
• Christopher Hahn
• Emmanuel Hainry
• Tuomas Hakoniemi
• Thomas C. Hales
• James Hales
• Simon Halfon
• Joseph Y. Halpern
• Makoto Hamana
• Nadeem A. Hamid
• Tingting Han
• Jiawei Han
• Chris Hankin
• John Hannan
• Miika Hannula
• Kristoffer Arnsfelt Hansen
• Helle Hvid Hansen
• Masaki Hara
• Chris Hardin
• Thérèse Hardin
• Lucien Hardy
• David Harel
• Eyal Harel
• Russell Harmer
• Robert Harper
• John Harrison
• Bradd Hart
• Frederik Harwath
• Masahito Hasegawa
• Ichiro Hasuo
• John W. Havlicek
• Susumu Hayashi
• Jonathan Hayman
• Ara Hayrapetyan
• Chaodong He
• Yuguo He
• Markus Hecher
• Jules Hedges
• Lukas Heidemann
• Willem Heijltjes
• Heijltjes
• Lucas Heimberg
• Nevin Heintze
• Hayyan Helal
• Pavol Hell
• Lauri Hella
• Edith Hemaspaandra
• Noomene Ben Henda
• Dimitri Hendriks
• Fritz Henglein
• Matthew Hennessy
• Thomas A. Henzinger
• Monika Henzinger
• Hugo Herbelin
• Frédéric Herbreteau
• Frédéric Herbreteau
• Maurice Herlihy
• Miki Hermann
• Holger Hermanns
• Claudio Hermida
• André Hernich
• Christian Herrmann
• Andreas Herzig
• William Hesse
• Stefan Hetzl
• Thierry Heuillard
• Chris Heunen
• Jan van den Heuvel
• Robert M. Hierons
• Thomas Hildebrandt
• Gerd G. Hillebrand
• Jane Hillston
• Martin Hils
• Wataru Hino
• Colin Hirsch
• Robin Hirsch
• Lucca Hirschi
• Daniel Hirschkoff
• Tom Hirschowitz
• Yoram Hirshfeld
• Tirza Hirst
• Greg Hjorth
• Petr Hlinený
• My Hoang
• C. Anthony R. Hoare
• Joshua S. Hodas
• Ian M. Hodkinson
• Peter Höfner
• Jan Hoffmann
• Piotr Hofman
• Martin Hofmann
• Jana Hofmann
• Bjarki Holm
• Kohei Honda
• Furio Honsell
• Mark W. Hopkins
• Ross Horne
• Naohiko Hoshino
• Robin Houston
• Clément Houtmann
• Douglas J. Howe
• Mathieu Hoyrup
• Ehud Hrushovski
• Jieh Hsiang
• Justin Hsu
• Nick Hu
• Mingzhang Huang
• Simon Huber
• Paul Hudak
• Gérard Huet
• Dominic J. D. Hughes
• Henrik Hulgaard
• Hing-Kai Hung
• Hardi Hungar
• Aaron Hunter
• Paul Hunter
• Mathieu Huot
• Chung-Kil Hur
• Michael Huth
• Hans Hüttel
• Graham Hutton
• Taneli Huuskonen
• L. James Hwang
• Martin Hyland
• Tapani Hyttinen

Anselm Haak

• Paper: Arnaud Durand Anselm Haak Heribert Vollmer
  Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth (LICS 2018) More Information...

Christoph Haase

• Paper: Christoph Haase
  Subclasses of presburger arithmetic and the weak EXP hierarchy (LICS 2014) More Information...
• Paper: Michael Blondin Alain Finkel Stefan Göller Christoph Haase Pierre McKenzie
  Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete (LICS 2015) More Information...
• Paper: Michael Blondin Christoph Haase
  Logics for continuous reachability in Petri nets and vector addition systems with states (LICS 2017) More Information...
• Paper: Christoph Haase Stefan Kiefer Markus Lohrey
  Computing quantiles in Markov chains with multi-dimensional costs (LICS 2017) More Information...
• Paper: Florent Guépin Christoph Haase James Worrell
  On the Existential Theories of Büchi Arithmetic and Linear p-adic Fields (LICS 2019) More Information...
• Paper: Christoph Haase Georg Zetzsche
  Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests (LICS 2019) More Information...
• Paper: Dmitry Chistikov Christoph Haase Alessio Mansutti
  Geometric decision procedures and the VC dimension of linear arithmetic theories (LICS 2022) More Information...

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

Jennifer Hackett

• Paper: Jennifer Hackett Graham Hutton
  Programs for Cheap! 115-126 Guillaume Munch-Maccagnoni, Gabriel Scherer: Polarised Intermediate Representation of Lambda Calculus with Sums (LICS 2015) More Information...

Axel Haddad

• Paper: Arnaud Carayol Axel Haddad Olivier Serre
  Qualitative Tree Languages (LICS 2011) More Information...

Serge Haddad

• Paper: Serge Haddad Sylvain Schmitz Philippe Schnoebelen
  The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets (LICS 2012) More Information...

Amar Hadzihasanovic

• Paper: Amar Hadzihasanovic
  A Diagrammatic Axiomatisation for Qubit Entanglement (LICS 2015) More Information...
• Paper: Amar Hadzihasanovic Kang Feng Ng Quanlong Wang
  Two complete axiomatisations of pure-state qubit quantum computing (LICS 2018) More Information...
• Paper: Amar Hadzihasanovic
  The Smash Product of Monoidal Theories (LICS 2021) 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...
• Paper: Matthew Hague
  Senescent ground tree rewrite systems (LICS 2014) More Information...

Michael Hahn

• Paper: Michael Hahn Andreas Krebs Howard Straubing
  Wreath Products of Distributive Forest Algebras (LICS 2018) More Information...

Christopher Hahn

• Paper: Norine Coenen Bernd Finkbeiner Christopher Hahn Jana Hofmann
  The Hierarchy of Hyperlogics (LICS 2019) More Information...

Emmanuel Hainry

• Paper: Emmanuel Hainry Bruce M. Kapron Jean-Yves Marion Romain Péchoux
  A tier-based typed programming language characterizing Feasible Functionals (LICS 2020) More Information...

Tuomas Hakoniemi

• Paper: Tuomas Hakoniemi
  Monomial size vs Bit-complexity in Sums-of-Squares and Polynomial Calculus (LICS 2021) More Information...

Thomas C. Hales

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

James Hales

• Paper: James Hales
  Arbitrary Action Model Logic and Action Model Synthesis (LICS 2013) More Information...

Simon Halfon

• Paper: Simon Halfon Philippe Schnoebelen Georg Zetzsche
  Decidability, complexity, and expressiveness of first-order logic over the subword ordering (LICS 2017) 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...
• Invited Paper: Joseph Y. Halpern
  From Qualitative to Quantitative Proofs of Security Properties Using First-Order Conditional Logic (LICS 2013) More Information...

Makoto Hamana

• Paper: Marcelo P. Fiore Makoto Hamana
  Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic (LICS 2013) 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...

Miika Hannula

• Paper: Miika Hannula Juha Kontinen Jan Van den Bussche Jonni Virtema
  Descriptive complexity of real computation and probabilistic independence logic (LICS 2020) 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...

Helle Hvid Hansen

• Paper: Sebastian Enqvist Helle Hvid Hansen Clemens Kupke Johannes Marti Yde Venema
  Completeness for Game Logic (LICS 2019) More Information...

Masaki Hara

• Paper: Natsuki Urabe Masaki Hara Ichiro Hasuo
  Categorical liveness checking by corecursive algebras (LICS 2017) More Information...

Chris Hardin

• Paper: Chris Hardin
  Proof Theory for Kleene Algebra (LICS 2005) 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...

Lucien Hardy

• Short Presentation: Samson Abramsky Lucien Hardy
  Logical Bell Inequalities (LICS 2012) 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...
• Paper: David Harel
  Amir Pnueli: A Gentle Giant, Lord of the Phi's and the Psi's (LICS 2010) 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...
• Invited Paper: Vincent Danos Jérôme Feret Walter Fontana Russell Harmer Jean Krivine
  Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction (LICS 2010) 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...
• Paper: Jonathan Sterling Robert Harper
  Guarded Computational Type Theory (LICS 2018) 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...

Frederik Harwath

• Paper: Frederik Harwath Lucas Heimberg Nicole Schweikardt
  Preservation and decomposition theorems for bounded degree structures (LICS 2014) More Information...
• Paper: Thomas Zeume Frederik Harwath
  Order-Invariance of Two-Variable Logic is Decidable (LICS 2016) More Information...

Masahito Hasegawa

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

Ichiro Hasuo

• Paper: Ichiro Hasuo Naohiko Hoshino
  Semantics of Higher-Order Quantum Computation via Geometry of Interaction (LICS 2011) More Information...
• Short Presentation: Kohei Suenaga Ichiro Hasuo
  Programming with Infinitesi- mals: A WHILE-Language for Hybrid System Modeling (LICS 2011) More Information...
• Paper: Ugo Dal Lago Claudia Faggian Ichiro Hasuo Akira Yoshimizu
  The geometry of synchronization (LICS 2014) More Information...
• Paper: Naohiko Hoshino Koko Muroya Ichiro Hasuo
  Memoryful geometry of interaction: from coalgebraic components to algebraic effects (LICS 2014) More Information...
• Paper: Wataru Hino Hiroki Kobayashi Ichiro Hasuo Bart Jacobs
  Healthiness from Duality (LICS 2016) More Information...
• Paper: Natsuki Urabe Masaki Hara Ichiro Hasuo
  Categorical liveness checking by corecursive algebras (LICS 2017) More Information...
• Paper: Yuichi Komorida Shin-ya Katsumata Nick Hu Bartek Klin Ichiro Hasuo
  Codensity Games for Bisimilarity (LICS 2019) More Information...
• Paper: Yuichi Komorida Shin-ya Katsumata Clemens Kupke Jurriaan Rot Ichiro Hasuo
  Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation (LICS 2021) 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...

Chaodong He

• Paper: Chaodong He Mingzhang Huang
  Branching Bisimilarity on Normed BPA Is EXPTIME-Complete (LICS 2015) More Information...

Yuguo He

• Paper: Yuguo He
  On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures (LICS 2010) More Information...

Markus Hecher

• Paper: Johannes Klaus Fichte Markus Hecher Andreas Pfandler
  Lower Bounds for QBFs of Bounded Treewidth (LICS 2020) More Information...

Jules Hedges

• Paper: Neil Ghani Jules Hedges Viktor Winschel Philipp Zahn
  Compositional Game Theory (LICS 2018) More Information...

Lukas Heidemann

• Paper: Lukas Heidemann David Reutter Jamie Vicary
  Zigzag normalisation for associative n-categories (LICS 2022) More Information...

Willem Heijltjes

• Paper: Willem Heijltjes
  Proof Nets for Additive Linear Logic with Units (LICS 2011) More Information...
• Paper: Tom Gundersen Willem Heijltjes Michel Parigot
  Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing (LICS 2013) More Information...
• Paper: Willem Heijltjes Robin Houston
  No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete (LICS 2014) More Information...
• Paper: Willem Heijltjes Dominic J. D. Hughes
  Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets (LICS 2015) More Information...
• Paper: Dominic J. D. Hughes Willem Heijltjes
  Conflict nets: Efficient locally canonical MALL proof nets (LICS 2016) More Information...

Heijltjes

• Paper: Heijltjes Dominic J. D. Hughes Lutz Straßburger
  Intuitionistic proofs without syntax (LICS 2019) More Information...

Lucas Heimberg

• Paper: Lucas Heimberg Dietrich Kuske Nicole Schweikardt
  An Optimal Gaifman Normal Form Construction for Structures of Bounded Degree (LICS 2013) More Information...
• Paper: Frederik Harwath Lucas Heimberg Nicole Schweikardt
  Preservation and decomposition theorems for bounded degree structures (LICS 2014) More Information...
• Paper: Lucas Heimberg Dietrich Kuske Nicole Schweikardt
  Hanf normal form for first-order logic with unary counting quantifiers (LICS 2016) 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...

Hayyan Helal

• Paper: Erich Grädel Hayyan Helal Matthias Naaf Richard Wilke
  Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics (LICS 2022) More Information...

Pavol Hell

• Paper: Víctor Dalmau László Egri Pavol Hell Benoit Larose Arash Rafiey
  Descriptive Complexity of List H-Coloring Problems in Logspace: A Refined Dichotomy (LICS 2015) 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...

Dimitri Hendriks

• Paper: Jörg Endrullis Dimitri Hendriks Jan Willem Klop
  Modular Construction of Fixed Point Combinators and Clocked Böhm Trees (LICS 2010) More Information...
• Paper: Clemens Grabmayer Jörg Endrullis Dimitri Hendriks Jan Willem Klop Lawrence S. Moss
  Automatic Sequences and Zip-Specifications (LICS 2012) More Information...
• Paper: Jörg Endrullis Dimitri Hendriks
  On periodically iterated morphisms (LICS 2014) More Information...
• Paper: Jörg Endrullis Clemens Grabmayer Dimitri Hendriks
  Regularity Preserving but Not Reflecting Encodings (LICS 2015) 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...
• Paper: Udi Boker Krishnendu Chatterjee Thomas A. Henzinger Orna Kupferman
  Temporal Specifications with Accumulative Values (LICS 2011) More Information...
• Short Presentation: Thomas A. Henzinger Jan Otop
  From Model Checking to Model Measuring (LICS 2013) More Information...
• Paper: Krishnendu Chatterjee Thomas A. Henzinger Jan Otop
  Nested Weighted Automata (LICS 2015) More Information...
• Paper: Udi Boker Thomas A. Henzinger Jan Otop
  The Target Discounted-Sum Problem (LICS 2015) More Information...
• Paper: Krishnendu Chatterjee Thomas A. Henzinger Jan Otop
  Quantitative Automata under Probabilistic Semantics (LICS 2016) More Information...
• Paper: Thomas Ferrère Thomas A. Henzinger N. Ege Saraç
  A Theory of Register Monitors (LICS 2018) More Information...
• Paper: Thomas A. Henzinger N. Ege Saraç
  Quantitative and Approximate Monitoring (LICS 2021) More Information...

Monika Henzinger

• Paper: Krishnendu Chatterjee Monika Henzinger Veronika Loitzenbauer
  Improved Algorithms for One-Pair and k-Pair Streett Objectives (LICS 2015) 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 Wolfgang Dvorák Monika Henzinger Alexander Svozil
  Symbolic Time and Space Tradeoffs for Probabilistic Verification (LICS 2021) More Information...

Hugo Herbelin

• Paper: Vincent Danos Hugo Herbelin Laurent Regnier
  Game semantics and abstract machines (LICS 1996) More Information...
• Paper: Vincent Siles Hugo Herbelin
  Equality is Typable in Semi-Full Pure Type Systems (LICS 2010) More Information...
• Paper: Hugo Herbelin
  An Intuitionistic Logic that Proves Markov's Principle (LICS 2010) More Information...
• Paper: Hugo Herbelin
  A Constructive Proof of Dependent Choice, Compatible with Classical Logic (LICS 2012) More Information...
• Paper: Hugo Herbelin Étienne Miquey
  A calculus of expandable stores: Continuation-and-environment-passing style translations (LICS 2020) More Information...
• Paper: Nuria Brede Hugo Herbelin
  On the logical structure of choice and bar induction principles (LICS 2021) More Information...

Frédéric Herbreteau

• Paper: Frédéric Herbreteau B. Srivathsan Igor Walukiewicz
  Better Abstractions for Timed Automata (LICS 2012) More Information...

Frédéric Herbreteau

• Paper: R. Govind Frédéric Herbreteau B. Srivathsan Igor Walukiewicz
  Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods (LICS 2022) More Information...

Maurice Herlihy

• Invited Paper: Maurice Herlihy Mark Moir
  Blockchains and the Logic of Accountability (LICS 2016) More Information...

Miki Hermann

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

Holger Hermanns

• Paper: Christian Eisentraut Holger Hermanns Lijun Zhang
  On Probabilistic Automata In Continuous Time (LICS 2010) More Information...

Claudio Hermida

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

André Hernich

• Paper: André Hernich Phokion G. Kolaitis
  Foundations of information integration under bag semantics (LICS 2017) More Information...

Christian Herrmann

• Paper: Christian Herrmann Martin Ziegler
  Computational Complexity of Quantum Satisfiability (LICS 2011) More Information...

Andreas Herzig

• Paper: Philippe Balbiani Andreas Herzig Nicolas Troquard
  Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL (LICS 2013) More Information...

William Hesse

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

Stefan Hetzl

• Short Presentation: Stefan Hetzl Lutz Straßburger
  Herbrand-Confluence for Cut Elimination in Classical First-Order Logic (LICS 2012) 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...

Chris Heunen

• Paper: Chris Heunen Bert Lindenhovius
  Domains of Commutative C-Subalgebras (LICS 2015) More Information...
• Paper: Sam Staton Hongseok Yang Frank Wood Chris Heunen Ohad Kammar
  Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints (LICS 2016) More Information...
• Paper: Chris Heunen Ohad Kammar Sam Staton Hongseok Yang
  A convenient category for higher-order probability theory (LICS 2017) More Information...

Jan van den Heuvel

• Paper: Jan van den Heuvel Stephan Kreutzer Michal Pilipczuk Daniel A. Quiroz Roman Rabinovich Sebastian Siebertz
  Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion (LICS 2017) More Information...

Robert M. Hierons

• Paper: Brijesh Dongol Robert M. Hierons
  Decidability and Complexity for Quiescent Consistency (LICS 2016) More Information...
• Paper: Maciej Gazda Robert M. Hierons
  Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics (LICS 2021) 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...

Martin Hils

• Paper: Manuel Bodirsky Martin Hils Barnaby Martin
  On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction (LICS 2010) More Information...

Wataru Hino

• Paper: Wataru Hino Hiroki Kobayashi Ichiro Hasuo Bart Jacobs
  Healthiness from Duality (LICS 2016) More Information...

Colin Hirsch

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

Robin Hirsch

• Paper: Robin Hirsch Jas Semrl
  Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition (LICS 2021) More Information...

Lucca Hirschi

• Paper: Amina Doumane David Baelde Lucca Hirschi Alexis Saurin
  Towards Completeness via Proof Search in the Linear Time μ-calculus: The case of Büchi inclusions (LICS 2016) More Information...

Daniel Hirschkoff

• Paper: Daniel Hirschkoff Étienne Lozes Davide Sangiorgi
  Separability, expressiveness, and decidability in the Ambient Logic (LICS 2002) More Information...
• Paper: Daniel Hirschkoff Jean-Marie Madiot Davide Sangiorgi
  Name-Passing Calculi: From Fusions to Preorders and Types (LICS 2013) More Information...
• Paper: Adrien Durier Daniel Hirschkoff Davide Sangiorgi
  Eager Functions as Processes (LICS 2018) More Information...
• Paper: Daniel Hirschkoff Enguerrand Prebet Davide Sangiorgi
  On sequentiality and well-bracketing in the π-calculus (LICS 2021) More Information...

Tom Hirschowitz

• Paper: Clovis Eberhart Tom Hirschowitz
  What's in a game?: A theory of game models (LICS 2018) More Information...
• Paper: Peio Borthelle Tom Hirschowitz Ambroise Lafont
  A Cellular Howe Theorem (LICS 2020) 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...

Petr Hlinený

• Paper: Jakub Gajarský Petr Hlinený Jan Obdrzálek Daniel Lokshtanov M. S. Ramanujan
  A New Perspective on FO Model Checking of Dense Graph Classes (LICS 2016) 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...

Peter Höfner

• Paper: Rob van Glabbeek Peter Höfner Ross Horne
  Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom (LICS 2021) More Information...

Jan Hoffmann

• Paper: Jan Hoffmann Michael Marmar Zhong Shao
  Quantitative Reasoning for Proving Lock-Freedom (LICS 2013) More Information...
• Paper: Ankush Das Jan Hoffmann Frank Pfenning
  Work Analysis with Resource-Aware Session Types (LICS 2018) More Information...

Piotr Hofman

• 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: 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: Piotr Hofman Jérôme Leroux Patrick Totzke
  Linear combinations of unordered data vectors (LICS 2017) More Information...
• Paper: Piotr Hofman Marta Juzepczuk Slawomir Lasota Mohnish Pattathurajan
  Parikh's theorem for infinite alphabets (LICS 2021) More Information...
• Paper: Arka Ghosh Piotr Hofman Slawomir Lasota
  Solvability of orbit-finite systems of linear equations (LICS 2022) 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...
• Paper: Martin Hofmann Wei Chen
  Abstract interpretation from Büchi automata (LICS 2014) More Information...
• Paper: Martin Hofmann Jeremy Ledent
  A cartesian-closed category for higher-order model checking (LICS 2017) More Information...

Jana Hofmann

• Paper: Norine Coenen Bernd Finkbeiner Christopher Hahn Jana Hofmann
  The Hierarchy of Hyperlogics (LICS 2019) More Information...
• Paper: Raven Beutner David Carral Bernd Finkbeiner Jana Hofmann Markus Krötzsch
  Deciding Hyperproperties Combined with Functional Specifications (LICS 2022) More Information...

Bjarki Holm

• Paper: Anuj Dawar Martin Grohe Bjarki Holm Bastian Laubner
  Logics with Rank Operators (LICS 2009) More Information...
• Paper: Matthew Anderson Anuj Dawar Bjarki Holm
  Maximum Matching and Linear Programming in Fixed-Point Logic with Counting (LICS 2013) 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...

Ross Horne

• Paper: Ross Horne Ki Yung Ahn Shang-Wei Lin Alwen Tiu
  Quasi-Open Bisimilarity with Mismatch is Intuitionistic (LICS 2018) More Information...
• Paper: Matteo Acclavio Ross Horne Lutz Straßburger
  Logic Beyond Formulas: A Proof System on Graphs (LICS 2020) More Information...
• Paper: Rob van Glabbeek Peter Höfner Ross Horne
  Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom (LICS 2021) More Information...

Naohiko Hoshino

• Paper: Ichiro Hasuo Naohiko Hoshino
  Semantics of Higher-Order Quantum Computation via Geometry of Interaction (LICS 2011) More Information...
• Paper: Naohiko Hoshino
  Step Indexed Realizability Semantics for a Call-by-Value Language Based on Basic Combinatorial Objects (LICS 2012) More Information...
• Paper: Naohiko Hoshino Koko Muroya Ichiro Hasuo
  Memoryful geometry of interaction: from coalgebraic components to algebraic effects (LICS 2014) More Information...
• Paper: Ugo Dal Lago Naohiko Hoshino
  The Geometry of Bayesian Programming (LICS 2019) More Information...

Robin Houston

• Paper: Willem Heijltjes Robin Houston
  No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete (LICS 2014) 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...

Mathieu Hoyrup

• Paper: Hugo Férée Mathieu Hoyrup Walid Gomaa
  On the Query Complexity of Real Functionals (LICS 2013) More Information...
• Paper: Mathieu Hoyrup Walid Gomaa
  On the extension of computable real functions (LICS 2017) More Information...

Ehud Hrushovski

• Paper: Ehud Hrushovski Joël Ouaknine Amaury Pouly James Worrell
  Polynomial Invariants for Affine Programs (LICS 2018) More Information...

Jieh Hsiang

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

Justin Hsu

• Paper: Gilles Barthe Marco Gaboardi Benjamin Grégoire Justin Hsu Pierre-Yves Strub
  Proving Differential Privacy via Probabilistic Couplings (LICS 2016) More Information...
• Paper: Tetsuya Sato Gilles Barthe Marco Gaboardi Justin Hsu Shin-ya Katsumata
  Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy (LICS 2019) More Information...
• Paper: Arthur Azevedo de Amorim Marco Gaboardi Justin Hsu Shin-ya Katsumata
  Probabilistic Relational Reasoning via Metrics (LICS 2019) More Information...
• Paper: Li Zhou Gilles Barthe Justin Hsu Mingsheng Ying Nengkun Yu
  A Quantum Interpretation of Bunched Logic and Quantum Separation Logic (LICS 2021) More Information...
• Paper: Jialu Bao Simon Docherty Justin Hsu Alexandra Silva
  A Bunched Logic for Conditional Independence (LICS 2021) More Information...

Nick Hu

• Paper: Yuichi Komorida Shin-ya Katsumata Nick Hu Bartek Klin Ichiro Hasuo
  Codensity Games for Bisimilarity (LICS 2019) More Information...

Mingzhang Huang

• Paper: Chaodong He Mingzhang Huang
  Branching Bisimilarity on Normed BPA Is EXPTIME-Complete (LICS 2015) More Information...

Simon Huber

• Paper: Thierry Coquand Simon Huber Anders Mörtberg
  On Higher Inductive Types in Cubical Type Theory (LICS 2018) 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...
• Paper: Willem Heijltjes Dominic J. D. Hughes
  Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets (LICS 2015) More Information...
• Paper: Dominic J. D. Hughes Willem Heijltjes
  Conflict nets: Efficient locally canonical MALL proof nets (LICS 2016) More Information...
• Paper: Dominic J. D. Hughes
  Unification nets: canonical proof net quantifiers (LICS 2018) More Information...
• Paper: Heijltjes Dominic J. D. Hughes Lutz Straßburger
  Intuitionistic proofs without syntax (LICS 2019) More Information...
• Paper: Dominic J. D. Hughes Lutz Straßburger Jui-Hsuan Wu
  Combinatorial Proofs and Decomposition Theorems for First-order Logic (LICS 2021) 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...

Paul Hunter

• Paper: Paul Hunter Joël Ouaknine James Worrell
  Expressive Completeness for Metric Temporal Logic (LICS 2013) More Information...

Mathieu Huot

• Paper: Mathieu Huot Sam Staton
  Quantum channels as a categorical completion (LICS 2019) More Information...

Chung-Kil Hur

• Paper: Chung-Kil Hur Derek Dreyer Viktor Vafeiadis
  Separation Logic in the Presence of Garbage Collection (LICS 2011) 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...
• Paper: Jennifer Hackett Graham Hutton
  Programs for Cheap! 115-126 Guillaume Munch-Maccagnoni, Gabriel Scherer: Polarised Intermediate Representation of Lambda Calculus with Sums (LICS 2015) 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^20 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...