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:

• Murdoch Gabbay
• Maurizio Gabbrielli
• Marco Gaboardi
• Andrew Gacek
• Fabio Gadducci
• Haim Gaifman
• Jakub Gajarský
• Zeinab Galal
• Nikolaos Galatos
• Alex Galicki
• Jean H. Gallier
• Didier Galmiche
• Nicola Gambino
• Moses Ganardi
• Robert Ganian
• Pierre Ganty
• Harald Ganzinger
• Sicun Gao
• Minbo Gao
• Xiao-Shan Gao
• Philippa Gardner
• Deepak Garg
• Ilias Garnier
• Adria Gascón
• Paul Gastin
• Olivier Gauwin
• Francesco Gavazzo
• Simon J. Gay
• Maciej Gazda
• Daniel Gburek
• Vijay Gehlot
• Mai Gehrke
• Francesco A. Genco
• Michael Genesereth
• Blaise Genest
• Valerio Genovese
• Fabrizio Genovese
• Raffaella Gentilini
• Guillaume Geoffroy
• Steven M. German
• Rob Gerth
• Herman Geuvers
• Faraz Ghahremani
• Neil Ghani
• Amelie Gheerbrant
• Giorgio Ghelli
• Dan R. Ghica
• Silvio Ghilardi
• Arka Ghosh
• Alexis Ghyselen
• Roberto Giacobazzi
• Giuseppe De Giacomo
• Pietro Di Gianantonio
• Paola Giannini
• Hugo Gimbert
• Alessandro Di Giorgio
• Jean-Yves Girard
• Marianna Girlando
• Jay L. Gischer
• Robert Givan
• Fabien Givors
• Rob J. van Glabbeek
• Rob van Glabbeek
• Tamara von Glehn
• Neal Glew
• Grzegorz Gluch
• Patrice Godefroid
• Guillem Godoy
• Jens C. Godskesen
• Andreas Goerdt
• Tomasz Gogacz
• Stefano Gogioso
• Joseph A. Goguen
• Kenneth J. Goldman
• Petr A. Golovach
• Walid Gomaa
• Timothy Gomez
• Sergey Goncharov
• Georges Gonthier
• Sam van Gool
• Valentin Goranko
• Michael J. C. Gordon
• Andrew D. Gordon
• Roberta Gori
• Evan Goris
• Nikos Gorogiannis
• Georg Gottlob
• Éric Goubault
• Jean Goubault-Larrecq
• Quentin Gougeon
• R. Govind
• Alexandre Goy
• Clemens Grabmayer
• Clemens Armin Grabmayer
• Michal Grabowski
• Etienne Grandjean
• Julien Grange
• Hans Bugge Grathwohl
• Niels Bjørn Bugge Grathwohl
• Jonathan Grattage
• Daniel Gratzer
• Charles Grellois
• Théo Grente
• Timothy G. Griffin
• Serge Grigorieff
• Marta Grobelna
• Martin Grohe
• Jim de Groot
• Jan F. Groote
• Jessie Grosen
• Adam J. Grove
• Stéphane Grumbach
• Orna Grumberg
• Ariel Grunfeld
• Berit Grußien
• Erich Grädel
• Benjamin Grégoire
• Marcus Größer
• Adrien Guatto
• Dirk Van Gucht
• Nicolas Guenot
• Giulio Guerrieri
• Stefano Guerrini
• Alessio Guglielmi
• Shibashis Guha
• Bruno Guillaume
• Mauricio Guillermo
• Bruno Guillon
• Tom Gundersen
• Carl A. Gunter
• Elsa L. Gunter
• Vineet Gupta
• Aarti Gupta
• Arvind Gupta
• Yuri Gurevich
• Arie Gurfinkel
• Doug Gurr
• Rune Gustavsson
• Julian Gutierrez
• Jens Oliver Gutsfeld
• Roland Guttenberg
• Juan C. Guzmán
• Florent Guépin
• Marc Gyssens
• Rüdiger Göbel
• Stefan Göller
• Tobias G�rtner

Murdoch Gabbay

• Paper: Murdoch Gabbay Andrew M. Pitts
  A New Approach to Abstract Syntax Involving Binders (LICS 1999) More Information...
• Paper: Murdoch Gabbay James Cheney
  A Sequent Calculus for Nominal Logic (LICS 2004) More Information...

Maurizio Gabbrielli

• Paper: Moreno Falaschi Maurizio Gabbrielli Kim Marriott Catuscia Palamidessi
  Compositional analysis for concurrent constraint programming (LICS 1993) More Information...

Marco Gaboardi

• Paper: Ugo Dal Lago Marco Gaboardi
  Linear Dependent Types and Relative Completeness (LICS 2011) More Information...
• 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...

Andrew Gacek

• Paper: Andrew Gacek Dale A. Miller Gopalan Nadathur
  Combining Generic Judgments with Recursive Definitions (LICS 2008) More Information...

Fabio Gadducci

• Paper: Marino Miculan Fabio Gadducci
  Modal µ-Types for Processes (LICS 1995) More Information...
• Paper: Filippo Bonchi Fabio Gadducci Aleks Kissinger Pawel Sobocinski Fabio Zanasi
  Rewriting modulo symmetric monoidal structure (LICS 2016) More Information...
• Paper: Paolo Baldan Andrea Corradini Fabio Gadducci
  Domains and event structures for fusions (LICS 2017) More Information...
• Paper: Filippo Bonchi Fabio Gadducci Aleks Kissinger Pawel Sobocinski Fabio Zanasi
  Rewriting with Frobenius (LICS 2018) More Information...

Haim Gaifman

• Paper: Haim Gaifman Vaughan R. Pratt
  Partial Order Models of Concurrency and the Computation of Functions (LICS 1987) More Information...
• Paper: Haim Gaifman Harry G. Mairson Yehoshua Sagiv Moshe Y. Vardi
  Undecidable Optimization Problems for Database Logic Programs (LICS 1987) More Information...
• Paper: Haim Gaifman Ehud Y. Shapiro
  Proof theory and semantics of logic programs (LICS 1989) More Information...

Jakub Gajarský

• 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...
• Paper: Jan Dreier Jakub Gajarský Sandra Kiefer Michal Pilipczuk Szymon Toruńczyk
  Treelike Decompositions for Transductions of Sparse Graphs (LICS 2022) More Information...
• Paper: Jakub Gajarský Michal Pilipczuk Szymon Toruńczyk
  Stable graphs of bounded twin-width (LICS 2022) More Information...
• Paper: Édouard Bonnet Jan Dreier Jakub Gajarský Stephan Kreutzer Nikolas Mählmann Pierre Simon Szymon Toruńczyk
  Model Checking on Interpretations of Classes of Bounded Local Cliquewidth (LICS 2022) More Information...
• Paper: Jakub Gajarský Michal Pilipczuk Marek Sokolowski Giannos Stamoulis Szymon Toruńczyk
  Elementary first-order model checking for sparse graphs (LICS 2024) More Information...
• Paper: Jakub Gajarský Michal Pilipczuk Filip Pokrývka
  3D-grids are not transducible from planar graphs (LICS 2025) More Information...

Zeinab Galal

• Paper: Zeinab Galal
  Fixpoint operators for 2-categorical structures (LICS 2023) More Information...
• Paper: Zeinab Galal Jean-Simon Pacaud Lemay
  Combining fixpoint and differentiation theory (LICS 2024) More Information...

Nikolaos Galatos

• Paper: Agata Ciabattoni Nikolaos Galatos Kazushige Terui
  From Axioms to Analytic Rules in Nonclassical Logics (LICS 2008) More Information...

Alex Galicki

• Paper: Alex Galicki
  Effective Brenier Theorem: Applications to Computable Analysis and Algorithmic Randomness (LICS 2016) More Information...

Jean H. Gallier

• Paper: Jean H. Gallier Stan Raatz Wayne Snyder
  Theorem Proving Using Rigid E-Unification Equational Matings (LICS 1987) More Information...
• Paper: Jean H. Gallier Wayne Snyder Paliath Narendran David A. Plaisted
  Rigid E-unification is NP-complete (LICS 1988) More Information...

Didier Galmiche

• Paper: Dominique Larchey-Wendling Didier Galmiche
  The Undecidability of Boolean BI through Phase Semantics (LICS 2010) More Information...

Nicola Gambino

• Paper: Steven Awodey Nicola Gambino Kristina Sojakova
  Inductive Types in Homotopy Type Theory (LICS 2012) More Information...

Moses Ganardi

• Paper: Moses Ganardi Rupak Majumdar Georg Zetzsche
  The Complexity of Bidirected Reachability in Valence Systems (LICS 2022) More Information...
• Paper: Pascal Bergsträßer Moses Ganardi Anthony W. Lin Georg Zetzsche
  Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification (LICS 2022) More Information...
• Paper: Pascal Bergsträßer Moses Ganardi
  Revisiting Membership Problems in Subclasses of Rational Relations (LICS 2023) More Information...

Robert Ganian

• Paper: Simone Bova Robert Ganian Stefan Szeider
  Model checking existential logic on partially ordered sets (LICS 2014) More Information...
• Paper: Johannes Klaus Fichte Robert Ganian Markus Hecher Friedrich Slivovsky Sebastian Ordyniak
  Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF (LICS 2023) More Information...
• Paper: Jan Dreier Robert Ganian Thekla Hamm
  Approximate Evaluation of Quantitative Second Order Queries (LICS 2025) More Information...

Pierre Ganty

• Paper: Javier Esparza Pierre Ganty Rupak Majumdar
  A Perfect Model for Bounded Verification (LICS 2012) More Information...
• Paper: Filippo Bonchi Pierre Ganty Roberto Giacobazzi Dusko Pavlovic
  Sound up-to techniques and Complete abstract domains (LICS 2018) More Information...

Harald Ganzinger

• Paper: Leo Bachmair Harald Ganzinger Uwe Waldmann
  Set constraints are the monadic class (LICS 1993) More Information...
• Paper: Leo Bachmair Harald Ganzinger
  Rewrite techniques for transitive relations (LICS 1994) More Information...
• Paper: David A. Basin Harald Ganzinger
  Complexity Analysis Based on Ordered Resolution (LICS 1996) More Information...
• Paper: Harald Ganzinger Christoph Meyer Margus Veanes
  The Two-Variable Guarded Fragment with Transitive Relations (LICS 1999) More Information...
• Paper: Harald Ganzinger Hans de Nivelle
  A Superposition Decision Procedure for the Guarded Fragment with Equality (LICS 1999) More Information...
• Paper: Harald Ganzinger
  Relating Semantic and Proof-Theoretic Concepts for Polynomial Time Decidability of Uniform Word Problems (LICS 2001) More Information...
• Paper: Harald Ganzinger Konstantin Korovin
  New Directions in Instantiation-Based Theorem Proving (LICS 2003) More Information...

Sicun Gao

• Paper: Sicun Gao Jeremy Avigad Edmund M. Clarke
  Delta-Decidability over the Reals (LICS 2012) More Information...

Minbo Gao

• Paper: Gilles Barthe Minbo Gao Theo Wang Li Zhou
  Complete Quantum Relational Hoare Logics from Optimal Transport Duality (LICS 2025) More Information...

Xiao-Shan Gao

• Paper: Shang-Ching Chou Xiao-Shan Gao Jing-Zhong Zhang
  Automated production of traditional proofs for constructive geometry theorems (LICS 1993) More Information...

Philippa Gardner

• Short Presentation: Thomas Dinsdale-Young Lars Birkedal Philippa Gardner Matthew Parkinson Hongseok Yang
  Views: Compositional Reasoning for Concurrent Programs (LICS 2012) More Information...

Deepak Garg

• Paper: Deepak Garg Valerio Genovese Sara Negri
  Countermodels from Sequent Calculi in Multi-Modal Logics (LICS 2012) More Information...

Ilias Garnier

• Paper: Nicolas Behr Vincent Danos Ilias Garnier
  Stochastic mechanics of graph rewriting (LICS 2016) More Information...

Adria Gascón

• Paper: Adria Gascón Guillem Godoy Manfred Schmidt-Schauß
  Context Matching for Compressed Terms (LICS 2008) More Information...
• Paper: Carles Creus Adria Gascón Guillem Godoy Lander Ramos
  The HOM Problem is EXPTIME-Complete (LICS 2012) More Information...
• Paper: Adria Gascón Ashish Tiwari Manfred Schmidt-Schauß
  One Context Unification Problems Solvable in Polynomial Time (LICS 2015) More Information...

Paul Gastin

• Paper: Benedikt Bollig Paul Gastin Benjamin Monmege Marc Zeitoun
  Logical characterization of weighted pebble walking automata (LICS 2014) More Information...
• Paper: Vrunda Dave Paul Gastin Shankara Narayanan Krishna
  Regular Transducer Expressions for Regular Transformations (LICS 2018) More Information...
• Paper: S. Akshay Paul Gastin Vincent Jugé Shankara Narayanan Krishna
  Timed Systems through the Lens of Logic (LICS 2019) More Information...
• Paper: Luc Dartois Paul Gastin Shankara Narayanan Krishna
  SD-Regular Transducer Expressions for Aperiodic Transformations (LICS 2021) More Information...
• Paper: Luc Dartois Paul Gastin R. Govind Shankara Narayanan Krishna
  Efficient Construction of Reversible Transducers from Regular Transducer Expressions (LICS 2022) More Information...
• Paper: Bharat Adsul Paul Gastin Shantanu Kulkarni Pascal Weil
  An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications (LICS 2024) More Information...

Olivier Gauwin

• Paper: Emmanuel Filiot Olivier Gauwin Pierre-Alain Reynier Frédéric Servais
  From Two-Way to One-Way Finite State Transducers (LICS 2013) More Information...
• Paper: Emmanuel Filiot Olivier Gauwin Nathan Lhote
  First-order definability of rational transductions: An algebraic approach (LICS 2016) More Information...
• Paper: Félix Baschenis Olivier Gauwin Anca Muscholl Gabriele Puppis
  Untwisting two-way transducers in elementary time (LICS 2017) More Information...

Francesco Gavazzo

• Paper: Ugo Dal Lago Francesco Gavazzo Paul Blain Levy
  Effectful applicative bisimilarity: Monads, relators, and Howe's method (LICS 2017) More Information...
• Paper: Francesco Gavazzo
  Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances (LICS 2018) More Information...
• Paper: Francesco Gavazzo Claudia Faggian
  A Relational Theory of Monadic Rewriting Systems, Part I (LICS 2021) More Information...
• Paper: Francesco Gavazzo
  Allegories of Symbolic Manipulations (LICS 2023) More Information...

Simon J. Gay

• Paper: Simon J. Gay Rajagopal Nagarajan
  A Typed Calculus of Synchronous Processes (LICS 1995) More Information...

Maciej Gazda

• Paper: Maciej Gazda Robert M. Hierons
  Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics (LICS 2021) More Information...

Daniel Gburek

• Paper: Christel Baier Nathalie Bertrand Clemens Dubslaff Daniel Gburek Ocan Sankur
  Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes (LICS 2018) More Information...

Vijay Gehlot

• Paper: Vijay Gehlot Carl A. Gunter
  Normal process representatives (LICS 1990) More Information...

Mai Gehrke

• Short Presentation: Alex Pogel George Voutsadakis Mai Gehrke
  A Game involving Epistemic Logic and Probability (LICS 2001) More Information...
• Paper: Mai Gehrke Daniela Petrisan Luca Reggio
  Quantifiers on languages and codensity monads (LICS 2017) More Information...

Francesco A. Genco

• Paper: Federico Aschieri Agata Ciabattoni Francesco A. Genco
  Gödel logic: From natural deduction to parallel computation (LICS 2017) More Information...

Michael Genesereth

• Short Presentation: Eric Jui-Yi Kao Michael Genesereth
  Achieving cut, deduction, and other properties with a variation on quasi-classical logic (LICS 2011) More Information...

Blaise Genest

• Paper: Nathalie Bertrand Blaise Genest Hugo Gimbert
  Qualitative Determinacy and Decidability of Stochastic Games with Signals (LICS 2009) More Information...
• Paper: Manindra Agrawal S. Akshay Blaise Genest P. S. Thiagarajan
  Approximate Verification of the Symbolic Dynamics of Markov Chains (LICS 2012) More Information...
• Paper: S. Akshay Blaise Genest Nikhil Vyas
  Distribution-based objectives for Markov Decision Processes (LICS 2018) More Information...

Valerio Genovese

• Paper: Deepak Garg Valerio Genovese Sara Negri
  Countermodels from Sequent Calculi in Multi-Modal Logics (LICS 2012) More Information...

Fabrizio Genovese

• Paper: John C. Baez Fabrizio Genovese Jade Master Michael Shulman
  Categories of Nets (LICS 2021) More Information...

Raffaella Gentilini

• Paper: Emmanuel Filiot Raffaella Gentilini Jean-François Raskin
  Rational Synthesis Under Imperfect Information (LICS 2018) More Information...

Guillaume Geoffroy

• Paper: Guillaume Geoffroy
  Classical realizability as a classifier for nondeterminism (LICS 2018) More Information...
• Paper: Guillaume Geoffroy
  A first-order completeness result about characteristic Boolean algebras in classical realizability (LICS 2022) More Information...

Steven M. German

• 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: A. Prasad Sistla Steven M. German
  Reasoning with Many Processes (LICS 1987) More Information...

Rob Gerth

• Paper: Rob Gerth Michael Codish Yossi Lichtenstein Ehud Y. Shapiro
  Fully abstract denotational semantics for flat Concurrent Prolog (LICS 1988) More Information...

Herman Geuvers

• Paper: Herman Geuvers
  The Church-Rosser property for βη-reduction in typed λ-calculi (LICS 1992) More Information...
• Paper: Franco Barbanera Maribel Fernández Herman Geuvers
  Modularity of strong normalization and confluence in the algebraic-λ-cube (LICS 1994) More Information...
• Paper: Herman Geuvers Benjamin Werner
  On the Church-Rosser property for expressive type systems and its consequences for their metatheoretic study (LICS 1994) More Information...
• Paper: Henning Basold Herman Geuvers
  Type Theory based on Dependent Inductive and Coinductive Types (LICS 2016) More Information...

Faraz Ghahremani

• Paper: Faraz Ghahremani Edon Kelmendi Joël Ouaknine
  Reachability in Injective Piecewise Affine Maps (LICS 2023) More Information...

Neil Ghani

• Paper: Neil Ghani Lorenzo Malatesta Fredrik Nordvall Forsberg Anton Setzer
  Fibred Data Types (LICS 2013) More Information...
• Paper: Neil Ghani Jules Hedges Viktor Winschel Philipp Zahn
  Compositional Game Theory (LICS 2018) More Information...

Amelie Gheerbrant

• Short Presentation: Amelie Gheerbrant Balder ten Cate
  Complete Axiomatizations of Fragments of Monadic Second- Order Logic on Finite Trees (LICS 2012) More Information...

Giorgio Ghelli

• Paper: Dario Colazzo Giorgio Ghelli
  Subtyping Recursive Types in Kernel Fun (LICS 1999) More Information...

Dan R. Ghica

• Paper: Samson Abramsky Dan R. Ghica Andrzej S. Murawski C.-H. Luke Ong Ian D. B. Stark
  Nominal Games and Full Abstraction for the Nu-Calculus (LICS 2004) More Information...
• Invited Paper: Dan R. Ghica
  Applications of Game Semantics: From Program Analysis to Hardware Synthesis (LICS 2009) More Information...
• Paper: Dan R. Ghica Adam Bakewell
  Clipping: A Semantics-Directed Syntactic Approximation (LICS 2009) More Information...
• Paper: Olle Fredriksson Dan R. Ghica
  Abstract Machines for Game Semantics, Revisited (LICS 2013) More Information...
• Paper: Koko Muroya Steven W. T. Cheung Dan R. Ghica
  The Geometry of Computation-Graph Abstraction (LICS 2018) More Information...
• Paper: Dan R. Ghica Todd Waugh Ambridge
  Global Optimisation with Constructive Reals (LICS 2021) More Information...
• Paper: Aleksei Tiurin Chris Barrett Dan R. Ghica Nick Hu
  Equivalence Hypergraphs: DPO Rewriting for Monoidal E-Graphs (LICS 2025) More Information...

Silvio Ghilardi

• Paper: Silvio Ghilardi Sam van Gool
  Monadic second order logic as the model companion of temporal logic (LICS 2016) More Information...

Arka Ghosh

• Paper: Arka Ghosh Piotr Hofman Slawomir Lasota
  Solvability of orbit-finite systems of linear equations (LICS 2022) More Information...
• Paper: Arka Ghosh Piotr Hofman Slawomir Lasota
  Orbit-finite linear programming (LICS 2023) More Information...
• Paper: Arka Ghosh Slawomir Lasota
  Equivariant ideals of polynomials (LICS 2024) More Information...

Alexis Ghyselen

• Paper: Martin Avanzini Ugo Dal Lago Alexis Ghyselen
  Type-Based Complexity Analysis of Probabilistic Functional Programs (LICS 2019) More Information...

Roberto Giacobazzi

• Paper: Filippo Bonchi Pierre Ganty Roberto Giacobazzi Dusko Pavlovic
  Sound up-to techniques and Complete abstract domains (LICS 2018) More Information...
• Paper: Roberto Bruni Roberto Giacobazzi Roberta Gori Francesco Ranzato
  A Logic for Locally Complete Abstract Interpretations (LICS 2021) More Information...

Giuseppe De Giacomo

• Paper: Benjamin Aminof Giuseppe De Giacomo Sasha Rubin Florian Zuleger
  Stochastic Best-Effort Strategies for Borel Goals (LICS 2023) More Information...

Pietro Di Gianantonio

• Paper: Pietro Di Gianantonio Abbas Edalat
  A Cartesian Closed Category for Random Variables (LICS 2024) More Information...

Paola Giannini

• Paper: Paola Giannini Simona Ronchi della Rocca
  Characterization of typings in polymorphic type discipline (LICS 1988) More Information...

Hugo Gimbert

• Paper: Hugo Gimbert Wieslaw Zielonka
  Limits of Multi-Discounted Markov Decision Processes (LICS 2007) More Information...
• Paper: Nathalie Bertrand Blaise Genest Hugo Gimbert
  Qualitative Determinacy and Decidability of Stochastic Games with Signals (LICS 2009) More Information...
• Paper: Nathanaël Fijalkow Hugo Gimbert Youssouf Oualhadj
  Deciding the Value 1 Problem for Probabilistic Leaktight Automata (LICS 2012) More Information...

Alessandro Di Giorgio

• Paper: Filippo Bonchi Alessandro Di Giorgio Nathan Haydon Pawel Sobocinski
  Diagrammatic Algebra of First Order Logic (LICS 2024) More Information...

Jean-Yves Girard

• Invited Paper: Jean-Yves Girard
  Quantitative and Qualitative Semantics (LICS 1986) More Information...
• Paper: Peter J. Freyd Jean-Yves Girard Andre Scedrov Philip J. Scott
  Semantic parametricity in polymorphic lambda calculus (LICS 1988) More Information...

Marianna Girlando

• Paper: Marianna Girlando Roman Kuznets Sonia Marin Marianela Morales Lutz Straßburger
  Intuitionistic S4 is decidable (LICS 2023) More Information...

Jay L. Gischer

• Paper: Jay L. Gischer
  A small universal model for system executions (LICS 1989) More Information...

Robert Givan

• Paper: David A. McAllester Robert Givan Carl Witty Dexter C. Kozen
  Tarskian Set Constraints (LICS 1996) More Information...

Fabien Givors

• Short Presentation: Fabien Givors Gregory Lafitte
  Holes Punched Computabilities (LICS 2011) More Information...

Rob J. van Glabbeek

• Paper: Wan Fokkink Rob J. van Glabbeek
  Divide and Congruence II: Delay and Weak Bisimilarity (LICS 2016) More Information...
• Paper: Rob J. van Glabbeek
  Lean and full congruence formats for recursion (LICS 2017) More Information...

Rob van Glabbeek

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

Tamara von Glehn

• Paper: Sean K. Moss Tamara von Glehn
  Dialectica models of type theory (LICS 2018) More Information...

Neal Glew

• Paper: Limin Jia Frances Spalding David Walker Neal Glew
  Certifying Compilation for a Language with Stack Allocation (LICS 2005) More Information...

Grzegorz Gluch

• Paper: Grzegorz Gluch Jerzy Marcinkowski Piotr Ostropolski-Nalewaja
  Can One Escape Red Chains?: Regular Path Queries Determinacy is Undecidable (LICS 2018) More Information...

Patrice Godefroid

• Paper: Patrice Godefroid Pierre Wolper
  A partial approach to model checking (LICS 1991) More Information...
• Paper: Patrice Godefroid David E. Long
  Symbolic Protocol Verification with Queue BDDs (LICS 1996) More Information...
• Paper: Glenn Bruns Patrice Godefroid
  Temporal Logic Query Checking (LICS 2001) More Information...
• Paper: Luca de Alfaro Patrice Godefroid Radha Jagadeesan
  Three-Valued Abstractions of Games: Uncertainty, but with Precision (LICS 2004) More Information...
• Paper: Patrice Godefroid Michael Huth
  Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics (LICS 2005) More Information...

Guillem Godoy

• Paper: Miquel Bofill Guillem Godoy Robert Nieuwenhuis Albert Rubio
  Paramodulation with Non-Monotonic Orderings (LICS 1999) More Information...
• Paper: Guillem Godoy Robert Nieuwenhuis
  Paramodulation with Built-In Abelian Groups (LICS 2000) More Information...
• Paper: Guillem Godoy Robert Nieuwenhuis
  On Ordering Constraints for Deduction with Built-In Abelian Semigroups, Monoids and Groups (LICS 2001) More Information...
• Paper: Adria Gascón Guillem Godoy Manfred Schmidt-Schauß
  Context Matching for Compressed Terms (LICS 2008) More Information...
• Paper: Carles Creus Guillem Godoy Francesc Massanés Ashish Tiwari
  Non-linear Rewrite Closure and Weak Normalization (LICS 2009) More Information...
• Paper: Luis Barguñó Carles Creus Guillem Godoy Florent Jacquemard Camille Vacher
  The Emptiness Problem for Tree Automata with Global Constraints (LICS 2010) More Information...
• Paper: Carles Creus Adria Gascón Guillem Godoy Lander Ramos
  The HOM Problem is EXPTIME-Complete (LICS 2012) More Information...

Jens C. Godskesen

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

Andreas Goerdt

• Paper: Andreas Goerdt
  Hoare Logic for Lambda-Terms as Basis of Hoare Logic for Imperative Languages (LICS 1987) More Information...
• Paper: Andreas Goerdt
  Characterizing complexity classes by higher type primitive recursive definitions (LICS 1989) More Information...

Tomasz Gogacz

• Paper: Tomasz Gogacz Jerzy Marcinkowski
  Converging to the Chase - A Tool for Finite Controllability (LICS 2013) More Information...
• Paper: Tomasz Gogacz Jerzy Marcinkowski
  The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable (LICS 2015) More Information...

Stefano Gogioso

• Paper: Nicola Pinzani Stefano Gogioso Bob Coecke
  Categorical Semantics for Time Travel (LICS 2019) More Information...

Joseph A. Goguen

• Paper: Joseph A. Goguen José Meseguer
  Order-Sorted Algebra solves the Constructor-Selector, Multiple (LICS 1987) More Information...

Kenneth J. Goldman

• Paper: Kenneth J. Goldman Nancy A. Lynch
  Modelling shared state in a shared action model (LICS 1990) More Information...

Petr A. Golovach

• Paper: Fedor V. Fomin Petr A. Golovach Dimitrios M. Thilikos
  Parameterized Complexity of Elimination Distance to First-Order Logic Properties (LICS 2021) More Information...

Walid Gomaa

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

Timothy Gomez

• Paper: Max Bannach Erik D. Demaine Timothy Gomez Markus Hecher
  #P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought? (LICS 2025) More Information...

Sergey Goncharov

• Paper: Sergey Goncharov Lutz Schröder
  Powermonads and Tensors of Unranked Effects (LICS 2011) More Information...
• Paper: Sergey Goncharov Lutz Schröder
  A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (LICS 2013) More Information...
• Paper: Henning Urbat Stelios Tsampas Sergey Goncharov Stefan Milius Lutz Schröder
  Weak Similarity in Higher-Order Mathematical Operational Semantics (LICS 2023) More Information...
• Paper: Sergey Goncharov Stefan Milius Stelios Tsampas Henning Urbat
  Bialgebraic Reasoning on Higher-order Program Equivalence (LICS 2024) More Information...
• Paper: Nathan J. Bowler Sergey Goncharov Paul Blain Levy
  Probabilistic Strategies: Definability and the Tensor Completeness Problem (LICS 2025) More Information...
• Paper: Sergey Goncharov Dirk Hofmann Pedro Nora Lutz Schröder Paul Wild
  Relators and Notions of Simulation Revisited (LICS 2025) More Information...

Georges Gonthier

• Paper: Georges Gonthier Jean-Jacques Lévy Paul-André Melliès
  An abstract standardisation theorem (LICS 1992) More Information...
• Paper: Georges Gonthier Martín Abadi Jean-Jacques Lévy
  Linear logic without boxes (LICS 1992) More Information...
• Paper: Martín Abadi Cédric Fournet Georges Gonthier
  Secure Implementation of Channel Abstractions (LICS 1998) More Information...

Sam van Gool

• Paper: Silvio Ghilardi Sam van Gool
  Monadic second order logic as the model companion of temporal logic (LICS 2016) More Information...
• Paper: Quentin Aristote Sam van Gool Daniela Petrisan Mahsa Shirmohammadi
  Learning Weighted Automata over Number Rings, Concretely and Categorically (LICS 2025) More Information...

Valentin Goranko

• Short Presentation: Valentin Goranko
  Infinite State Model Checking in Modal Logic (LICS 2005) More Information...

Michael J. C. Gordon

• 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...
• Invited Paper: Michael J. C. Gordon
  The Semantic Challenge of Verilog HDL (LICS 1995) More Information...

Andrew D. Gordon

• Invited Paper: Andrew D. Gordon
  Provable Implementations of Security Protocols (LICS 2006) More Information...

Roberta Gori

• Paper: Roberto Bruni Roberto Giacobazzi Roberta Gori Francesco Ranzato
  A Logic for Locally Complete Abstract Interpretations (LICS 2021) More Information...

Evan Goris

• Paper: Evan Goris
  Looping Caterpillars (LICS 2005) More Information...

Nikos Gorogiannis

• Paper: James Brotherston Carsten Fuhs Juan A. Navarro Pérez Nikos Gorogiannis
  A decision procedure for satisfiability in separation logic with inductive predicates (LICS 2014) More Information...

Georg Gottlob

• Paper: Georg Gottlob
  Relativized Logspace and Generalized Quantifiers Over Finite Structures (LICS 1995) More Information...
• Paper: Thomas Eiter Georg Gottlob Yuri Gurevich
  Existential Second-Order Logic over Strings (LICS 1998) More Information...
• Paper: Georg Gottlob Reinhard Pichler
  Working with Arms: Complexity Results on Atomic Representations of Herbrand Models (LICS 1999) More Information...
• Invited Paper: Georg Gottlob Christoph Koch
  Monadic Queries over Tree-Structured Data (LICS 2002) More Information...
• Paper: Vince Bárány Georg Gottlob Martin Otto
  Querying the Guarded Fragment (LICS 2010) More Information...
• Invited Paper: Andrea Calì Georg Gottlob Thomas Lukasiewicz Bruno Marnette Andreas Pieris
  Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications (LICS 2010) More Information...
• Paper: Georg Gottlob Enrico Malizia
  Achieving new upper bounds for the hypergraph duality problem through logic (LICS 2014) More Information...

Éric Goubault

• Paper: Éric Goubault Roman Kniazev Jérémy Ledent Sergio Rajsbaum
  Semi-Simplicial Set Models for Distributed Knowledge (LICS 2023) More Information...

Jean Goubault-Larrecq

• Paper: Jean Goubault-Larrecq
  Rigid E-unifiability is DEXPTIME-complete (LICS 1994) More Information...
• Paper: Jean Goubault-Larrecq
  Ramified Higher-Order Unification (LICS 1997) More Information...
• Paper: Jean Goubault-Larrecq
  On Noetherian Spaces (LICS 2007) More Information...
• Paper: Jean Goubault-Larrecq
  Omega-QRB-Domains and the Probabilistic Powerdomain (LICS 2010) More Information...
• Paper: Jean Goubault-Larrecq Daniele Varacca
  Continuous Random Variables (LICS 2011) More Information...
• Paper: Jean Goubault-Larrecq
  A Probabilistic and Non-Deterministic Call-by-Push-Value Language (LICS 2019) More Information...

Quentin Gougeon

• Paper: David Fernández-Duque Quentin Gougeon
  Fixed Point Logics on Hemimetric Spaces (LICS 2023) More Information...

R. Govind

• 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...
• Paper: Luc Dartois Paul Gastin R. Govind Shankara Narayanan Krishna
  Efficient Construction of Reversible Transducers from Regular Transducer Expressions (LICS 2022) More Information...

Alexandre Goy

• Paper: Alexandre Goy Daniela Petrisan
  Combining probabilistic and non-deterministic choice via weak distributive laws (LICS 2020) More Information...

Clemens Grabmayer

• 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 Clemens Grabmayer Dimitri Hendriks
  Regularity Preserving but Not Reflecting Encodings (LICS 2015) More Information...
• Paper: Clemens Grabmayer Wan J. Fokkink
  A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity (LICS 2020) More Information...

Clemens Armin Grabmayer

• Paper: Clemens Armin Grabmayer
  Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete: Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions (LICS 2022) More Information...

Michal Grabowski

• Paper: Michal Grabowski Hardi Hungar
  On the existence of effective Hoare logics (LICS 1988) More Information...

Etienne Grandjean

• Paper: Etienne Grandjean Théo Grente
  Descriptive complexity for minimal time of cellular automata (LICS 2019) More Information...

Julien Grange

• Paper: Julien Grange
  Successor-Invariant First-Order Logic on Classes of Bounded Degree (LICS 2020) More Information...

Hans Bugge Grathwohl

• Paper: Patrick Bahr Hans Bugge Grathwohl Rasmus E. Møgelberg
  The clocks are ticking: No more delays! (LICS 2017) More Information...

Niels Bjørn Bugge Grathwohl

• Paper: Niels Bjørn Bugge Grathwohl Dexter Kozen Konstantinos Mamouras
  KAT + B! (LICS 2014) More Information...

Jonathan Grattage

• Paper: Thorsten Altenkirch Jonathan Grattage
  A Functional Quantum Programming Language (LICS 2005) More Information...

Daniel Gratzer

• Paper: Daniel Gratzer G. A. Kavvos Andreas Nuyts Lars Birkedal
  Multimodal Dependent Type Theory (LICS 2020) More Information...
• Paper: Daniel Gratzer
  Normalization for Multimodal Type Theory (LICS 2022) More Information...
• Paper: Daniel Gratzer Jonathan Weinberger Ulrik Buchholtz
  The Yoneda embedding in simplicial type theory (LICS 2025) More Information...

Charles Grellois

• Paper: Naoki Kobayashi Ugo Dal Lago Charles Grellois
  On the Termination Problem for Probabilistic Higher-Order Recursive Programs (LICS 2019) More Information...

Théo Grente

• Paper: Etienne Grandjean Théo Grente
  Descriptive complexity for minimal time of cellular automata (LICS 2019) More Information...

Timothy G. Griffin

• Paper: Timothy G. Griffin
  Notational definition-a formal account (LICS 1988) More Information...

Serge Grigorieff

• Paper: Serge Grigorieff Pierre Valarcher
  Functionals Using Bounded Information and the Dynamics of Algorithms (LICS 2012) More Information...

Marta Grobelna

• Paper: Marta Grobelna Jan Kretínský Maximilian Weininger
  Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games (LICS 2025) More Information...

Martin Grohe

• Paper: Martin Grohe
  Large finite structures with few L^k-types (LICS 1997) More Information...
• Paper: Martin Grohe
  Fixed-Point Logics on Planar Graphs (LICS 1998) More Information...
• Paper: Martin Grohe Luc Segoufin
  On First-Order Topological Queries (LICS 2000) More Information...
• Paper: Markus Frick Martin Grohe
  The complexity of first-order and monadic second-order logic revisited (LICS 2002) More Information...
• Paper: Markus Frick Martin Grohe Christoph Koch
  Query Evaluation on Compressed Trees (Extended Abstract) (LICS 2003) More Information...
• Short Presentation: Martin Grohe Christoph Koch
  Arb: An Implementation of Selecting Tree Automata for XML Query Processing (LICS 2003) More Information...
• Paper: Jörg Flum Martin Grohe
  Model-Checking Problems as a Basis for Parameterized Intractability (LICS 2004) More Information...
• Paper: Martin Grohe Nicole Schweikardt
  The Succinctness of First-Order Logic on Linear Orders (LICS 2004) More Information...
• Paper: Anuj Dawar Martin Grohe Stephan Kreutzer Nicole Schweikardt
  Approximation Schemes for First-Order Definable Optimization Problems (LICS 2006) More Information...
• Paper: Anuj Dawar Martin Grohe Stephan Kreutzer
  Locally Excluding a Minor (LICS 2007) More Information...
• Invited Paper: Martin Grohe
  The Quest for a Logic Capturing PTIME (LICS 2008) More Information...
• Paper: Martin Grohe
  Definable Tree Decompositions (LICS 2008) More Information...
• Paper: Anuj Dawar Martin Grohe Bjarki Holm Bastian Laubner
  Logics with Rank Operators (LICS 2009) More Information...
• Paper: Martin Grohe
  Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors (LICS 2010) More Information...
• Paper: Michael Elberfeld Martin Grohe Till Tantau
  Where First-Order and Monadic Second-Order Logic Coincide (LICS 2012) More Information...
• Paper: Michael Elberfeld Marlin Frickenschmidt Martin Grohe
  Order Invariance on Decomposable Structures (LICS 2016) More Information...
• Paper: Martin Grohe Martin Ritzert
  Learning first-order definable concepts over structures of small degree (LICS 2017) More Information...
• Paper: Martin Grohe Wied Pakusa
  Descriptive complexity of linear equation systems and applications to propositional proof complexity (LICS 2017) More Information...
• Paper: Mikolaj Bojanczyk Martin Grohe Michal Pilipczuk
  Definable decompositions for graphs of bounded linear cliquewidth (LICS 2018) More Information...
• Paper: Martin Grohe Daniel Neuen
  Canonisation and Definability for Graphs of Bounded Rank Width (LICS 2019) More Information...
• Paper: Martin Grohe
  Counting Bounded Tree Depth Homomorphisms (LICS 2020) More Information...
• Invited Paper: Martin Grohe
  The Logic of Graph Neural Networks (LICS 2021) More Information...
• Paper: Martin Grohe
  The Descriptive Complexity of Graph Neural Networks (LICS 2023) More Information...
• Paper: Martin Grohe Moritz Lichter Daniel Neuen
  The Iteration Number of the Weisfeiler-Leman Algorithm (LICS 2023) More Information...
• Paper: Steffen van Bergerem Martin Grohe Sandra Kiefer Luca Oeljeklaus
  Simulating Logspace-Recursion with Logarithmic Quantifier Depth (LICS 2023) More Information...
• Paper: Martin Grohe Eran Rosenbluth
  Are Targeted Messages More Effective? 40:1-40:14 Emmanuel Hainry, Bruce M (LICS 2024) More Information...

Jim de Groot

• Paper: Jim de Groot Dirk Pattinson
  Modal Intuitionistic Logics as Dialgebraic Logics (LICS 2020) More Information...
• Paper: Jim de Groot Tadeusz Litak Dirk Pattinson
  Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication (LICS 2021) More Information...
• Paper: Jim de Groot Ian Shillito Ranald Clouston
  Semantical Analysis of Intuitionistic Modal Logics between CK and IK (LICS 2025) More Information...

Jan F. Groote

• Paper: Mohammad R. Mousavi Michel A. Reniers Jan F. Groote
  Congruence for SOS with Data (LICS 2004) More Information...

Jessie Grosen

• Paper: Jessie Grosen David M. Kahn Jan Hoffmann
  Automatic Amortized Resource Analysis with Regular Recursive Types (LICS 2023) More Information...

Adam J. Grove

• Paper: Adam J. Grove Joseph Y. Halpern Daphne Koller
  Random worlds and maximum entropy (LICS 1992) More Information...

Stéphane Grumbach

• Paper: Guy Fayolle Stéphane Grumbach Chritophe Tollu
  Asymptotic probabilities of languages with generalized quantifiers (LICS 1993) More Information...

Orna Grumberg

• Paper: Girish Bhat Rance Cleaveland Orna Grumberg
  Efficient On-the-Fly Model Checking for CTL (LICS 1995) More Information...
• Paper: Sharon Shoham Orna Grumberg
  3-Valued Abstraction: More Precision at Less Cost (LICS 2006) More Information...

Ariel Grunfeld

• Paper: Liron Cohen Ariel Grunfeld Dominik Kirst Étienne Miquey
  Syntactic Effectful Realizability in Higher-Order Logic (LICS 2025) More Information...

Berit Grußien

• Paper: Berit Grußien
  Capturing polynomial time using Modular Decomposition (LICS 2017) More Information...

Erich Grädel

• Paper: Erich Grädel Gregory L. McColm
  Deterministic vs. nondeterministic transitive closure logic (LICS 1992) More Information...
• Paper: Anuj Dawar Erich Grädel
  Generalized Quantifiers and 0-1 Laws (LICS 1995) More Information...
• Paper: Erich Grädel Martin Otto Eric Rosen
  Two-variable logic with counting is decidable (LICS 1997) More Information...
• Paper: Erich Grädel Eric Rosen
  Two-Variable Descriptions of Regularity (LICS 1999) More Information...
• Paper: Erich Grädel Igor Walukiewicz
  Guarded Fixed Point Logic (LICS 1999) More Information...
• Paper: Achim Blumensath Erich Grädel
  Automatic Structures (LICS 2000) More Information...
• Paper: Erich Grädel Colin Hirsch Martin Otto
  Back and Forth between Guarded and Modal Logics (LICS 2000) More Information...
• Invited Paper: Erich Grädel Stephan Kreutzer
  Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions (LICS 2003) More Information...
• Paper: Felix Canavoi Erich Grädel Simon Leßenich Wied Pakusa
  Defining Winning Strategies in Fixed-Point Logic (LICS 2015) More Information...
• Paper: Erich Grädel Wied Pakusa Svenja Schalthofer Lukasz Kaiser
  Characterising Choiceless Polynomial Time with First-Order Interpretations (LICS 2015) More Information...
• Paper: Faried Abu Zaid Anuj Dawar Erich Grädel Wied Pakusa
  Definability of summation problems for Abelian groups and semigroups (LICS 2017) More Information...
• Invited Paper: Erich Grädel
  Automatic Structures: Twenty Years Later (LICS 2020) More Information...
• 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...

Benjamin Grégoire

• Paper: Gilles Barthe Marco Gaboardi Benjamin Grégoire Justin Hsu Pierre-Yves Strub
  Proving Differential Privacy via Probabilistic Couplings (LICS 2016) More Information...

Marcus Größer

• Paper: Christel Baier Marcus Größer
  Recognizing omega-regular Languages with Probabilistic Automata (LICS 2005) More Information...
• Paper: Christel Baier Nathalie Bertrand Patricia Bouyer Thomas Brihaye Marcus Größer
  Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata (LICS 2008) More Information...

Adrien Guatto

• Paper: Adrien Guatto
  A Generalized Modality for Recursion (LICS 2018) More Information...

Dirk Van Gucht

• Short Presentation: Bassem Sayrafi Dirk Van Gucht Marc Gyssens
  Measures and Measure-Based Constraints (LICS 2005) More Information...
• Paper: Dimitri Surinx Jan Van den Bussche Dirk Van Gucht
  The primitivity of operators in the algebra of binary relations under conjunctions of containments (LICS 2017) More Information...
• Paper: Jelle Hellings Marc Gyssens Jan Van den Bussche Dirk Van Gucht
  Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees (LICS 2023) More Information...

Nicolas Guenot

• Paper: Kaustuv Chaudhuri Nicolas Guenot
  Equality and fixpoints in the calculus of structures (LICS 2014) More Information...
• Paper: Nicolas Guenot Lutz Straßburger
  Symmetric normalisation for intuitionistic logic (LICS 2014) More Information...

Giulio Guerrieri

• Paper: Victor Arrial Giulio Guerrieri Delia Kesner
  Genericity Through Stratification (LICS 2024) More Information...

Stefano Guerrini

• Paper: Stefano Guerrini
  Correctness of Multiplicative Proof Nets is Linear (LICS 1999) More Information...

Alessio Guglielmi

• Paper: Alessio Guglielmi Tom Gundersen Lutz Straßburger
  Breaking Paths in Atomic Flows for Classical Logic (LICS 2010) More Information...
• Paper: Victoria Barrett Alessio Guglielmi Benjamin Ralph Lutz Straßburger
  Proof Compression via Subatomic Logic and Guarded Substitutions (LICS 2025) More Information...

Shibashis Guha

• Paper: Raphaël Berthon Shibashis Guha Jean-François Raskin
  Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes (LICS 2020) More Information...

Bruno Guillaume

• Paper: Philippe de Groote Bruno Guillaume Sylvain Salvati
  Vector Addition Tree Automata (LICS 2004) More Information...

Mauricio Guillermo

• Paper: Alejandro Díaz-Caro Mauricio Guillermo Alexandre Miquel Benoît Valiron
  Realizability in the Unitary Sphere (LICS 2019) More Information...

Bruno Guillon

• Paper: Rutger Campbell Bruno Guillon Mamadou Moustapha Kanté Eun Jung Kim Sang-il Oum
  Recognisability Equals Definability for Finitely Representable Matroids of Bounded Path-Width (LICS 2025) More Information...

Tom Gundersen

• Paper: Alessio Guglielmi Tom Gundersen Lutz Straßburger
  Breaking Paths in Atomic Flows for Classical Logic (LICS 2010) More Information...
• Paper: Tom Gundersen Willem Heijltjes Michel Parigot
  Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing (LICS 2013) More Information...

Carl A. Gunter

• Paper: Carl A. Gunter
  The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains (LICS 1986) More Information...
• Paper: Carl A. Gunter Achim Jung
  Coherence and consistency in domains (LICS 1988) More Information...
• Paper: Val Breazu-Tannen Thierry Coquand Carl A. Gunter Andre Scedrov
  Inheritance and explicit coercion (LICS 1989) More Information...
• Paper: Vijay Gehlot Carl A. Gunter
  Normal process representatives (LICS 1990) More Information...

Elsa L. Gunter

• Paper: Andrei Popescu Elsa L. Gunter Christopher J. Osborn
  Strong Normalization of System F by HOAS on Top of FOAS (LICS 2010) More Information...

Vineet Gupta

• Paper: Vijay A. Saraswat Radha Jagadeesan Vineet Gupta
  Foundations of timed concurrent constraint programming (LICS 1994) More Information...
• Paper: Josée Desharnais Prakash Panangaden Radha Jagadeesan Vineet Gupta
  Approximating Labeled Markov Processes (LICS 2000) More Information...
• Paper: Josée Desharnais Vineet Gupta Radha Jagadeesan Prakash Panangaden
  The Metric Analogue of Weak Bisimulation for Probabilistic Processes (LICS 2002) More Information...

Aarti Gupta

• Paper: Vineet Kahlon Aarti Gupta
  An Automata-theoretic Appraoch for Model Checking Threads for LTL Properties (LICS 2006) More Information...

Arvind Gupta

• Short Presentation: Murray Patterson Yongmei Liu Eugenia Ternovska Arvind Gupta
  Grounding for Model Expansion in k-Guarded Formulas (LICS 2006) More Information...

Yuri Gurevich

• Paper: Yuri Gurevich Neil Immerman Saharon Shelah
  McColm's conjecture [positive elementary inductions] (LICS 1994) More Information...
• Paper: Thomas Eiter Georg Gottlob Yuri Gurevich
  Existential Second-Order Logic over Strings (LICS 1998) More Information...
• Invited Paper: Yuri Gurevich
  A Logician in the Land of OS: Abstract State Machines in Microsoft (LICS 2001) More Information...
• Paper: Yuri Gurevich Saharon Shelah
  Spectra of Monadic Second-Order Formulas with One Unary Function (LICS 2003) More Information...

Arie Gurfinkel

• Short Presentation: Shiva Nejati Arie Gurfinkel
  Stuttering Refinement on Partial Systems (LICS 2003) More Information...

Doug Gurr

• Paper: Carolyn Brown Doug Gurr
  A categorical linear framework for Petri nets (LICS 1990) More Information...

Rune Gustavsson

• Paper: Lennart Beckman Rune Gustavsson Annika Wærn
  An Algebraic Model of Parallel Execution of Logic Programs (LICS 1986) More Information...

Julian Gutierrez

• Paper: Pierre Clairambault Julian Gutierrez Glynn Winskel
  The Winning Ways of Concurrent Games (LICS 2012) More Information...
• Paper: Julian Gutierrez Michael Wooldridge
  Equilibria of concurrent games on event structures (LICS 2014) More Information...

Jens Oliver Gutsfeld

• Paper: Jens Oliver Gutsfeld Arne Meier Christoph Ohrem Jonni Virtema
  Temporal Team Semantics Revisited (LICS 2022) More Information...

Roland Guttenberg

• Paper: Roland Guttenberg Wojciech Czerwinski Slawomir Lasota
  Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests (LICS 2025) More Information...

Juan C. Guzmán

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

Florent Guépin

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

Marc Gyssens

• Short Presentation: Bassem Sayrafi Dirk Van Gucht Marc Gyssens
  Measures and Measure-Based Constraints (LICS 2005) More Information...
• Paper: Jelle Hellings Marc Gyssens Jan Van den Bussche Dirk Van Gucht
  Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees (LICS 2023) More Information...

Rüdiger Göbel

• Paper: Manfred Droste Rüdiger Göbel
  Universal domains in the theory of denotational semantics of programming languages (LICS 1990) More Information...

Stefan Göller

• Paper: Stefan Göller Richard Mayr Anthony Widjaja To
  On the Computational Complexity of Verifying One-Counter Processes (LICS 2009) More Information...
• Short Presentation: Stanislav Böhm Stefan Göller Petr Jančar
  Bisimilarity of one-counter processes is PSPACE-complete (LICS 2010) More Information...
• Paper: Stefan Göller Anthony Widjaja Lin
  The Complexity of Verifying Ground Tree Rewrite Systems (LICS 2011) More Information...
• Paper: Stefan Göller Jean Christoph Jung Markus Lohrey
  The Complexity of Decomposing Modal and First-Order Theories (LICS 2012) More Information...
• Paper: Michael Benedikt Stefan Göller Stefan Kiefer Andrzej S. Murawski
  Bisimilarity of Pushdown Automata is Nonelementary (LICS 2013) 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: Thomas Colcombet Stefan Göller
  Games with bound guess actions (LICS 2016) More Information...
• Paper: Stefan Göller Pawel Parys
  Bisimulation Finiteness of Pushdown Systems Is Elementary (LICS 2020) More Information...

Tobias G�rtner

• Short Presentation: Manuel Bodirsky Tobias G�rtner Timo von Oertzen Jan Schwinghammer
  Computing the Density of Regular Languages (LICS 2001) More Information...