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: U
LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners
Authors on this page:
Taichi Uemura
Sander Uijlen
Irek Ulidowski
Ulrich Ultes-Nitsche
Hiroshi Unno
Dominique Unruh
Natsuki Urabe
Takeo Uramoto
Christian Urban
Henning Urbat
Raimundo Saona Urmeneta
Alasdair Urquhart
Pawel Urzyczyn
Tarmo Uustalu
Taichi Uemura
Paper:
Taichi Uemura
Fibred fibration categories
(
LICS 2017
)
More Information...
Sander Uijlen
Paper:
Aleks Kissinger
Sander Uijlen
A categorical semantics for causal structure
(
LICS 2017
)
More Information...
Irek Ulidowski
Paper:
Irek Ulidowski
Equivalences on observable processes
(
LICS 1992
)
More Information...
Ulrich Ultes-Nitsche
Paper:
Joël D. Allred
Ulrich Ultes-Nitsche
A Simple and Optimal Complementation Algorithm for Büchi Automata
(
LICS 2018
)
More Information...
Hiroshi Unno
Paper:
Yoji Nanjo
Hiroshi Unno
Eric Koskinen
Tachio Terauchi
A Fixpoint Logic and Dependent Effects for Temporal Property Verification
(
LICS 2018
)
More Information...
Dominique Unruh
Paper:
Dominique Unruh
Quantum Hoare Logic with Ghost Variables
(
LICS 2019
)
More Information...
Natsuki Urabe
Paper:
Natsuki Urabe
Masaki Hara
Ichiro Hasuo
Categorical liveness checking by corecursive algebras
(
LICS 2017
)
More Information...
Takeo Uramoto
Paper:
Takeo Uramoto
Semi-galois Categories I: The Classical Eilenberg Variety Theory
(
LICS 2016
)
More Information...
Christian Urban
Paper:
Christian Urban
James Cheney
Stefan Berghofer
Mechanizing the Metatheory of LF
(
LICS 2008
)
More Information...
Henning Urbat
Paper:
Jiri Adamek
Robert S. R. Myers
Henning Urbat
Stefan Milius
Varieties of Languages in a Category
(
LICS 2015
)
More Information...
Paper:
Henning Urbat
Lutz Schröder
Automata Learning: An Algebraic Approach
(
LICS 2020
)
More Information...
Paper:
Henning Urbat
Stelios Tsampas
Sergey Goncharov
Stefan Milius
Lutz Schröder
Weak Similarity in Higher-Order Mathematical Operational Semantics
(
LICS 2023
)
More Information...
Paper:
Sergey Goncharov
Stefan Milius
Stelios Tsampas
Henning Urbat
Bialgebraic Reasoning on Higher-order Program Equivalence
(
LICS 2024
)
More Information...
Raimundo Saona Urmeneta
Paper:
Ali Asadi
Krishnendu Chatterjee
Jakub Svoboda
Raimundo Saona Urmeneta
Deterministic Sub-exponential Algorithm for Discounted-sum Games with Unary Weights
(
LICS 2024
)
More Information...
Alasdair Urquhart
Paper:
Russell Impagliazzo
Toniann Pitassi
Alasdair Urquhart
Upper and lower bounds for tree-like cutting planes proofs
(
LICS 1994
)
More Information...
Pawel Urzyczyn
Paper:
Assaf J. Kfoury
Jerzy Tiuryn
Pawel Urzyczyn
The Hierarchy of Finitely Typed Functional Programs (Short Version)
(
LICS 1987
)
More Information...
Paper:
Assaf J. Kfoury
Jerzy Tiuryn
Pawel Urzyczyn
On the computational power of universally polymorphic recursion
(
LICS 1988
)
More Information...
Paper:
Assaf J. Kfoury
Jerzy Tiuryn
Pawel Urzyczyn
Computational consequences and partial solutions of a generalized unification problem
(
LICS 1989
)
More Information...
Paper:
Pawel Urzyczyn
The emptiness problem for intersection types
(
LICS 1994
)
More Information...
Paper:
Jerzy Tiuryn
Pawel Urzyczyn
The Subtyping Problem for Second-Order Types is Undecidable
(
LICS 1996
)
More Information...
Paper:
Mariangiola Dezani-Ciancaglini
Jerzy Tiuryn
Pawel Urzyczyn
Discrimination by Parallel Observers
(
LICS 1997
)
More Information...
Tarmo Uustalu
Paper:
Shin-ya Katsumata
Exequiel Rivas
Tarmo Uustalu
Interaction Laws of Monads and Comonads
(
LICS 2020
)
More Information...
Last modified: 2024-10-24
9:41
Sam Staton