Suresh Jagannathan

Suresh Jagannathan

Samuel D. Conte Professor of Computer Science, Purdue University
Bestätigte E-Mail-Adresse bei cs.purdue.edu
Zitiert von: 8695
Programming Languages Program Verification Functional Programming Concurrent and Distributed Systems
Emilio Tuosto

Emilio Tuosto

Gran Sasso Science Institute
Bestätigte E-Mail-Adresse bei gssi.it
Zitiert von: 2920
Concurrent and distributed systems
Silvano Dal Zilio

Silvano Dal Zilio

Researcher, LAAS-CNRS
Bestätigte E-Mail-Adresse bei laas.fr
Zitiert von: 1462
Computer Science Formal Verification Concurrent and Distributed systems Safety Critical Embedded Systems Process Calculi
Alceste Scalas

Alceste Scalas

Associate Professor in Computer Science, DTU Compute, Technical University of Denmark
Bestätigte E-Mail-Adresse bei dtu.dk
Zitiert von: 896
Concurrent and distributed systems programming languages formal methods #dtusse
Gowtham Kaki

Gowtham Kaki

University of Colorado Boulder
Bestätigte E-Mail-Adresse bei colorado.edu
Zitiert von: 316
Programming Languages Concurrent and Distributed Systems
Kevin Vella

Kevin Vella

Senior Lecturer, University of Malta
Bestätigte E-Mail-Adresse bei um.edu.mt
Zitiert von: 264
Concurrent and Distributed Systems High Performance Computing Cloud Computing Operating Systems
David Castro-Perez

David Castro-Perez

University of Kent
Bestätigte E-Mail-Adresse bei kent.ac.uk
Zitiert von: 234
Functional Programming Parallel Computing Concurrent and Distributed Systems Type Systems
Gregory E. Allen

Gregory E. Allen

Applied Research Labs, The University of Texas at Austin
Bestätigte E-Mail-Adresse bei arlut.utexas.edu
Zitiert von: 118
High Performance Computing Digital Signal Processing Concurrent and Distributed Systems
Macías López

Macías López

PhD student
Bestätigte E-Mail-Adresse bei madsgroup.org
Zitiert von: 51
Functional programming software testing testing non-functional requirements concurrent and distributed systems