Pubblicazioni
-
G. Landi; E Loli Piccolomini; F. Zama, A Total Variation-based reconstruction method for dynamic MRI., «COMPUTATIONAL AND MATHEMATICAL METHODS IN MEDICINE», 2008, 9, pp. 69 - 80 [Articolo in rivista]
-
G. Landi; E. Loli Piccolomini, . A fast projected quasi-Newton method for nonnegative Tikhonov regularization., «INTERNATIONAL JOURNAL OF MATHEMATICS AND COMPUTER SCIENCE», 2008, 3, pp. 199 - 213 [Articolo in rivista]
-
P. Di Lena; L. Margara, Computational complexity of dynamical systems: the case of cellular automata, «INFORMATION AND COMPUTATION», 2008, 206, pp. 1104 - 1116 [Articolo in rivista]
-
C. Sacerdoti Coen; S. Zacchiroli, Spurious Disambiguation Errors and How to Get Rid of Them, «MATHEMATICS IN COMPUTER SCIENCE», 2008, 2, pp. 355 - 378 [Articolo in rivista]
-
C. Sacerdoti Coen; E. Tassi, A constructive and formal proof of Lebesgue’s Dominated Convergence Theorem in the interactive theorem prover Matita, «JOURNAL OF FORMALIZED REASONING», 2008, 1, pp. 51 - 89 [Articolo in rivista]
-
R. Cappelli; M. Ferrara; D. Maltoni, On the Operational Quality of Fingerprint Scanners, «IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY», 2008, 3, pp. 192 - 202 [Articolo in rivista]
-
P. Bellavista; A. Corradi; C. Giannelli, Mobility-aware Middleware for Self-organizing Heterogeneous Networks with Multihop Multipath Connectivity, «IEEE WIRELESS COMMUNICATIONS», 2008, 15, No. 6, pp. 22 - 30 [Articolo in rivista]
-
M. Alberti; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni, Expressing and verifying contracts with abductive logic programming, «INTERNATIONAL JOURNAL OF ELECTRONIC COMMERCE», 2008, 12(4), pp. 9 - 38 [Articolo in rivista]
-
M. Bravetti; G. Zavattaro, A Foundational Theory of Contracts for Multi-party Service Composition, «FUNDAMENTA INFORMATICAE», 2008, 89(4), pp. 451 - 478 [Articolo in rivista]
-
I. Bartolini; P. Ciaccia; M. Patella, Efficient Sort-Based Skyline Evaluation, «ACM TRANSACTIONS ON DATABASE SYSTEMS», 2008, 33, pp. 31-1 - 31-49 [Articolo in rivista]
-
G. Zervas; Y. Qin; R. Nejabati; D. Simeonidou; F. Callegati; A. Campi; W. Cerroni, SIP-enabled Optical Burst Switching architectures and protocols for application-aware optical networks, «COMPUTER NETWORKS», 2008, 52, pp. 2065 - 2076 [Articolo in rivista]
-
J.C.M. Baeten; M. Bravetti, A ground-complete axiomatisation of finite-state processes in a generic process algebra, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2008, 18(6), pp. 1057 - 1089 [Articolo in rivista]
-
D. Bottazzi; R. Montanari; G. Rossi, Self-organizing Group Management Middleware for Mobile Ad-Hoc Networks, «COMPUTER COMMUNICATIONS», 2008, 31, pp. 3040 - 3048 [Articolo in rivista]
-
A. Toninelli; A. Corradi; R. Montanari, Semantic-based Discovery to Support Mobile Context-aware Service Access, «COMPUTER COMMUNICATIONS», 2008, 31, pp. 935 - 949 [Articolo in rivista]
-
G. Capodaglio; A. Ricci, Le finalità conoscitive del bilancio d’esercizio: recenti modifiche normative e prospettive future., «RIVISTA ITALIANA DI RAGIONERIA E DI ECONOMIA AZIENDALE», 2008, 11 e 12, pp. 709 - 719 [Articolo in rivista]
-
C. Laneve; F. Tarissan, A simple calculus for proteins and cells, «THEORETICAL COMPUTER SCIENCE», 2008, 404, pp. 127 - 141 [Articolo in rivista]
-
C. Laneve; A. Vitale, Expressivity in the kappa Family, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2008, 218, pp. 97 - 109 [Articolo in rivista]
-
R. Gorrieri; F. Martinelli; M. Petrocchi, Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks, «JOURNAL OF AUTOMATED REASONING», 2008, 41(3-4), pp. 325 - 364 [Articolo in rivista]
-
Asnar Y. D. W.; Giorgini P.; Ciancarini P.; Moretti R.; Sebastianis M.; Zannone N., An evaluation of business solutions in manufacturing enterprises, «INTERNATIONAL JOURNAL OF BUSINESS INTELLIGENCE AND DATA MINING», 2008, 3:3, pp. 305 - 329 [Articolo in rivista]
-
Marinelli P.; Vitali F.; Zacchiroli S., Towards the unification of overlapping markup formats, «THE NEW REVIEW OF HYPERMEDIA AND MULTIMEDIA», 2008, 14(1), pp. 57 - 94 [Articolo in rivista]