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:

• Hongseok Yang
• Mihalis Yannakakis
• Eyal Yardeni
• Wang Yi
• Hirofumi Yokouchi
• Nobuko Yoshida
• Sergio Yovine

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

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

Wang Yi

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

Hirofumi Yokouchi

• Paper: Hirofumi Yokouchi
  Completeness of Type Assignment Systems with Intersection, Union, and Type Quantifiers (LICS 1998) 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...

Sergio Yovine

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