ACM/IEEE Symposium on Logic in Computer Science
LICS Home
-
LICS Awards
-
LICS Newsletters
-
LICS Archive
-
LICS Organization
-
Logic-Related Conferences
-
Links
Index by Authors:
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
Papers and Short Presentations by Authors: Y
LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners
Authors on this page:
Hongseok Yang
Mihalis Yannakakis
Eyal Yardeni
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...
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...
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...
Last modified: 2022-10-31
13:49
Sam Staton