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
Co-authors
(487)
Allan Borodin
9
Patrick W. Dymond
9
Jos Warmer
8
Alan Cameron Wills
7
Rachel Harrison
7
Conferences
(28)
STOC
19
LICS
10
FOCS
8
UML
4
OOPSLA
2
Journals
(49)
SIAMCOMP
13
JCSS
7
IANDC
5
CORR
5
JOOP
4
Keywords
(286)
Embed
Subscribe
Academic
Authors
Stephen Arthur Cook
Edit
Stephen Arthur Cook
University of Toronto
Publications: 233
|
Citations: 6846
|
G-Index: 80
|
H-Index: 37
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Algorithms & Theory
,
Scientific Computing
,
Programming Languages
View FAQ about top research area and research interests
Collaborated with
487 co-authors
from 1966 to 2011
; Cited by
5056 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(233)
BibTeX
|
RIS
|
RefWorks
Download
A xenon gas purity monitor for EXO
A. Dobi
,
C. Hall
,
S. Herrin
,
A. Odian
,
C. Y. Prescott
,
P. C. Rowson
,
N. Ackerman
,
B. Aharmin
,
M. Auger
,
P. S. Barbeau
,
K. Barry
,
C. Benitez-Medina
S. Cook
http://academic.research.microsoft.com/io.ashx?type=5&id=49229964&selfId1=1756296&selfId2=0&maxNumber=12&query=
Journal:
Pediatric News
, vol. 659, no. 1, pp. 215-228, 2011
Intercompany Study to Evaluate the Robustness of Capillary Isoelectric Focusing Technology for the Analysis of Monoclonal Antibodies
Oscar Salas-SolanoKunnel
,
Kunnel Babu
,
SungAe Suhr Park
,
Xinfeng Zhang
,
Li Zhang
,
Zoran Sosic
,
Boris Boumajny
,
Ming Zeng
,
Kuang-Chuan Cheng
,
Angelia Reed-Bogan
,
Stacey Cummins-Bitz
,
David A. Michels
Steven Cook
http://academic.research.microsoft.com/io.ashx?type=5&id=47602160&selfId1=1756296&selfId2=0&maxNumber=12&query=
Published in 2011.
Formalizing Randomized Matching Algorithms
Dai Tri Man Le
,
Stephen A. Cook
Conference:
Logic in Computer Science - LICS
, vol. abs/1103.5, pp. 185-194, 2011
Formal Theories for Linear Algebra
Stephen A. Cook
,
Lila Fontes
Journal:
Computing Research Repository - CORR
, vol. abs/1101.1, 2011
Pebbles and Branching Programs for Tree Evaluation
(
Citations: 3
)
Stephen A. Cook
,
Pierre McKenzie
,
Dustin Wehr
,
Mark Braverman
,
Rahul Santhanam
Journal:
Computing Research Repository - CORR
, vol. abs/1005.2, 2010
Order by:
Citations
(6846 times by 5228 publications)
The Complexity of Finding Multiple Solutions to Betweenness and Quartet Compatibility
Maria Luisa Bonet
,
Simone Linz
,
Katherine St. John
Journal:
IEEE/ACM Transactions on Computational Biology and Bioinformatics - TCBB
, vol. 9, no. 1, pp. 273-285, 2012
Quasi-interpretations a way to control resources
(
Citations: 31
)
Guillaume Bonfante
,
J.-Y. Marion
,
Jean-Yves Moyen
Journal:
Theoretical Computer Science - TCS
, vol. 412, no. 25, pp. 2776-2796, 2011
The pervasive reach of resource-bounded Kolmogorov complexity in computational complexity theory
(
Citations: 4
)
Eric Allender
,
Michal Koucký
,
Detlef Ronneburger
,
Sambuddha Roy
Journal:
Journal of Computer and System Sciences - JCSS
, vol. 77, no. 1, pp. 14-40, 2011
Unicast QoS Routing in Overlay Networks
(
Citations: 3
)
Dragos Ilie
,
Adrian Popescu
Published in 2011.
Programming with Infinitesimals: A WHILE-Language for Hybrid System Modeling
(
Citations: 1
)
Kohei Suenaga
,
Ichiro Hasuo
Published in 2011.
Comments