Publications
Publications found: 409
- Automatic Checking of the Correctness of Clinical Guidelines in GLARE
Luca Anselma, Alessio Bottrighi, Laura Giordano, Stefania Montani, Paolo Terenziani
Published on MedInfo, 2007, Pages: 807-811 - Methodologies synthesis
Simona Bernardi, Andrea Bobbio, Claudio Brasca, Silvano Chiaradonna, Daniele Codetta Raiteri, Felicita Di Giandomenico, Giovanna Dondossola, Giuliana Franceschinis, Fabrizio Garrone, András Horváth, Mohamed Kaâniche, Karama Kanoun, Jean-Claude Laprie, Paolo Lollini, Jeremy Sproston
Published on CRUTIAL project, Deliverable D3, Ed. CESI Ricerca, 2007 - Analysis of new control applications
Claudio Brasca, Davide Cerotti, Daniele Codetta Raiteri, Alessandro Daidone, Geert Deconinck, Susanna Donatelli, Giovanna Dondossola, Fabrizio Garrone, Fabrizio Grandoni, Mohamed Kaâniche, Tom Rigole
Published on CRUTIAL project, Deliverable D2, Ed. CESI Ricerca, 2007 - Representing the CRUTIAL project domain by means of UML diagrams
Claudio Brasca, Davide Cerotti, Daniele Codetta Raiteri, Susanna Donatelli, Giovanna Dondossola, Fabrizio Garrone
Published on Pre-proceedings of the International Workshop on Critical Information Infrastructures Security, Ed. Universidad de Malaga, 2007, Pages: 109--124 - A framework to design and solve Markov Decision Well-formed Net models
Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad
Published on Proceedings of the International Conference on Quantitative Evaluation of Systems, Ed. IEEE Computer Society, 2007, Pages: 165-166 - Compiling Dyanamic Fault Trees into Dynamic Bayesian Nets for Reliability Analysis: the RADYBAN Tool
Andrea Bobbio, Daniele Codetta Raiteri, Stefania Montani, Luigi Portinale
Published on Proceedings of the Bayesian Modeling Applications Workshop, Ed. CEUR-WS.org, 2007 - A provenly correct translation of Fickle into Java
Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
Published on ACM Transactions On Programming Languages and Systems 29 2, Ed. ACM, 2007, Pages: Art. n.13 (67 pages) - Compression-based classification of biological sequences and structures via the Universal Similarity Metric: experimental assessment
Paolo Ferragina, Raffaele Giancarlo, V. Greco, Giovanni Manzini, G. Valiente
Published on BMC Bioinformatics 8, 2007 - Compressed Representations of sequences and full-text indexes
Paolo Ferragina, Veli Makinen, Giovanni Manzini
Published on ACM Transactions on Algorithms, 2007 - Markov Decision Petri Net and Markov Decision Well-formed Net formalisms
Marco Beccuti, Giuliana Franceschinis, Serge Haddad
Published on TR-INF-2007-02-01-UNIPMN, Ed. Computer Science Department, UPO, 2007
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 > »
