ACM/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:
Stefan Jaax
Guilhem Jaber
Bart Jacobs
Charlie Jacomme
Florent Jacquemard
Manfred Jaeger
Farzad Jafar-Rahmani
Joxan Jaffar
Radha Jagadeesan
Vishal Jagannath
Sanjay Jain
Tomás Jakl
Petr Jančar
Petr Jančar
David Janin
Simon Jantsch
Mauro Jaskelioff
Lalita Jategaonkar
Emmanuel Jeandel
Jean-Baptiste Jeannin
Ismaël Jecker
Alan Jeffrey
Mark Jenkins
Thomas P. Jensen
Somesh Jha
Limin Jia
Xiaodong Jia
Patricia Johann
Jan Johannsen
Magnus Johansson
Peter Johnstone
Curt Jones
Peter Jonsson
Bengt Jonsson
Charles Jordan
Kishor Jothimurugan
Jean-Pierre Jouannaud
Pierre Jouvelot
André Joyal
Vincent Jugé
Achim Jung
Jean Christoph Jung
Marcin Jurdzinski
Charanjit S. Jutla
Marta Juzepczuk
Stefan Jaax
Invited Paper:
Michael Blondin
Javier Esparza
Stefan Jaax
Antonín Kucera
Black Ninjas in the Dark: Formal Analysis of Population Protocols
(
LICS 2018
)
More Information...
Guilhem Jaber
Paper:
Guilhem Jaber
Nicolas Tabareau
Matthieu Sozeau
Extending Type Theory with Forcing
(
LICS 2012
)
More Information...
Paper:
Guilhem Jaber
Gabriel Lewertowski
Pierre-Marie Pédrot
Matthieu Sozeau
Nicolas Tabareau
The Definitional Side of the Forcing
(
LICS 2016
)
More Information...
Paper:
Guilhem Jaber
Nikos Tzevelekos
Trace semantics for polymorphic references
(
LICS 2016
)
More Information...
Paper:
Guilhem Jaber
Andrzej S. Murawski
Compositional relational reasoning via operational game semantics
(
LICS 2021
)
More Information...
Bart Jacobs
Paper:
Bart Jacobs
Measurable Spaces and Their Effect Logic
(
LICS 2013
)
More Information...
Paper:
Wataru Hino
Hiroki Kobayashi
Ichiro Hasuo
Bart Jacobs
Healthiness from Duality
(
LICS 2016
)
More Information...
Paper:
Bart Jacobs
From Multisets over Distributions to Distributions over Multisets
(
LICS 2021
)
More Information...
Paper:
Bart Jacobs
Partitions and Ewens Distributions in element-free Probability Theory
(
LICS 2022
)
More Information...
Charlie Jacomme
Paper:
Gilles Barthe
Charlie Jacomme
Steve Kremer
Universal equivalence and majority of probabilistic programs over finite fields
(
LICS 2020
)
More Information...
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...
Farzad Jafar-Rahmani
Paper:
Thomas Ehrhard
Farzad Jafar-Rahmani
Categorical models of Linear Logic with fixed points of formulas
(
LICS 2021
)
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...
Vishal Jagannath
Paper:
Gilles Barthe
Rohit Chadha
Vishal Jagannath
A. Prasad Sistla
Mahesh Viswanathan
Deciding Differential Privacy for Programs with Finite Inputs and Outputs
(
LICS 2020
)
More Information...
Sanjay Jain
Paper:
Sanjay Jain
Alexei Miasnikov
Frank Stephan
The Complexity of Verbal Languages over Groups
(
LICS 2012
)
More Information...
Tomás Jakl
Paper:
Anuj Dawar
Tomás Jakl
Luca Reggio
Lovász-Type Theorems and Game Comonads
(
LICS 2021
)
More Information...
Petr Jančar
Paper:
Petr Jančar
Sylvain Schmitz
Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete
(
LICS 2019
)
More Information...
Petr Jančar
Paper:
Petr Jančar
Strong Bisimilarity on Basic Parallel Processes is PSPACE-complete
(
LICS 2003
)
More Information...
Short Presentation:
Stanislav Böhm
Stefan Göller
Petr Jančar
Bisimilarity of one-counter processes is PSPACE-complete
(
LICS 2010
)
More Information...
Paper:
Petr Jančar
Decidability of DPDA Language Equivalence via First-Order Grammars
(
LICS 2012
)
More Information...
Paper:
Wojciech Czerwinski
Petr Jančar
Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME
(
LICS 2015
)
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...
Simon Jantsch
Paper:
Corto Mascle
Christel Baier
Florian Funke
Simon Jantsch
Stefan Kiefer
Responsibility and verification: Importance value in temporal logics
(
LICS 2021
)
More Information...
Mauro Jaskelioff
Paper:
Maciej Piróg
Tom Schrijvers
Nicolas Wu
Mauro Jaskelioff
Syntax and Semantics for Operations with Scopes
(
LICS 2018
)
More Information...
Lalita Jategaonkar
Paper:
Lalita Jategaonkar
Albert R. Meyer
Self-synchronization of concurrent processes
(
LICS 1993
)
More Information...
Emmanuel Jeandel
Paper:
Emmanuel Jeandel
Enumeration reducibility in closure spaces with applications to logic and algebra
(
LICS 2017
)
More Information...
Paper:
Emmanuel Jeandel
Simon Perdrix
Renaud Vilmart
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
(
LICS 2018
)
More Information...
Paper:
Emmanuel Jeandel
Simon Perdrix
Renaud Vilmart
Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics
(
LICS 2018
)
More Information...
Paper:
Emmanuel Jeandel
Simon Perdrix
Renaud Vilmart
A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness
(
LICS 2019
)
More Information...
Jean-Baptiste Jeannin
Paper:
Jean-Baptiste Jeannin
Dexter C. Kozen
Capsules and Separation
(
LICS 2012
)
More Information...
Ismaël Jecker
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...
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...
Paper:
Alan Jeffrey
Functional reactive types
(
LICS 2014
)
More Information...
Paper:
Alan Jeffrey
James Riely
On Thin Air Reads Towards an Event Structures Model of Relaxed Memory
(
LICS 2016
)
More Information...
Mark Jenkins
Paper:
Mark Jenkins
Joël Ouaknine
Alexander M. 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...
Paper:
Matthew Fredrikson
Somesh Jha
Satisfiability modulo counting: a new approach for analyzing privacy properties
(
LICS 2014
)
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...
Paper:
Arthur Azevedo de Amorim
Matt Fredrikson
Limin Jia
Reconciling noninterference and gradual typing
(
LICS 2020
)
More Information...
Paper:
Farzaneh Derakhshan
Stephanie Balzer
Limin Jia
Session Logical Relations for Noninterference
(
LICS 2021
)
More Information...
Xiaodong Jia
Paper:
Xiaodong Jia
Bert Lindenhovius
Michael W. Mislove
Vladimir Zamdzhiev
Commutative Monads for Probabilistic Programming Languages
(
LICS 2021
)
More Information...
Patricia Johann
Paper:
Patricia Johann
Alex K. Simpson
Janis Voigtländer
A Generic Operational Metatheory for Algebraic Effects
(
LICS 2010
)
More Information...
Paper:
Kristina Sojakova
Patricia Johann
A General Framework for Relational Parametricity
(
LICS 2018
)
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...
Peter Jonsson
Paper:
Gustav Nordh
Peter Jonsson
An Algebraic Approach to the Complexity of Propositional Circumscription
(
LICS 2004
)
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...
Charles Jordan
Short Presentation:
Charles Jordan
Thomas Zeugmann
Recent Progress in the Classification for Testability
(
LICS 2011
)
More Information...
Kishor Jothimurugan
Paper:
Rajeev Alur
Yu Chen
Kishor Jothimurugan
Sanjeev Khanna
Space-efficient Query Evaluation over Probabilistic Event Streams
(
LICS 2020
)
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 Nielsen
Glynn Winskel
Bisimulation and open maps
(
LICS 1993
)
More Information...
Invited Paper:
André Joyal
Lattices, Categories and Communication
(
LICS 1996
)
More Information...
Vincent Jugé
Paper:
S. Akshay
Paul Gastin
Vincent Jugé
Shankara Narayanan Krishna
Timed Systems through the Lens of Logic
(
LICS 2019
)
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...
Paper:
Achim Jung
Umberto Rivieccio
Kripke Semantics for Modal Bilattice Logic
(
LICS 2013
)
More Information...
Jean Christoph Jung
Paper:
Stefan Göller
Jean Christoph Jung
Markus Lohrey
The Complexity of Decomposing Modal and First-Order Theories
(
LICS 2012
)
More Information...
Paper:
Jean Christoph Jung
Fabio Papacchini
Frank Wolter
Michael Zakharyaschev
Model Comparison Games for Horn Description Logics
(
LICS 2019
)
More Information...
Paper:
Jean Christoph Jung
Frank Wolter
Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments
(
LICS 2021
)
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...
Paper:
Marcin Jurdzinski
Ranko Lazic
Succinct progress measures for solving parity games
(
LICS 2017
)
More Information...
Paper:
Thomas Colcombet
Marcin Jurdzinski
Ranko Lazic
Sylvain Schmitz
Perfect half space games
(
LICS 2017
)
More Information...
Paper:
Laure Daviaud
Marcin Jurdzinski
Ranko Lazic
A pseudo-quasi-polynomial algorithm for mean-payoff parity games
(
LICS 2018
)
More Information...
Charanjit S. Jutla
Paper:
E. Allen Emerson
Charanjit S. Jutla
On simultaneously determinizing and complementing ω-automata
(
LICS 1989
)
More Information...
Marta Juzepczuk
Paper:
Piotr Hofman
Marta Juzepczuk
Slawomir Lasota
Mohnish Pattathurajan
Parikh's theorem for infinite alphabets
(
LICS 2021
)
More Information...
Last modified: 2022-10-31
13:49
Sam Staton