نمایه‌‌ها

Alberto Sangiovanni Vincentelli

Professor of EECS, University of California, Berkeley

ایمیل تأیید شده در eecs.berkeley.edu

بیان شده در 76784 یافته

System design embedded systems design automation verification synthesis

Mihalis Yannakakis

Percy K. and Vida LW Hudson Professor of Computer Science, Columbia University

ایمیل تأیید شده در cs.columbia.edu

بیان شده در 41494 یافته

Algorithms Complexity Optimization Verification Databases

Diego Calvanese

Prof. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof …

ایمیل تأیید شده در unibz.it

بیان شده در 38741 یافته

Artificial intelligence Data Management Knowledge Representation Description Logics Verification

Patrick Cousot

Professor of Computer Science, Courant Institute of Mathematical Sciences, New York …

ایمیل تأیید شده در cims.nyu.edu

بیان شده در 28849 یافته

Abstract Interpretation Semantics Verification Formal methods

Alex Aiken

Professor of Computer Science, Stanford University

ایمیل تأیید شده در cs.stanford.edu

بیان شده در 27999 یافته

programming languages compilers verification parallelism

Thomas Ball

Microsoft Research

ایمیل تأیید شده در microsoft.com

بیان شده در 25639 یافته

Program analysis verification testing CS education

Roger Harbord

Verification scientist, Met Office

ایمیل تأیید شده در metoffice.gov.uk

بیان شده در 24512 یافته

Statistics Verification Meteorology Meta-analysis Mendelian Randomization

Rolf Drechsler

Professor at University of Bremen, Director DFKI Bremen, Germany

ایمیل تأیید شده در uni-bremen.de

بیان شده در 22553 یافته

algorithms data structures system design verification test

Dawson Engler

Associate Professor of Computer Science, Stanford University

ایمیل تأیید شده در stanford.edu

بیان شده در 21896 یافته

operating systems verification bug finding programming languages

David Basin

Professor of Computer Science, ETH Zurich

ایمیل تأیید شده در inf.ethz.ch

بیان شده در 20389 یافته

Security Computer Security Formal Methods Verification

1 - 10