Marina Ribaudo
From MaRDI portal
Person:1685780
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 |
|---|---|---|
| An abstract machine for asynchronous programs with closures and priority queues | 2017-12-20 | Paper |
| scientific article; zbMATH DE number 2087800 (Why is no real title available?) | 2004-08-11 | Paper |
| Process algebras for systems diagnosis. Artificial Intelligence | 2003-01-21 | Paper |
| Integrating TwoTowers and GreatSPN through a compact net semantics Performance Evaluation | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1538068 (Why is no real title available?) | 2001-06-13 | Paper |
| GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets Performance Evaluation | 1997-02-28 | Paper |
Research outcomes over time
This page was built for person: Marina Ribaudo