Authors on this page:
- Florent Jacquemard
- Manfred Jaeger
- Jaffar, J.
- Jagadeesan, R.
- Radha Jagadeesan
- Petr Jancar
- David Janin
- Lalita Jategaonkar
- Alan Jeffrey
- Jensen, T.P.
- Somesh Jha
- Limin Jia
- Jan Johannsen
- Peter Johnstone
- Jones, C.
- Bengt Jonsson
- Peter Jonsson
- Jean-Pierre Jouannaud
- Jouannaud, J.-P.
- J.-P. Jouannaud
- Jouvelot, P.
- André Joyal
- Achim Jung
- Jung, A.
- M. Jurdzinski
- Marcin Jurdzinski
- Jutla, C.S.
Florent Jacquemard
- Paper: Hubert Comon Florent Jacquemard
Ground Reducibility is EXPTIME-complete (LICS 1997) More Information...
Manfred Jaeger
- Paper: Manfred Jaeger
Convergence Results for Relational Bayesian Networks (LICS 1998) More Information...
Jaffar, J.
- Paper: Heintze, N. Jaffar, J.
A decision procedure for a class of set constraints (LICS 1990) More Information... - Paper: Heintze, N. Jaffar, J.
An engine for logic program analysis (LICS 1992) More Information...
Jagadeesan, R.
- Paper: Jagadeesan, R. Panangaden, P. Pingali, K.
A fully abstract semantics for a functional language with logic variables (LICS 1989) More Information... - Paper: Abramsky, S. Jagadeesan, R.
New foundations for the geometry of interaction (LICS 1992) More Information...
Radha Jagadeesan
- Paper: Vijay 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: Josee 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...
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...
Jensen, T.P.
- Paper: Jensen, T.P.
Disjunctive strictness analysis (LICS 1992) More Information...
Somesh Jha
- Paper: Edmund Clarke Somesh Jha Yuan Lu Helmut Veith
Tree-like Counterexamples in Model Checking (LICS 2002) More Information...
Limin Jia
- Paper: Amal 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...
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...
Peter Johnstone
- Paper: Peter Johnstone John Power Toru Tsujishita Hiroshi Watanabe James Worrell
An Axiomatics for Categories of Transition Systems as Coalgebras (LICS 1998) More Information...
Jones, C.
- Paper: Jones, C. Plotkin, G.D.
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 Guldstrand Larsen
Specification and refinement of probabilistic processes (LICS 1991) More Information... - Paper: Parosh 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 Aziz 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...
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...
Jouannaud, J.-P.
- Paper: Comon, H. Haberstrau, M. Jouannaud, J.-P.
Decidable problems in shallow equational theories (LICS 1992) More Information...
J.-P. Jouannaud
- Paper: A. Bouhoula J.-P. Jouannaud
Automata-driven automated induction (LICS 1997) More Information... - Paper: J.-P. Jouannaud A. Rubio
The Higher-Order Recursive Path Ordering (LICS 1999) More Information...
Jouvelot, P.
- Paper: Talpin, J.-P. Jouvelot, P.
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 Talk: 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: Michael Huth Achim Jung Klaus Keimel
Linear types, approximation, and topology (LICS 1994) More Information...
Jung, A.
- Paper: Jung, A.
The classification of continuous domains (LICS 1990) More Information...
M. Jurdzinski
- Paper: S. Dziembowski M. Jurdzinski I. Walukiewicz
How much memory is needed to win infinite games? (LICS 1997) More Information...
Marcin Jurdzinski
- 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...
Jutla, C.S.
- Paper: Emerson, E.A. Jutla, C.S.
On simultaneously determinizing and complementing ω-automata (LICS 1989) More Information...