IEEE Symposium on Logic in Computer Science
LICS Home
-
LICS Awards
-
LICS Newsletters
-
LICS Archive
-
LICS Organization
-
Logic-Related Conferences
-
Links
Index by Authors:
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
Papers and Short Presentations by Authors: G
LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners
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
Xiao-Shan Gao
Philippa Gardner
Deepak Garg
Ilias Garnier
Tobias Gärtner
Adria Gascón
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
Rüdiger Göbel
Patrice Godefroid
Guillem Godoy
Jens C. Godskesen
Stefan Göller
Andreas Goerdt
Tomasz Gogacz
Stefano Gogioso
Joseph A. Goguen
Kenneth J. Goldman
Stefan Göller
Petr A. Golovach
Walid Gomaa
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
Erich Grädel
Erich Grädel
Etienne Grandjean
Julien Grange
Hans Bugge Grathwohl
Niels Bjørn Bugge Grathwohl
Jonathan Grattage
Daniel Gratzer
Benjamin Grégoire
Charles Grellois
Théo Grente
Timothy G. Griffin
Serge Grigorieff
Martin Grohe
Jim de Groot
Jan F. Groote
Jessie Grosen
Marcus Größer
Adam J. Grove
Stéphane Grumbach
Orna Grumberg
Berit Grußien
Erich Grädel
Adrien Guatto
Dirk Van Gucht
Nicolas Guenot
Giulio Guerrieri
Stefano Guerrini
Alessio Guglielmi
Shibashis Guha
Bruno Guillaume
Mauricio Guillermo
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
Juan C. Guzmán
Florent Guépin
Marc Gyssens
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:
Logics of Programs 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 Torunczyk
Treelike Decompositions for Transductions of Sparse Graphs
(
LICS 2022
)
More Information...
Paper:
Jakub Gajarský
Michal Pilipczuk
Szymon Torunczyk
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 Torunczyk
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth
(
LICS 2022
)
More Information...
Paper:
Jakub Gajarský
Michal Pilipczuk
Marek Sokolowski
Giannos Stamoulis
Szymon Torunczyk
Elementary first-order model checking for sparse graphs
(
LICS 2024
)
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...
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...
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...
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...
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...
Adria Gascón
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...
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:
functional PCSP dichotomy. 1-12 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...
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...
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...
Stefan Göller
Paper:
Stefan Göller
Anthony Widjaja Lin
The Complexity of Verifying Ground Tree Rewrite Systems
(
LICS 2011
)
More Information...
Paper:
Michael Benedikt
Stefan Göller
Stefan Kiefer
Andrzej S. Murawski
Bisimilarity of Pushdown Automata is Nonelementary
(
LICS 2013
)
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...
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...
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
Jean Christoph Jung
Markus Lohrey
The Complexity of Decomposing Modal and First-Order Theories
(
LICS 2012
)
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...
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...
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...
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...
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...
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...
Erich Grädel
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...
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...
Benjamin Grégoire
Paper:
Logics of Programs Gilles Barthe
Marco Gaboardi
Benjamin Grégoire
Justin Hsu
Pierre-Yves Strub
Proving Differential Privacy via Probabilistic Couplings
(
LICS 2016
)
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...
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...
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...
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...
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...
Berit Grußien
Paper:
Berit Grußien
Capturing polynomial time using Modular Decomposition
(
LICS 2017
)
More Information...
Erich Grädel
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:
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...
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...
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...
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...
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...
Last modified: 2024-10-24
9:41
Sam Staton