Pubblicazioni
-
Visara Urovi; Stefano Bromuri; Jarred McGinnis; Kostas Stathis; Andrea Omicini, Automating Workflow using Dialectical Argumentation, «IADIS INTERNATIONAL JOURNAL ON COMPUTER SCIENCE AND INFORMATION SYSTEMS», 2008, 3(2), pp. 110 - 125 [Articolo in rivista]
-
P. Andreetto; S. Andreozzi; G. Avellino; S. Beco; A. Cavallini; M. Cecchi; V. Ciaschini; A. Dorigo; F. Giacomini; A. Gianelle; U. Grandinetti; A. Guarise; A. Krop; R. Lops; A. Maraschini; V. Martelli; M. Marzolla; M. Mezzadri; E. Molinari; S. Monforte; F. Pacini; M. Pappalardo; A. Parrini; G. Patania; L. Petronzio; R. Piro; M. Porciani; F. Prelz; D. Rebatto; E. Ronchieri; M. Sgaravatto; V. Venturi; L. Zangrando, The gLite Workload Management System, «JOURNAL OF PHYSICS. CONFERENCE SERIES», 2008, 119, pp. 062007 - 062016 [Articolo in rivista]
-
A. Carbonaro, Ontology-Based Video Retrieval in a Semantic-Based Learning Environment, «JE-LKS. JOURNAL OF E-LEARNING AND KNOWLEDGE SOCIETY», 2008, 4, pp. 203 - 212 [Articolo in rivista]
-
C. Aiftimiei; P. Andreetto; S. Bertocco; S. Dalla Fina; S. Da Ronco; A. Dorigo; A. Gianelle; M. Marzolla; M. Mazzucato; M. Sgaravatto; M. Verlato; L. Zangrando; M. Corvo; V. Miccio; A. Sciaba; D. Cesini; D. Dongiovanni; C. Grandi, Job submission and management through web services: the experience with the CREAM service, «JOURNAL OF PHYSICS. CONFERENCE SERIES», 2008, 119, pp. 062004 - 062013 [Articolo in rivista]
-
Daniel Hirschkoff; Etienne Lozes; Davide Sangiorgi, Separability in the Ambient Logic, «LOGICAL METHODS IN COMPUTER SCIENCE», 2008, 4, pp. 1 - 44 [Articolo in rivista] Open Access
-
S. Martini, Elogio di Babele, «MONDO DIGITALE», 2008, 2, pp. 17 - 23 [Articolo in rivista]
-
R. Bruni; I. Lanese, Parametric synchronizations in mobile nominal calculi, «THEORETICAL COMPUTER SCIENCE», 2008, 402(2-3), pp. 102 - 119 [Articolo in rivista]
-
Corradi A.; Landini A. ; Lodolo E.;Monti S.; Pasini S., Integrating service composition with mobile code technologies, «COMMUNICATIONS OF SIWN», 2008, 5, pp. 11 - 17 [Articolo in rivista]
-
J. Krivine; R. Milner; A. Troina, Stochastic Bigraphs, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2008, 218, pp. 73 - 96 [Articolo in rivista]
-
R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, Bisimulations in Calculi Modelling Membranes, «FORMAL ASPECTS OF COMPUTING», 2008, 20, pp. 351 - 377 [Articolo in rivista]
-
R. Barbuti; A. Maggiolo-Schettini; P. Milazzo; P. Tiberi; A. Troina, Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways, «TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY», 2008, IX, pp. 86 - 113 [Articolo in rivista]
-
R. Lanotte; A. Maggiolo-Schettini; P. Milazzo; A. Troina, Design and Verification of Long-Running Transactions in a Timed Framework, «SCIENCE OF COMPUTER PROGRAMMING», 2008, 73, pp. 76 - 94 [Articolo in rivista]
-
Lee, Uichin; Park, Joon-Sang; Lee, Seung-Hoon; Ro, Won W.; Pau, Giovanni; Gerla, Mario, Efficient peer-to-peer file sharing using network coding in MANET, «JOURNAL OF COMMUNICATIONS AND NETWORKS», 2008, 10, pp. 422 - 429 [Articolo in rivista]
-
Capone, Antonio; Elias, Jocelyne; Martignon, Fabio, Models and Algorithms for the Design of Service Overlay Networks, «IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT», 2008, 5, pp. 143 - 156 [Articolo in rivista]
-
Ferretti S.; Roccetti M.; Palazzi C.E., Intelligent Synchronization for Mirrored Game Servers: A Real Case Study, «JOURNAL OF ADVANCED COMPUTATIONAL INTELLIGENCE AND INTELLIGENT INFORMATICS», 2008, 12, pp. 132 - 141 [Articolo in rivista]