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
Co-authors
(122)
Christos Papadimitriou
68
Kousha Etessami
27
Rajeev Alur
15
David Lee
15
Costas A. Courcoubetis
14
Conferences
(36)
STOC
34
ICALP
17
FOCS
16
PODS
12
CAV
6
Journals
(38)
JCSS
19
SIAMCOMP
17
JACM
15
IPL
6
MOR
5
Keywords
(335)
Embed
Subscribe
Academic
Authors
Mihalis Yannakakis
Mihalis Yannakakis,Columbia University,Algorithms & Theory,Scientific Computing,Software Engineering
Edit
Mihalis Yannakakis
Columbia University
Publications:
272
|
Citations:
14596
Fields:
Algorithms & Theory
,
Scientific Computing
,
Software Engineering
View FAQ about top research areas and Fields of study
Collaborated with
122 co-authors
from 1978 to 2012
|
Cited by
9520 authors
Cumulative
Annual
Sort by:
Publications
(272)
BibTeX
|
RIS
|
RefWorks
Download
Model Checking of Recursive Probabilistic Systems
Kousha Etessami
,
Mihalis Yannakakis
Journal:
ACM Transactions on Computational Logic - TOCL
, pp. 1-40, 2012
Analysis of Boolean Programs
Patrice Godefroid
,
Mihalis Yannakakis
Published in 2012.
Market equilibrium under separable, piecewise-linear, concave utilities
Vijay V. Vazirani
,
Mihalis Yannakakis
Journal:
Journal of The ACM - JACM
, pp. 1-25, 2011
Temporal Synthesis for Bounded Systems and Environments
Orna Kupferman
,
Yoad Lustig
,
Moshe Y. Vardi
,
Mihalis Yannakakis
Conference:
Symposium on Theoretical Aspects of Computer Science - STACS
, pp. 615-626, 2011
On the Complexity of Nash Equilibria and Other Fixed Points
(
Citations: 34
)
Kousha Etessami
,
Mihalis Yannakakis
Journal:
Siam Journal on Computing - SIAMCOMP
, vol. 39, no. 6, pp. 2531-2597, 2010
Sort by:
Citations
(14596 times by 10070 publications)
Survey of local algorithms
(
Citations: 14
)
Jukka Suomela
Published in 2012.
iSAM2: Incremental smoothing and mapping using the Bayes tree
Michael Kaess
,
Hordur Johannsson
,
Richard Roberts
,
Viorela Ila
,
John J Leonard
,
Frank Dellaert
Journal:
International Journal of Robotic Research - IJRR
, vol. 31, no. 2, pp. 216-235, 2012
Moderately exponential time and fixed parameter approximation algorithms
Bruno Escoffier
,
Vangelis Th. Paschos
,
Emeric Tourniaire
Journal:
Optimization
, vol. ahead-of-p, no. ahead-of-p, pp. 1-18, 2012
Model Checking of Recursive Probabilistic Systems
Kousha Etessami
,
Mihalis Yannakakis
Journal:
ACM Transactions on Computational Logic - TOCL
, pp. 1-40, 2012
Automating the Packing Heuristic Design Process with Genetic Programming
Edmund K. Burke
,
Matthew R. Hyde
,
Graham Kendall
,
John Woodward
Journal:
Evolutionary Computation - EC
, vol. 20, no. 1, pp. 63-89, 2012
Comments