Computer Science Institute

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 > »