Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Authors
(589)
Yuri Gurevich
13
Andreas Blass
10
Thomas Eiter
9
V. S. Subrahmanian
6
Thomas A. Henzinger
6
Krishnendu Chatterjee
5
Marc Denecker
5
Frank Pfenning
5
Georg Gottlob
5
Nicola Olivetti
5
Keywords
(650)
Subscribe
Academic
Journals
TOCL - ACM Transactions on Computational Logic
ACM Transactions on Computational Logic,TOCL,Algorithms & Theory
TOCL - ACM Transactions on Computational Logic
Publications: 360
|
Citation Count: 5,415 (Self-Citation: 115)
Year Range: 1986-2012
Fields of study:
Algorithms & Theory
Homepage
Cumulative
Annual
Sort by:
Publications
(360)
Model Checking of Recursive Probabilistic Systems
Kousha Etessami
,
Mihalis Yannakakis
Journal:
ACM Transactions on Computational Logic - TOCL
, pp. 1-40, 2012
On the Expressive Power of Multiple Heads in CHR
Cinzia Di Giusto
,
Maurizio Gabbrielli
,
Maria Chiara Meo
Journal:
ACM Transactions on Computational Logic - TOCL
, pp. 1-19, 2012
Reachability Problems in Piecewise FIFO Systems
Naghmeh Ghafari
,
Arie Gurfinkel
,
Nils Klarlund
,
Richard Trefler
Journal:
ACM Transactions on Computational Logic - TOCL
, pp. 1-33, 2012
An Implicit Characterization of PSPACE
Marco Gaboardi
,
Jean-Yves Marion
,
Simona Ronchi Della Rocca
Journal:
ACM Transactions on Computational Logic - TOCL
, pp. 1-36, 2012
Annotated Probabilistic Temporal Logic: Approximate Fixpoint Implementation
Paulo Shakarian
,
Gerardo I. Simari
,
V. S. Subrahmanian
Journal:
ACM Transactions on Computational Logic - TOCL
, pp. 1-33, 2012