Libero Nigro

Available identifiers

Publication	Date of Publication	Type
Exploiting social capabilities in the minority game	2018-04-16	Paper
Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL}	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	2007-01-25	Paper
Modular design of real-time systems using hierarchical communicating real-time state machines	2006-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q2761742	2002-01-07	Paper
On the efficient implementation of retention block-structured languages	1981-01-01	Paper
A one-step method for direct integration of structural dynamic equations	1980-01-01	Paper

This page was built for person: Libero Nigro