Publications
Publications found: 407
- A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance
Alessio Bottrighi, Federico Chesani, Paola Mello, Gianpaolo Molino, Marco Montali, Stefania Montani, Sergio Storari, Paolo Terenziani, Mauro Torchio
Published on AIME, 2009, Pages: 91-95 - Modeling Clinical Guidelines through Petri Nets
Marco Beccuti, Alessio Bottrighi, Giuliana Franceschinis, Stefania Montani, Paolo Terenziani
Published on AIME, 2009, Pages: 61-70 - Modeling clinical guidelines through Petri Nets
Marco Beccuti, Alessio Bottrighi, Giuliana Franceschinis, Paolo Terenziani
Published on roc. European Conference on Artificial Intelligence in Medicine (AIME) 651, Ed. Springer, 2009, Pages: 61--70 - Multiple abstraction levels in performance analysis of WSN monitoring systems
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis
Published on Proceedings of the International Workshop on Performance Methodologies and Tools for Wireless Sensor Networks, Ed. ICST, 2009 - Generalizing Continuous Time Bayesian Networks with Immediate Nodes
Daniele Codetta Raiteri, Luigi Portinale
Published on Proceedings of the Workshop on Graph Structures for Knowledge Representation and Reasoning, 2009, Pages: 12-17 - Parametric NdRFT for the derivation of optimal repair strategies
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
Published on Proceedings of the International Conference on Dependable Systems and Networks, Ed. IEEE Computer Society, 2009, Pages: 399-408 - Modeling Cascading Failure Propagation through Dynamic Bayesian Networks
Andrea Bobbio, Daniele Codetta Raiteri, Stefania Montani, Luigi Portinale
Published on Proceedings of the Workshop on Dependable Control of Discrete Systems, Ed. IFAC, 2009, Pages: 239-244 - The Essence of Static and Dynamic Bindings
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
Published on ICTCS'09, 2009 - A Type System for a Stochastic CLS
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Published on MeCBIC'09 11, 2009, Pages: 91--106 - Intersection, Universally Quantified, and Reference Types
Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca
Published on CSL'09 5771, Ed. Springer, 2009, Pages: 209--224
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 > »
