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: Z
LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners
Authors on this page:
Maddalena Zacchi
Philipp Zahn
Faried Abu Zaid
Michael Zakharyaschev
Anna Zamansky
Vladimir Zamdzhiev
Fabio Zanasi
Noam Zeilberger
Marc Zeitoun
Ian Zerny
Georg Zetzsche
Thomas Zeugmann
Thomas Zeume
Lijun Zhang
Ting Zhang
Guo-Qiang Zhang
Chenyi Zhang
Jing-Zhong Zhang
Shipei Zhang
Tian Zhao
Xiangnan Zhou
Li Zhou
Dmitriy Zhuk
Maksim Zhukovskii
Martin Ziegler
Wieslaw Zielonka
Martin Zimmermann
Julian Zinn
Stanislav Zivny
Stanislav Zivný
Rébecca Zucchini
Lenore D. Zuck
Jeffery I. Zucker
Florian Zuleger
Roberto Zunino
Amy E. Zwarico
Maaike Zwart
Maddalena Zacchi
Paper:
Mario Coppo
Maddalena Zacchi
Type inference and logical relations
(
LICS 1986
)
More Information...
Philipp Zahn
Paper:
Neil Ghani
Jules Hedges
Viktor Winschel
Philipp Zahn
Compositional Game Theory
(
LICS 2018
)
More Information...
Faried Abu Zaid
Paper:
Faried Abu Zaid
Anuj Dawar
Erich Grädel
Wied Pakusa
Definability of summation problems for Abelian groups and semigroups
(
LICS 2017
)
More Information...
Michael Zakharyaschev
Paper:
Ian M. Hodkinson
Frank Wolter
Michael Zakharyaschev
Decidable and undecidable fragments of first-order branching temporal logics
(
LICS 2002
)
More Information...
Paper:
Stanislav Kikot
Roman Kontchakov
Vladimir V. Podolskii
Michael Zakharyaschev
On the succinctness of query rewriting over shallow ontologies
(
LICS 2014
)
More Information...
Paper:
Jean Christoph Jung
Fabio Papacchini
Frank Wolter
Michael Zakharyaschev
Model Comparison Games for Horn Description Logics
(
LICS 2019
)
More Information...
Anna Zamansky
Paper:
Arnon Avron
Ofer Arieli
Anna Zamansky
On Strong Maximality of Paraconsistent Finite-Valued Logics
(
LICS 2010
)
More Information...
Paper:
Arnon Avron
Beata Konikowska
Anna Zamansky
Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics
(
LICS 2012
)
More Information...
Vladimir Zamdzhiev
Paper:
Bert Lindenhovius
Michael Mislove
Vladimir Zamdzhiev
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams
(
LICS 2018
)
More Information...
Paper:
Xiaodong Jia
Bert Lindenhovius
Michael W. Mislove
Vladimir Zamdzhiev
Commutative Monads for Probabilistic Programming Languages
(
LICS 2021
)
More Information...
Paper:
Martin Avanzini
Georg Moser
Romain Péchoux
Simon Perdrix
Vladimir Zamdzhiev
Quantum Expectation Transformers for Cost Analysis
(
LICS 2022
)
More Information...
Paper:
Titouan Carette
Louis Lemonnier
Vladimir Zamdzhiev
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
(
LICS 2023
)
More Information...
Fabio Zanasi
Paper:
Alessandro Facchini
Yde Venema
Fabio Zanasi
A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus
(
LICS 2013
)
More Information...
Paper:
Facundo Carreiro
Alessandro Facchini
Yde Venema
Fabio Zanasi
Weak MSO: automata and expressiveness modulo bisimilarity
(
LICS 2014
)
More Information...
Paper:
Filippo Bonchi
Fabio Gadducci
Aleks Kissinger
Pawel Sobocinski
Fabio Zanasi
Rewriting modulo symmetric monoidal structure
(
LICS 2016
)
More Information...
Paper:
Filippo Bonchi
Fabio Gadducci
Aleks Kissinger
Pawel Sobocinski
Fabio Zanasi
Rewriting with Frobenius
(
LICS 2018
)
More Information...
Paper:
Filippo Bonchi
Robin Piedeleu
Pawel Sobocinski
Fabio Zanasi
Graphical Affine Algebra
(
LICS 2019
)
More Information...
Noam Zeilberger
Paper:
Daniel R. Licata
Noam Zeilberger
Robert Harper
Focusing on Binding and Computation
(
LICS 2008
)
More Information...
Paper:
Noam Zeilberger
Polarity and the Logic of Delimited Continuations
(
LICS 2010
)
More Information...
Paper:
Paul-André Melliès
Noam Zeilberger
A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
(
LICS 2016
)
More Information...
Paper:
Noam Zeilberger
A theory of linear typings as flows on 3-valent graphs
(
LICS 2018
)
More Information...
Marc Zeitoun
Paper:
Benedikt Bollig
Paul Gastin
Benjamin Monmege
Marc Zeitoun
Logical characterization of weighted pebble walking automata
(
LICS 2014
)
More Information...
Paper:
Thomas Place
Marc Zeitoun
Separating regular languages with first-order logic
(
LICS 2014
)
More Information...
Paper:
Thomas Place
Marc Zeitoun
Separation for dot-depth two
(
LICS 2017
)
More Information...
Paper:
Thomas Place
Marc Zeitoun
Separation and covering for group based concatenation hierarchies
(
LICS 2019
)
More Information...
Paper:
Thomas Place
Marc Zeitoun
Group Separation Strikes Back
(
LICS 2023
)
More Information...
Paper:
Thomas Place
Marc Zeitoun
Dot-depth three, return of the J-class
(
LICS 2024
)
More Information...
Ian Zerny
Short Presentation:
Robert J. Simmons
Ian Zerny
A Logical Correspondence between Natural Semantics and Abstract Machines
(
LICS 2013
)
More Information...
Georg Zetzsche
Paper:
Mohamed Faouzi Atig
Dmitry Chistikov
Piotr Hofman
K. Narayan Kumar
Prakash Saivasan
Georg Zetzsche
The complexity of regular abstractions of one-counter languages
(
LICS 2016
)
More Information...
Paper:
Emanuele D'Osualdo
Roland Meyer
Georg Zetzsche
First-order logic with reachability for infinite-state systems
(
LICS 2016
)
More Information...
Paper:
Simon Halfon
Philippe Schnoebelen
Georg Zetzsche
Decidability, complexity, and expressiveness of first-order logic over the subword ordering
(
LICS 2017
)
More Information...
Paper:
Georg Zetzsche
Separability by piecewise testable languages and downward closures beyond subwords
(
LICS 2018
)
More Information...
Paper:
Christoph Haase
Georg Zetzsche
Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests
(
LICS 2019
)
More Information...
Paper:
Mikolaj Bojanczyk
Edon Kelmendi
Rafal Stefanski
Georg Zetzsche
Extensions of ω-Regular Languages
(
LICS 2020
)
More Information...
Paper:
Wojciech Czerwinski
Georg Zetzsche
An Approach to Regular Separability in Vector Addition Systems
(
LICS 2020
)
More Information...
Paper:
Moses Ganardi
Rupak Majumdar
Georg Zetzsche
The Complexity of Bidirected Reachability in Valence Systems
(
LICS 2022
)
More Information...
Paper:
Pascal Bergsträßer
Moses Ganardi
Anthony W. Lin
Georg Zetzsche
Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification
(
LICS 2022
)
More Information...
Paper:
Ashwani Anand
Sylvain Schmitz
Lia Schütze
Georg Zetzsche
Verifying Unboundedness via Amalgamation
(
LICS 2024
)
More Information...
Paper:
Laura Ciobanu
Georg Zetzsche
Slice closures of indexed languages and word equations with counting constraints
(
LICS 2024
)
More Information...
Thomas Zeugmann
Short Presentation:
Charles Jordan
Thomas Zeugmann
Recent Progress in the Classification for Testability
(
LICS 2011
)
More Information...
Thomas Zeume
Paper:
Thomas Zeume
Frederik Harwath
Order-Invariance of Two-Variable Logic is Decidable
(
LICS 2016
)
More Information...
Paper:
Szymon Torunczyk
Thomas Zeume
Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
(
LICS 2020
)
More Information...
Paper:
Corentin Barloy
Michaël Cadilhac
Charles Paperman
Thomas Zeume
The Regular Languages of First-Order Logic with One Alternation
(
LICS 2022
)
More Information...
Lijun Zhang
Paper:
Christian Eisentraut
Holger Hermanns
Lijun Zhang
On Probabilistic Automata In Continuous Time
(
LICS 2010
)
More Information...
Paper:
Joost-Pieter Katoen
Lei Song
Lijun Zhang
Probably safe or live
(
LICS 2014
)
More Information...
Ting Zhang
Paper:
Yang Cai
Ting Zhang
Haifeng Luo
An Improved Lower Bound for the Complementation of Rabin Automata
(
LICS 2009
)
More Information...
Short Presentation:
Yang Cai
Ting Zhang
Can Nondeterminism Help Complementation?
(
LICS 2011
)
More Information...
Guo-Qiang Zhang
Paper:
Guo-Qiang Zhang
William C. Rounds
Complexity of Power Default Reasoning
(
LICS 1997
)
More Information...
Short Presentation:
Guo-Qiang Zhang
Xiangnan Zhou
Robert Fraser
Licong Cui
Concatenation and Kleene Star on Deterministic Finite Automata
(
LICS 2011
)
More Information...
Chenyi Zhang
Paper:
Yuxin Deng
Rob J. van Glabbeek
Matthew Hennessy
Carroll Morgan
Chenyi Zhang
Characterising Testing Preorders for Finite Probabilistic Processes
(
LICS 2007
)
More Information...
Jing-Zhong Zhang
Paper:
Shang-Ching Chou
Xiao-Shan Gao
Jing-Zhong Zhang
Automated production of traditional proofs for constructive geometry theorems
(
LICS 1993
)
More Information...
Shipei Zhang
Paper:
Shipei Zhang
Oleg Sokolsky
Scott A. Smolka
On the parallel complexity of model checking in the modal mu-calculus
(
LICS 1994
)
More Information...
Tian Zhao
Paper:
Jens Palsberg
Tian Zhao
Efficient and Flexible Matching of Recursive Types
(
LICS 2000
)
More Information...
Paper:
Jens Palsberg
Tian Zhao
Efficient Type Inference for Record Concatenation and Subtyping
(
LICS 2002
)
More Information...
Xiangnan Zhou
Short Presentation:
Guo-Qiang Zhang
Xiangnan Zhou
Robert Fraser
Licong Cui
Concatenation and Kleene Star on Deterministic Finite Automata
(
LICS 2011
)
More Information...
Li Zhou
Paper:
Li Zhou
Gilles Barthe
Justin Hsu
Mingsheng Ying
Nengkun Yu
A Quantum Interpretation of Bunched Logic and Quantum Separation Logic
(
LICS 2021
)
More Information...
Paper:
Junyi Liu
Li Zhou
Gilles Barthe
Mingsheng Ying
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs
(
LICS 2022
)
More Information...
Dmitriy Zhuk
Paper:
Libor Barto
Zarathustra Brady
Andrei Bulatov
Marcin Kozik
Dmitriy Zhuk
Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP
(
LICS 2021
)
More Information...
Paper:
Dmitriy Zhuk
No-Rainbow Problem and the Surjective Constraint Satisfaction Problem
(
LICS 2021
)
More Information...
Maksim Zhukovskii
Paper:
Danila Demin
Maksim Zhukovskii
First order complexity of finite random structures
(
LICS 2024
)
More Information...
Paper:
Tal Hershko
Maksim Zhukovskii
First order distinguishability of sparse random graphs
(
LICS 2024
)
More Information...
Martin Ziegler
Paper:
Christian Herrmann
Martin Ziegler
Computational Complexity of Quantum Satisfiability
(
LICS 2011
)
More Information...
Short Presentation:
Akitoshi Kawamura
Norbert Müller
Carsten Rösnick
Martin Ziegler
Uniform Polytime Computable Operators on Univariate Real Analytic Functions
(
LICS 2012
)
More Information...
Paper:
Akitoshi Kawamura
Florian Steinberg
Martin Ziegler
Complexity Theory of (Functions on) Compact Metric Spaces
(
LICS 2016
)
More Information...
Wieslaw Zielonka
Paper:
Hugo Gimbert
Wieslaw Zielonka
Limits of Multi-Discounted Markov Decision Processes
(
LICS 2007
)
More Information...
Martin Zimmermann
Short Presentation:
Daniel Neider
Roman Rabinovich
Martin Zimmermann
Down the Borel Hierarchy: Solving Muller Games via Safety Games
(
LICS 2012
)
More Information...
Paper:
Martin Zimmermann
Games with costs and delays
(
LICS 2017
)
More Information...
Paper:
Karoliina Lehtinen
Martin Zimmermann
Good-for-games ω-Pushdown Automata
(
LICS 2020
)
More Information...
Julian Zinn
Short Presentation:
Julian Zinn
Rakesh Verma
A Polynomial-time Algorithm for Uniqueness of Normal Forms of Linear Shallow Term Rewrite Systems
(
LICS 2006
)
More Information...
Stanislav Zivny
Paper:
Martin C. Cooper
Stanislav Zivny
The Power of Arc Consistency for CSPs Defined by Partially-Ordered Forbidden Patterns
(
LICS 2016
)
More Information...
Paper:
Johan Thapper
Stanislav Zivny
The limits of SDP relaxations for general-valued CSPs
(
LICS 2017
)
More Information...
Paper:
Clément Carbonnel
Miguel Romero
Stanislav Zivny
Point-width and Max-CSPs
(
LICS 2019
)
More Information...
Stanislav Zivný
Paper:
Balázs F. Mezei
Marcin Wrochna
Stanislav Zivný
PTAS for Sparse General-Valued CSPs
(
LICS 2021
)
More Information...
Paper:
Tamio-Vesa Nakajima
Stanislav Zivný
Boolean symmetric vs
(
LICS 2023
)
More Information...
Paper:
Libor Barto
Silvia Butti
Alexandr Kazda
Caterina Viola
Stanislav Zivný
Algebraic Approach to Approximation
(
LICS 2024
)
More Information...
Paper:
Lorenzo Ciardo
Marcin Kozik
Andrei A. Krokhin
Tamio-Vesa Nakajima
Stanislav Zivný
1-in-3 vs
(
LICS 2024
)
More Information...
Rébecca Zucchini
Paper:
Brigitte Pientka
David Thibodeau
Andreas Abel
Francisco Ferreira
Rébecca Zucchini
A Type Theory for Defining Logics and Proofs
(
LICS 2019
)
More Information...
Lenore D. Zuck
Paper:
Amir Pnueli
Lenore D. Zuck
Probabilistic Verification by Tableaux
(
LICS 1986
)
More Information...
Paper:
A. Prasad Sistla
Lenore D. Zuck
On the Eventuality Operator in Temporal Logic
(
LICS 1987
)
More Information...
Paper:
Amir Pnueli
Lenore D. Zuck
In and out of temporal logic
(
LICS 1993
)
More Information...
Jeffery I. Zucker
Paper:
Hing-Kai Hung
Jeffery I. Zucker
Semantics of pointers, referencing and dereferencing with intensional logic
(
LICS 1991
)
More Information...
Florian Zuleger
Paper:
Tomer Kotek
Mantas Simkus
Helmut Veith
Florian Zuleger
Extending ALCQIO with Trees
(
LICS 2015
)
More Information...
Paper:
Tomás Brázdil
Krishnendu Chatterjee
Antonín Kucera
Petr Novotný
Dominik Velan
Florian Zuleger
Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
(
LICS 2018
)
More Information...
Paper:
functional PCSP dichotomy. 1-12 Benjamin Aminof
Giuseppe De Giacomo
Sasha Rubin
Florian Zuleger
Stochastic Best-Effort Strategies for Borel Goals
(
LICS 2023
)
More Information...
Roberto Zunino
Paper:
Massimo Bartoletti
Roberto Zunino
A Calculus of Contracting Processes
(
LICS 2010
)
More Information...
Amy E. Zwarico
Paper:
Rance Cleaveland
Amy E. Zwarico
A theory of testing for real-time
(
LICS 1991
)
More Information...
Maaike Zwart
Paper:
Maaike Zwart
Dan Marsden
No-Go Theorems for Distributive Laws
(
LICS 2019
)
More Information...
Last modified: 2024-10-24
9:41
Sam Staton