IEEE Symposium on Logic in Computer Science

A B C D E F G H I J K L M N O P QR S T U V W X Y Z

Authors on this page:

• Maddalena Zacchi
• Michael Zakharyaschev
• Anna Zamansky
• Noam Zeilberger
• Thomas Zeugmann
• Jing-Zhong Zhang
• Shipei Zhang
• Guo-Qiang Zhang
• Chenyi Zhang
• Ting Zhang
• Lijun Zhang
• Tian Zhao
• Xiangnan Zhou
• Martin Ziegler
• Wieslaw Zielonka
• Martin Zimmermann
• Julian Zinn
• Lenore D. Zuck
• Jeffery I. Zucker
• Roberto Zunino
• Amy E. Zwarico

Maddalena Zacchi

• Paper: Mario Coppo Maddalena Zacchi
  Type inference and logical relations (LICS 1986) 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...

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

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

Thomas Zeugmann

• Short Presentation: Charles Jordan Thomas Zeugmann
  Recent Progress in the Classification for Testability (LICS 2011) 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...

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

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

Lijun Zhang

• Paper: Christian Eisentraut Holger Hermanns Lijun Zhang
  On Probabilistic Automata In Continuous Time (LICS 2010) 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...

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

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

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

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

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