IEEE Symposium on Logic in Computer Science

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

Authors on this page:

• Stan Raatz
• Tahiry M. Rabehaja
• Michael O. Rabin
• Alexander M. Rabinovich
• Roman Rabinovich
• Christophe Raffalli
• Arash Rafiey
• Mukund Raghothaman
• Vincent Rahli
• I. V. Ramakrishnan
• Vishwanath Raman
• Ajith Ramanathan
• Ramaswamys Ramanujam
• M. S. Ramanujan
• Lander Ramos
• Steven J. Ramsay
• Francesco Ranzato
• Paolo Rapisarda
• Jean-François Raskin
• Julian Rathke
• Alexander A. Razborov
• Uday S. Reddy
• Luca Reggio
• Laurent Regnier
• Jakob Rehof
• Giselle Reis
• Fabian Reiter
• Jeffrey B. Remmel
• Didier Rémy
• Michel A. Reniers
• Thomas W. Reps
• Bernhard Reus
• Pierre-Alain Reynier
• John C. Reynolds
• Mark Reynolds
• Colin Riba
• Silvain Rideau
• Jon G. Riecke
• James Riely
• Søren Riis
• Egbert Rijke
• Martin C. Rinard
• Martin Ritzert
• Cristian Riveros
• Umberto Rivieccio
• Edmund P. Robinson
• John A. Robinson
• Alexander Rohr
• Miguel Romero
• Simona Ronchi della Rocca
• Eric Rosen
• Roni Rosner
• Giuseppe Rosolini
• Benjamin Rossman
• Grigore Rosu
• Jurriaan Rot
• William C. Rounds
• Stéphane Le Roux
• Daniel M. Roy
• Sasha Rubin
• Albert Rubio
• Fabian Ruch
• Harald Rueß
• Paul Ruet
• Matthias Ruhl
• Michaël Rusinowitch
• James R. Russell
• Jan Rutten
• Mark D. Ryan
• Andrey Rybalchenko
• Tatiana Rybina
• Carsten Rösnick

Stan Raatz

• Paper: Jean H. Gallier Stan Raatz Wayne Snyder
  Theorem Proving Using Rigid E-Unification Equational Matings (LICS 1987) More Information...

Tahiry M. Rabehaja

• Paper: Annabelle McIver Carroll Morgan Tahiry M. Rabehaja
  Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow (LICS 2015) More Information...

Michael O. Rabin

• Invited Paper: Michael O. Rabin Rocco A. Servedio Christopher Thorpe
  Highly Efficient Secrecy-Preserving Proofs of Correctness of Computations and Applications (LICS 2007) More Information...

Alexander M. Rabinovich

• Paper: Alexander M. Rabinovich Boris A. Trakhtenbrot
  Nets and data flow interpreters (LICS 1989) More Information...
• Paper: Faron Moller Alexander M. Rabinovich
  On the Expressive Power of CTL (LICS 1999) More Information...
• Paper: Mark Jenkins Joël Ouaknine Alexander M. Rabinovich James Worrell
  Alternating Timed Automata over Bounded Time (LICS 2010) More Information...
• Paper: Alexander M. Rabinovich Sasha Rubin
  Interpretations in Trees with Countably Many Branches (LICS 2012) More Information...

Roman Rabinovich

• Short Presentation: Daniel Neider Roman Rabinovich Martin Zimmermann
  Down the Borel Hierarchy: Solving Muller Games via Safety Games (LICS 2012) More Information...
• Paper: Jan van den Heuvel Stephan Kreutzer Michal Pilipczuk Daniel A. Quiroz Roman Rabinovich Sebastian Siebertz
  Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion (LICS 2017) More Information...

Christophe Raffalli

• Paper: Christophe Raffalli
  System ST \beta-reduction and completeness (LICS 2003) More Information...

Arash Rafiey

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

Mukund Raghothaman

• Invited Paper: Rajeev Alur Loris D'Antoni Jyotirmoy V. Deshmukh Mukund Raghothaman Yifei Yuan
  Regular Functions and Cost Register Automata (LICS 2013) More Information...
• Paper: Rajeev Alur Adam Freilich Mukund Raghothaman
  Regular combinators for string transformations (LICS 2014) More Information...

Vincent Rahli

• Paper: Vincent Rahli Mark Bickford Robert L. Constable
  Bar induction: The good, the bad, and the ugly (LICS 2017) More Information...
• Paper: Mark Bickford Liron Cohen Robert L. Constable Vincent Rahli
  Computability Beyond Church-Turing via Choice Sequences (LICS 2018) More Information...

I. V. Ramakrishnan

• Paper: R. C. Sekar I. V. Ramakrishnan
  Programming in equational logic: beyond strong sequentiality (LICS 1990) More Information...

Vishwanath Raman

• Paper: Luca de Alfaro Rupak Majumdar Vishwanath Raman Mariëlle Stoelinga
  Game Relations and Metrics (LICS 2007) More Information...

Ajith Ramanathan

• Invited Paper: John C. Mitchell Ajith Ramanathan Vanessa Teague Andre Scedrov
  Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis (LICS 2001) More Information...

Ramaswamys Ramanujam

• Paper: Ramaswamys Ramanujam
  Locally linear time temporal logic (LICS 1996) More Information...

M. S. Ramanujan

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

Lander Ramos

• Paper: Carles Creus Adria Gascón Guillem Godoy Lander Ramos
  The HOM Problem is EXPTIME-Complete (LICS 2012) More Information...

Steven J. Ramsay

• Paper: Andrzej S. Murawski Steven J. Ramsay Nikos Tzevelekos
  Bisimilarity in Fresh-Register Automata (LICS 2015) More Information...

Francesco Ranzato

• Paper: Francesco Ranzato Francesco Tapparo
  A New Efficient Simulation Equivalence Algorithm (LICS 2007) More Information...

Paolo Rapisarda

• Paper: Brendan Fong Pawel Sobocinski Paolo Rapisarda
  A categorical approach to open and interconnected dynamical systems (LICS 2016) More Information...

Jean-François Raskin

• Paper: Romain Brenguier Jean-François Raskin Mathieu Sassolas
  The complexity of admissibility in Omega-regular games (LICS 2014) More Information...
• Paper: Véronique Bruyére Noémie Meunier Jean-François Raskin
  Secure equilibria in weighted games (LICS 2014) More Information...
• Paper: Lorenzo Clemente Jean-François Raskin
  Multidimensional beyond Worst-Case and Almost-Sure Problems for Mean-Payoff Objectives (LICS 2015) More Information...
• Paper: Emmanuel Filiot Ismaël Jecker Nathan Lhote Guillermo A. Pérez Jean-François Raskin
  On delay and regret determinization of max-plus automata (LICS 2017) More Information...
• Paper: Emmanuel Filiot Raffaella Gentilini Jean-François Raskin
  Rational Synthesis Under Imperfect Information (LICS 2018) More Information...

Julian Rathke

• Paper: Julian Rathke
  Unique Fixpoint Induction for Value-Passing Processes (LICS 1997) More Information...
• Paper: Alan Jeffrey Julian Rathke
  Towards a Theory of Bisimulation for Local Names (LICS 1999) More Information...
• Paper: Alan Jeffrey Julian Rathke
  A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names (LICS 2000) More Information...
• Paper: Alan Jeffrey Julian Rathke
  A fully abstract may testing semantics for concurrent objects (LICS 2002) More Information...

Alexander A. Razborov

• Invited Paper: Alexander A. Razborov
  Feasible Proofs and Computations: Partnership and Fusion (LICS 2004) More Information...

Uday S. Reddy

• Paper: Uday S. Reddy
  Passivity and independence (LICS 1994) More Information...
• Paper: Brian Dunphy Uday S. Reddy
  Parametric Limits (LICS 2004) More Information...

Luca Reggio

• Paper: Mai Gehrke Daniela Petrisan Luca Reggio
  Quantifiers on languages and codensity monads (LICS 2017) More Information...

Laurent Regnier

• Paper: Pasquale Malacaria Laurent Regnier
  Some results on the interpretation of λ-calculus in operator algebras (LICS 1991) More Information...
• Paper: Vincent Danos Laurent Regnier
  Local and asynchronous beta-reduction (an analysis of Girard's execution formula) (LICS 1993) More Information...
• Paper: Andrea Asperti Vincent Danos Cosimo Laneve Laurent Regnier
  Paths in the lambda-calculus. Three years of communications without understanding (LICS 1994) More Information...
• Paper: Vincent Danos Hugo Herbelin Laurent Regnier
  Game semantics and abstract machines (LICS 1996) More Information...
• 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: Olivier Laurent Laurent Regnier
  About Translations of Classical Logic into Polarized Linear Logic (LICS 2003) More Information...

Jakob Rehof

• Paper: Fritz Henglein Jakob Rehof
  The complexity of subtype entailment for simple types (LICS 1997) More Information...
• Paper: Andrej Dudenhefner Jakob Rehof
  Typability in bounded dimension (LICS 2017) More Information...

Giselle Reis

• Paper: Matthias Baaz Alexander Leitsch Giselle Reis
  A Note on the Complexity of Classical and Intuitionistic Proofs (LICS 2015) More Information...

Fabian Reiter

• Paper: Fabian Reiter
  Distributed Graph Automata (LICS 2015) More Information...

Jeffrey B. Remmel

• Paper: Anil Nerode Jeffrey B. Remmel Andre Scedrov
  Polynomially graded logic I. A graded version of system T (LICS 1989) More Information...
• Paper: Victor W. Marek Anil Nerode Jeffrey B. Remmel
  A theory of nonmonotonic rule systems (LICS 1990) More Information...
• Paper: Victor W. Marek Anil Nerode Jeffrey B. Remmel
  Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning (LICS 1995) More Information...
• Paper: Victor W. Marek Anil Nerode Jeffrey B. Remmel
  On the Complexity of Abduction (LICS 1996) More Information...

Didier Rémy

• Paper: Julien Cretin Didier Rémy
  System F with coercion constraints (LICS 2014) More Information...

Michel A. Reniers

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

Thomas W. Reps

• Paper: Thomas W. Reps Alexey Loginov Shmuel Sagiv
  Semantic Minimization of 3-Valued Propositional Formulae (LICS 2002) More Information...

Bernhard Reus

• Paper: Bernhard Reus Thomas Streicher
  Semantics and Logic of Object Calculi (LICS 2002) More Information...

Pierre-Alain Reynier

• 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: Luc Dartois Emmanuel Filiot Pierre-Alain Reynier Jean-Marc Talbot
  Two-Way Visibly Pushdown Automata and Transducers (LICS 2016) More Information...
• Paper: Laure Daviaud Pierre-Alain Reynier Jean-Marc Talbot
  A Generalised Twinning Property for Minimisation of Cost Register Automata (LICS 2016) More Information...

John C. Reynolds

• Invited Paper: John C. Reynolds
  Conjunctive Types and Algol-like Languages (LICS 1987) More Information...
• Invited Paper: John C. Reynolds
  A Logic for Shared Mutable Data Structures (LICS 2002) More Information...

Mark Reynolds

• Paper: Mark Reynolds
  More Past Glories (LICS 2000) More Information...

Colin Riba

• Paper: Colin Riba
  Strong Normalization as Safe Interaction (LICS 2007) More Information...
• Paper: Colin Riba
  Forcing MSO on Infinite Words in Weak MSO (LICS 2013) More Information...
• Paper: Anupam Das Colin Riba
  A Complete Axiomatization of MSO on Infinite Trees (LICS 2015) More Information...
• Paper: Pierre Pradic Colin Riba
  LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic (LICS 2018) More Information...

Silvain Rideau

• Paper: Silvain Rideau Glynn Winskel
  Concurrent Strategies (LICS 2011) More Information...

Jon G. Riecke

• Paper: Stavros S. Cosmadakis Albert R. Meyer Jon G. Riecke
  Completeness for typed lazy inequalities (LICS 1990) More Information...
• Paper: Jon G. Riecke Anders Sandholm
  A Relational Account of Call-by-Value Sequentially (LICS 1997) More Information...
• Paper: Anindya Banerjee Nevin Heintze Jon G. Riecke
  Region Analysis and the Polymorphic Lambda Calculus (LICS 1999) More Information...

James Riely

• Paper: Alan Jeffrey James Riely
  On Thin Air Reads Towards an Event Structures Model of Relaxed Memory (LICS 2016) More Information...

Søren Riis

• Paper: Søren Riis
  On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity (LICS 2008) More Information...

Egbert Rijke

• Paper: Ulrik Buchholtz Egbert Rijke
  The real projective spaces in homotopy type theory (LICS 2017) More Information...
• Paper: Ulrik Buchholtz Floris van Doorn Egbert Rijke
  Higher Groups in Homotopy Type Theory (LICS 2018) More Information...

Martin C. Rinard

• Paper: Viktor Kuncak Martin C. Rinard
  Structural Subtyping of Non-Recursive Types is Decidable (LICS 2003) More Information...

Martin Ritzert

• Paper: Martin Grohe Martin Ritzert
  Learning first-order definable concepts over structures of small degree (LICS 2017) More Information...

Cristian Riveros

• Paper: Michael Benedikt Gabriele Puppis Cristian Riveros
  Regular Repair of Specifications (LICS 2011) More Information...
• Paper: Stephan Kreutzer Cristian Riveros
  Quantitative Monadic Second-Order Logic (LICS 2013) More Information...
• Paper: Marcelo Arenas Martin Muñoz Cristian Riveros
  Descriptive Complexity for counting complexity classes (LICS 2017) More Information...

Umberto Rivieccio

• Paper: Achim Jung Umberto Rivieccio
  Kripke Semantics for Modal Bilattice Logic (LICS 2013) More Information...

Edmund P. Robinson

• Paper: Edmund P. Robinson
  How complete is PER? (LICS 1989) More Information...
• Paper: Edmund P. Robinson Giuseppe Rosolini
  Polymorphism, set theory, and call-by-value (LICS 1990) More Information...
• Paper: Peter J. Freyd Edmund P. Robinson Giuseppe Rosolini
  Functional parametricity (LICS 1992) More Information...
• Paper: Edmund P. Robinson Giuseppe Rosolini
  Reflexive graphs and parametric polymorphism (LICS 1994) More Information...

John A. Robinson

• Invited Paper: John A. Robinson
  Merging Functional with Relational Programming in a Reduction Setting (LICS 1986) More Information...

Alexander Rohr

• Paper: Michael Marz Alexander Rohr Thomas Streicher
  Full Abstraction and Universality via Realisability (LICS 1999) More Information...

Miguel Romero

• Short Presentation: Pablo Barceló Leonid Libkin Miguel Romero
  Approximations of Conjunctive Queries (LICS 2012) More Information...
• Paper: Miguel Romero Pablo Barceló Moshe Y. Vardi
  The homomorphism problem for regular graph patterns (LICS 2017) More Information...

Simona Ronchi della Rocca

• Paper: Paola Giannini Simona Ronchi della Rocca
  Characterization of typings in polymorphic type discipline (LICS 1988) More Information...
• Paper: Adolfo Piperno Simona Ronchi della Rocca
  Type inference and extensionality (LICS 1994) More Information...

Eric Rosen

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

Roni Rosner

• Paper: Roni Rosner Amir Pnueli
  A Choppy Logic (LICS 1986) More Information...
• Paper: David Harel Roni Rosner Moshe Y. Vardi
  On the power of bounded concurrency. III. Reasoning about programs (LICS 1990) More Information...

Giuseppe Rosolini

• Paper: Edmund P. Robinson Giuseppe Rosolini
  Polymorphism, set theory, and call-by-value (LICS 1990) More Information...
• Paper: Peter J. Freyd Philip Mulry Giuseppe Rosolini Dana S. Scott
  Extensional PERs (LICS 1990) More Information...
• Paper: Peter J. Freyd Edmund P. Robinson Giuseppe Rosolini
  Functional parametricity (LICS 1992) More Information...
• Paper: Edmund P. Robinson Giuseppe Rosolini
  Reflexive graphs and parametric polymorphism (LICS 1994) More Information...
• Paper: Lars Birkedal Aurelio Carboni Giuseppe Rosolini Dana S. Scott
  Type Theory via Exact Categories (LICS 1998) More Information...

Benjamin Rossman

• Paper: Benjamin Rossman
  Successor-Invariance in the Finite (LICS 2003) More Information...
• Paper: Benjamin Rossman
  Existential Positive Types and Preservation under Homomorphisisms (LICS 2005) More Information...

Grigore Rosu

• Paper: Grigore Rosu Andrei Stefanescu Stefan Ciobaca Brandon M. Moore
  One-Path Reachability Logic (LICS 2013) More Information...

Jurriaan Rot

• Paper: Filippo Bonchi Daniela Petrisan Damien Pous Jurriaan Rot
  Coinduction up-to in a fibrational setting (LICS 2014) More Information...

William C. Rounds

• Paper: William C. Rounds Robert T. Kasper
  A Complete Logical Calculus for Record Structures Representing Linguistic Information (LICS 1986) More Information...
• Paper: Jochen Dörre William C. Rounds
  On subsumption and semiunification in feature algebras (LICS 1990) More Information...
• Paper: Guo-Qiang Zhang William C. Rounds
  Complexity of Power Default Reasoning (LICS 1997) More Information...

Stéphane Le Roux

• Paper: Stéphane Le Roux Arno Pauly
  Infinite sequential games with real-valued payoffs (LICS 2014) More Information...

Daniel M. Roy

• Paper: Nathanael Leedom Ackerman Cameron E. Freer Daniel M. Roy
  Noncomputable Conditional Distributions (LICS 2011) More Information...
• Short Presentation: Nathanael Leedom Ackerman Cameron E. Freer Daniel M. Roy
  #P-complete conditional distributions (LICS 2011) More Information...

Sasha Rubin

• Paper: Hajime Ishihara Bakhadyr Khoussainov Sasha Rubin
  Some Results on Automatic Structures (LICS 2002) More Information...
• Paper: Bakhadyr Khoussainov Sasha Rubin Frank Stephan
  On Automatic Partial Orders (LICS 2003) More Information...
• Paper: Bakhadyr Khoussainov André Nies Sasha Rubin Frank Stephan
  Automatic Structures: Richness and Limitations (LICS 2004) More Information...
• Paper: Alexander M. Rabinovich Sasha Rubin
  Interpretations in Trees with Countably Many Branches (LICS 2012) More Information...
• Paper: Raphaël Berthon Bastien Maubert Aniello Murano Sasha Rubin Moshe Y. Vardi
  Strategy logic with imperfect information (LICS 2017) More Information...

Albert Rubio

• Paper: Hubert Comon-Lundh Robert Nieuwenhuis Albert Rubio
  Orderings, AC-theories and Symbolic Constraint Solving (LICS 1995) More Information...
• Paper: Miquel Bofill Guillem Godoy Robert Nieuwenhuis Albert Rubio
  Paramodulation with Non-Monotonic Orderings (LICS 1999) More Information...
• Paper: Jean-Pierre Jouannaud Albert Rubio
  The Higher-Order Recursive Path Ordering (LICS 1999) More Information...

Fabian Ruch

• Paper: Thierry Coquand Bassel Mannaa Fabian Ruch
  Stack semantics of type theory (LICS 2017) More Information...

Harald Rueß

• Paper: Harald Rueß Natarajan Shankar
  Deconstructing Shostak (LICS 2001) More Information...

Paul Ruet

• Paper: François Fages Paul Ruet Sylvain Soliman
  Phase Semantics and Verification of Concurrent Constraint Programs (LICS 1998) More Information...
• Short Presentation: Roberto Maieli Paul Ruet
  Interactive correctness criterion for multiplicative-additive proof-nets (LICS 2006) More Information...

Matthias Ruhl

• Paper: Matthias Ruhl
  Counting and Addition cannot Express Deterministic Transitive Closure (LICS 1999) More Information...

Michaël Rusinowitch

• Paper: Paliath Narendran Michaël Rusinowitch
  The unifiability problem in ground AC theories (LICS 1993) More Information...
• Paper: Hubert Comon-Lundh Paliath Narendran Robert Nieuwenhuis Michaël Rusinowitch
  Decision Problems in Ordered Rewriting (LICS 1998) More Information...
• Paper: Yannick Chevalier Ralf Küsters Michaël Rusinowitch Mathieu Turuani
  An NP Decision Procedure for Protocol Insecurity with XOR (LICS 2003) More Information...

James R. Russell

• Paper: Chetan R. Murthy James R. Russell
  A constructive proof of Higman's lemma (LICS 1990) More Information...

Jan Rutten

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

Mark D. Ryan

• Paper: Mark D. Ryan
  Defaults and revision in structured theories (LICS 1991) More Information...

Andrey Rybalchenko

• Paper: Andreas Podelski Andrey Rybalchenko
  Transition Invariants (LICS 2004) More Information...

Tatiana Rybina

• Paper: Tatiana Rybina Andrei Voronkov
  A Decision Procedure for Term Algebras with Queues (LICS 2000) More Information...

Carsten Rösnick

• Short Presentation: Akitoshi Kawamura Norbert Müller Carsten Rösnick Martin Ziegler
  Uniform Polytime Computable Operators on Univariate Real Analytic Functions (LICS 2012) More Information...