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
(130)
Aaron Stump
15
David L. Dill
13
Cesare Tinelli
9
Benjamin Goldberg
7
Leonardo Mendonca de Moura (Leonardo Mendonça De Moura)
6
Conferences
(11)
CAV
9
LPAR(RCLP)
2
SEFM
2
DAC
2
FMCAD
2
Journals
(27)
ENTCS
8
Science
3
FMSD
3
BRIT J NEUROSURG
3
BMJ
3
Keywords
(146)
Embed
Subscribe
Academic
Authors
Clark W. Barrett
Clark W. Barrett,New York University,Software Engineering,Algorithms & Theory,Artificial Intelligence
Edit
Clark W. Barrett
New York University
Publications:
82
|
Citations:
1725
Fields:
Software Engineering
,
Algorithms & Theory
,
Artificial Intelligence
View FAQ about top research areas and Fields of study
Collaborated with
130 co-authors
from 1990 to 2010
|
Cited by
1953 authors
Cumulative
Annual
Sort by:
Publications
(82)
BibTeX
|
RIS
|
RefWorks
Download
Markets, Religion, Community Size, and the Evolution of Fairness and Punishment
(
Citations: 27
)
Joseph Henrich
,
Jean Ensminger
,
Richard McElreath
,
Abigail Barr
,
Clark Barrett
,
Alexander Bolyanatz
,
Juan Camilo Cardenas
,
Michael Gurven
,
Edwins Gwako
,
Natalie Henrich
,
Carolyn Lesorogol
,
Frank Marlowe
http://academic.research.microsoft.com/io.ashx?type=5&id=15095032&selfId1=1677293&selfId2=0&maxNumber=12&query=
Journal:
Science
, vol. 327, no. 5972, pp. 1480-1484, 2010
Polite Theories Revisited
(
Citations: 2
)
Dejan Jovanovic
,
Clark Barrett
Conference:
Logic Programming and Automated Reasoning/Russian Conference on Logic Programming - LPAR(RCLP)
, pp. 402-416, 2010
Response--Evolution of Fairness
J. Henrich
,
J. Ensminger
,
R. McElreath
,
A. Barr
,
C. Barrett
,
A. Bolyanatz
,
J. C. Cardenas
,
M. Gurven
,
E. Gwako
,
N. Henrich
,
C. Lesorogol
,
F. Marlowe
http://academic.research.microsoft.com/io.ashx?type=5&id=15094602&selfId1=1677293&selfId2=0&maxNumber=12&query=
Journal:
Science
, vol. 329, no. 5990, pp. 389-390, 2010
Rheumatology subspecialty choice is driven by identifiable strong motivations, including intellectual interest
L Rahbar
,
G. Moxley
,
D. Carleton
,
C. Barrett
,
J. Brannen
,
L. Thacker
,
E J Waterhouse
,
W. N. Roberts
Journal:
Arthritis Care & Research
, 2010
The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk)
Clark Barrett
,
Leonardo Mendonça de Moura
,
Silvio Ranise
,
Aaron Stump
,
Cesare Tinelli
Conference:
Haifa Verification Conference - HVC
, 2010
Sort by:
Citations
(1725 times by 1337 publications)
Behavioral interface specification languages
(
Citations: 3
)
John Hatcliff
,
Gary T. Leavens
,
K. Rustan M. Leino
,
Peter Müller
,
Matthew Parkinson
Journal:
ACM Computing Surveys - CSUR
, pp. 1-58, 2012
Safeguarding Common-Pool Resources in Transition Economies: Experimental Evidence from Central Asia
Stephen Mark Rosenbaum
,
Stephan Billinger
,
Nils Stieglitz
Journal:
Journal of Development Studies - J DEVELOP STUD
, vol. ahead-of-p, no. ahead-of-p, pp. 1-15, 2012
Choosy Moral Punishers
Christine Clavien
,
Colby J. Tanner
,
Fabrice Clément
,
Michel Chapuisat
Journal:
PLOS One
, vol. 7, no. 6, 2012
Understanding the memory advantage of counterintuitive concepts
Mary Harmon-Vukić
,
M. Afzal Upal
,
Kelly J. Sheehan
Published in 2012.
Culture and the Historical Process
Nathan Nunn
Published in 2012.
Comments