個人資料

Bernhard Thalheim

Christian-Albrechts-University Kiel

在 email.uni-kiel.de 的電子郵件地址已通過驗證

被引用 7072 次

Database Computer Science Mathematics Logics Philosophy of science

Zhisheng Huang

Senior Researcher of Computer Science, Vrije University Amsterdam

在 cs.vu.nl 的電子郵件地址已通過驗證

被引用 4523 次

Artificial Intelligence Semantic Web Logics

Michael Smets

Professor of Management

在 sbs.ox.ac.uk 的電子郵件地址已通過驗證

被引用 4360 次

institutional complexity logics practice theory professional services

Giambattista Amati

Fondazione Ugo Bordoni

在 fub.it 的電子郵件地址已通過驗證

被引用 3849 次

Machine Learning & Big Data Information Retrieval Social Media Probability Theory Logics

Tomas Vojnar

FI, Masaryk University & FIT, Brno University of Technology

在 fi.muni.cz 的電子郵件地址已通過驗證

被引用 3659 次

static analysis dynamic analysis and testing formal verification automata logics

Wamberto Vasconcelos

Professor in Computing Science, University of Aberdeen, UK

在 abdn.ac.uk 的電子郵件地址已通過驗證

被引用 3170 次

Artificial Intelligence Logics Software Engineering

Ken-etsu Fujita

Gunma University

在 cs.gunma-u.ac.jp 的電子郵件地址已通過驗證

被引用 3061 次

lambda-calculus type theory logics

Stéphane Glondu

Inria

在 glondu.net 的電子郵件地址已通過驗證

被引用 1866 次

Computer science Logics Formal methods Proof assistants Programming languages

Didier Caucal

CNRS, LIGM, Univ. Gustave Eiffel, Paris

在 u-pem.fr 的電子郵件地址已通過驗證

被引用 1793 次

automata languages infinite graphs logics

Jan-David Quesel

Google

在 google.com 的電子郵件地址已通過驗證

被引用 1298 次

Verification of Hybrid Systems Semantics of Hybrid Systems Logics Theorem Proving Model Checking

1 - 10