Madhusudan Parthasarathy

Madhusudan Parthasarathy

Professor of Computer Science, University of Illinois at Urbana-Champaign
Verified email at illinois.edu
Cited by 8968
Reliable systems formal methods programming languages program synthesis logic in computer science
Raja Appuswamy

Raja Appuswamy

Assistant Professor
Verified email at eurecom.fr
Cited by 1114
Storage Systems Operating Systems Distributed Systems Reliable Systems Database systems
Bjørn Jæger

Bjørn Jæger

Associate Professor, SCM-IS Research Group Leader
Verified email at himolde.no
Cited by 789
Information Systems Internet of Things Supply Chain Management Reliable Systems
Tihana Galinac Grbac

Tihana Galinac Grbac

Juraj Dobrila University of Pula
Verified email at unipu.hr
Cited by 775
Reliable systems software engineering data processing
Anton Gulenko

Anton Gulenko

TU Berlin
Verified email at tu-berlin.de
Cited by 354
Cloud Computing Reliable Systems Machine Learning
Javad Saber-Latibari

Javad Saber-Latibari

PHD Candidate, University of California, Riverside
Verified email at ucr.edu
Cited by 86
Distributed Systems Reliable Systems Computer Architecture Real-time Systems
Caio Batista de Melo

Caio Batista de Melo

North Carolina State University
Verified email at ncsu.edu
Cited by 35
reliable systems emergent behaviors