Pubblicazioni
-
N. Busi; M. Gabbrielli; G. Zavattaro, On the expressive power of recursion, replication and iteration in process calculi, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19(6), pp. 1191 - 1222 [Articolo in rivista]
-
M. Bravetti; G. Zavattaro, A theory of contracts for strong service compliance, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19(3), pp. 601 - 638 [Articolo in rivista]
-
M. Bravetti; G. Zavattaro, On the expressive power of process interruption and compensation, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19, pp. 565 - 599 [Articolo in rivista]
-
C. Laneve; S. Pradalier; G. Zavattaro, From Biochemistry to Stochastic Processes, in: null, 2009, 253(3), pp. 167 - 185 (atti di: Seventh Workshop on Quantitative Aspects of Programming Languages (QAPL 2009), York, UK, March 28-29, 2009) [Contributo in Atti di convegno]
-
M. Bravetti; G. Zavattaro, Contract-Based Discovery and Composition of Web Services, in: Formal Methods for Web Services, Advanced Lectures, HEIDELBERG, Springer, 2009, pp. 261 - 295 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]
-
I. Lanese; G. Zavattaro, Programming Sagas in SOCK, in: Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, LOS ALAMITOS, CA, IEEE Computer Society Press, 2009, pp. 189 - 198 (atti di: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November, 2009) [Contributo in Atti di convegno]
-
C. Di Giusto; J. A. Pérez; G. Zavattaro, On the Expressiveness of Forwarding in Higher-Order Communication, in: Theoretical Aspects of Computing - ICTAC 2009. Proceedings, BERLIN, Springer, 2009, 5684, pp. 155 - 169 (atti di: 6th International Colloquium on Theoretical Aspects of Computing - ICTAC 2009, Kuala Lumpur, Malaysia, August 16-20, 2009) [Contributo in Atti di convegno]
-
G. Delzanno; C. Di Giusto; M. Gabbrielli; C. Laneve; G. Zavattaro, The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages, in: Computational Methods in Systems Biology. Proceedings, BERLIN, Springer, 2009, 5688, pp. 158 - 172 (atti di: 7th International Conference on Computational Methods in Systems Biology, CMSB 2009, Bologna, Italy, August 31-September 1, 2009) [Contributo in Atti di convegno]
-
M. Bernardo; L. Padovani; G. Zavattaro, Formal Methods for Web Services, Advanced Lectures, HEIDELBERG, Springer, 2009, pp. 340 (Lecture Notes in Computer Science). [Curatela]
-
M. Bravetti; G. Zavattaro (a cura di): AUTORI VARI, CONCUR 2009 - Concurrency theory, HEIDELBERG, Springer, 2009, pp. 638 (Lecture Notes in Computer Science). [Curatela]
-
A. Lanza; L. Di Stefano; L. Soffritti, Bayesian Order-Consistency Testing with Class Priors Derivation for Robust Change Detection, in: Proceedings of the 2009 Sixth IEEE International Conference on Advanced Video and Signal Based Surveillance (AVSS), WASHINGTON, IEEE Computer Society, 2009, pp. 460 - 465 (atti di: Sixth IEEE International Conference on Advanced Video and Signal Based Surveillance, Genova, September 02-04 2009) [Contributo in Atti di convegno]
-
S. Carpineti; C. Laneve; L. Padovani, PiDuce - A project for experimenting Web services technologies, «SCIENCE OF COMPUTER PROGRAMMING», 2009, 74/10, pp. 777 - 811 [Articolo in rivista]
-
A. Carbonaro, Building a Collaborative Semantic-Aware Framework for Search, in: Visioning and engineering the knowledge society, BERLIN, Springer, 2009, pp. 268 - 275 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]
-
A. Carbonaro, Un ambiente semantico per la gestione e il reperimento di video, «JE-LKS. JOURNAL OF E-LEARNING AND KNOWLEDGE SOCIETY», 2009, 5, pp. 87 - 97 [Articolo in rivista]
-
A. Carbonaro, Ontology-based video retrieval, «INTERNATIONAL JOURNAL OF DIGITAL CULTURE AND ELECTRONIC TOURISM», 2009, 1, pp. 302 - 311 [Articolo in rivista]
-
A. Carbonaro, Collaborative and Semantic Information Retrieval for Technology-Enhanced Learning, in: Social Information Retrieval for Technology-Enhanced Learning 2009, s.l, CEUR-WS, 2009, 535, pp. 18 - 25 (atti di: 3rd International Workshop on Social Information Retrieval for Technology-Enhanced Learning, Aachen, Germany, August 2009) [Contributo in Atti di convegno]
-
A. Carbonaro, Building a collaborative semantic-aware framework for search: the SWS2 project, in: Proceedings of 2nd International Conference on Human System Interaction, Italy, N. J., IEEE, 2009, pp. 491 - 494 (atti di: 2nd International Conference on Human System Interaction, Italy, Italy, May 2009) [Contributo in Atti di convegno]
-
SACERDOTI COEN, Claudio; Tassi, Enrico, Natural Deduction Environment for Matita, in: Intelligent Computer Mathematics, BERLIN, Springer-Verlag, 2009, 5625, pp. 486 - 491 (atti di: 8th International Conference on Mathematical Knowledge Management (MKM 09), Grand Bend, Canada, 10-12/07/2009) [Contributo in Atti di convegno]
-
Carette, J.; Dixon, L.; SACERDOTI COEN, Claudio; Watt, S. M., Intelligent Computer Mathematics, BERLIN, Springer, 2009, pp. 494 (Lecture Notes in Artificial Intelligence). [Curatela]
-
M. MILANO; A. GUERRI, Bid evaluation in combinatorial auctions: optimization and learning, «SOFTWARE-PRACTICE & EXPERIENCE», 2009, 39(13), pp. 1127 - 1155 [Articolo in rivista]