Publications
Publications found: 402
- A Petri Net-Based Tool for the Analysis of Generalized Continuous Time Bayesian Networks
Daniele Codetta Raiteri, Luigi Portinale
Published on Theory and Application of Multi-Formalism Modeling, Ed. IGI-Global, 2013, Pages: 118-143 - Generalized Fault Trees: from reliability to security
Daniele Codetta Raiteri
Published on Proceedings of the International Workshop on Quantitative Aspects in Security Assurance, 2013 - A preliminary application of Generalized Fault Trees to security
Daniele Codetta Raiteri
Published on Proceedings of the International Conference on Security and Cryptography, Ed. SCITEPRESS, 2013, Pages: 609-614 - Minimum pattern length for short spaced seeds based on linear rulers (revised)
Lavinia Egidi, Giovanni Manzini
Published on TR-INF-2013-07-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2013 - Predictive and diagnostic analysis of an holdup tank by means of Dynamic Bayesian Networks
Daniele Codetta Raiteri, Luigi Portinale
Published on Proceedings of the Advances in Risk and Reliability Technology Symposium, Ed. Loughborough University, 2013, Pages: 296-307 - Efficient simulation of stochastic well-formed nets through symmetry exploitation
Marco Beccuti, Giuliana Franceschinis
Published on Winter Simulation Conference, 2012, Pages: 296 - Transactions on Petri Nets and Other Models of Concurrency VI
Kurt Jensen, Wil M. P. Van Der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen
Published on T. Petri Nets and Other Models of Concurrency Vol. 7400, Ed. Springer, 2012 - A new symbolic approach for network reliability analysis
Marco Beccuti, Andrea Bobbio, Giuliana Franceschinis, Roberta Terruggia
Published on DSN, 2012, Pages: 1-12 - An intensional approach for periodic data in relational databases
Paolo Terenziani, Bela Stantic, Alessio Bottrighi, Abdul Sattar
Published on TR-INF-2012-12-04-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2012 - Flexible and efficient retrieval of haemodialysis time series
Stefania Montani, Giorgio Leonardi, Alessio Bottrighi, Luigi Portinale, Paolo Terenziani
Published on 5th Inter. Workshop on Process Oriented Information Systems in Health Care and 4th Int. Workshop on Knowledge Representation for Health Care (ProHealth12/KRH4C12), 2012
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 41 > »