Suresh Jagannathan

Suresh Jagannathan

Samuel D. Conte Professor of Computer Science, Purdue University
Zweryfikowany adres z cs.purdue.edu
Cytowane przez 8720
Programming Languages Program Verification Functional Programming Concurrent and Distributed Systems
Emilio Tuosto

Emilio Tuosto

Gran Sasso Science Institute
Zweryfikowany adres z gssi.it
Cytowane przez 2927
Concurrent and distributed systems
Silvano Dal Zilio

Silvano Dal Zilio

Researcher, LAAS-CNRS
Zweryfikowany adres z laas.fr
Cytowane przez 1469
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
Zweryfikowany adres z dtu.dk
Cytowane przez 921
Concurrent and distributed systems programming languages formal methods #dtusse
Gowtham Kaki

Gowtham Kaki

University of Colorado Boulder
Zweryfikowany adres z colorado.edu
Cytowane przez 320
Programming Languages Concurrent and Distributed Systems
Kevin Vella

Kevin Vella

Senior Lecturer, University of Malta
Zweryfikowany adres z um.edu.mt
Cytowane przez 262
Concurrent and Distributed Systems High Performance Computing Cloud Computing Operating Systems
David Castro-Perez

David Castro-Perez

University of Kent
Zweryfikowany adres z kent.ac.uk
Cytowane przez 232
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
Zweryfikowany adres z arlut.utexas.edu
Cytowane przez 120
High Performance Computing Digital Signal Processing Concurrent and Distributed Systems
Macías López

Macías López

PhD student
Zweryfikowany adres z madsgroup.org
Cytowane przez 52
Functional programming software testing testing non-functional requirements concurrent and distributed systems