Nicola Mazzocca

Available identifiers

Publication	Date of Publication	Type
Dynamic State Machines for Formalizing Railway Control System Specifications	2016-01-06	Paper
MAGDA: A mobile agent based Grid architecture	2006-11-17	Paper
Applications and Theory of Petri Nets 2004	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4738786	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4414819	2003-07-27	Paper
A case study of application analytical modeling in heterogeneous computing environments: Cholesky factorization in a NOW	2003-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4407282	2003-06-29	Paper
https://portal.mardi4nfdi.de/entity/Q4535848	2002-06-16	Paper
Parallel program analysis and restructuring by detection of point-to-point interaction patterns and their transformation into collective communication constructs	2001-09-09	Paper
Reducing parallel program simulation complexity by static analysis	2001-04-02	Paper
https://portal.mardi4nfdi.de/entity/Q4951656	2000-05-08	Paper
Formal Specification of Concurrent Systems: A Structured Approach	2000-01-19	Paper
Efficiency measurements in heterogeneous distributed computing systems: from theory to practice	1999-01-25	Paper
Developing applications for heterogeneous computing environments using simulation: A case study	1999-01-12	Paper
A method for predictive performance of distributed programs	1997-07-06	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nicola Mazzocca