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:

• Hongseok Yang
• Mihalis Yannakakis
• Eyal Yardeni
• Lia Yeh
• Richie Yeung
• Wang Yi
• Mingsheng Ying
• Hirofumi Yokouchi
• Keita Yokoyama
• Nobuko Yoshida
• Akira Yoshimizu
• Sergio Yovine
• Nengkun Yu
• Tingting Yu
• Yifei Yuan

Hongseok Yang

• Paper: Lars Birkedal Noah Torp-Smith Hongseok Yang
  Semantics of Separation-Logic Typing and Higher-Order Frame Rules (LICS 2005) More Information...
• Paper: Cristiano Calcagno Peter W. O'Hearn Hongseok Yang
  Local Action and Abstract Separation Logic (LICS 2007) More Information...
• Short Presentation: Thomas Dinsdale-Young Lars Birkedal Philippa Gardner Matthew Parkinson Hongseok Yang
  Views: Compositional Reasoning for Concurrent Programs (LICS 2012) More Information...
• Paper: Sam Staton Hongseok Yang Frank Wood Chris Heunen Ohad Kammar
  Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints (LICS 2016) More Information...
• Paper: Chris Heunen Ohad Kammar Sam Staton Hongseok Yang
  A convenient category for higher-order probability theory (LICS 2017) More Information...

Mihalis Yannakakis

• Invited Paper: Mihalis Yannakakis
  Testing, Optimizaton, and Games (LICS 2004) More Information...

Eyal Yardeni

• Paper: Thom W. Frühwirth Ehud Y. Shapiro Moshe Y. Vardi Eyal Yardeni
  Logic programs as types for logic programs (LICS 1991) More Information...

Lia Yeh

• Paper: Boldizsár Poór Quanlong Wang Razin A. Shaikh Lia Yeh Richie Yeung Bob Coecke
  Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus (LICS 2023) More Information...

Richie Yeung

• Paper: Boldizsár Poór Quanlong Wang Razin A. Shaikh Lia Yeh Richie Yeung Bob Coecke
  Completeness for arbitrary finite dimensions of ZXW-calculus, a unifying calculus (LICS 2023) More Information...

Wang Yi

• Paper: Bengt Jonsson Wang Yi
  Compositional Testing Preorders for Probabilistic Processes (LICS 1995) More Information...

Mingsheng Ying

• Short Presentation: Yangjia Li Nengkun Yu Mingsheng Ying
  Termination of Nondeterministic Quantum Programs (LICS 2012) More Information...
• 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...

Hirofumi Yokouchi

• Paper: Hirofumi Yokouchi
  Completeness of Type Assignment Systems with Intersection, Union, and Type Quantifiers (LICS 1998) More Information...

Keita Yokoyama

• Paper: Yijia Chen Moritz Müller Keita Yokoyama
  A parameterized halting problem, the linear time hierarchy, and the MRDP theorem (LICS 2018) More Information...

Nobuko Yoshida

• Paper: Nobuko Yoshida Matthew Hennessy
  Assigning Types to Processes (LICS 2000) More Information...
• Paper: Kohei Honda Nobuko Yoshida Martin Berger
  Strong Normalisation in the π-Calculus (LICS 2001) More Information...
• Paper: Kohei Honda Nobuko Yoshida Martin Berger
  An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules (LICS 2005) More Information...
• Paper: Romain Demangeon Nobuko Yoshida
  Causal Computational Complexity of Distributed Processes (LICS 2018) More Information...
• Paper: Kirstin Peters Nobuko Yoshida
  Separation and Encodability in Mixed Choice Multiparty Sessions (LICS 2024) More Information...

Akira Yoshimizu

• Paper: Ugo Dal Lago Claudia Faggian Ichiro Hasuo Akira Yoshimizu
  The geometry of synchronization (LICS 2014) More Information...
• Paper: Ugo Dal Lago Claudia Faggian Benoît Valiron Akira Yoshimizu
  Parallelism and Synchronization in an Infinitary Context (LICS 2015) More Information...
• Paper: Ugo Dal Lago Ryo Tanaka Akira Yoshimizu
  The geometry of concurrent interaction: Handling multiple ports by way of multiple tokens (LICS 2017) More Information...

Sergio Yovine

• Paper: Thomas A. Henzinger Xavier Nicollin Joseph Sifakis Sergio Yovine
  Symbolic model checking for real-time systems (LICS 1992) More Information...

Nengkun Yu

• Short Presentation: Yangjia Li Nengkun Yu Mingsheng Ying
  Termination of Nondeterministic Quantum Programs (LICS 2012) More Information...
• 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...

Tingting Yu

• Paper: Xinxin Liu Tingting Yu
  A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours (LICS 2021) More Information...

Yifei Yuan

• Invited Paper: Rajeev Alur Loris D'Antoni Jyotirmoy V. Deshmukh Mukund Raghothaman Yifei Yuan
  Regular Functions and Cost Register Automata (LICS 2013) More Information...