Stanford University — United States
Computer Science · Physical Sciences
43h-index14.1kcitations150works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(63), Formal Methods in Verification(41), Logic, Reasoning, and Knowledge(41), Computability, Logic, AI Algorithms(20), semigroups and automata theory(17)
Publications150 total
Outstanding contributions to logic·2021· 3 cited
Acta Informatica·2020
Acta Informatica·2020Open Access
Calibrating Climate Feedbacks by the Sun: Are We Underestimating the Positive Feedbacks?
AGU Fall Meeting Abstracts·2019
Sources of Variation in Climate Sensitivity Estimates
AGU Fall Meeting Abstracts·2018
Lecture notes in computer science·2018· 3 cited
Magmatic Volatiles as an Amplifier of Centrifugal Volcanism
AGUFM·2017
Outstanding contributions to logic·2017· 1 cited
A Centrifugal Volcanism Mechanism for the AMO
AGU Fall Meeting Abstracts·2016
Model Complexity of Global Climate: Could Arrhenius have Foreseen the Hiatus?
AGU Fall Meeting Abstracts·2015
An Ekman Transport Mechanism for the Atlantic Multidecadal Oscillation
AGU Fall Meeting Abstracts·2014· 1 cited
Reconciling multidecadal global land-sea warming with rising CO2
AGUFM·2013
Multidecadal climate to within a millikelvin
AGU Fall Meeting Abstracts·2012
arXiv (Cornell University)·2012Open Access
A three-component analytic model of long-term climate change
AGUFM·2011
2011· 1.3k cited
Lecture notes in computer science·2011
Fundamenta Informaticae·2010· 2 citedOpen Access
College Mathematics Journal·2009· 3 cited
College Mathematics Journal·2009
page 1 of 8Next →
Frequent Co-authors
Sebastian Thrun(3), David Stavens(3), Mike Montemerlo(2), Hendrik Dahlkamp(2), Andrei Aron(2), James Diebel(2), Philip Fong(2), John T. Gale(2), Morgan Halpenny(2), Gabriel Hoffmann(2), Kenny Lau(2), Celia M. Oakley(2), Mark Palatucci(2), Pascal Stang(2), Sven Strohband(2), Cedric Dupont(2), Lars‐Erik Jendrossek(2), Christian Koelen(2), Charles Markey(2), Carlo Rummel(2)