Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(1239)
Moshe Vardi
26
Gordon Plotkin
17
Marcelo P. Fiore
16
Martin Grohe
14
Phokion G. Kolaitis
13
C.-H. Luke Ong
13
Martín Abadi
13
Leonid Libkin
13
Vincent Danos
12
Amir Pnueli
12
Keywords
(905)
Subscribe
Academic
Conferences
LICS - Logic in Computer Science
LICS - Logic in Computer Science
Publications: 1,347
|
Citation Count: 36,852 (Self-Citation: 1,570)
|
H-Index: 79Year Range: 1986-2011
Interests:
Algorithms & Theory
Paper submissions due: 13 January 2012, Duration:
25 - 28 June 2012, Dubrovnik, Croatia (Hrvatska)
Homepage
|
CFP
The information isn't correct? You can
edit it
Cumulative
Annual
Order by:
Publications
(1347)
Regular Repair of Specifications
(
Citations: 1
)
Michael Benedikt
,
Gabriele Puppis
,
Cristian Riveros
Conference:
Logic in Computer Science - LICS
, pp. 335-344, 2011
The Dichotomy for Conservative Constraint Satisfaction Problems Revisited
(
Citations: 2
)
Libor Barto
Conference:
Logic in Computer Science - LICS
, pp. 301-310, 2011
Semantics of Higher-Order Quantum Computation via Geometry of Interaction
(
Citations: 1
)
Ichiro Hasuo
,
Naohiko Hoshino
Conference:
Logic in Computer Science - LICS
, pp. 237-246, 2011
Powermonads and Tensors of Unranked Effects
(
Citations: 1
)
Sergey Goncharov
,
Lutz Schröder
Conference:
Logic in Computer Science - LICS
, vol. abs/1101.2, pp. 227-236, 2011
The Complexity of Verifying Ground Tree Rewrite Systems
(
Citations: 1
)
Stefan Goller
,
Anthony Widjaja Lin
Conference:
Logic in Computer Science - LICS
, pp. 279-288, 2011