Tiziana Margaria

Tiziana Margaria

University of Limerick - Lero, The Irish Software Research Centre, - Confirm, Centre for …
Verifierad e-postadress på ul.ie
Citerat av 8128
Service Engineering of process-intensive … model driven generative development formal
Christoph Benzmüller

Christoph Benzmüller

Professor for AI Systems Engineering, University of Bamberg
Verifierad e-postadress på fu-berlin.de
Citerat av 5380
Artificial Intelligence Automated Reasoning Knowledge Representation and Reasoning Logic Formal
Costin Badica

Costin Badica

Professor of Computer Science, University of Craiova, Romania
Verifierad e-postadress på edu.ucv.ro
Citerat av 3150
Artificial Intelligence Multi-Agent Systems Software Engineering Distributed Systems Formal
Roberto Bagnara

Roberto Bagnara

Department of Mathematical, Physical and Computer Sciences - University of Parma, Italy
Verifierad e-postadress på cs.unipr.it
Citerat av 2482
Software verificationVerification of critical … Formal semiformal and informal methods for the analysis and …
Trent Dougherty

Trent Dougherty

Baylor University, University of Notre Dame
Verifierad e-postadress på baylor.edu
Citerat av 1648
Epistemology (traditional virtue formal) rationality theory philosophy of religion
Tobias Meggendorfer

Tobias Meggendorfer

Assistant Professor, Lancaster University Leipzig
Verifierad e-postadress på meggendorfer.de
Citerat av 471
Probabilistic Model Checking Automata Theory Game Theory Logic in Computer Science Formal
Yoshinao Isobe

Yoshinao Isobe

National Institute of Advanced Industrial Science and Technology, AIST
Verifierad e-postadress på aist.go.jp
Citerat av 466
algebra formal verification concurrency theorem
Mainak Chakraborty

Mainak Chakraborty

Postdoctoral Researcher, School of Innovation, Design and Engineering,Mälardalen …
Verifierad e-postadress på mdu.se
Citerat av 347
Deep Learning Machine Learning Natural Language Processing Artificial Intelligence Formal
Petros Papapanagiotou

Petros Papapanagiotou

Independent Researcher (previously School of Informatics, University of Edinburgh)
Verifierad e-postadress på ed.ac.uk
Citerat av 305
Artificial Intelligence Process Modelling Workflow Management Health Informatics Formal
Dr. Mayank Pandey

Dr. Mayank Pandey

Professor, Motilal Nehru National Institute of Technology Allahabad, Prayagraj, India
Verifierad e-postadress på mnnit.ac.in
Citerat av 254
Distributed Networks P2P Networks Wireless and Mobile Networks Software Defined Networks Formal
1 - 10