Alberto Sangiovanni Vincentelli

Alberto Sangiovanni Vincentelli

Professor of EECS, University of California, Berkeley
在 eecs.berkeley.edu 的电子邮件经过验证
被引用次数：76638
System design embedded systems design automation verification synthesis
Mihalis Yannakakis

Mihalis Yannakakis

Percy K. and Vida LW Hudson Professor of Computer Science, Columbia University
在 cs.columbia.edu 的电子邮件经过验证
被引用次数：41144
Algorithms Complexity Optimization Verification Databases
Diego Calvanese

Diego Calvanese

Prof. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof …
在 unibz.it 的电子邮件经过验证
被引用次数：38203
Artificial intelligence Data Management Knowledge Representation Description Logics Verification
Patrick Cousot

Patrick Cousot

Professor of Computer Science, Courant Institute of Mathematical Sciences, New York …
在 cims.nyu.edu 的电子邮件经过验证
被引用次数：28573
Abstract Interpretation Semantics Verification Formal methods
Alex Aiken

Alex Aiken

Professor of Computer Science, Stanford University
在 cs.stanford.edu 的电子邮件经过验证
被引用次数：27573
programming languages compilers verification parallelism
Thomas Ball

Thomas Ball

Microsoft Research
在 microsoft.com 的电子邮件经过验证
被引用次数：25519
Program analysis verification testing CS education
Roger Harbord

Roger Harbord

Verification scientist, Met Office
在 metoffice.gov.uk 的电子邮件经过验证
被引用次数：23722
Statistics Verification Meteorology Meta-analysis Mendelian Randomization
Rolf Drechsler

Rolf Drechsler

Professor at University of Bremen, Director DFKI Bremen, Germany
在 uni-bremen.de 的电子邮件经过验证
被引用次数：22300
algorithms data structures system design verification test
Dawson Engler

Dawson Engler

Associate Professor of Computer Science, Stanford University
在 stanford.edu 的电子邮件经过验证
被引用次数：21636
operating systems verification bug finding programming languages
David Basin

David Basin

Professor of Computer Science, ETH Zurich
在 inf.ethz.ch 的电子邮件经过验证
被引用次数：19895
Security Computer Security Formal Methods Verification
1 - 10