Pubblicazioni

M. Magnani; D. Montesi, Uncertainty in Data Integration: current approaches and open problems, in: Proceedings of the first international workshop on Management of Uncertain Data, ENSCHEDE, CTIT, 2007, pp. 18 - 32 (atti di: VLDB workshop on Management of Uncertain Data, Wien, September 24, 2007) [Contributo in Atti di convegno]

G. Buratti; D. Montesi, An Approximation-Aware Algebra for XML Full-Text Queries, in: Proceedings of the 2nd International Conference on Software and Data Technologies (ICSOFT 2007), BERLIN, Springer, 2007, pp. 62 - 69 (atti di: International Conference on Software and Data Technologies, Barcellona, 22 - 25 July, 2007) [Contributo in Atti di convegno]

A. Carbonaro; L. Colazzo; A. Molinari, Adaptive Cooperation Tools in learning virtual communities, in: V. USKOV, Computers and Advanced Technology in Education, CALGARY, Acta Press, 2007, 570, pp. 107 - 113 (atti di: International conference on Computers and Advanced Technology in Education 2007, Beijing, China, 10/8/2007 - 10/10/2007) [Contributo in Atti di convegno]

G.Finocchiaro; L. Margara; S. Martini, Internet, il www e i loro servizi, in: AA.VV., Fondamenti di informatica, BOLOGNA, Zanichelli, 2007, pp. 1 - 59 (Fondamenti di informatica) [Capitolo/Saggio in libro]

M. Bravetti; Adalberto Casalboni; Manuel Núñez; Ismael Rodriguez, From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices, «JOURNAL OF UNIVERSAL COMPUTER SCIENCE», 2007, 13, pp. 2035 - 2075 [Articolo in rivista]

L. Aceto; M. Bravetti; W. Fokkink; A.D. Gordon, Algebraic Process Calculi: The First Twenty Five Years and Beyond II, AMSTERDAM, Elsevier, 2007, pp. 122 (Journal of Logic and Algebraic Programming, Vol. 72(1)). [Curatela]

M. Bravetti; G. Zavattaro, Web Services and Formal Methods, AMSTERDAM, Elsevier, 2007, pp. 118 (Journal of Logic and Algebraic Programming, Vol. 70(1)). [Curatela]

A. Ricci; M. Viroli; G. Piancastelli, simpA: A simple agent-oriented Java extension for developing concurrent applications, in: Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW’007), s.l, s.n, 2007, pp. 176 - 191 (atti di: Methodologies and Development Tools for Multi-Agent Systems (LADS'007), Durham, UK, 3 – 7 September 2007) [Contributo in Atti di convegno]

S. Mirri; P. Salomoni., Creazione di Pagine Web, in: Fondamenti di Informatica, Vol. 2, BOLOGNA, Zanichelli, 2007, pp. 271 - 342 (Informatica e Linguaggi di Programmazione) [Capitolo/Saggio in libro]

P. Salomoni; S.Mirri; L.A. Muratori, YEAST: The Design of a Cooperative Interactive Story Telling and Gamebooks Environment, in: Game-On 2007, OSTEND, Eurosis, 2007, pp. 83 - 87 (atti di: Game-On 2007, 8th International Conference on Intelligent Games and Simulation, Bologna, 20-22 Novembre 2007) [Contributo in Atti di convegno]

R. Baldacci; M.A. Boschetti; V. Maniezzo; A. Mingozzi, Quando la matematica può aiutare la distribuzione, «LOGISTICA MANAGEMENT», 2007, 179, pp. 73 - 80 [Articolo in rivista]

R. Baldacci; M.A. Boschetti; V. Maniezzo; A. Mingozzi, Supporto all’ottimizzazione della supply chain, «LOGISTICA MANAGEMENT», 2007, 182, pp. 17 - 24 [Articolo in rivista]

Dattolo A.; Di Iorio A.; Duca S.; Feliziani A.A.; Vitali F., Converting into pattern-based schemas: a formal approach, in: Proceedings of Extreme markup Conference, ALEXANDRIA (VA), IDEAlliance, 2007(atti di: Extreme markup Conference, Montreal, August 7-10, 2007) [Contributo in Atti di convegno]

Marinelli P.; Vitali F.; Zacchiroli S., Streaming Validation of Schemata: the Lazy Typing Discipline, in: Proceedings of Extreme Markup Conference, ALEXANDRIA (VA), IDEAlliance, 2007, pp. - - - (atti di: Extreme Markup Conference, Montreal, 7-10 August 2007) [Contributo in Atti di convegno]

Dattolo A.; Di Iorio A.; Duca S.; Feliziani A.A.; Vitali F., Structural patterns for descriptive documents, in: Lecture Notes in Computer Science, AMSTERDAM, Springer Verlag, 2007, 4607, pp. 421 - 426 (atti di: 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007) [Contributo in Atti di convegno]

Di Iorio A.; Duca S.; Presutti V.; Solmi R.; Vitali F., RDF and TopicMaps interoperability: a model-driven approach, in: Proceedings of, WREXHAM, Newi, 2007, pp. 300 - 308 (atti di: Second International Conference on Internet Technologies and Applications, Wrexham, UK, 4/7 Settembre 2007) [Contributo in Atti di convegno]

A. Boer; R. Winkels; F. Vitali, Proposed XML standards for law: Metalex and LKIF, in: Frontiers in Artificial Intelligence and Applications, AMSTERDAM, IOS Press, 2007, 165, pp. 19 - 28 (atti di: Legal Knowledge and Information Systems. Jurix 2007: The Twentieth Annual Conference Annual Conference, Leiden (NL), 12-15 december 2007) [Contributo in Atti di convegno]

D. Rossi; E. Turrini, Using a process modeling language for the design and implementation of process-driven applications, in: The Second International Conference on Software Engineering Advances - ICSEA 2007, s.l, IEEE Press, 2007, pp. 55 - 61 (atti di: The Second International Conference on Software Engineering Advances - ICSEA 2007, Cap Esterel, France, 25-31 Agosto 2007) [Contributo in Atti di convegno]

L.Di Gaspero; G.di Tollo; A.Roli; A.Schaerf, A Hybrid Solver for Constrained Portfolio Selection Problems -preliminary report, in: Proceedings of LION 2007, s.l, s.n, 2007, pp. 1 - 8 (atti di: Learning and Intelligent OptimizatioN LION 2007, Trento (Italia), 12-18 Febbraio 2007) [Contributo in Atti di convegno]

Z. Kiziltan; A. Lodi; M. Milano; F. Parisini, CP-based Local Branching, in: Proc. of the 14th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, s.l, M. Gavanelli, T. Mancini, 2007, pp. - - - (atti di: The 14th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Roma, 5-6 Luglio) [Contributo in Atti di convegno]