IEEE Symposium on Logic in Computer Science
LICS Home
-
LICS Awards
-
LICS Newsletters
-
LICS Archive
-
LICS Organization
-
Logic-Related Conferences
-
Links
Index by Authors:
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
Papers and Short Presentations by Authors: J
LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners
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...
Last modified: 2012-01-06
21:8
Andrzej Murawski