Pomona College — United States
Computer Science · Physical Sciences
36h-index4.1kcitations171works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(54), Teaching and Learning Programming(51), Software Engineering Research(25), Model-Driven Software Engineering Techniques(22), Logic, Reasoning, and Knowledge(20)
Publications169 total
ACM Inroads·2018· 12 cited
Journal of computing sciences in colleges·2018· 1 cited
The Journal of Object Technology·2017· 5 citedOpen Access
2016· 5 citedOpen Access
2016· 4 cited
arXiv (Cornell University)·2016· 2 citedOpen Access
3D IC技術のためのTSVインダクタにおける最近の進歩【Powered by NICT】
IEEE Conference Proceedings·2016
自律航法のための交通標識のテキスト情報取得方法【Powered by NICT】
IEEE Conference Proceedings·2016
MEMSベース波長可変TSVインダクタ【Powered by NICT】
IEEE Conference Proceedings·2016
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2016· 16 citedOpen Access
Lecture notes in computer science·2016· 1 cited
魚眼レンズカメラ画像を用いた広い後部車両認識【Powered by NICT】
IEEE Conference Proceedings·2016
Programming with Grace: Saturday plenary session
Journal of computing sciences in colleges·2015
Lecture notes in computer science·2014· 19 cited
2013· 13 cited
2013· 36 cited
page 1 of 9Next →
Frequent Co-authors
Thomas P. Murtagh(8), Andrea Danyluk(6), Michael Homer(5), James Noble(5), Allen B. Tucker(4), R. H. van Gent(4), Andrew P. Black(4), Luca Cardelli(3), Benjamin C. Pierce(3), G. Longo(3), Owen Astrachan(3), Angela Schuett(2), Adrian Fiech(2), Albert R. Meyer(2), John C. Mitchell(2), Peter Wegner(2), Elliot B. Koffman(2), Michael Kölling(2), Stuart Reges(2), Jon Crabtree(2)