Pubblicazioni

  • BRUNI R.; LANESE I.; MONTANARI U., Complete Axioms for Stateless Connectors, in: Proceedings of CALCO'05, First Conference on Algebra and Coalgebra in Computer Science, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3629, pp. 98 - 113 (atti di: First Conference on Algebra and Coalgebra in Computer Science, Swansea, Wales, UK, 3-6/9/2005) [Contributo in Atti di convegno]

  • LANESE I.; TUOSTO E., Synchronized Hyperedge Replacement for Heterogeneous Systems, in: Proceedings of COORDINATION'05, Seventh International Conference on Coordination Models and Languages, BERLIN, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3454, pp. 220 - 235 (atti di: Seventh International Conference on Coordination Models and Languages, Namur, Belgium, 20-23/4/2005) [Contributo in Atti di convegno]

  • BRUNI R.; LANESE I., Summary 3: On Graph(ic) Encodings, in: Proceedings of Dagstuhl Seminar n.04241, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, DAGSTUHL, Schloss Dagstuhl, «DAGSTUHL SEMINAR PROCEEDINGS», 2005, 04241, pp. 23 - 39 (atti di: Dagstuhl Seminar n.04241, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, Dagstuhl, Germany, 6-11/6/2004) [Contributo in Atti di convegno]

  • Lanese I.; Montanari U., Insights Emerged while Comparing Three Models for Global Computing, in: Proceedings of Dagstuhl Seminar n.05081, Foundations of global computing, DAGSTUHL, Schloss Dagstuhl, «DAGSTUHL SEMINAR PROCEEDINGS», 2005, 05081, pp. 1 - 20 (atti di: Dagstuhl Seminar n.05081, Foundations of global computing, Dagstuhl, Germany, 20-25/2/2005) [Contributo in Atti di convegno]

  • R. BARBUTI; S. CATAUDELLA; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, A Probabilistic Model for Molecular Systems, «FUNDAMENTA INFORMATICAE», 2005, 67, pp. 13 - 27 [Articolo in rivista]

  • R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA, Automatic Analysis of a Non-Repudiation Protocol, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2005, 112, pp. 113 - 129 [Articolo in rivista]

  • R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA, Timed Automata with Data Structures for Distributed Systems Design and Analysis, in: -, Software Engineering and Formal Methods, 2005. SEFM 2005. Third IEEE International Conference on, IEEE CSP, 2005, pp. 44 - 53 (atti di: Third IEEE International Conference on Software Engineering and Formal Methods, 2005. SEFM 2005, Koblenz, Germany, September 2005) [Contributo in Atti di convegno]

  • R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions, in: 3rd Int. Workshop on Computational Methods in Systems Biology (CMSB'05), 2005, pp. 167 - 178 (atti di: CMSB'05, Edinburgh, Scotland, April, 2005) [Contributo in Atti di convegno]

  • R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA, A Calculus of Looping Sequences for Modelling Microbiological Systems, in: 14th Int. Workshop on Concurrency Specification and Programming (CS&P'05), Varsavia, Warsaw University, 2005, 511/2005, pp. 29 - 40 (atti di: CS&P'05, Ruciane-Nida, Poland, September 2005) [Contributo in Atti di convegno]

  • Parker, Michael*; Nader-Tehrani, Amir; Nandan, Alok; Pau, Giovanni, Optimizing neighbors by objective functions in peer-to-peer networks, in: Parker, Michael*, GLOBECOM - IEEE Global Telecommunications Conference, 2005, 2, pp. 990 - 995 (atti di: GLOBECOM'05: IEEE Global Telecommunications Conference, 2005, St. Louis. MO, usa, 2005) [Contributo in Atti di convegno]

  • Das, Shirshanka*; Nandan, Alok; Parker, Michael G.; Pau, Giovanni; Gerla, Mario, Grido- An architecture for a grid-based overlay network, in: Das, Shirshanka*, Second International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks, Qshine 2005, 2005, 2005, pp. 27 - 27 (atti di: 2nd International Conference on Quality of Service in Heterogeneous Wired/Wireless Networks, Qshine 2005, Orlando,FL, usa, 2005) [Contributo in Atti di convegno]

  • ROCCETTI M.; S. FERRETTI, Adaptive Playout Control Schemes for Speech Transmission over the Internet, in: MEHDI KHOSROW-POUR, Encyclopedia of Information Science and Technology, HERSHEY, Idea Group Publishing, 2005, pp. 53 - 57 [Capitolo/Saggio in libro]

  • BALDACCI R.; BOSCHETTI M.A.; MANIEZZO V.; ZAMBONI M., Scatter Search Methods for the Covering Tour Problem, in: REGO C.; ALIDAEE B., Metaheuristic Optimization via Memory and Evolution: Tabu Search and Scatter Search, Series: Operations Research – Computer Science Interfaces, NORWELL, Kluwer Academic Publishers, 2005, pp. 59 - 91 [Capitolo/Saggio in libro]

  • BUSI N.; G. ZAVATTARO, Prioritized and Parallel Reactions in Shared Data Spaces in Coordination Languages, in: Coordination Models and Languages. Proceedings, BERLIN, Springer, 2005, 3454, pp. 204 - 219 (atti di: 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005) [Contributo in Atti di convegno]

  • BUSI N.; G. ZAVATTARO, Deciding Reachability in Mobile Ambients, in: Programming Languages and Systems. Proceedings, 2005, 3444, pp. 248 - 262 (atti di: 14th European Symposium on Programming, ESOP 2005. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005) [Contributo in Atti di convegno]

  • DRAGONI N; GASPARI M., An Object Based Algebra for Specifying a Fault Tolerant Software Architecture, «JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING», 2005, 63, pp. 271 - 297 [Articolo in rivista]

  • TUMMOLINI LUCA; CASTELFRANCHI CRISTIANO; RICCI ALESSANDRO; VIROLI MIRKO; OMICINI ANDREA, “Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages, in: Environments for Multi-Agent Systems, Berlin Heidelberg, Springer, 2005, pp. 215 - 231 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

  • RICCI ALESSANDRO; VIROLI MIRKO; OMICINI ANDREA, Environment-Based Coordination Through Coordination Artifacts, in: Environments for Multi-Agent Systems, Berlin Heidelberg, Springer, 2005, pp. 190 - 214 (LECTURE NOTES IN COMPUTER SCIENCE) [Capitolo/Saggio in libro]

  • DENTI ENRICO; OMICINI ANDREA; RICCI ALESSANDRO, Multi-paradigm Java-Prolog integration in tuProlog, «SCIENCE OF COMPUTER PROGRAMMING», 2005, 57, pp. 217 - 250 [Articolo in rivista]

  • M. GAVANELLI; E. LAMMA; MELLO P.; M. MILANO, Dealing with incomplete knowledge on CLP(FD) variable Domains, «ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS», 2005, 27, pp. 236 - 263 [Articolo in rivista]

Torna su