IEEE Symposium on Logic in Computer Science

A B C D E F G H I J K L M N O P QR S T U V W X Y Z

Authors on this page:

• Murdoch Gabbay
• Maurizio Gabbrielli
• Marco Gaboardi
• Andrew Gacek
• Fabio Gadducci
• Haim Gaifman
• Nikolaos Galatos
• Jean H. Gallier
• Didier Galmiche
• Harald Ganzinger
• Xiao-Shan Gao
• Tobias Gärtner
• Adria Gascón
• Simon J. Gay
• Vijay Gehlot
• Mai Gehrke
• Michael Genesereth
• Blaise Genest
• Steven M. German
• Rob Gerth
• Herman Geuvers
• Giorgio Ghelli
• Dan R. Ghica
• Paola Giannini
• Hugo Gimbert
• Jean-Yves Girard
• Jay L. Gischer
• Robert Givan
• Fabien Givors
• Neal Glew
• Rüdiger Göbel
• Patrice Godefroid
• Guillem Godoy
• Jens C. Godskesen
• Stefan Göller
• Andreas Goerdt
• Joseph A. Goguen
• Kenneth J. Goldman
• Stefan Göller
• Sergey Goncharov
• Georges Gonthier
• Valentin Goranko
• Michael J. C. Gordon
• Andrew D. Gordon
• Evan Goris
• Georg Gottlob
• Jean Goubault-Larrecq
• Michal Grabowski
• Erich Grädel
• Jonathan Grattage
• Timothy G. Griffin
• Martin Grohe
• Jan F. Groote
• Marcus Größer
• Adam J. Grove
• Stéphane Grumbach
• Orna Grumberg
• Stefano Guerrini
• Alessio Guglielmi
• Bruno Guillaume
• Tom Gundersen
• Carl A. Gunter
• Elsa L. Gunter
• Vineet Gupta
• Aarti Gupta
• Arvind Gupta
• Yuri Gurevich
• Arie Gurfinkel
• Doug Gurr
• Rune Gustavsson
• Juan C. Guzmán
• 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...

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

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

Nikolaos Galatos

• Paper: Agata Ciabattoni Nikolaos Galatos Kazushige Terui
  From Axioms to Analytic Rules in Nonclassical Logics (LICS 2008) 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...

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

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

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

Simon J. Gay

• Paper: Simon J. Gay Rajagopal Nagarajan
  A Typed Calculus of Synchronous Processes (LICS 1995) 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...

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

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

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

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

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

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

Neal Glew

• Paper: Limin Jia Frances Spalding David Walker Neal Glew
  Certifying Compilation for a Language with Stack Allocation (LICS 2005) 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...

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

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

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 Nacny 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 Jancar
  Bisimilarity of one-counter processes is PSPACE-complete (LICS 2010) More Information...

Sergey Goncharov

• Paper: Sergey Goncharov Lutz Schröder
  Powermonads and Tensors of Unranked Effects (LICS 2011) 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...

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

Evan Goris

• Paper: Evan Goris
  Looping Caterpillars (LICS 2005) 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...

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

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

Jonathan Grattage

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

Timothy G. Griffin

• Paper: Timothy G. Griffin
  Notational definition-a formal account (LICS 1988) 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...

Jan F. Groote

• Paper: Mohammad R. Mousavi Michel A. Reniers Jan F. Groote
  Congruence for SOS with Data (LICS 2004) 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...

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

Bruno Guillaume

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

Tom Gundersen

• Paper: Alessio Guglielmi Tom Gundersen Lutz Straßburger
  Breaking Paths in Atomic Flows for Classical Logic (LICS 2010) 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...

Juan C. Guzmán

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

Marc Gyssens

• Short Presentation: Bassem Sayrafi Dirk Van Gucht Marc Gyssens
  Measures and Measure-Based Constraints (LICS 2005) More Information...