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: Q
LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners
Authors on this page:
Karin Quaas
Daniel A. Quiroz
Karin Quaas
Paper:
Karin Quaas
Mahsa Shirmohammadi
James Worrell
Revisiting reachability in timed automata
(
LICS 2017
)
More Information...
Daniel A. Quiroz
Paper:
Jan van den Heuvel
Stephan Kreutzer
Michal Pilipczuk
Daniel A. Quiroz
Roman Rabinovich
Sebastian Siebertz
Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion
(
LICS 2017
)
More Information...
Last modified: 2024-10-24
9:41
Sam Staton