Libero Nigro

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Exploiting social capabilities in the minority game ACM Transactions on Modeling and Computer Simulation	2018-04-16	Paper
Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL} Applied Mathematics and Computation	2012-08-19	Paper
A general brokering architecture layer and its application to video on-demand over the Internet	2007-09-05	Paper
Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty Real-Time Systems	2007-01-25	Paper
Modular design of real-time systems using hierarchical communicating real-time state machines Real-Time Systems	2006-11-17	Paper
scientific article; zbMATH DE number 1686287 (Why is no real title available?)	2002-01-07	Paper
On the efficient implementation of retention block-structured languages International Journal of Computer & Information Sciences	1981-01-01	Paper
A one-step method for direct integration of structural dynamic equations International Journal for Numerical Methods in Engineering	1980-01-01	Paper

Research outcomes over time

This page was built for person: Libero Nigro