Publications
Publications found: 392
- Evaluation of communication scenarios inside the Electrical Power System
Daniele Codetta Raiteri, Roberto Nai
Published on International Journal of Modelling and Simulation vol. 30(3), Ed. ACTA Press, 2010, Pages: 345-352
- Supporting Reliability Engineers in Exploiting the Power of Dynamic Bayesian Networks
Daniele Codetta Raiteri, Stefania Montani, Luigi Portinale
Published on International Journal of Approximate Reasoning vol. 51(2), Ed. Elsevier, 2010, Pages: 179-195
- Generalized Continuous Time Bayesian Networks and their GSPN Semantics
Daniele Codetta Raiteri, Luigi Portinale
Published on Proceedings of the European Workshop on Probabilistic Graphical Models, Ed. HIIT, 2010, Pages: 105-112
- Intersection Types for Unbind and Rebind
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
Published on ITRS'10 45, 2010, Pages: 45-59
- Sequence-Function Protein Analysis Using Annotated Context Free Grammars
Paola Giannini, Eva Sciacca, Salvatore Spinella
Published on ICTCS 2010, 2010
- ARPHA: an FDIR architecture for Autonomous Spacecrafts based on Dynamic Probabilistic Graphical Models
Daniele Codetta Raiteri, Luigi Portinale
Published on TR-INF-2010-12-04-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2010
- ICCBR 2010 Workshop Proceedings
Cindy Marling
Published on TR-INF-2010-06-03-UNIPMN, Ed. Computer Science Department, UPO, 2010
- Verifying Business Process Compliance by Reasoning about Actions
Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gianluca Pozzato, Daniele Theseider Dupré
Published on TR-INF-2010-05-02-UNIPMN, Ed. Computer Science Department, UPO, 2010
- Lightweight Data Indexing and Compression in External Memory
Paolo Ferragina, Travis Gagie, Giovanni Manzini
Published on Proc. 9th Latin American Theoretical Informatics Symposium (LATIN '10), 2010, Pages: 698-711
- A Case-based Approach to Business Process Monitoring
Stefania Montani, Giorgio Leonardi
Published on TR-INF-2010-03-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2010
Pages: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 > »
