Nicola Mazzocca

From MaRDI portal
Person:202079

Available identifiers

zbMath Open mazzocca.nicolaMaRDI QIDQ202079

List of research outcomes





PublicationDate of PublicationType
Dynamic State Machines for Formalizing Railway Control System Specifications2016-01-06Paper
MAGDA: A mobile agent based Grid architecture2006-11-17Paper
Applications and Theory of Petri Nets 20042005-12-23Paper
https://portal.mardi4nfdi.de/entity/Q47387862004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44148192003-07-27Paper
A case study of application analytical modeling in heterogeneous computing environments: Cholesky factorization in a NOW2003-07-01Paper
https://portal.mardi4nfdi.de/entity/Q44072822003-06-29Paper
https://portal.mardi4nfdi.de/entity/Q45358482002-06-16Paper
Parallel program analysis and restructuring by detection of point-to-point interaction patterns and their transformation into collective communication constructs2001-09-09Paper
Reducing parallel program simulation complexity by static analysis2001-04-02Paper
https://portal.mardi4nfdi.de/entity/Q49516562000-05-08Paper
Formal Specification of Concurrent Systems: A Structured Approach2000-01-19Paper
Efficiency measurements in heterogeneous distributed computing systems: from theory to practice1999-01-25Paper
Developing applications for heterogeneous computing environments using simulation: A case study1999-01-12Paper
A method for predictive performance of distributed programs1997-07-06Paper

Research outcomes over time

This page was built for person: Nicola Mazzocca

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:202079&oldid=10486518"
Powered by MediaWiki