Alberto Sangiovanni Vincentelli

Alberto Sangiovanni Vincentelli

Professor of EECS, University of California, Berkeley
在 eecs.berkeley.edu 的電子郵件地址已通過驗證
被引用 76780 次
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 的電子郵件地址已通過驗證
被引用 41489 次
Algorithms Complexity Optimization Verification Databases
Diego Calvanese

Diego Calvanese

Prof. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof …
在 unibz.it 的電子郵件地址已通過驗證
被引用 38740 次
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 的電子郵件地址已通過驗證
被引用 28851 次
Abstract Interpretation Semantics Verification Formal methods
Alex Aiken

Alex Aiken

Professor of Computer Science, Stanford University
在 cs.stanford.edu 的電子郵件地址已通過驗證
被引用 27989 次
programming languages compilers verification parallelism
Thomas Ball

Thomas Ball

Microsoft Research
在 microsoft.com 的電子郵件地址已通過驗證
被引用 25632 次
Program analysis verification testing CS education
Roger Harbord

Roger Harbord

Verification scientist, Met Office
在 metoffice.gov.uk 的電子郵件地址已通過驗證
被引用 24501 次
Statistics Verification Meteorology Meta-analysis Mendelian Randomization
Rolf Drechsler

Rolf Drechsler

Professor at University of Bremen, Director DFKI Bremen, Germany
在 uni-bremen.de 的電子郵件地址已通過驗證
被引用 22525 次
algorithms data structures system design verification test
Dawson Engler

Dawson Engler

Associate Professor of Computer Science, Stanford University
在 stanford.edu 的電子郵件地址已通過驗證
被引用 21890 次
operating systems verification bug finding programming languages
David Basin

David Basin

Professor of Computer Science, ETH Zurich
在 inf.ethz.ch 的電子郵件地址已通過驗證
被引用 20382 次
Security Computer Security Formal Methods Verification
1 - 10