Suresh Jagannathan

Suresh Jagannathan

Samuel D. Conte Professor of Computer Science, Purdue University
E-mail confirmado em cs.purdue.edu
Citado por 8629
Programming Languages Program Verification Functional Programming Concurrent and Distributed Systems
Emilio Tuosto

Emilio Tuosto

Gran Sasso Science Institute
E-mail confirmado em gssi.it
Citado por 2867
Concurrent and distributed systems
Silvano Dal Zilio

Silvano Dal Zilio

Researcher, LAAS-CNRS
E-mail confirmado em laas.fr
Citado por 1454
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
E-mail confirmado em dtu.dk
Citado por 867
Concurrent and distributed systems programming languages formal methods #dtusse
Gowtham Kaki

Gowtham Kaki

University of Colorado Boulder
E-mail confirmado em colorado.edu
Citado por 311
Programming Languages Concurrent and Distributed Systems
Kevin Vella

Kevin Vella

Senior Lecturer, University of Malta
E-mail confirmado em um.edu.mt
Citado por 260
Concurrent and Distributed Systems High Performance Computing Cloud Computing Operating Systems
David Castro-Perez

David Castro-Perez

University of Kent
E-mail confirmado em kent.ac.uk
Citado por 229
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
E-mail confirmado em arlut.utexas.edu
Citado por 118
High Performance Computing Digital Signal Processing Concurrent and Distributed Systems
Macías López

Macías López

PhD student
E-mail confirmado em madsgroup.org
Citado por 51
Functional programming software testing testing non-functional requirements concurrent and distributed systems