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:

• Franz Baader
• Matthias Baaz
• Leo Bachmair
• Jos C. M. Baeten
• Christel Baier
• Patrick Baillot
• Adam Bakewell
• Vincent Balat
• Michael Baldamus
• John T. Baldwin
• Thomas Ball
• Anindya Banerjee
• Vince Bárány
• Franco Barbanera
• Pablo Barceló
• Henk Barendregt
• Luis Barguñó
• Michael Barnett
• Bruno Barras
• Clark W. Barrett
• David A. Mix Barrington
• Adam Barth
• Libor Barto
• Massimo Bartoletti
• K. Jon Barwise
• Eli Barzilay
• Michele Basaldella
• David A. Basin
• Marianne Baudinet
• Lujo Bauer
• Augustin Baziramwabo
• Paul Beame
• Lennart Beckman
• Arnold Beckmann
• Emmanuel Beffara
• Shai Ben-David
• Rachel Ben-Eliyahu-Zohary
• Ofer Ben-Shachar
• Michael Benedikt
• Jesper Bengtson
• David B. Benson
• Nick Benton
• Véronique Benzaken
• Stefano Berardi
• Ulrich Berger
• Martin Berger
• Stefan Berghofer
• Clifford Bergman
• Karen L. Bernstein
• Gerard Berry
• Nathalie Bertrand
• Inge Bethke
• Girish Bhat
• Alessandro Bianco
• Nicole Bidoit
• Bodil Biering
• Lars Birkedal
• Henrik Björklund
• Patrick Blackburn
• Bruno Blanchet
• Frédéric Blanqui
• Andreas Blass
• Bard Bloom
• Achim Blumensath
• Richard Blute
• Manuel Bodirsky
• Miquel Bofill
• Corrado Böhm
• Stanislav Böhm
• Mikołaj Bojańczyk
• Udi Boker
• Filippo Bonchi
• Maria Luisa Bonet
• Iovka Boneva
• Marcello Bonsangue
• Michele Boreale
• Richard Bornat
• Soumitra Bose
• Ahmed Bouajjani
• Alexandre Boudet
• Adel Bouhoula
• Patricia Bouyer
• Paul Brauner
• Tomáš Brázdil
• Val Breazu-Tannen
• Davide Bresolin
• Thomas Brihaye
• Christopher H. Broadbent
• Antonio Brogi
• Stephen D. Brookes
• James Brotherston
• Carolyn Brown
• Michael C. Browne
• Václav Brozek
• Kim B. Bruce
• Roberto Bruni
• Glenn Bruns
• Randal E. Bryant
• Antonio Bucciarelli
• Andrei A. Bulatov
• Jerry R. Burch
• Guillaume Burel
• Joshua Buresh-Oppenheim
• Rod M. Burstall
• Samuel R. Buss

Franz Baader

• Paper: Franz Baader
  Combination of Compatible Reduction Orderings that are Total on Ground Terms (LICS 1997) More Information...

Matthias Baaz

• Paper: Matthias Baaz Christian G. Fermüller Alexander Leitsch
  A non-elementary speed-up in proof length by structural clause form transformation (LICS 1994) More Information...

Leo Bachmair

• Paper: Leo Bachmair Nachum Dershowitz Jieh Hsiang
  Orderings for Equational Proofs (LICS 1986) More Information...
• Paper: Leo Bachmair Nachum Dershowitz
  Inference Rules for Rewrite-Based First-Order Theorem Proving (LICS 1987) More Information...
• Paper: Leo Bachmair
  Proof by consistency in equational theories (LICS 1988) More Information...
• 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...

Jos C. M. Baeten

• Paper: Jos C. M. Baeten Flavio Corradini
  Regular Expressions in Process Algebra (LICS 2005) More Information...

Christel Baier

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

Patrick Baillot

• Paper: Patrick Baillot Vincent Danos Thomas Ehrhard Laurent Regnier
  Believe it or not, AJM's games model is a model of classical linear logic (LICS 1997) More Information...
• Paper: Patrick Baillot Kazushige Terui
  Light Types for Polynomial Time Computation in Lambda-Calculus (LICS 2004) More Information...
• Paper: Patrick Baillot Paolo Coppola Ugo Dal Lago
  Light Logics and Optimal Reduction: Completeness and Complexity (LICS 2007) More Information...

Adam Bakewell

• Paper: Dan R. Ghica Adam Bakewell
  Clipping: A Semantics-Directed Syntactic Approximation (LICS 2009) More Information...

Vincent Balat

• Paper: Marcelo P. Fiore Roberto Di Cosmo Vincent Balat
  Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types (LICS 2002) More Information...

Michael Baldamus

• Paper: Michael Baldamus Joachim Parrow Björn Victor
  Spi Calculus Translated to π--Calculus Preserving May-Tests (LICS 2004) More Information...

John T. Baldwin

• Paper: John T. Baldwin Michael Benedikt
  Embedded Finite Models, Stability Theory and the Impact of Order (LICS 1998) More Information...

Thomas Ball

• Paper: Thomas Ball Orna Kupferman
  An Abstraction-Refinement Framework for Multi-Agent Systems (LICS 2006) More Information...

Anindya Banerjee

• Paper: Anindya Banerjee Nevin Heintze Jon G. Riecke
  Region Analysis and the Polymorphic Lambda Calculus (LICS 1999) More Information...

Vince Bárány

• Paper: Vince Bárány Georg Gottlob Martin Otto
  Querying the Guarded Fragment (LICS 2010) More Information...

Franco Barbanera

• Paper: Fabio Alessi Franco Barbanera
  Toward a semantics for the QUEST language (LICS 1991) More Information...
• Paper: Franco Barbanera Maribel Fernández Herman Geuvers
  Modularity of strong normalization and confluence in the algebraic-λ-cube (LICS 1994) More Information...

Pablo Barceló

• Short Presentation: Marcelo Arenas Pablo Barceló Leonid Libkin
  Game-based Notions of Locality (LICS 2003) More Information...
• Paper: Pablo Barceló Leonid Libkin
  Temporal Logics over Unranked Trees (LICS 2005) More Information...
• Paper: Rajeev Alur Marcelo Arenas Pablo Barceló Kousha Etessami Neil Immerman Leonid Libkin
  First-Order and Temporal Logics for Nested Words (LICS 2007) More Information...

Henk Barendregt

• Invited Paper: Henk Barendregt
  Results and Problems Related to Proof Checking (LICS 1994) More Information...

Luis Barguñó

• Paper: Luis Barguñó Carles Creus Guillem Godoy Florent Jacquemard Camille Vacher
  The Emptiness Problem for Tree Automata with Global Constraints (LICS 2010) More Information...

Michael Barnett

• Paper: David A. Naumann Michael Barnett
  Towards Imperative Modules: Reasoning about Invariants and Sharing of Mutable State (LICS 2004) More Information...

Bruno Barras

• Paper: Bruno Barras Jean-Pierre Jouannaud Pierre-Yves Strub Qian Wang
  CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory (LICS 2011) More Information...

Clark W. Barrett

• Paper: Aaron Stump Clark W. Barrett David L. Dill Jeremy R. Levitt
  A Decision Procedure for an Extensional Theory of Arrays (LICS 2001) More Information...

David A. Mix Barrington

• Paper: David A. Mix Barrington Neil Immerman Clemens Lautemann Nicole Schweikardt Denis Thérien
  The Crane Beach Conjecture (LICS 2001) More Information...

Adam Barth

• Paper: Adam Barth John C. Mitchell
  Managing Digital Rights using Linear Logic (LICS 2006) More Information...

Libor Barto

• Paper: Libor Barto Marcin Kozik
  New Conditions for Taylor Varieties and CSP (LICS 2010) More Information...
• Paper: Libor Barto
  The Dichotomy for Conservative Constraint Satisfaction Problems Revisited (LICS 2011) More Information...

Massimo Bartoletti

• Paper: Massimo Bartoletti Roberto Zunino
  A Calculus of Contracting Processes (LICS 2010) More Information...

K. Jon Barwise

• Invited Paper: K. Jon Barwise Jerry Seligman
  Imperfect information flow (LICS 1993) More Information...

Eli Barzilay

• Short Presentation: Eli Barzilay Stuart F. Allen Robert L. Constable
  Practical Reflection in Nuprl (LICS 2003) More Information...

Michele Basaldella

• Paper: Michele Basaldella Claudia Faggian
  Ludics with Repetitions (Exponentials, Interactive Types and Completeness) (LICS 2009) More Information...
• Paper: Michele Basaldella Kazushige Terui
  Infinitary Completeness in Ludics (LICS 2010) More Information...

David A. Basin

• Paper: David A. Basin Harald Ganzinger
  Complexity Analysis Based on Ordered Resolution (LICS 1996) More Information...
• Invited Paper: Christoph Sprenger David A. Basin
  Cryptographically-Sound Protocol-Model Abstractions (LICS 2008) More Information...

Marianne Baudinet

• Paper: Marianne Baudinet
  Proving termination properties of Prolog programs: a semantic approach (LICS 1988) More Information...

Lujo Bauer

• Short Presentation: Lujo Bauer Michael A. Schneider Edward W. Felten
  A proof-Carrying Authorization System (LICS 2001) More Information...

Augustin Baziramwabo

• Paper: Augustin Baziramwabo Pierre McKenzie Denis Thérien
  Modular Temporal Logic (LICS 1999) More Information...

Paul Beame

• Paper: Paul Beame Toniann Pitassi
  An exponential separation between the matching principle and the pigeonhole principle (LICS 1993) More Information...

Lennart Beckman

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

Arnold Beckmann

• Paper: Klaus Aehlig Arnold Beckmann
  On the Computational Complexity of Cut-Reduction (LICS 2008) More Information...

Emmanuel Beffara

• Short Presentation: Emmanuel Beffara Sergei G. Vorobyov
  Is Randomized Gurvich-Karzanov-Khachiyan's Algorithm for Parity Games Polynomial? (LICS 2002) More Information...
• Paper: Emmanuel Beffara
  An Algebraic Process Calculus (LICS 2008) More Information...

Shai Ben-David

• Paper: Shai Ben-David Rachel Ben-Eliyahu-Zohary
  A modal logic for subjective default reasoning (LICS 1994) More Information...

Rachel Ben-Eliyahu-Zohary

• Paper: Shai Ben-David Rachel Ben-Eliyahu-Zohary
  A modal logic for subjective default reasoning (LICS 1994) More Information...

Ofer Ben-Shachar

• Paper: David B. Benson Ofer Ben-Shachar
  Strong Bisimulation of State Automata (LICS 1986) More Information...

Michael Benedikt

• Paper: Michael Benedikt Leonid Libkin
  On the Structure of Queries in Constraint Query Languages (LICS 1996) More Information...
• Paper: John T. Baldwin Michael Benedikt
  Embedded Finite Models, Stability Theory and the Impact of Order (LICS 1998) More Information...
• Paper: Michael Benedikt Leonid Libkin Thomas Schwentick Luc Segoufin
  A Model-Theoretic Approach to Regular String Relations (LICS 2001) More Information...
• Paper: Michael Benedikt Leonid Libkin
  Tree Extension Algebras: Logics, Automata, and Query Languages (LICS 2002) More Information...
• Invited Paper: Michael Benedikt
  An Insider's Guide to Logic in Telecommunications Data (LICS 2005) More Information...
• Paper: Michael Benedikt Gabriele Puppis Cristian Riveros
  Regular Repair of Specifications (LICS 2011) More Information...

Jesper Bengtson

• Paper: Jesper Bengtson Magnus Johansson Joachim Parrow Björn Victor
  Psi-calculi: Mobile Processes, Nominal Data, and Logic (LICS 2009) More Information...
• Paper: Magnus Johansson Jesper Bengtson Joachim Parrow Björn Victor
  Weak Equivalences in Psi-Calculi (LICS 2010) More Information...

David B. Benson

• Paper: David B. Benson Ofer Ben-Shachar
  Strong Bisimulation of State Automata (LICS 1986) More Information...

Nick Benton

• Paper: Nick Benton Philip Wadler
  Linear Logic, Monads and the Lambda Calculus (LICS 1996) More Information...
• Paper: Neelakantan R. Krishnaswami Nick Benton
  Ultrametric Semantics of Reactive Programs (LICS 2011) More Information...

Véronique Benzaken

• Paper: Alain Frisch Giuseppe Castagna Véronique Benzaken
  Semantic subtyping (LICS 2002) More Information...

Stefano Berardi

• Paper: Yohji Akama Stefano Berardi Susumu Hayashi Ulrich Kohlenbach
  An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles (LICS 2004) More Information...

Ulrich Berger

• Paper: Ulrich Berger Helmut Schwichtenberg
  An inverse of the evaluation functional for typed λ-calculus (LICS 1991) More Information...
• Paper: Ulrich Berger
  A Computational Interpretation of Open Induction (LICS 2004) More Information...

Martin Berger

• Paper: Kohei Honda Nobuko Yoshida Martin Berger
  Strong Normalisation in the π-Calculus (LICS 2001) More Information...
• Paper: Kohei Honda Nobuko Yoshida Martin Berger
  An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules (LICS 2005) More Information...

Stefan Berghofer

• Paper: Christian Urban James Cheney Stefan Berghofer
  Mechanizing the Metatheory of LF (LICS 2008) More Information...

Clifford Bergman

• Paper: Clifford Bergman Giora Slutzki
  Computational Complexity of Some Problems Involving Congruences on Algebras (LICS 2000) More Information...

Karen L. Bernstein

• Paper: Karen L. Bernstein
  A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages (LICS 1998) More Information...

Gerard Berry

• Invited Paper: Gerard Berry
  The Semantics of Synchronous Concurrent Languages (LICS 1994) More Information...

Nathalie Bertrand

• 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...
• Paper: Nathalie Bertrand Blaise Genest Hugo Gimbert
  Qualitative Determinacy and Decidability of Stochastic Games with Signals (LICS 2009) More Information...

Inge Bethke

• Paper: Inge Bethke Jan W. Klop Roel C. de Vrijer
  Completing Partial Combinatory Algebras with Unique Head-Normal Forms (LICS 1996) More Information...

Girish Bhat

• Paper: Girish Bhat Rance Cleaveland Orna Grumberg
  Efficient On-the-Fly Model Checking for CTL (LICS 1995) More Information...
• Paper: Girish Bhat Rance Cleaveland
  Efficient model checking via the equational mu-calculus (LICS 1996) More Information...

Alessandro Bianco

• Paper: Alessandro Bianco Fabio Mogavero Aniello Murano
  Graded Computation Tree Logic (LICS 2009) More Information...

Nicole Bidoit

• Paper: Nicole Bidoit Christine Froidevaux
  Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming (LICS 1987) More Information...

Bodil Biering

• Short Presentation: Bodil Biering Lars Birkedal Noah Torp-Smith
  Higher-Order Separation Logic (LICS 2005) More Information...

Lars Birkedal

• Paper: Lars Birkedal Aurelio Carboni Giuseppe Rosolini Dana S. Scott
  Type Theory via Exact Categories (LICS 1998) More Information...
• Paper: Lars Birkedal
  A General Notion of Realizability (LICS 2000) More Information...
• Paper: Lars Birkedal Noah Torp-Smith Hongseok Yang
  Semantics of Separation-Logic Typing and Higher-Order Frame Rules (LICS 2005) More Information...
• Short Presentation: Bodil Biering Lars Birkedal Noah Torp-Smith
  Higher-Order Separation Logic (LICS 2005) More Information...
• Paper: Derek Dreyer Amal J. Ahmed Lars Birkedal
  Logical Step-Indexed Logical Relations (LICS 2009) More Information...
• Paper: Lars Birkedal Rasmus Ejlers Møgelberg Jan Schwinghammer Kristian Støvring
  First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees (LICS 2011) More Information...

Henrik Björklund

• Short Presentation: Henrik Björklund Sergei G. Vorobyov
  Two Adversary Lower Bounds for Parity Games (LICS 2002) More Information...

Patrick Blackburn

• Short Presentation: Carlos E. Areces Patrick Blackburn Maarten Marx
  Repairing the Interpolation Theorem in First-Order Modal Logic (LICS 2001) More Information...

Bruno Blanchet

• Paper: Bruno Blanchet Martín Abadi Cédric Fournet
  Automated Verification of Selected Equivalences for Security Protocols (LICS 2005) More Information...

Frédéric Blanqui

• Paper: Frédéric Blanqui
  Definitions by Rewriting in the Calculus of Constructions (LICS 2001) More Information...

Andreas Blass

• Invited Paper: Andreas Blass
  Adapting Logics (LICS 2006) More Information...

Bard Bloom

• Paper: Bard Bloom
  Can LCF be topped? Flat lattice models of typed lambda calculus (LICS 1988) More Information...
• Paper: Luca Aceto Bard Bloom Fritz W. Vaandrager
  Turning SOS rules into equations (LICS 1992) More Information...
• Paper: Bard Bloom Wan Fokkink Rob J. van Glabbeek
  Precongruence Formats for Decorated Trace Preorders (LICS 2000) More Information...

Achim Blumensath

• Paper: Achim Blumensath Erich Grädel
  Automatic Structures (LICS 2000) More Information...

Richard Blute

• Paper: Richard Blute Josée Desharnais Abbas Edalat Prakash Panangaden
  Bisimulation for Labelled Markov Processes (LICS 1997) More Information...

Manuel Bodirsky

• Short Presentation: Manuel Bodirsky Tobias Gärtner Timo von Oertzen Jan Schwinghammer
  Computing the Density of Regular Languages (LICS 2001) More Information...
• Paper: Manuel Bodirsky Hubie Chen
  Quantified Equality Constraints (LICS 2007) More Information...
• Paper: Manuel Bodirsky Martin Hils Barnaby Martin
  On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction (LICS 2010) More Information...
• Paper: Manuel Bodirsky Michael Pinsker Todor Tsankov
  Decidability of Definability (LICS 2011) More Information...

Miquel Bofill

• Paper: Miquel Bofill Guillem Godoy Robert Nieuwenhuis Albert Rubio
  Paramodulation with Non-Monotonic Orderings (LICS 1999) More Information...

Corrado Böhm

• Paper: Corrado Böhm Enrico Tronci
  X-Separability and Left-Invertibility in lambda-calculus (LICS 1987) More Information...
• Paper: Corrado Böhm Adolfo Piperno
  Characterizing X-separability and one-side invertibility in λ-β-Θ-calculus (LICS 1988) More Information...
• Invited Paper: Corrado Böhm
  An Algebraic View of the Lambda-Calculus (LICS 1994) More Information...

Stanislav Böhm

• Short Presentation: Stanislav Böhm Stefan Göller Petr Jancar
  Bisimilarity of one-counter processes is PSPACE-complete (LICS 2010) More Information...

Mikołaj Bojańczyk

• Paper: Mikołaj Bojańczyk Thomas Colcombet
  Omega-Regular Expressions with Bounds (LICS 2006) More Information...
• Paper: Mikołaj Bojańczyk Anca Muscholl Thomas Schwentick Luc Segoufin Claire David
  Two-Variable Logic on Words with Data (LICS 2006) More Information...
• Paper: Mikołaj Bojańczyk
  Two-way unary temporal logic over trees (LICS 2007) More Information...
• Short Presentation: Mikołaj Bojańczyk
  The Common Fragment of CTL and LTL Needs Existential Modalities (LICS 2007) More Information...
• Paper: Mikołaj Bojańczyk Luc Segoufin Howard Straubing
  Piecewise Testable Tree Languages (LICS 2008) More Information...
• Paper: Mikołaj Bojańczyk Howard Straubing Igor Walukiewicz
  Wreath Products of Forest Algebras, with Applications to Tree Logics (LICS 2009) More Information...
• Paper: Mikołaj Bojańczyk Sławomir Lasota
  An Extension of Data Automata that Captures XPath (LICS 2010) More Information...
• Paper: Mikołaj Bojańczyk Bartek Klin Sławomir Lasota
  Automata with Group Actions (LICS 2011) More Information...

Udi Boker

• Paper: Udi Boker Orna Kupferman
  Co-ing Büchi Made Tight and Useful (LICS 2009) More Information...
• Paper: Udi Boker Krishnendu Chatterjee Thomas A. Henzinger Orna Kupferman
  Temporal Specifications with Accumulative Values (LICS 2011) More Information...

Filippo Bonchi

• Paper: Filippo Bonchi Ugo Montanari Barbara König
  Saturated Semantics for Reactive Systems (LICS 2006) More Information...

Maria Luisa Bonet

• Paper: Maria Luisa Bonet Samuel R. Buss
  On the deduction rule and the number of proof lines (LICS 1991) More Information...

Iovka Boneva

• Paper: Iovka Boneva Jean-Marc Talbot Sophie Tison
  Expressiveness of a Spatial Logic for Trees (LICS 2005) More Information...

Marcello Bonsangue

• Paper: Marcello Bonsangue Jan Rutten Alexandra Silva
  An Algebra for Kripke Polynomial Coalgebras (LICS 2009) More Information...

Michele Boreale

• Paper: Michele Boreale Davide Sangiorgi
  Bisimulation in Name-Passing Calculi without Matching (LICS 1998) More Information...
• Paper: Michele Boreale Rocco De Nicola Rosario Pugliese
  Proof Techniques for Cryptographic Processes (LICS 1999) More Information...

Richard Bornat

• Paper: Matthew Parkinson Richard Bornat Cristiano Calcagno
  Variables as Resource in Hoare Logics (LICS 2006) More Information...

Soumitra Bose

• Paper: Soumitra Bose Edmund M. Clarke David E. Long Spiro Michaylov
  PARTHENON: a parallel theorem prover for non-Horn clauses (LICS 1989) More Information...

Ahmed Bouajjani

• Paper: Ahmed Bouajjani Rachid Echahed Joseph Sifakis
  On model checking for real-time properties with durations (LICS 1993) More Information...
• Paper: Ahmed Bouajjani Rachid Echahed Peter Habermehl
  On the Verification Problem of Nonregular Properties for Nonregular Processes (LICS 1995) More Information...
• Paper: Eugene Asarin Ahmed Bouajjani
  Perturbed Turing Machines and Hybrid Systems (LICS 2001) More Information...
• Paper: Ahmed Bouajjani Anca Muscholl Tayssir Touili
  Permutation Rewriting and Algorithmic Verification (LICS 2001) More Information...

Alexandre Boudet

• Paper: Alexandre Boudet Jean-Pierre Jouannaud Manfred Schmidt-Schauß
  Unification in free extensions of Boolean rings and Abelian groups (LICS 1988) More Information...
• Paper: Alexandre Boudet Evelyne Contejean Hervé Devie
  A new AC unification algorithm with an algorithm for solving systems of diophantine equations (LICS 1990) More Information...

Adel Bouhoula

• Paper: Adel Bouhoula Jean-Pierre Jouannaud
  Automata-driven automated induction (LICS 1997) More Information...

Patricia Bouyer

• Paper: Patricia Bouyer Thomas Brihaye Fabrice Chevalier
  Control in o-minimal hybrid systems (LICS 2006) More Information...
• Paper: Patricia Bouyer Nicolas Markey Joël Ouaknine James Worrell
  The Cost of Punctuality (LICS 2007) 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...

Paul Brauner

• Paper: Paul Brauner Clément Houtmann Claude Kirchner
  Principles of Superdeduction (LICS 2007) More Information...

Tomáš Brázdil

• Paper: Tomáš Brázdil Václav Brozek Vojtech Forejt Antonín Kucera
  Stochastic Games with Branching-Time Winning Objectives (LICS 2006) More Information...
• Paper: Tomáš Brázdil Vojtech Forejt Jan Kretínský Antonín Kucera
  The Satisfiability Problem for Probabilistic CTL (LICS 2008) More Information...
• Paper: Tomáš Brázdil Václav Brozek Krishnendu Chatterjee Vojtech Forejt Antonín Kucera
  Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (LICS 2011) More Information...

Val Breazu-Tannen

• Paper: Val Breazu-Tannen Albert R. Meyer
  Polymorphism is conservative over simple types (Preliminary Report) (LICS 1987) More Information...
• Paper: Val Breazu-Tannen
  Combining algebra and higher-order types (LICS 1988) More Information...
• Paper: Val Breazu-Tannen Thierry Coquand Carl A. Gunter Andre Scedrov
  Inheritance and explicit coercion (LICS 1989) More Information...
• Paper: Val Breazu-Tannen Delia Kesner Laurence Puel
  A typed pattern calculus (LICS 1993) More Information...

Davide Bresolin

• Paper: Davide Bresolin Angelo Montanari Pietro Sala Guido Sciavicco
  What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL (LICS 2011) More Information...

Thomas Brihaye

• Paper: Patricia Bouyer Thomas Brihaye Fabrice Chevalier
  Control in o-minimal hybrid systems (LICS 2006) 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...

Christopher H. Broadbent

• Paper: Christopher H. Broadbent Arnaud Carayol C.-H. Luke Ong Olivier Serre
  Recursion Schemes and Logical Reflection (LICS 2010) More Information...

Antonio Brogi

• Paper: Antonio Brogi Franco Turini
  Semantics of meta-logic in an algebra of programs (LICS 1994) More Information...

Stephen D. Brookes

• Paper: Stephen D. Brookes
  A Semantically Based Proof System for Partial Correctness and Deadlock in CSP (LICS 1986) More Information...
• Paper: Stephen D. Brookes
  Full abstraction for a shared variable parallel language (LICS 1993) More Information...
• Paper: Stephen D. Brookes
  The Essence of Parallel Algol (LICS 1996) More Information...

James Brotherston

• Paper: James Brotherston Alex K. Simpson
  Complete Sequent Calculi for Induction and Infinite Descent (LICS 2007) More Information...
• Paper: James Brotherston Max I. Kanovich
  Undecidability of Propositional Separation Logic and Its Neighbours (LICS 2010) More Information...

Carolyn Brown

• Paper: Carolyn Brown Doug Gurr
  A categorical linear framework for Petri nets (LICS 1990) More Information...
• Paper: Carolyn Brown Graham Hutton
  Categories, allegories and circuit design (LICS 1994) More Information...

Michael C. Browne

• Paper: Michael C. Browne
  An Improved Algorithm for the Automatic Verification of Finite State Systems Using Temporal Logic (LICS 1986) More Information...

Václav Brozek

• Paper: Tomáš Brázdil Václav Brozek Vojtech Forejt Antonín Kucera
  Stochastic Games with Branching-Time Winning Objectives (LICS 2006) More Information...
• Paper: Tomáš Brázdil Václav Brozek Krishnendu Chatterjee Vojtech Forejt Antonín Kucera
  Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes (LICS 2011) More Information...

Kim B. Bruce

• Paper: Roberto M. Amadio Kim B. Bruce Giuseppe Longo
  The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations (LICS 1986) More Information...
• Paper: Kim B. Bruce Giuseppe Longo
  A modest model of records, inheritance and bounded quantification (LICS 1988) More Information...

Roberto Bruni

• Invited Paper: Roberto Bruni Ugo Montanari
  Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus (LICS 1999) More Information...

Glenn Bruns

• Paper: Glenn Bruns Patrice Godefroid
  Temporal Logic Query Checking (LICS 2001) More Information...

Randal E. Bryant

• Paper: Sanjit A. Seshia Randal E. Bryant
  Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds (LICS 2004) More Information...
• Invited Paper: Randal E. Bryant
  Formal Verification of Infinite State Systems Using Boolean Methods (LICS 2006) More Information...

Antonio Bucciarelli

• Paper: Antonio Bucciarelli Thomas Ehrhard
  Sequentiality and strong stability (LICS 1991) More Information...
• Paper: Antonio Bucciarelli Silvia De Lorenzis Adolfo Piperno Ivano Salvo
  Some Computational Properties of Intersection Types (LICS 1999) More Information...
• Paper: Antonio Bucciarelli Antonino Salibra
  The Sensible Graph Theories of Lambda Calculus (LICS 2004) More Information...

Andrei A. Bulatov

• Paper: Andrei A. Bulatov
  Tractable conservative Constraint Satisfaction Problems (LICS 2003) More Information...
• Paper: Andrei A. Bulatov
  A Graph of a Relational Structure and Constraint Satisfaction Problems (LICS 2004) More Information...
• Paper: Andrei A. Bulatov Dániel Marx
  The Complexity of Global Cardinality Constraints (LICS 2009) More Information...

Jerry R. Burch

• Paper: Jerry R. Burch Edmund M. Clarke Kenneth L. McMillan David L. Dill L. James Hwang
  Symbolic model checking: 10^20 states and beyond (LICS 1990) More Information...

Guillaume Burel

• Short Presentation: Guillaume Burel Claude Kirchner
  An Abstract Completion Procedure for Cut Elimination in Deduction Modulo (LICS 2006) More Information...
• Paper: Guillaume Burel
  A First-Order Representation of Pure Type Systems Using Superdeduction (LICS 2008) More Information...

Joshua Buresh-Oppenheim

• Paper: Joshua Buresh-Oppenheim Toniann Pitassi
  The Complexity of Resolution Refinements (LICS 2003) More Information...

Rod M. Burstall

• Invited Paper: Rod M. Burstall
  Terms, proofs and refinement (LICS 1994) More Information...

Samuel R. Buss

• Paper: Maria Luisa Bonet Samuel R. Buss
  On the deduction rule and the number of proof lines (LICS 1991) More Information...
• Paper: Samuel R. Buss Bruce M. Kapron
  Resource-Bounded Continuity and Sequentiality for Type-Two Functionals (LICS 2000) More Information...