Profiles

Bernhard Thalheim

Christian-Albrechts-University Kiel

Verified email at email.uni-kiel.de

Cited by 7051

Database Computer Science Mathematics Logics Philosophy of science

Zhisheng Huang

Senior Researcher of Computer Science, Vrije University Amsterdam

Verified email at cs.vu.nl

Cited by 4482

Artificial Intelligence Semantic Web Logics

Michael Smets

Professor of Management

Verified email at sbs.ox.ac.uk

Cited by 4276

institutional complexity logics practice theory professional services

Giambattista Amati

Fondazione Ugo Bordoni

Verified email at fub.it

Cited by 3823

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

Tomas Vojnar

FI, Masaryk University & FIT, Brno University of Technology

Verified email at fi.muni.cz

Cited by 3627

static analysis dynamic analysis and testing formal verification automata logics

Wamberto Vasconcelos

Professor in Computing Science, University of Aberdeen, UK

Verified email at abdn.ac.uk

Cited by 3157

Artificial Intelligence Logics Software Engineering

Ken-etsu Fujita

Gunma University

Verified email at cs.gunma-u.ac.jp

Cited by 3053

lambda-calculus type theory logics

Stéphane Glondu

Inria

Verified email at glondu.net

Cited by 1850

Computer science Logics Formal methods Proof assistants Programming languages

Didier Caucal

CNRS, LIGM, Univ. Gustave Eiffel, Paris

Verified email at u-pem.fr

Cited by 1790

automata languages infinite graphs logics

Jan-David Quesel

Google

Verified email at google.com

Cited by 1288

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

1 - 10