Publications
Publications found: 407
- Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST)
Giuliana Franceschinis, Joost-pieter Katoen, C. Murray Woodside
Published on IEEE Trans. Software Eng. Vol. 32 n. 8, 2006, Pages: 529-530 - Efficient lumpability check in partially symmetric systems
Marco Beccuti, Giuliana Franceschinis, Soheib Baarir, J-m. Ilie
Published on QEST, 2006, Pages: 211-220 - Modelling a Secure Agent with Team Automata
Lavinia Egidi, Marinella Petrocchi
Published on Electr. Notes Theor. Comput. Sci. Vol. 142, 2006, Pages: 111-127 - A mathematical framework for the semantics of symbolic languages representing periodic time
Lavinia Egidi, Paolo Terenziani
Published on Ann. Math. Artif. Intell. Vol. 46 n. 3, 2006, Pages: 317-347 - A mathematical framework for the semantics of symbolic languages representing periodic time
Lavinia Egidi, Paolo Terenziani
Published on Annals of Mathematics and Artificial Intelligence Vol. 46 n. 3, 2006, Pages: 317--347 - From digital audiobook to secure digital multimedia-book
Lavinia Egidi, Marco Furini
Published on Computers in Entertainment Vol. 4 n. 3, 2006 - Modelling Web Services for Diagnosis
L. Console, C. Picardi, Daniele Theseider Dupré
Published on Proc. ECAI 2006 Workshop on Model-Based Systems, 2006 - Exploiting decision theory concepts within clinical guideline systems: Toward a general approach
Stefania Montani, Paolo Terenziani
Published on Int. J. Intell. Syst. 21 6, 2006, Pages: 585-599 - Accounting for the Temporal Dimension in Case-Based Retrieval: A Framework for Medical Applications
Stefania Montani, Luigi Portinale
Published on Computational Intelligence 22 3-4, 2006, Pages: 208-223 - Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines
Luca Anselma, Alessio Bottrighi, Stefania Montani, Paolo Terenziani
Published on Artificial Intelligence in Medicine 38 2, 2006, Pages: 171-195
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 > »
