ACM/IEEE Symposium on Logic in Computer Science

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

Authors on this page:

• Stefan Jaax
• Guilhem Jaber
• Bart Jacobs
• Charlie Jacomme
• Florent Jacquemard
• Manfred Jaeger
• Farzad Jafarrahmani
• Joxan Jaffar
• Radha Jagadeesan
• Vishal Jagannath
• Sanjay Jain
• Tomás Jakl
• Raheleh Jalali
• Petr Jancar
• David Janin
• Simon Jantsch
• Petr Jančar
• Mauro Jaskelioff
• Lalita Jategaonkar
• Emmanuel Jeandel
• Paul Jeanmaire
• Jean-Baptiste Jeannin
• Ismaël Jecker
• Jan Jedelský
• Alan Jeffrey
• Mark Jenkins
• Thomas P. Jensen
• Somesh Jha
• Limin Jia
• Xiaodong Jia
• Patricia Johann
• Jan Johannsen
• Magnus Johansson
• Philip Johnson-Freyd
• Peter Johnstone
• Curt Jones
• Tom de Jong
• 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 Kučera
  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 Jafarrahmani

• Paper: Thomas Ehrhard Farzad Jafarrahmani
  Categorical models of Linear Logic with fixed points of formulas (LICS 2021) More Information...
• Paper: Thomas Ehrhard Farzad Jafarrahmani Alexis Saurin
  On the denotation of circular and non-wellfounded proofs in linear logic with fixed points (LICS 2025) 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...
• Paper: Tomás Jakl Dan Marsden Nihil Shah
  A categorical account of composition methods in logic (LICS 2023) More Information...

Raheleh Jalali

• Paper: Stefan Hetzl Raheleh Jalali
  On the Completeness of Interpolation Algorithms (LICS 2024) More Information...

Petr Jancar

• Paper: Petr Jancar Sylvain Schmitz
  Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete (LICS 2019) 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...

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 Czerwiński Petr Jančar
  Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME (LICS 2015) 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...

Paul Jeanmaire

• Paper: Timothy Bourke Paul Jeanmaire Marc Pouzet
  Functional Stream Semantics for a Synchronous Block-Diagram Compiler (LICS 2025) 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...
• Paper: Emmanuel Filiot Ismaël Jecker Christof Löding Anca Muscholl Gabriele Puppis Sarah Winter
  Finite-valued Streaming String Transducers (LICS 2024) More Information...
• Paper: Ismaël Jecker Filip Mazowiecki David Purser
  Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata (LICS 2024) More Information...

Jan Jedelský

• Paper: Petr Hlinenský Jan Jedelský
  Transductions of Graph Classes Admitting Product Structure (LICS 2025) 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 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...

Philip Johnson-Freyd

• Paper: John M. Li Jon Aytac Philip Johnson-Freyd Amal Ahmed Steven Holtzen
  A Nominal Approach to Probabilistic Separation Logic (LICS 2024) 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...

Tom de Jong

• Paper: Tom de Jong Nicolai Kraus Fredrik Nordvall Forsberg Chuangjie Xu
  Set-Theoretic and Type-Theoretic Ordinals Coincide (LICS 2023) More Information...
• Paper: Tom de Jong Nicolai Kraus Fredrik Nordvall Forsberg Chuangjie Xu
  Ordinal Exponentiation in Homotopy Type Theory (LICS 2025) 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 Lazić
  Alternation-free modal mu-calculus for data trees (LICS 2007) More Information...
• Paper: Marcin Jurdzinski Ranko Lazić
  Succinct progress measures for solving parity games (LICS 2017) More Information...
• Paper: Thomas Colcombet Marcin Jurdzinski Ranko Lazić Sylvain Schmitz
  Perfect half space games (LICS 2017) More Information...
• Paper: Laure Daviaud Marcin Jurdzinski Ranko Lazić
  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...