Pubblicazioni
-
Mollona E.; Marcozzi A., Self-emerging coordination mechanisms for knowledge integration processes, «MIND & SOCIETY», 2009, 8, pp. 223 - 241 [Articolo in rivista]
-
A. Dennunzio; P. Di Lena; E. Formenti; L. Margara, On the directional dynamics of additive cellular automata, «THEORETICAL COMPUTER SCIENCE», 2009, 410, pp. 4823 - 4833 [Articolo in rivista]
-
A. Pantaleo; M. Tornatore; A. Pattavina; C. Raffaelli; F. Callegati, Dimensioning for in-band and out-of-band signalling protocols in OBS networks, «IET COMMUNICATIONS», 2009, 3, pp. 418 - 427 [Articolo in rivista]
-
M. Ruggiero; D. Bertozzi; L. Benini; M. Milano; A. Andrei, Reducing the Abstraction and Optimality Gaps in the Allocation and Scheduling for Variable Voltage/Frequency MPSoC Platforms, «IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS», 2009, 3,28, pp. 378 - 391 [Articolo in rivista]
-
N. Busi; R. Gorrieri, Structural non-interference in elementary and trace nets, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19(6), pp. 1065 - 1090 [Articolo in rivista]
-
C. Versari; N. Busi; R. Gorrieri, An expressiveness study of priority in process calculi, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19(6), pp. 1161 - 1189 [Articolo in rivista]
-
Ambra Molesini; Andrea Omicini; Mirko Viroli, Environment in Agent-Oriented Software Engineering Methodologies, «MULTIAGENT AND GRID SYSTEMS», 2009, 5(1), pp. 37 - 57 [Articolo in rivista]
-
A.Asperti; N.Busi, Mobile Petri nets, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, V.19, n.6, pp. 1265 - 1278 [Articolo in rivista]
-
D. Sangiorgi, On the origins of bisimulation and coinduction, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2009, 31, number 4, article 41, pp. 1 - 41 [Articolo in rivista]
-
P. Ciancarini; GP. Favini, Detecting clones in game-playing software, «ENTERTAINMENT COMPUTING», 2009, 1, pp. 9 - 15 [Articolo in rivista]
-
M. Casadei; M. Viroli; L. Gardelli, On the Collective Sort Problem for Distributed Tuple Spaces, «SCIENCE OF COMPUTER PROGRAMMING», 2009, 74(9), pp. 702 - 722 [Articolo in rivista]
-
N. Busi; G. Zavattaro, Deciding reachability problems in Turing-complete fragments of Mobile Ambients, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2009, 19(6), pp. 1223 - 1263 [Articolo in rivista]
-
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]
-
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, 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]
-
M. MILANO; A. GUERRI, Bid evaluation in combinatorial auctions: optimization and learning, «SOFTWARE-PRACTICE & EXPERIENCE», 2009, 39(13), pp. 1127 - 1155 [Articolo in rivista]
-
Franco Callegati; Marco Ramilli, Frightened by Links, «IEEE SECURITY & PRIVACY», 2009, 7, pp. 72 - 76 [Articolo in rivista]