Computer Science · Physical Sciences
30h-index4.5kcitations146works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Software Engineering Research(21), Logic, programming, and type systems(19), Computability, Logic, AI Algorithms(14), Parallel Computing and Optimization Techniques(12), Distributed and Parallel Computing Systems(10)
Publications146 total
Health Research Policy and Systems·2021· 5 citedOpen Access
2019
Columbia University Press eBooks·2013· 32 cited
メッセージ・マシーン--テレビ解説者を操る国防総省 (The Pulitzer Prizes 2009 米最高峰のジャーナリズム ピュリツァー賞を読む)
クーリエ・ジャポン·2009
Security Firm Says Its Workers Were Lured Into Iraqi Ambush
New York Times·2004· 2 cited
Lynne Rienner Publishers eBooks·2003
National Conference on Student & Scientist Partnerships
AGU Spring Meeting Abstracts·2001· 4 cited
1999· 1 cited
International Workshop on Software Specification and Design·1993
NASA STI Repository (National Aeronautics and Space Administration)·1992· 1 citedOpen Access
Proceedings of the 13th international conference on Software engineering
1991· 62 cited
Lecture notes in computer science·1991· 17 cited
Lecture notes in computer science·1991
Lecture notes in computer science·1991· 88 cited
Lecture notes in computer science·1991· 10 cited
Lecture notes in computer science·1991· 18 cited
Lecture notes in computer science·1991· 1.1k cited
page 1 of 8Next →
Frequent Co-authors
W Brauer(21), Wolfram Brauer(5), Howard Shrobe(2), Stephen W. Smoliar(2), P Brinch(2), Cordell Green(2), P Brinch(2), Erik Sandewall(1), W Brauer(1), Brauer Brinch(1), Gries Luckham(1), Les Belady(1), Koji Torii(1), Elaine Kant(1), C. C Green(1), Richard Waldinger(1), Robert A. Elschlager(1), Douglas B. Lenat(1), Brian P. McCune(1), David E. Shaw(1)