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:

• Florent Jacquemard
• Manfred Jaeger
• Joxan Jaffar
• Radha Jagadeesan
• Petr Jancar
• David Janin
• Lalita Jategaonkar
• Alan Jeffrey
• Mark Jenkins
• Thomas P. Jensen
• Somesh Jha
• Limin Jia
• Patricia Johann
• Jan Johannsen
• Magnus Johansson
• Peter Johnstone
• Curt Jones
• Bengt Jonsson
• Peter Jonsson
• Charles Jordan
• Jean-Pierre Jouannaud
• Pierre Jouvelot
• André Joyal
• Achim Jung
• Marcin Jurdzinski
• Charanjit S. Jutla

Florent Jacquemard

• Paper: Hubert Comon-Lundh Florent Jacquemard
  Ground Reducibility is EXPTIME-complete (LICS 1997) 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...

Manfred Jaeger

• Paper: Manfred Jaeger
  Convergence Results for Relational Bayesian Networks (LICS 1998) More Information...

Joxan Jaffar

• Paper: Nevin Heintze Joxan Jaffar
  A decision procedure for a class of set constraints (LICS 1990) More Information...
• Paper: Nevin Heintze Joxan Jaffar
  An engine for logic program analysis (LICS 1992) More Information...

Radha Jagadeesan

• Paper: Radha Jagadeesan Prakash Panangaden Keshav Pingali
  A fully abstract semantics for a functional language with logic variables (LICS 1989) More Information...
• Paper: Samson Abramsky Radha Jagadeesan
  New foundations for the geometry of interaction (LICS 1992) More Information...
• 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...
• Paper: Luca de Alfaro Patrice Godefroid Radha Jagadeesan
  Three-Valued Abstractions of Games: Uncertainty, but with Precision (LICS 2004) More Information...

Petr Jancar

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

David Janin

• Paper: David Janin
  Automata, tableaus and a reduction theorem for fixpoint calculi in arbitrary complete lattices (LICS 1997) More Information...
• Paper: David Janin Giacomo Lenzi
  Relating Levels of the Mu-Calculus Hierarchy and Levels of the Monadic Hierarchy (LICS 2001) More Information...

Lalita Jategaonkar

• Paper: Lalita Jategaonkar Albert R. Meyer
  Self-synchronization of concurrent processes (LICS 1993) More Information...

Alan Jeffrey

• Paper: Alan Jeffrey
  A fully abstract semantics for concurrent graph reduction (LICS 1994) More Information...
• Paper: Alan Jeffrey
  A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types (LICS 1995) 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
  A Symbolic Labelled Transition System for Coinductive Subtyping of F_{\mu\leq} Types (LICS 2001) More Information...
• Paper: Alan Jeffrey Julian Rathke
  A fully abstract may testing semantics for concurrent objects (LICS 2002) More Information...

Mark Jenkins

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

Thomas P. Jensen

• Paper: Thomas P. Jensen
  Disjunctive strictness analysis (LICS 1992) More Information...

Somesh Jha

• Paper: Edmund M. Clarke Somesh Jha Yuan Lu Helmut Veith
  Tree-like Counterexamples in Model Checking (LICS 2002) More Information...

Limin Jia

• Paper: Amal J. Ahmed Limin Jia David Walker
  Reasoning about Hierarchical Storage (LICS 2003) More Information...
• Paper: Limin Jia Frances Spalding David Walker Neal Glew
  Certifying Compilation for a Language with Stack Allocation (LICS 2005) More Information...
• Short Presentation: Limin Jia David Walker
  A Refined Proof Theory for Reasoning About Separation (LICS 2005) More Information...

Patricia Johann

• Paper: Patricia Johann Alex Simpson Janis Voigtländer
  A Generic Operational Metatheory for Algebraic Effects (LICS 2010) More Information...

Jan Johannsen

• Paper: Jan Johannsen Chris Pollett
  On Proofs about Threshold Circuits and Counting Hierarchies (LICS 1998) More Information...
• Paper: Jan Johannsen
  Weak Bounded Arithmetic, the Diffie-Hellman Problem and Constable's Class K (LICS 1999) More Information...

Magnus Johansson

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

Peter Johnstone

• Paper: Peter Johnstone A. John Power Toru Tsujishita Hiroshi Watanabe James Worrell
  An Axiomatics for Categories of Transition Systems as Coalgebras (LICS 1998) More Information...

Curt Jones

• Paper: Curt Jones Gordon D. Plotkin
  A probabilistic powerdomain of evaluations (LICS 1989) More Information...

Bengt Jonsson

• Paper: Bengt Jonsson Zohar Manna Richard J. Waldinger
  Towards Deductive Synthesis of Dataflow Networks (LICS 1986) More Information...
• Paper: Bengt Jonsson Kim G. Larsen
  Specification and refinement of probabilistic processes (LICS 1991) More Information...
• Paper: Parosh A. Abdulla Bengt Jonsson
  Verifying programs with unreliable channels (LICS 1993) More Information...
• Paper: Bengt Jonsson Wang Yi
  Compositional Testing Preorders for Probabilistic Processes (LICS 1995) More Information...
• Paper: Parosh A. Abdulla Karlis Cerans Bengt Jonsson Yih-Kuen Tsay
  General decidability theorems for infinite-state systems (LICS 1996) More Information...

Peter Jonsson

• Paper: Gustav Nordh Peter Jonsson
  An Algebraic Approach to the Complexity of Propositional Circumscription (LICS 2004) More Information...

Charles Jordan

• Short Presentation: Charles Jordan Thomas Zeugmann
  Recent Progress in the Classification for Testability (LICS 2011) More Information...

Jean-Pierre Jouannaud

• Paper: Jean-Pierre Jouannaud Emmanuel Kounalis
  Automatic Proofs by Induction in Equational Theories Without Constructors (LICS 1986) More Information...
• Paper: Alexandre Boudet Jean-Pierre Jouannaud Manfred Schmidt-Schauß
  Unification in free extensions of Boolean rings and Abelian groups (LICS 1988) More Information...
• Paper: Jean-Pierre Jouannaud Mitsuhiro Okada
  A computation model for executable higher-order algebraic specification languages (LICS 1991) More Information...
• Paper: Hubert Comon-Lundh Marianne Haberstrau Jean-Pierre Jouannaud
  Decidable problems in shallow equational theories (LICS 1992) More Information...
• Paper: Adel Bouhoula Jean-Pierre Jouannaud
  Automata-driven automated induction (LICS 1997) More Information...
• Paper: Jean-Pierre Jouannaud Albert Rubio
  The Higher-Order Recursive Path Ordering (LICS 1999) More Information...
• 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...

Pierre Jouvelot

• Paper: Jean-Pierre Talpin Pierre Jouvelot
  The type and effect discipline (LICS 1992) More Information...

André Joyal

• Paper: André Joyal Mogens Nielson Glynn Winskel
  Bisimulation and open maps (LICS 1993) More Information...
• Invited Paper: André Joyal
  Lattices, Categories and Communication (LICS 1996) More Information...

Achim Jung

• Paper: Carl A. Gunter Achim Jung
  Coherence and consistency in domains (LICS 1988) More Information...
• Paper: Achim Jung
  The classification of continuous domains (LICS 1990) More Information...
• Paper: Michael Huth Achim Jung Klaus Keimel
  Linear types, approximation, and topology (LICS 1994) More Information...

Marcin Jurdzinski

• Paper: Stefan Dziembowski Marcin Jurdzinski Igor Walukiewicz
  How much memory is needed to win infinite games? (LICS 1997) More Information...
• Paper: Krishnendu Chatterjee Thomas A. Henzinger Marcin Jurdzinski
  Games with Secure Equilibria (LICS 2004) More Information...
• Paper: Krishnendu Chatterjee Thomas A. Henzinger Marcin Jurdzinski
  Mean-Payoff Parity Games (LICS 2005) More Information...
• Paper: Marcin Jurdzinski Ashutosh Trivedi
  Average Time Games (LICS 2006) More Information...
• Paper: Marcin Jurdzinski Ranko Lazic
  Alternation-free modal mu-calculus for data trees (LICS 2007) More Information...

Charanjit S. Jutla

• Paper: E. Allen Emerson Charanjit S. Jutla
  On simultaneously determinizing and complementing ω-automata (LICS 1989) More Information...