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:

• Stan Raatz
• Michael O. Rabin
• Alexander M. Rabinovich
• Alexander Rabinovich
• Christophe Raffalli
• I. V. Ramakrishnan
• Vishwanath Raman
• Ajith Ramanathan
• Ramaswamys Ramanujam
• Francesco Ranzato
• Julian Rathke
• Alexander A. Razborov
• Uday S. Reddy
• Laurent Regnier
• Jakob Rehof
• Jeffrey B. Remmel
• Michel A. Reniers
• Thomas W. Reps
• Bernhard Reus
• John C. Reynolds
• Mark Reynolds
• Colin Riba
• Silvain Rideau
• Jon G. Riecke
• Søren Riis
• Martin C. Rinard
• Cristian Riveros
• John A. Robinson
• Edmund P. Robinson
• Alexander Rohr
• Simona Ronchi della Rocca
• Eric Rosen
• Roni Rosner
• Giuseppe Rosolini
• Benjamin Rossman
• William C. Rounds
• Daniel M. Roy
• Daniel Roy
• Sasha Rubin
• Albert Rubio
• Harald Rueß
• Paul Ruet
• Matthias Ruhl
• Michaël Rusinowitch
• James R. Russell
• Jan Rutten
• Mark D. Ryan
• Andrey Rybalchenko
• Tatiana Rybina

Stan Raatz

• Paper: Jean H. Gallier Stan Raatz Wayne Snyder
  Theorem Proving Using Rigid E-Unification Equational Matings (LICS 1987) 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...

Alexander Rabinovich

• Paper: Mark Jenkins Joël Ouaknine Alexander Rabinovich James Worrell
  Alternating Timed Automata over Bounded Time (LICS 2010) More Information...

Christophe Raffalli

• Paper: Christophe Raffalli
  System ST \beta-reduction and completeness (LICS 2003) 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...

Francesco Ranzato

• Paper: Francesco Ranzato Francesco Tapparo
  A New Efficient Simulation Equivalence Algorithm (LICS 2007) 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...

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

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

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

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

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

Søren Riis

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

Martin C. Rinard

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

Cristian Riveros

• Paper: Michael Benedikt Gabriele Puppis Cristian Riveros
  Regular Repair of Specifications (LICS 2011) More Information...

John A. Robinson

• Invited Paper: John A. Robinson
  Merging Functional with Relational Programming in a Reduction Setting (LICS 1986) 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...

Alexander Rohr

• Paper: Michael Marz Alexander Rohr Thomas Streicher
  Full Abstraction and Universality via Realisability (LICS 1999) 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...

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

Daniel M. Roy

• Paper: Nathanael Leedom Ackerman Cameron E. Freer Daniel M. Roy
  Noncomputable Conditional Distributions (LICS 2011) More Information...

Daniel Roy

• Short Presentation: Nathanael Leedom Ackerman Cameron E. Freer Daniel 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...

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

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