Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

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:

• 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...