Bernhard Thalheim

Bernhard Thalheim

Christian-Albrechts-University Kiel
Dirección de correo verificada de email.uni-kiel.de
Citado por 6173
Database Computer Science Mathematics Logics Philosophy of science
Zhisheng Huang

Zhisheng Huang

Senior Researcher of Computer Science, Vrije University Amsterdam
Dirección de correo verificada de cs.vu.nl
Citado por 3831
Artificial Intelligence Semantic Web Logics
Giambattista Amati

Giambattista Amati

Fondazione Ugo Bordoni
Dirección de correo verificada de fub.it
Citado por 3299
Big Data Information Retrieval Social Media Probability Theory Logics
Michael Smets

Michael Smets

Professor of Management
Dirección de correo verificada de sbs.ox.ac.uk
Citado por 3137
institutional complexity logics practice theory professional services
Wamberto Vasconcelos

Wamberto Vasconcelos

Professor in Computing Science, University of Aberdeen, UK
Dirección de correo verificada de abdn.ac.uk
Citado por 3110
Artificial Intelligence Logics Software Engineering
Tomas Vojnar

Tomas Vojnar

FIT, Brno University of Technology
Dirección de correo verificada de fit.vutbr.cz
Citado por 2919
static analysis testing and dynamic analysis formal verification automata logics
Ken-etsu Fujita

Ken-etsu Fujita

Gunma University
Dirección de correo verificada de cs.gunma-u.ac.jp
Citado por 2660
lambda-calculus type theory logics
Stéphane Glondu

Stéphane Glondu

Inria
Dirección de correo verificada de glondu.net
Citado por 1359
Computer science Logics Formal methods Proof assistants Programming languages
Jan-David Quesel

Jan-David Quesel

Google
Dirección de correo verificada de google.com
Citado por 1015
Verification of Hybrid Systems Semantics of Hybrid Systems Logics Theorem Proving Model Checking
Mimmo Parente

Mimmo Parente

Professor Universita' di Salerno
Dirección de correo verificada de unisa.it
Citado por 959
Verification Model cheking logics algorithms AI
1 - 10