Authors on this page:
Hongseok Yang
- Paper: Lars Birkedal Noah Torp-Smith Hongseok Yang
Semantics of Separation-Logic Typing and Higher-Order Frame Rules (LICS 2005) More Information...
Mihalis Yannakakis
- Invited Talk: Mihalis Yannakakis
Testing, Optimizaton, and Games (LICS 2004) More Information...
Eyal Yardeni
- Paper: Thom Fruhwirth Ehud Shapiro Moshe Y. Vardi Eyal Yardeni
Logic programs as types for logic programs (LICS 1991) 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
An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules (LICS 2005) More Information...
Yovine, S.
- Paper: Henzinger, T.A. Nicollin, X. Sifakis, J. Yovine, S.
Symbolic model checking for real-time systems (LICS 1992) More Information...