next up previous contents
Next: Doctorate Theses 1988-2005 Up: The Department of Computer Previous: Administrative-Technical offices   Contents


Publications

External publications since 2003
(Books and papers published in books, journals, national or international conference proceedings)
  1. Accettella C. J., Del Corso G. M., Manzini G., ``Inversion of two-level Circulant Matrices over Zp'', Linear Algebra and its Applications, 366 (2003), pp. 5-23.
  2. Ahuja R.K., J.B. Orlin, S. Pallottino and M.G. Scutellà, ``Dynamic shortest paths minimizing travel times and costs'', Networks 41 (2003) 197-205.
  3. Ahuja R.K., J.B. Orlin, S. Pallottino, M.P. Scaparra and M.G. Scutellà, ``A multi-exchange heuristic for the single source capacitated facility location problem'', Management Science 50 (6) (2004) 749-760.
  4. Aiolli F., Sperduti A., ``Multi-prototype Support Vector Machine'', in Proc. of the IJCAI, pp 541-546, Acapulco Mexico 2003.
  5. Albano, M., S. Chessa, F. Nidito, S. Pelagatti. Geographic Hash Tables with QoS in non Uniform Sensor Networks. ACM Mobihoc 2006, vol. 1, pp. 1-3, Firenze, May 2006.
  6. Albini L.P.C., Caruso A., Chessa S., and P. Maestrini, Reliable Routing in Wireless Ad Hoc Networks: The Virtual Routing Protocol, Accepted for Publication on Journal of Network and Systems Management, special issue on Management of Wireless Ad Hoc Networks and Wireless Sensor Network.
  7. Albini, L.P.C., Chessa, S., Maestrini, P. Diagnosis of Symmetric graphs Under the BGM Model, Computer Journal (Vol. 47, no.1, 2004) pp.85-92.
  8. Aldini A. and A. Di Pierro.
    A quantitative approach to noninterference for probabilistic systems.
    In M. Bravetti and G. Gorrieri, eds, ENTCS. Elsevier, 2004.
  9. Aldini A. and A. Di Pierro.
    On quantitative analysis of probabilistic protocols.
    In A. Cerone and A. Di Pierro, eds, ENTCS. Elsevier, 2004.
  10. Aldini A., M. Bravetti, A. Di Pierro, R. Gorrieri, C. Hankin, and H. Wiklicky.
    Two formal approaches for approximating noninterference properties.
    In Foundations of Security Analysis and Design II - Tutorial Lectures, vol. 2946 of LNCS, pp 1-43. Springer, 2004.
  11. Aldinucci M., Danelutto M., ``An operational semantics for skeletons'', in Proc. of Intl. Conf. ParCo2003: Parallel Computing, Sept. 2003.
  12. Aldinucci M., Danelutto M., P. Teti, ``An advanced environment supporting structured parallel programming in Java'', Future Generation Computer Systems 19(5), pp 611-626. Elsevier, 2003.
  13. Aldinucci M., S. Campa, P. Ciullo, M. Coppola, Danelutto M., P. Pesciullesi, R. Ravazzolo, M. Torquati, Vanneschi M., C. Zoccolo. A framework for experimenting with structured parallel programming environment design. In Proc. of Intl. Conf. ParCo2003: Parallel Computing, Sept. 2003.
  14. Aldinucci M., S. Campa, P. Ciullo, M. Coppola, Magini S., P. Pesciullesi, L. Potiti, R. Ravazzolo, M. Torquati, Vanneschi M., C. Zoccolo, ``The Implementation of ASSIST, an Environment for Parallel and Distributed Programming'', EuroPar 2003 Conference, August 2003. In Euro-Par 2003: Parallel Processing, LNCS 2790: pag. 712-721. Springer, 2003
  15. Aldinucci M., S. Campa, P. Ciullo, M. Coppola, M.Danelutto, P. Pesciullesi, R. Ravazzolo, M. Torquati, Vanneschi M., C. Zoccolo, ``ASSIST demo: a High Level, High Performance, Portable, Structured Parallel Programming Environment at Work'', EuroPar 2003 Conference, August 2003. In Euro-Par 2003: Parallel Processing, LNCS 2790: pag. 1295-1300. Springer, 2003
  16. Alferes J.J., Banti F., Brogi A., ``An Event-Condition-Action Logic Programming Language”, in M. Fischer (editor), JELIA06: 10th European Conf. on Logics in Artificial Intelligence, LNAI, 2006. (To appear.)
  17. Alferes J.J., Banti F., Brogi A., ``From logic programs updates to action description updates", in J. Leite and P. Torroni (eds), Computational Logic in Multi-Agent Systems, 5th Intl. Workshop, CLIMA V, Revised Selected and Invited Papers, LNAI 3487, pp 52-77, 2005.
  18. Alferes J.J., Banti F., Brogi A., Leite J., ``Semantics for Dynamic Logic Programming: a principle-based approach", in V. Lifschitz and I. Niemela (eds.), Procs. of the Seventh Intl. Conf. on Logic Programming and Nonmonotonic Reasoning, LNCS 2923, pp 8-20, 2004.
  19. Alferes J.J., Banti F., Brogi A., Leite J., ``The Refined Extension Principle for Semantics of Dynamic Logic Programming", Studia Logica 79(1):7-32, 2005.
  20. Alferes J.J., Brogi A., Leite J.A., Pereira L.M., ``An evolvable rule-based email agent", Progress in Artificial Intelligence, LNAI 2902, pp 394-408, 2003.
  21. Alferes J.J., Brogi A., Leite J.A., Pereira L.M., ``Logic Programming for Evolving Agents", in M. Klusch, S. Ossowski, A. Omicini, H. Laamanen, (eds), Cooperative Information Agents VII - 7th Intl. Workshop, CIA 2003 LNCS 2782, pp 281-297, 2003.
  22. Aliprandi, C., D. Barsocchi, F. Fanciulli, P. Mancarella, D. Pupillo, R. Raffaelli e C. Scudellari, ``AWE, an Innovative Writing Prediction Environment'', HCI Intl. 2003, (Adjunct Proc. ), pp. 237-238, Grecia 2003.
  23. Almeida Ruiz A., Luccio F., Mesa Enriquez A., and Pagli L., ``k-Restricted Rotation Distance with an Application to Search Tree Rebalancing'', Proc. WADS'05, Waterloo, in LNCS 3608, Springer (2005) 2-13.
  24. Altenhofen, M., and E. Börger and J. Lemcke, A High-Level Specification for Mediators (Virtual Providers). In: Christoph Bussler, Armin Haller (eds): Business Process Management Workshops: BPM 2005 Intl. Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, Sept. 5, 2005. Revised Selected Papers. Springer LNCS 3812, 2006, pp. 116-129.
  25. Altenhofen, M., and E. Börger and J. Lemcke, An Abstract Model for Process Mediation. K.-K.Lau and R. Banach (eds): Formal Methods and Software Engineering. Proc. 7th Intl. Conf. on Formal Engineering Methods (ICFEM 2005). Springer LNCS 3785, 2005, pp. 81-95.
  26. Altenhofen, M., and E. Börger and J. Lemcke, An Execution Semantics for Mediation Patterns. Christoph Bussler and Dieter Fensel and Uwe Keller and Brahmanada Sapkota (eds): Proc. of 2nd WSMO Implementation Workshop WIW'2005, 2005, Innsbruck, Austria.
  27. Altenhofen, M., E. Börger, A Friesen, J. Lemcke, A High-Level Specification for Mediators. Intl. Journal of Business Process Integration and Management (IJBPIM) 2006. pp.12 (to appear)
  28. Amato G., Baronti P., and Chessa S., MaD-WiSe: Programming and Accessing Data in a Wireless Sensor Networks, IEEE Eurocon, Nov. 2005, pp.300-303.
  29. Amato G., Baronti P., Chessa S., and Masi V., The Stream System: a Data Collection and Communication Abstraction for Sensor Networks, 2006 IEEE Intl. Conf. on Systems, Man, and Cybernetics, 8-11 Oct. 2006.
  30. Amato, G., Chessa, S., Conforti, F., Macerata A., and Marchesi, C., Health Care Monitoring of Mobile Patients, Ercim news n.60 (2005).
  31. Amato, G., Chessa, S., Conforti, F., Macerata A., and Marchesi, C., Networking and Data Management for Health Care Monitoring of Mobile Patients, Personalized Health Workshop, Belfast UK, Dec. 2004.
  32. Amato, G., M. Coppola, S. Gnesi, F. Scozzari, and L. Semini. Modeling web applications by the multiple levels of integrity policy. WWV 2005, pp 161-176, 2005. ENTCS vol. 157, issue 2, Elsevier.
  33. Ambriola, V. and A. Kmiecik. Transformations for Architectural Restructuring, Journal of Informatica, 28:2, (2004), 117-128.
  34. Ambriola, V. and V. Gervasi. On the systematic analysis of natural language requirements with Circe. Automated Software Engineering 13(1):107-167, 2006.
  35. Ambriola, V., Cignoni, G.A., Jaccheri, M.L. and R. Conradi A framework for comparing software processes off the shelf, Proc. of the Intl. Workshop on Software Process Simulation Modeling, May 2003. pp 32-40.
  36. Ambriola, V. L. Del Carlo, and V. Gervasi. Eclipse as a requirements engineering environment. In Proc. of the ICSE Workshop on Directions in Software Engineering Environments, May 2004.
  37. Ambrosino D. and M.G. Scutellà, ``Distribution network design: new problems and related models'', European Journal of Operational Research 165 (3) (2005) 610-624.
  38. Andreozzi, S., Antoniades, D., Ciuffoletti, A., Ghiselli, A., Markatos, E., Polychronakis, M., and Trimintzios, P. Issues about the integration of passive and active monitoring for grid networks. In CoreGRID Integration Workshop 2005, Pisa.
  39. Andreozzi, S., Ciuffoletti, A., Ghiselli, A., and Vistoli, C. Monitoring the connectivity of a grid. In 2nd Workshop on Middleware for Grid Computing, pp 47-51, Toronto, 2005.
  40. Arrighi R., M.A. Bonuccelli, F. Lonetti, F. Martelli. Integrating GSM networks and internet: new unstructured services. ERCIM News, no. 54 (July 2003), pp. 27-28.
  41. Ascari L., Bertocchi U., Laschi C., Stefanini C., Starita A., Dario P., ``A segmentation algorithm for a robotic micro-endoscope for exploration of the spinal cord'', Intl. Conf. on Robotics and Automation (ICRA), vol. 2, pp. 491-496, New Orleans, LA. April 2004.
  42. Asuni G., Leoni F., Guglielmelli E., Starita A., Dario P., ``A Neuro-controller for Robot Arms Based on Biologically-Inspired Visuo-Motor Co-ordination Neural Model''. VOLUME IV BRAIN AND NEURONS.
  43. Asuni G., Leoni F., Guglielmelli E., Starita A., Dario P., ``A Neuro-controller for Robotic Manipulators Based on Biologically-Inspired Visuo-Motor Co-ordination Neural Models'', Intl. IEEE EMBS Conf. on Neural Engineering, pp. 450-453, July 2003, Capri Island, Italy.
  44. Attardi, G., A. Cisternino, A. Kennedy, CodeBricks: Code Fragments as Building Blocks. ACM SIGPLAN Notices, Vol. 38, N. 10, 66-74, Oct. 2003.
  45. Attardi, G., A. Cisternino, D. Colombo, CIL + Metadata > Executable. Journal of Object Technology, Vol. 3, No. 2, March-April, 2004.
  46. Attardi, G., A. Cisternino, Multistage programming support in CLI. IEEE Proceedings Software, 275-282, Vol. 150, No. 5, Oct. 2003.
  47. Attardi, G., A. Esuli, L. Hancu, M. Simi, "Participatory search", WWW/Internet 2004, Madrid, vol 1, pp. 643-650, 2004.
  48. Attardi, G., et al., The LOA Customizable Media Aggregator. First Intl. Conf. on Automated Production of Cross Media Content for Multi-Channel Distribution, Florence, November, 2005.
  49. Attardi, G., Experiments with a Multilanguage Non-Projective Dependency Parser. Tenth Conf. on Natural Language Learning, New York, (NY), 2006.
  50. Attardi, G., IXE at the TREC Terabyte Task. Proc. of The Forteenth Text Retrieval Conf. (TREC 2005), NIST, Gaithersburg (MD), 2005.
  51. Attardi, G., Maria Simi, Extracting Dependency Relations for Opinion Mining. Workshop on Distributed Agent-based Retrieval Tools, Cagliari, 2006.
  52. Atzori M., F. Bonchi, F. Giannotti, D. Pedreschi, ``Anonymity and Data mining", Computer Systems Science & Engineering, 20(5) (2005)
  53. Atzori M., F. Bonchi, F. Giannotti, D. Pedreschi, ``Blocking Anonymity Threats Raised by Frequent Itemset Mining", In Proc. of the Fifth IEEE Intl. Conf. on Data Mining (ICDM'05), Nov. 27-30, (2005)
  54. Atzori M., F. Bonchi, F. Giannotti, D. Pedreschi, ``k-Anonymous Patterns", In Proc. of the Ninth European Conf. on Principles and Practice of Knowledge Discovery in Databases (PKDD'05) LNCS, Vol. 3721, Springer Oct. 3-7, (2005)
  55. Atzori M., F. Bonchi, F. Giannotti, D. Pedreschi, ``Towards LowPerturbation Anonymity Preserving Pattern Discovery", In Proc. of ACM SAC 2006, Data Mining track, pp. 588-592 (2006)
  56. Atzori M., P. Mancarella, F. Turini, ``Memory-Aware Frequent k-Itemset Mining", In Proc. of KDID 2005, Springer LNCS/LNAI 3933, pp. 38-54 (2006)
  57. Atzori, M., P. Mancarella e F. Turini, ``Abduction in Classification Tasks'', AI*IA 2003, LNAI 2829, pp. 213-224, 2003.
  58. Atzori M., P. Mancarella, F. Turini, ``Computing Frequent k-Itemsets Directly in Sparse Datasets", In Proc. of KDID 2005, Springer LNCS/LNAI 3933, (2006)
  59. Bacarella V., M. Nanni, F. Giannotti e D. Pedreschi. ``Discovery of ads web hosts through traffic data analysis", In Proc. of the 9th ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery, 2004, Maison dela Chimie, Paris, France. Pp. 76-81
  60. Bacciu, D., A. Starita ``Competitive repetition suppression (CoRe) learning.'', ICANN 2006, Athens Sept. 2006, (accepted).
  61. Bacciu D., Zollo L., Guglielmelli E., Leoni F., Starita A., ``An RLWPR Neural Network for Learning the Internal Model of an Anthropomorphic Robot Arm'', Intl. Conf. on Intelligent Robots and Systems, Sendai (Japan), Oct. 27-30, 2004.
  62. Baglioni M., B. Furletti, F. Turini, ``DrC4.5: Improving C4.5 by means of prior knowledge", Proc. of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, pp. 474-481, (2005)
  63. Baglioni M., F. Turini: ``MQL: An Algebraic Query Language for Knowledge Discovery", AI*IA 2003, LNAI 2829, pp. 225-236
  64. Baglioni M., U. Ferrara, A. Romei, S. Ruggieri, F. Turini: ``Preprocessing and Mining Web Log Data for Web Personalization", AI*IA 2003, LNAI 2829, 2003, pp.237-249
  65. Bagnara B., Zaffanella E., Gori R. and Hill P.
    Finite-Tree Analysis for Constraint Logic-Based Languages.
    Information and Computation, to appear.
  66. Baiardi F., A. Bonotti, L. Ferrucci, L. Ricci, P. Mori,``Load Balancing by Domain Decomposition: the Bounded Neighbour Approach'', 17th European Simulation MultiConference, Nottingham, England, UK, 2003
  67. Baiardi F., D. Guerri, P. Mori, L. Ricci, L. Vaglini, ``MPI on a Virtual Shared Memory'', ParCo Parallel Computing 2003, Elsevier.
  68. Baiardi F., F. Martinelli, M. Petrocchi, A. Vaccarelli, ``SEAS, an improvement of the SENSUS protocol: design and implementation'', E-comm-line 2003, vol. 1, pp. 45-52, Bucarest 2003
  69. Baiardi F., F. Martinelli, M. Petrocchi, A. Vaccarelli, ``SEAS, a Secure E-voting Applet System'', ISSS03 - 2nd Intl. Symposium on Software Security, vol. 1, pp. 1-15, Tokyo 2003
  70. Baldamus M., Begnston J., Ferrari G. and Raggi R., ``Web services as a new approach to distributing and coordinating semantics-based verification toolkits'', in M. Bravetti and G. Zavattaro, eds, Proc. First Intl. Workshop on Web Services and Formal Methods, vol. 105 of ENTCS. Elsevier, 2004.
  71. Baldan P. and Corradini A., ``On the Concurrent Semantics of Algebraic Graph Grammars'', in H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg and G. Taentzer, eds, Formal Methods in Software and Systems Modeling, vol. 3393 of LNCS, pp 3-22. Springer, 2005.
  72. Baldan P., Bracciali A. and Bruni R., ``Symbolic Equivalences for Open Systems'', in C. Priami and P. Quaglia, eds, Proc. of GC 2004, Intl. Workshop on Global Computing 2004, vol. 3267 of LNCS, pp 1-17. Springer, 2004.
  73. Baldan P., Busi N., Corradini A. and Pinna G.M., ``Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs'', TCS 323(1-3): 129-189. Elsevier, 2004.
  74. Baldan P., Corradini A. and Gadducci F., ``Specifying and verifying UML activity diagrams via graph transformation'', in C. Priami and P. Quaglia, eds, Proc. of GC 2004, Intl. Workshop on Global Computing 2004, vol. 3267 of LNCS, pp 18-33. Springer, 2005.
  75. Baldan P., Corradini A. and König B., ``Verifying finite-state graph grammars: an unfolding-based approach'', in P. Gardner and N. Yoshida, eds, Proc. of CONCUR 2004, vol. 3170 of LNCS, pp 83-98. Springer, 2004.
  76. Baldan P., Corradini A. and Montanari U., ``Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs'', in H. Ehrig, J. Padberg and G. Rozenberg, eds, Proc. of the Workshop on Petri Nets and Graph Transformations, vol. 127(2) of ENTCS. Elsevier, 2005.
  77. Baldan P., Corradini A., Dotti F., Foss L., Gadducci F. and Ribeiro L., ``Towards a notion of transaction in graph rewriting'', in R. Bruni and D. Varró, eds, Intl. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'06), ENTCS. Elsevier, to appear.
  78. Baldan P., Corradini A., Ehrig H. and Heckel R., ``Compositional Semantics for Open Petri Nets based on Deterministic Processes'', Math. Struct. in Comput. Sci. 15(1):1-30. Cambridge University Press, 2005.
  79. Baldan P., Corradini A., Esparza J., Heindel T., König B. and Kozioura V., ``Verifying Red-Black Trees'', in D. Distefano, P. O'Hearn, and R. Iosif, eds, Proc. of the First international workshop on the verification of COncurrent Systems with dynaMIC Allocated Heaps (COSMICAH 2005), vol. RR-05-04, Queen Mary University, Dept. of Computer Science, 2005.
  80. Baldan P., Corradini A., Foss L. and Gadducci F., ``Graph transactions as processes'', in A. Corradini, H. Ehrig, U. Montanari, L. Ribeiro, and G. Rozenberg, eds, Proc. of ICGT'06, vol. 4187 of LNCS. Springer, 2006.
  81. Baldan P., Corradini A., Heindel T., König B. and Sobocinski P., ``Processes for Adhesive Rewriting Systems'', in L. Aceto and A. Ingólfsdóttir, eds, Foundations of Software Science and Computation Structures, vol. 3921 of LNCS. Springer, 2006.
  82. Baldan P., Corradini A., König B. and König B., ``Verifying a behavioural logic for graph transformation systems'', in F. Honsell, M. Lenisa and M. Miculan, eds, Proc. of the Workshop of the COMETA Project on Computational Metamodels, vol. 104 of ENTCS. Elsevier, 2004.
  83. Baldan P., Corradini A., Montanari U. and Ribeiro L., ``From the Functorial Semantics of Petri Nets to that of Algebraic Graph Grammars'', in Prel. Proc. of Uniform Approaches to Graphical Specification Techniques--UNIGRA'03, 2003.
  84. Baldan P., Gadducci F. and Montanari U., ``A concurrent graph model for calculi with name mobility and fusions'', in I. Mackie, editor, Third Intl. Workshop on Term Graph Rewriting (TERMGRAPH 2006), ENTCS. Elsevier, to appear.
  85. Baldan P., Gadducci F. and Montanari U., ``Concurrent rewriting for graphs with equivalences'', in C. Baier and H. Hermanns, eds, 17th Intl. Conf. on Concurrency Theory (CONCUR 2006), LNCS. Springer, to appear.
  86. Baldi G., Bracciali A., Ferrari G., and Tuosto E., ``A Coordination-based Methodology for Security Protocol Verification'', in Proc. 2nd Intl. Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004), vol. 121 of ENTCS. Elsevier, 2005.
  87. Banti F., Alferes J.J., Brogi A., Hitzler P., ``The well supported semantics for multidimensional dynamic logic programs", in C. Baral, G. Greco, N. Leone, G. Terracina (eds) Logic Programming and Nonmonotonic Reasoning, 8th Intl. Conference, LPNMR 2005, LNCS 3662, pp 356-368, 2005.
  88. Banti F., Alferes J.J., Brogi A., ``Operational semantics for DyLPs”, in A. Cardoso,  C. Bento and G. Dias (eds), Progress in Artificial Intelligence, Procs. 12th Portuguese Int. Conf. on Artificial Intelligence (EPIA'05), LNAI 3808, pp 43-54, 2005.
  89. Banti, F., Alferes J.J., Brogi A., ``Well founded semantics for logic program updates", in C. Lemaitre, C.A. Reyes, J.A. Gonzalez (eds) Advances in Artificial Intelligence Proc. of IBERAMIA 2004: 9th Ibero-American Conf. on AI", LNCS 3315, pp 397-407, 2004.
  90. Baragatti A., Bruni R., Melgratti H., Montanari U. and Spagnolo, G., ``Prototype platforms for distributed agreements'', in A. Brogi, J.-M. Jacquet, E. Pimentel, eds, Proc. of FOCLASA 2004, 3rd Intl. Workshop on Foundations of Coordination Languages and Software Architectures, ENTCS. Elsevier, to appear.
  91. Baraglia R., Danelutto M., Laforenza D., Orlando S., Palmerini P., Perego R., Pesciullesi P., and Vanneschi M..
    ``AssistConf: A Grid Configuration Tool for the ASSIST Parallel Programming Environment.''
    In Proc. of the Eleventh Euromicro Conf. on Parallel, Distributed and Network-Based Processing, pp 193-200. IEEE, Feb. 2003.
  92. Barbuti, R., Cataudella, S., ``Abstract Interpretation Against Races'', Fundamenta Informaticae 60, 2004, 67-79.
  93. Barbuti, R., Cataudella, S., ``Abstract Interpretation for Eliminating Unnecessary Synchronizations'', Fundamenta Informaticae 67, 2005.
  94. Barbuti, R., Cataudella, S., ``Java Bytecode Verification on Java Cards'', Proc. ACM Symposium on Applied Computing, 2004.
  95. Barbuti, R., Cataudella, S. Maggiolo-Schettini, A., Milazzo, P., Troina, A., ``A Probabilistic Model for Molecular Systems'', Fundamenta Informaticae 67, 2005, 13-27.
  96. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A., ``A Calculus of Looping Sequences for Modelling Microbiological Systems'', Fundamenta Informaticae 73, 2006, 1-15.
  97. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Troina, A., ``An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions'', presented at CMSB'05.
  98. Barbuti, R., Tesei, L., ``A Decidable Notion of Timed Non-Interference'', Fundamenta Informaticae 54, 2003, 137-150.
  99. Barbuti, R., Tesei, L., ``Timed Automata with Urgent Transitions'', Fundamenta Informaticae 40, 2004, 317-347.
  100. Barcaro, U. A Method for Studying the Links Between Different Dream Sources, 21st IASD Conference, vol. 1, p. 13, Copenhagen 2004
  101. Barcaro, U. C. Navona, C. Cavallero, A Method for Recognizing and Describing the Links Among Dream Sources, Dreaming, vol. 15, pp. 271-287, 2005
  102. Barcaro U., Di Bona S., Fontanelli R., La Manna S., Orlandi G., Salvetti O., Sartucci F., ``Real-Time Detection and Clinical Categorisation of Ultrasound High Intensity Transient Signals'', WSEAS Transactions on Systems 4 (2), 921-926, 2003.
  103. Barcaro, U., E. Bonanni, M. Maestri, L. Murri, L. Parrino, M.G. Terzano, A general automatic method for the analysis of NREM sleep microstructure, Sleep Medicine, vol. 5, pp. 567-576, 2004
  104. Barcaro U., Navona C., Manca M.L., Bonanni E., Salvetti O., Maestri L., Fabbrini F. and. Murri L., ``Un metodo automatico per la classificazione delle fasi A del Cyclic Alternating Pattern del Sonno NREM''. Congresso Nazionale SINC, Firenze: 58, 2003.
  105. Barcaro, U. Recognition and Analysis of Links Between Dream Sources, 22nd IASD Conference, vol. 1, p. 31, Berkeley 2005
  106. Baronti F., Colla F., Maggini V., Micheli A., Passaro A., Rossi A.M., Starita A., ``Experimental comparison of machine learning approaches to medical domains: a case study of genotype influence on oral cancer development'', European Conf. on Emergent Aspects in Clinical Data Analysis, EACDA 2005, vol. 1, pp. 81-86, Pisa 2005
  107. Baronti F., Maggini V., Micheli A., Passaro A., Rossi A.M., Starita A., ``A Preliminary Investigation on Connecting Genotype to Oral Cancer Development through XCS'', CIBB 2004 - Intl. Meeting On Computational Intelligence Methods For Bioinformatics And Biostatistics. WIRN 04 - XV Italian Workshop On Neural Networks. Sept. 14-15, 2004, Perugia, ITALY. Proc. of WIRN 04, B. Apolloni, M. Marinaro, R. Tagliaferri Ed.s, Springer 2004.
  108. Baronti F., Maggini V., Micheli A., Passaro A., Rossi A.M., Starita A., ``Exploring Relationships between Genotype and Oral Cancer Development Through XCS'', accepted at: MedGEC 2005, the Medical Applications of Genetic and Evolutionary Computation, June 2005, Washington, D.C. USA.
  109. Baronti F., Micheli A., Passaro A., Starita A., ``Machine Learning Contribution to Solve Medical Problems in Complex Data Domain'', chapter in the book: Outcome Prediction in Cancer, A. F.G. Taktak and A.C. Fisher (eds), Studies in Multidisciplinarity Series of Elsevier, 2006.
  110. Baronti F., Passaro A., Starita A., ``Post-processing clustering to reduce XCS variability'', accepted at: IWLCS05, Eighth Intl. Workshop on Learning Classifier Systems, Washington, June 2005, will be published in LNCS on Evolutionary Computation.
  111. Baronti P., Chessa S., de Cola T., Franck L., and Marchese M., A Distributed Emulator for Interplanetary Remote Sensing, Advanced Satellite Mobile Systems (ASMS) Conference, Herrsching Ammersee, Germany, 29-31 May 2006, pp.5.
  112. Barros, M., and E. Börger, A Compositional Framework for Service Interaction Patterns and Interaction Flows. K.-K.Lau and R. Banach (eds): Formal Methods and Software Engineering. Proc. 7th Intl. Conf. on Formal Engineering Methods (ICFEM 2005). Springer LNCS 3785, 2005, pp. 5-35.
  113. Barsotti F., Caruso A., and Chessa S., The Localized Vehicular Multicast Middleware: a Framework for Ad Hoc Inter-Vehicles Multicast Communications, 10th WSEAS Int.Conf. on Communications, Athens, Greece, 10-15 July 2006, pp.6. .
  114. Bartoletti M., Degano P. and Ferrari G., ``Enforcing Secure Service Composition'', in 18th IEEE Computer Security Foundations Workshop (CSFW'05). IEEE Press, 2005.
  115. Bartoletti M., Degano P. and Ferrari G., ``History-based Access Control with Local Policies.'', in Proc. Foundations of Software Science and Computation Structures (FoSSaCS'05), vol. 3441 of LNCS. Springer, 2005.
  116. Bartoletti M., Degano P. and Ferrari G.L., ``Checking Risky Events is enough for Local Policies.'', in Proc. ICTCS 2005, vol. 3701 of LNCS. Springer, 2005.
  117. Bartoletti M., Degano P., and Ferrari G. L.
    ``Checking Risky Events is enough for Local Policies.''
    In Proc. ICTCS 2005, LNCS 3701,, pp. 97-112, 2005.
  118. Bartoletti M., Degano P., and Ferrari G. L.
    ``Enforcing Secure Service Composition.''
    In Proc.18th IEEE CSFW, Aix-en-Provence, 2005.
  119. Bartoletti M., Degano P., and Ferrari G. L.
    ``History-based Acces Control with Local Policies.''
    In Proc. FoSSaCS'05, LNCS 3441, 2005.
  120. Bartoletti M., Degano P., and Ferrari G. L..
    ``Method inlining in the presence of stack inspection.''
    In Proc. WITS'04, Barcelona, 2004.
  121. Bartoletti M., Degano P., and Ferrari G. L.
    ``Policy Framings for Access Control.''
    In Proc. WITS'05, pp.5-11, Long Beach, 2005.
  122. Bartoletti M., Degano P., and Ferrari G. L.
    ``Policy Framings for Access Control.''
    In Proc. WITS'06, pp. 9-24, 2006.
  123. Bartoletti M., Degano P., and Ferrari G. L.
    ``Security-aware Program Transformations.''
    In Proc. ICTCS 2003, LNCS 2841, Springer, pp. 355-368.
  124. Bartoletti M., Degano P., and Ferrari G. L.
    ``Security issues in service composition.''
    Invited paper at FMOODS, LNCS 4037, pp. 1-16, 2006.
  125. Bartoletti M., Degano P., and Ferrari G.L.
    ``Stack Inspection and Secure Program Transformations.''
    Intl. Journal of Information Security, 2:187-217, 2004.
  126. Bartoletti M., Degano P., and Ferrari G. L..
    ``Static Analysis for Eager Stack Inspection.''
    In Proc. W/S ECOOP Formal Techniques for Java-like Programs, Darmstadt, 2003.
  127. Bartoletti M., Degano P., and Ferrari G. L.
    ``Types and Effects for Secure Service Orchestration''
    In Proc.19th IEEE CSFW, Venezia,pp. 57-69 2006.
  128. Bartoletti M., Degano P. and Ferrari G.L., ``Policy Framings for Access Control.'', in Proc. WITS'06, 2006.
  129. Bartoletti M., Degano P. and Ferrari G.L., ``Security issues in service composition.'', invited paper at FMOODS, vol. 4037 of LNCS. Springer, 2006.
  130. Bartoletti M., Degano P. and Ferrari G.L., ``Types and Effects for Secure Service Orchestration'', in Proc. 19th IEEE CSFW, 2006.
  131. Bartoletti M., Degano P. and Ferrari G., ``Method-inlining in presence of stack-inspection'', in P. Ryan, editor, Proc. Workshop on Issues in the Theory of Security (WITS'04), 2004.
  132. Bartoletti M., Degano P. and Ferrari G., ``Policy Framings for Access Control'', in Workshop on Issues in the Theory of Security 2005 (WITS'05). ACM Press, 2005.
  133. Bartoletti M., Degano P. and Ferrari G., ``Program transformations under dynamic security policies'', in Proc. MEPHISTO Final Workshop, vol. 99 of ENTCS. Elsevier, 2004.
  134. Bartoletti M., Degano P. and Ferrari G., ``Security-aware Program Transformations'', in C. Blundo and C. Laneve, eds, Proc. ICTCS 2003, Eighth Italian Conf. on Theoretical Computer Science, vol. 2841 of LNCS. Springer, 2003.
  135. Bartoletti M., Degano P. and Ferrari G., ``Stack Inspection and Secure Program Transformations'', Intl. Journal of Information Security 2:1-31. Springer, 2004.
  136. Bartoletti M., Degano P. and Ferrari G., ``Static analysis for eager stack inspection'', in Proc. ECOOP 2003 Workshop on Formal Techniques for Java, 2003.
  137. Beauquier, D. E. Börger and A. Slissenko. 20 Years after A New Thesis: The Diversification of the ASM Method. Proc. ASM'05, Université de Paris 12, 2005, pp. 5-9.
  138. Beauquier, D. E. Börger and A. Slissenko. The ASM Method: a Cornerstone in Computer Science Education. Proc. ASM'05, Université de Paris 12, 2005, pp. 49-56.
  139. Becker S., Brogi A., Gorton I., Overhage S., Romanovsky A., Tivoli M., ``Towards an engineering approach to component adaptation”, in R. Reussner, J. Stafford, C. Szyperski, Architecting Systems with Trustworthy Components, LNCS 3938, pp 193-215, 2006.
  140. Bellia M. and M.E. Occhiuto, ``Another PRAM algorithm for finding connected components of sparse graphs'', Proc. of CS&P'2003, pp. 67-78.
  141. Bellia M. and M.E. Occhiuto, ``Higher Order Programming in Java: Introspection Subsumption and Extraction'', Fundamenta Informaticae 67, (2005),pp. 1-16.
  142. Bellia M. and M.E. Occhiuto, ``Higher Order Programming through Java Reflection'', CS&P'2004,vol 3, pp. 447-459, Berlin 2004.
  143. Bellia M. and M.E. Occhiuto, ``N-axioms Parallel Unification'', Fundamenta Informaticae 55, (2003), pp. 115-128.
  144. Ben Amor H., Desrosiers J. and Frangioni A., ``Stabilization in Column Generation'', Les Cahiers du Gerad G-2004-75 (2004).
  145. Bernasconi A., Ciriani V., Cordone, R., ``EXOR Projected Sum of Products''. Proc. 14th Intl. Conf. on Very Large Scale Integration (VLSI-SoC), 2006.
  146. Bernasconi A., Ciriani V., Drechsler R., Villa T., ``Efficient Minimization of Fully Testable 2-SPP Networks''. Proc. Intl. Conf. on Design, Automation and Test in Europe (DATE), 2006.
  147. Bernasconi A., Ciriani V., ``DSOP: Synthesis of a new class of regular functions''. Proc. 9th Euromicro Conf. on Digital Systems Design: Architectures, Methods and Tools, 2006.
  148. Bernasconi A., Ciriani V., Luccio F., Pagli L., ``Exploiting Regularities for Boolean Function Synthesis'', Theory of Computing Systems, 39(4), pp. 485-501, 2006.
  149. Bernasconi A., Ciriani V., Luccio F., Pagli L., ``Three-Level Logic Minimization Based on Function Regularities'', IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 22(8), pp. 1005-1016, 2003.
  150. Bernazzani L., Duce C., Mollica V., Tiné M.R., Micheli A., Sperduti A., Starita A., ``Predicting thermodynamic properties from molecular structures by recursive neural networks. An extension to polyfunctional compounds''. XVI Convegno Italiano di scienza e tecnologia delle macromolecole, vol. 1, pp. 97-98, AIM, Pisa 2003.
  151. Bernazzani L., Duce C., Mollica V., Tiné M.R., Micheli A., Sperduti A., Starita A., ``Recursive Neural Networks Prediction of Thermodynamic Properties from Molecular Structures. Application to Mono- and Poly-functional Linear Molecules.'', 13th Intl. Congress on Thermal Analysis and Calorimetry ICTAC 2004 Chia Laguna, Italia, Sept. 12-19 2004.
  152. Bettini L., Bono V., De Nicola R., Ferrari G., Gorla D., Loreti M., Moggi E., Pugliese R., Tuosto E. and Venneri B., ``The KLAIM Project: Theory and Practice'', in Global Computing: Programming Environments, Languages, Security and Analysis of Systems, vol. 2874 of LNCS. Springer, 2003.
  153. Bevilacqua R., Bozzo E., Del Corso G. M., Fasino D., ``Rank structure of generalized inverses of rectangular banded matrices'', Calcolo, 42 (2005), pp. 157-169.
  154. Bevilacqua R., Bozzo E., Del Corso G. M., ``Transformations to rank structures by unitary similarity'', Linear Algebra and its Applications, to appear, 2005.
  155. Bevilacqua R., Bozzo E., Menchi O., ``Comparison of four natural pixel bases for spect imaging'', to appear on J. of Computational and Applied Mathematics (2006).
  156. Bevilacqua R., Del Corso G. M.,``Structural Properties of Matrix Unitary Reduction to Semiseparable Form'', Calcolo, Vol. 41 (2004), pp. 177-202.
  157. Bialynicka-Birula I., Grossi R., ``Amortized rigidness in Cartesian trees'', Symposium on Theoretical Aspects of Computer Science (STACS 2006).
  158. Bialynicka-Birula I., Grossi R., ``Rank-Sensitive Data Structures'', String Processing and Information Retrieval (SPIRE 2005).
  159. Bialynicki-Birula I., Bialynicka-Birula I.: ``Modeling Reality: How computers mirror life'', Oxford University Press, 2004.
  160. Bianchi C., G. Gallo, G.G. Marrone and F. Vistori, ``Applying system dynamics to a municipal firm: the case of a small municipality's education policies'', Proc. of the 21st Intl. Conf. of the System Dynamics Society, New York, vol. 21 (2003) 39-39.
  161. Bigan, C., M. Besleaga, M. Zervakis, M. Ortigueira, A. Batista, M. Righi, U. Barcaro, A. Starita, K. Camilleri: ``EEG Signal Pre-processing for Segmentation into Significant Regions, Major Artifacts Removal, and Uncertainty Reduction in Epileptic Seizure Characterization'', Joint Workshop On Analysis In Brain Diseases, May 18-19, 2006, Goteborg , Sweden.
  162. Bigi G. and M. Castellani, ``Uniqueness of KKT multipliers in multiobjective programming'', Applied Mathematics Letters 17 (2004) 1985-1290.
  163. Bigi G. and M. Pappalardo, ``About the duality gap in vector optimization'', in (A. Maugeri, ed.) Variational Analysis and Applications, Kluwer (2003) to appear.
  164. Bigi G., ``Componentwise versus global approaches to nonsmooth multiobjective optimization'' Journal of Industrial and Management Optimization 1 (2005) 21-32.
  165. Bigi G., ``On sufficient second order optimality conditions in multiobjective optimization'', Mathematical Methods of Operations Research 63 (2006) 77-85.
  166. Bigi G., ``On sufficient second order optimality conditions in multiobjective optimization'', Mathematical Methods of Operations Research, to appear.
  167. Billi C., G. Gentile, S. Nguyen and S. Pallottino, ``Ripensando all'attesa alle fermate'', in (G.E. Cantarella and F. Russo, eds.) Atti del Convegno su Metodi e Tecnologie dell'Ingeneria dei Trasporti, Reggio Calabria, Dec. 10-12 (2003) to appear.
  168. Bini D. A., Favati P., Menchi O., ``A family of modified regularizing circulant preconditionres for two-levels Toeplitz systems'', Computers and Mathematics with Applications, 48 (2004), pp. 755-768.
  169. Bistarelli F., F. Bonchi, ``Interestingness is not a Dichotomy: Introducing Softness in Constrained Pattern Mining", In Proc. of the Ninth European Conf. on Principles and Practice of Knowledge Discovery in Databases (PKDD'05), LNCS, Vol. 3721, Springer (2005)
  170. Bistarelli S. and Gadducci F., ``Enhancing constraints manipulation in semiring-based formalisms'', in 17th European Conf. on Artificial Intelligence (ECAI 06). To appear.
  171. Bistarelli S., Montanari U. and Rossi F., ``Soft Concurrent Constraint Programming'', ACM Transactions on Computational Logic 7(3):1-27.
  172. Bodei C., Buchholtz M., Curti M., Degano P., Nielson F., and Riis Nielson H.
    ``On Evaluating the Performance of Security Protocols.''
    In Proc. PaCT-2005, LNCS, 2005.
  173. Bodei C., Buchholtz M., Curti M., Degano P., Nielson F., Riis Nielson H., and Priami C.
    ``Performance Evaluation of Security Protocols specified in LySa.''
    In Proc. QAPL04, ENTCS, 2004.
  174. Bodei C., Buchholtz M., Degano P., Nielson F., and Riis Nielson H.
    ``Automatic Validation of Protocol Narration.''
    In Proc. 16th IEEE CSFW, Asilomar, 2003, pp. 126-140.
  175. Bodei C., Buchholtz M., Degano P., Nielson F., and Riis Nielson H.
    ``Control Flow Analysis Can Find New Flaws Too.''
    In Proc. WITS'04, Barcelona, 2004.
  176. Bodei C., Buchholtz M., Degano P., Nielson F., and Riis Nielson H.
    ``Static Validation of Security Protocols.''
    Journal of Computer Security, 13(3): 347-390, 2005
  177. Bodei C., Curti M., Degano P., and Priami C.
    ``A Quantitatie Study of Two Attacks.''
    In Proc. WISP 2004, ENTCS 121, 2004.
  178. Bodei C., Degano P., and Priami C.
    ``Checking Security Properties through an Enhanced Control Flow Analysis.''
    Journal of Computer Security, 13(1):49-85, 2005.
  179. Bodei C., Degano P., Focardi R., and Priami C.
    ``Authentication Primitives for Protocol Specifications.''
    Proc. PaCT-2003, Nizhni Novgorod, LNCS 2763, Springer, pp.49-65.
  180. Bodei C., Degano P., Focardi R., and Priami C.
    ``Primitives for Secure Protocol Specifications.''
    Future Generation Computer Systems, 21(4): 645-653, 2005.
  181. Bodei C., Degano P., Priami C., and Zannone M.
    ``An Enhanced CFA for Security Policies.''
    Proc. WITS'03, Warszawa, 2003, pp. 131-145.
  182. Bolognesi T., E. Börger, Abstract State Processes. In: E. Börger, A. Gargantini, E. Riccobene (eds): Abstract State Machines 2003-Advances in Theory and Applications. Springer LNCS 2589, 2003, pp.22-32.
  183. Bonchi F. and Heindel T., ``Adhesive DPOParallelism for monic matches'', in Proceeding of GT-VC2006, Graph Transformation for Verification and Concurrency, ENTCS. Elsevier, to appear.
  184. Bonchi F., B. Goethals ``FP-Bonsai: the Art of Growing and Pruning Small FP-trees", In Proc. of the Eighth Pacific-Asia Conf. on Knowledge Discovery and Data Mining (PAKDD'04). LNCS, Vol. 3056, Springer. May 26 - 28, 2004, Sydney, Australia
  185. Bonchi F., C. Lucchese ``On Closed Constrained Frequent Pattern Mining ", In Proc. of the Fourth IEEE Intl. Conf. on Data Mining (ICDM'04), IEEE. Nov. 01 - 04, 2004. Brighton, UK
  186. Bonchi F., C.Lucchese, ``On Condensed Representations of Constrained Frequent Patterns", Knowledge and Information Systems - An Intl. Journal (KAIS), Springer, 9(2):180-201 (2006)
  187. Bonchi F., C. Lucchese, ``Pushing Tougher Constraints in Frequent Pattern Mining", In Proc. of the Ninth Pacific-Asia Conf. on Knowledge Discovery and Data Mining (PAKDD'05), LNCS, Vol. 3518, Springer. May 18-20, (2005)
  188. Bonchi F., F. Giannotti, A. Mazzanti, D. Pedreschi, ``Efficient Breadth-first Mining of Frequent Pattern with Monotone Constraints", Knowledge and Information Systems - An Intl. Journal (KAIS), Springer, 8(2):131-153, (2005)
  189. Bonchi F., F. Giannotti, A. Mazzanti, D. Pedreschi, ``ExAnte: A Preprocessing Method for Frequent Pattern Mining", IEEE Intelligent Systems, IEEE, 20(3):25-31 May/June (2005)
  190. Bonchi F., F. Giannotti, C. Lucchese, S. Orlando, R. Perego, R. Trasarti, ``ConQueSt: a Constraint-based Querying System for Exploratory Pattern Discovery", In Proc. of The 22nd Intl. Conf. on Data Engineering (ICDE'06), IEEE. April 3-7, (2006)
  191. Bonchi F., F. Giannotti, D. Pedreschi, ``A Relational Query Primitive For Constraint-based Pattern Mining", In Constraint-based Mining and Inductive Databases, Jean-Francois Boulicaut, Luc De Raedt and Heikki Mannila Ed., LNCS, Vol. 3848, Springer, (2005)
  192. Bonchi F., F. Giannotti, ``Pushing Constraints To Detect Local Patterns", In Detecting Local Patterns, Katharina Morik, Jean-Francois Boulicaut and Arno Siebes Ed., LNCS, Vol. 3539, (2005)
  193. Bonchi F., F. Giannotti, A. Mazzanti, D. Pedreschi: ``Adaptive constraint Pushing in Frequent Pattern Mining", In Proc. PKDD 2003, Int. Conf. on Principles and Practice of Knowledge Discovery in Databases, LNCS, Springer, 2003.
  194. Bonchi F., F. Giannotti, A. Mazzanti, D. Pedreschi ``Efficient Breadth-first Mining of Frequent Pattern with Monotone Constraints", Knowledge and Information Systems - An Intl. Journal (KAIS) ©Springer, accepted for publication. (2003)
  195. Bonchi F., F. Giannotti, A. Mazzanti, D. Pedreschi: ``ExAMiner: optimized level-wise frequent pattern mining with monotone constraints", In Proc. ICDM 2003, IEEE Int. Conf. on Data Mining, 2003.
  196. Bonchi F., F. Giannotti, A. Mazzanti, D. Pedreschi: ``ExAnte: Anticipated Data Reduction in Constrained Pattern Mining", In Proc. PKDD 2003, Int. Conf. on Principles and Practice of Knowledge Discovery in Databases, LNCS, Springer, 2003.
  197. Bonchi F., F. Giannotti, A. Mazzanti, D. Pedreschi ``Preprocessing for Frequent Pattern Mining through Data Reduction", IEEE Intelligent Systems, accepted for publication. (2003)
  198. Bonchi F., Gadducci F. and König B., ``Process Bisimulation via a Graphical Encoding'', in A. Corradini, H. Ehrig, U. Montanari, L. Ribeiro and G. Rozenberg, eds, Proc. of ICGT2006, Third Intl. Conf. on Graph Transformation, vol. 4178 of LNCS, Springer, 2006.
  199. Bonchi F., J.-F. Boulicaut (eds), ``KDID 2005: Fourth Intl. Workshop on Knowledge Discovery in Inductive Databases", Porto, Portugal. Springer, LNCS/LNAI 3933, (2006)
  200. Bonchi F., König B. and Montanari U., ``Saturated Semantics for Reactive Systems'', in Proc. of LICS 2006, Twenty First Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society, 2006.
  201. Bonchi F., S. Lombardo, S. Pecori, A. Santucci ``Learning about land use change in Rome and Pisa urban areas", In Evolving Cities - Geocomputation in Territorial Planning, Lidia Diappi Ed., ©Ashgate. Oct. 2004
  202. Bonchi F., S. Lombardo, S. Pecori ``Knowledge discovery and data mining to investigate urban and territorial evolution: tools and methodologies", In Evolving Cities - Geocomputation in Territorial Planning, Lidia Diappi Ed., ©Ashgate. Oct. 2004
  203. Bonuccelli, M.A. and F. Martelli, S. Pelagatti. Load Balancing in LEO/MEO Satellite IP Networks. Seventh ACM Intl. Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems, pp. 47-51, Oct. 4-6 2004, Venice,Italy.
  204. Bonuccelli M.A., A. Urpi. Mesh of trees topology for output queued switches: trading speed-up with a pipeline technique. Cluster Computing Journal, Vol. 8, n.1 (Jan. 2005), pp. 7-14.
  205. Bonuccelli, M. A. F. Lonetti, F. Martelli. A Fast Skipping Policy for H.263 Video Transcoder. IEEE 12th Intl. Workshop on Systems, Signals and Image Processing (IWSSIP'05), pp. 355-360, Chalkida, Greece, Sept. 22-24, 2005.
  206. Bonuccelli, M. A., F. Lonetti, F. Martelli. Comparative Evaluation of RFID Tag Identification Protocols Performances. Mediterranean Ad Hoc Networking Workshop 2006 (MedHocNet06), pp. , Lipari Island, Italy, June 14-17, 2006.
  207. Bonuccelli, M. A., F. Lonetti, F. Martelli. Temporal Transcoding for Mobile Video Communication. ACM-IEEE MobiQuitous 2005 Intl. Conf. on Mobile and Ubiquitous Systems: Networking and Services, July 17-21, 2005, San Diego, California.
  208. Bonuccelli, M. A., F. Lonetti, F. Martelli. Tree Slotted Aloha: a New Protocol for Tag Identification in RFID Networks. 4th IEEE Intl. Workshop on Mobile Distributed Computing (MDC'06), pp. , Niagara-Falls/Buffalo, NY, USA, June 26, 2006.
  209. Bonuccelli M.A., F. Martelli, S. Pelagatti. Optimal Packet Scheduling in Tree-Structured LEO Satellite Clusters. ACM/Kluwer Mobile Networks and Applications (MONET), Vol. 9, n.4 (August 2004), pp. 289-295.
  210. Boreale M. and Gadducci F., ``Denotational testing semantics in coinductive form'', in B. Rovan and P. Vojtas, eds, Proc. MFCS 2003, 28th Intl. Symposium on Mathematical Foundations of Computer Science, vol. 2747 of LNCS. Springer, 2003.
  211. Boreale M. and Gadducci F., ``Processes as formal power series: A coinductive approach to denotational semantics'', TCS. Elsevier, to appear.
  212. Boreale M., Bruni R., Caires L., De Nicola R., Lanese I., Loreti M., Martins F., Montanari U., Ravara A., Sangiorgi D., Vasconcelos V. and Zavattaro G., ``SCC: a Service Centered Calculus'', in M. Bravetti, M. Núñez, and G. Zavattaro, eds, Proc. of WS-FM 2006, 3rd Intl. Workshop on Web Services and Formal Methods, vol. 4184 of LNCS. Springer, to appear.
  213. Boreale M., Buscemi M.G. and Montanari U., ``A General Name Binding Mechanism'', in R. De Nicola and D. Sangiorgi, eds, Proc. of TGC 2005, Symposium on Trustworthy Global Computing, vol. 3705 of LNCS. Springer, 2005.
  214. Boreale M., Buscemi M.G. and Montanari U., ``D-Fusion: a Distinctive Fusion Calculus'', in W. Chin, editor, Proc. of APLAS 2004, Second Asian Symposium on Programming Languages and Systems, vol. 3302 of LNCS. Springer, 2004.
  215. Börger, E. Abstract State Machines and High-Level System Design and Analysis. Editorial to special ASM issue of TCS 336 (2005) 205-207
  216. Börger E., Abstract State Machines: A Unifying View of Models of Computation and of System Design Frameworks. Annals of Pure and Applied Logic, vol.133, 2005, pp. 149-171.
  217. Börger E., A. Cavarra, E. Riccobene, Modeling the meaning of transitions from and to concurrent states in UML State Machines. Proc. 18th Annual ACM Symposium on Applied Computing, SAC 2003, Track Software Engineering: Applications, Practices, and Tools, March 9-12, 2003, Melbourne/Florida, USA. pp.1086-1091.
  218. Börger E., A. Cavarra, E. Riccobene, On formalizing UML state machines using ASMs. Information and Software Technology, Elsevier, pp.6. (In press)
  219. Börger, E., A. Gargantini, E. Riccobene, Abstract State Machines. A Method for System Specification and Analysis. In: Frappier, M., and H. Habrias (eds): Software Specification Methods: An Overview Using a Case Study. HERMES Science Publishing, London 2006, pp.101-117.
  220. Börger E. and R. Stärk, Exploiting the "A" in Abstract State Machines for Specification Reuse. A Java/C# Case Study. In: F. S. de Boer, M.M. Bonsangue, S. Graf, W-P de Roever (eds): Formal Methods for Components and Objects. Second Intl. Symnposium FMCO 2003, Springer LNCS 3188 (2004) 42-76.
  221. Börger E., Design Pattern Abstractions and Abstract State Machines. D. Beauquier and E. Börger and A. Slissenko (eds): Proc.ASM05, Université de Paris 12, 2005, pp.91-100
  222. Börger E., From Finite State Machines to Virtual Machines (Illustrating Design Patterns and Event-B Models). In: E. Cohors-Fresenborg and I. Schwank (eds): Präzisionswerkzeug Logik-Gedenkschrift zu Ehren von Dieter Rödding, Forschungsinstitut für Mathematikdidaktik Osnabrück, 2005.
  223. Börger E., G. Fruja, V. Gervasi, R. Stärk, A High-Level Modular Definition of the Semantics of C#. TCS, 336(2/3):235-284, 2005
  224. Börger E., Linking architectural and component level system views by Abstract State Machines. Selected Papers from FDL'03, Kluwer 2004, pp.14 (In press)
  225. Börger, E., Linking the Meaning of Programs to What the Compiler Can Verify. In: B. Meyer and J. Woodcock (eds): Proc. IFIP Working Conf. on Verified Software: Tools, Techniques, and Experiments. Springer LNCS (2006) pp.12 (to appear).
  226. Börger E., T. Bolognesi, Remarks on Turbo ASMs for Functional Equations and Recursion Schemes. In: E. Börger, A. Gargantini, E. Riccobene (eds): Abstract State Machines 2003-Advances in Theory and Applications. Springer LNCS 2589, 2003, Springer, pp. 218-228.
  227. Börger E., The ASM Ground Model Method as a Foundation for Requirements Engineering. Springer LNCS vol. 2772, 2003, pp.146-161.
  228. Börger, E., The ASM Method for System Design and Analysis. A Tutorial Introduction. In: B. Gramlich (Ed.): Frontiers of Combining Systems. Springer LNAI 3717 (2005), pp. 264-283
  229. Börger E., The ASM Refinement Method. Formal Aspects of Computing 15:237-257, 2003.
  230. Borghetti A., A. Frangioni, F. Lacalandra and C.A. Nucci, ``Lagrangian heuristics based on disaggregated bundle methods for hydrothermal unit commitment'', IEEE Transactions on Power Systems 18 (2003) 313-323.
  231. Borghetti A., A. Frangioni, F. Lacalandra, C.A. Nucci and P. Pelacchi, ``Using of a cost-based Unit Commitment algorithm to assist bidding strategy decisions'', in (A. Borghetti, C.A. Nucci and M. Paolone, eds.) Proceeding of the IEEE Bologna Power Tech 2003 Conference, (2003).
  232. Boulicaut J.F., F. Esposito, F. Giannotti, D. Pedreschi (eds). Knowledge Discovery in Databases: PKDD 2004 8th European Conf. on Principles and Practice of Knowledge Discovery in Databases, Pisa, Sept. 20-24, 2004, Proceedings. Springer, LNCS/LNAI 3202, 2004
  233. Boulicaut J.F., F. Esposito, F. Giannotti, D. Pedreschi (eds). Machine Learning: ECML 2004 15th European Conf. on Machine Learning, Pisa, Sept. 20-24, 2004, Proceedings Springer, LNCS/LNAI 3201, 2004
  234. Bracciali A., A. Brogi and F. Turini ``A framework for specifying and verifying the behaviour of open systems", Journal of Logic and Algebraic Programming Elsevier, Vol 63(2), pp. 215-240, (2005)
  235. Bracciali A., Brogi A., Canal C., ``A formal approach to component adaptation", Journal of Systems and Software, 74(1):45-54, 2005.
  236. Bracciali A., Brogi A., Turini F., ``A framework for specifying and verifying the behaviour of open systems", The Journal of Logic and Algebraic Programming, 63(2):215-240, 2005.
  237. Brans J.-P. and G. Gallo,``Ethics in OR/MS: Past, present and future'', 4OR, 2 (2004) 95-110.
  238. Brianzi P., Favati P., Menchi O., Romani F., ``A framework for studying the regularizing properties of Krylov subspace methods'', Inverse Problems, 22 (2006), pp. 1007-1021.
  239. Brodo, L., Curti, M., Degano P., Prandi D., Priami C., and Quaglia P.
    ``Formal Executable Descriptions of Biological Systems.''
    Invited talk Proc. QEST 2005, IEEE Press, pp. 2-11, 2005.
  240. Brodo L., Degano P., and Priami C.
    ``Reflecting Mobile Ambients into the $\pi$-calculus.''
    Proc. Global Computing '03, LNCS 2872, Springer, 2003, pp. 25-56.
  241. Brodo L., Degano P., Gilmore S., Hillstone J. and Priami C.
    ``Performance Evaluation for Global Computation.''
    Proc. Global Computing '03, LNCS 2872, Springer, 2003, pp. 229-253
  242. Brogi A., Camara J, Canal C., Cubo J., Pimentel E., ``Dynamic Contextual Adaptation”, in C. Canal, M. Viroli (eds), Fifth Intl. Workshop on the Foundations of Coordination Languages and Software Architectures, ENTCS, 2006. (To appear.)
  243. Brogi A., Canal C., Pimentel E., ``Behavioural types and component adaptation", in C. Rattray, S. Maharaj, C. Shankland (eds), 10th Intl. Conf. on Algebraic Methodology and Software Technology (AMAST 2004), LNCS 3116, pp 42-56, 2004.
  244. Brogi A., Canal C., Pimentel E., ``Behavioural types for service integration: achievements and challenges", ENTCS, 2004. (Proc. of Third Intl. Workshop on Foundations of Coordination Languages and Software Architectures, London, UK, 30 August 2004.)
  245. Brogi A., Canal C., Pimentel E., ``Component adaptation through flexible subservicing", Science of Computer Programming. 2006. (To appear.)
  246. Brogi A., Canal C., Pimentel E., ``Measuring component adaptation", in R. De Nicola, G.L. Ferrari and G. Meredith (eds), Coordination Models and Languages, 6th Intl. Conference, Coordination’04, LNCS 2949, pp 71-86, 2004.
  247. Brogi A., Canal C., Pimentel E., ``On the semantics of software adaptation", Science of Computer Programming, 61(2), pp 136-151, 2006.
  248. Brogi A., Canal C., Pimentel E., ``On the specification of software adaptation", ENTCS, 97, pp 47-65, 2004.
  249. Brogi A., Canal C., Pimentel E., ``Soft component adaptation", ENTCS, 85(3), 2003.
  250. Brogi A., Canal C., Pimentel E., Vallecillo A., ``Formalizing Web Services Choreographies", ENTCS, 105, pp 73-94, 2004.
  251. Brogi A., Corfini S., Popescu R., ``Composition-oriented service discovery", in F. Gschwind, U. Assmann, O. Nerstrasz (eds), Software Composition 2005, LNCS 3628, pp.15-30, 2005.
  252. Brogi A., Jacquet J.M., Kok J. (eds), ``Foundations on Coordination Languages and Software Architectures”, Fundamenta informaticae, 73(4), 2006.
  253. Brogi A., Jacquet J.M., Kramer J., Pimentel E. (eds), ``Second Intl. Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA’03)”, Science of Computer Programming, 61(2), 2006.
  254. Brogi A., Jacquet J.M., Linden J., ``Fully abstract semantics for a coordination model with asynchronous communication and enhanced matching”, Fundamenta Informaticae, 73(4) 2006.
  255. Brogi A., Jacquet J.M., ``On the expressiveness of coordination via shared dataspaces", Science of Computer Programming, 46(1-2):71-98, 2003.
  256. Brogi A., Jacquet J.M., Pimentel E. (eds), ``FOCLASA 2003: Foundations of Coordination Languages and Software Architectures", ENTCS, 89(5), 2003.
  257. Brogi A., Jacquet J.M., Pimentel E. (eds), ``FOCLASA 2004: Foundations of Coordination Languages and Software Architectures", ENTCS, 2005. (In press.)
  258. Brogi A., ``On the semantics of logic program composition" in M. Bruynooghe, K.K. Lau (eds), Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, LNCS 3049, pp 115-151, 2004.
  259. Brogi A., Popescu R., ``From BPEL Processes to YAWL Workflows”, in M. Bravetti, G. Zavattaro (eds), WS-FM 2006 - 3rd Intl. Workshop on Web Services and Formal Methods, LNCS, 2006. (To appear.)
  260. Brogi A., Popescu R., ``Towards Semi-automated Workflow-based Aggregation of Web Services”, in B. Benatallah, F. Casati, P. Traverso (eds), Proc. of Third Intl. Conf. on Service Oriented Computing (ICSOC’05), LNCS 3826, pp 214-227, 2005.
  261. Brogi A., Subrahmanian V.S., Zaniolo C., ``A deductive database approach to A.I. Planning", Journal of Intelligent Information Systems, 20(3): 215-253 2003.
  262. Bruni R. and Lanese I., ``On Graph(ic) Encodings'', in B. Koenig, U. Montanari, and P. Gardner, eds, Proc. of Dagstuhl Seminar n.04241, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, Technical Report Electronic Proceedings. Schloss Dagstuhl, 2005.
  263. Bruni R. and Melgratti H., ``Dynamic graph transformation systems'', in A. Corradini, H. Ehrig, U. Montanari, L. Ribeiro, and G. Rozenberg, eds, Proc. of ICGT 2006, 3rd Intl. Conf. on Graph Transformation, vol. 4178 of LNCS. Springer, to appear.
  264. Bruni R. and Melgratti H., ``Non-sequential behaviour of dynamic nets'', in S. Donatelli and P. Thiagarajan, eds, Proc. of ATPN 2006, 27th Intl. Conf. on Application and Theory of Petri Nets and Other Models Of Concurrency, vol. 4024 of LNCS. Springer, 2006.
  265. Bruni R. and Meseguer J., ``Generalized rewrite theories'', Proc. ICALP 2003, 30th Intl. Colloquium on Automata, Languages and Programming, vol. 2719 of LNCS, pp 252-266. Springer, 2003.
  266. Bruni R. and Meseguer J., ``Semantic foundations for generalized rewrite theories'', TCS, to appear.
  267. Bruni R. and Montanari U., ``Concurrent Models for Linda with Transactions'', Math. Struct. in Comput. Sci. 14(3):421-468. Cambridge University Press, 2004.
  268. Bruni R. and Varro D., eds Graph Transformations and Visual Modeling Techniques: 5th Intl. Workshop, GT-VMT 2006, Vienna, Austria, April 1-2, 2006, Proceedings, ENTCS. Elsevier, 2006.
  269. Bruni R., Butler M., Ferreira C., Hoare T., Melgratti H. and Montanari U., ``Reconciling two approaches to compensable flow composition'', in Proceeding of CONCUR 2005, 16th Intl. Conf. on Concurrency Theory, vol. 3653 of LNCS. Springer, 2005.
  270. Bruni R., Ferrari G., Melgratti H., Montanari U., Strollo D. and Tuosto E., ``From theory to practice in transactional composition of web services'', in M. Bravetti, L. Kloul, and G. Zavattaro, eds, Formal Techniques for Computer Systems and Business Processes: Proc. of WS-FM 2005, 2nd Intl. Workshop on Web Services and Formal Methods, vol. 3670 of LNCS. Springer, 2005.
  271. Bruni R., Fiadeiro J.L., Lanese I., Lopes A. and Montanari U., ``New insights on architectural connectors'', in J.-J. Levy, E.W. Mayr, J.C. Mitchell, eds, Proc. of IFIP TCS 2004, 3rd IFIP Intl. Conf. on Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, IFIP Conf. Proceedings, pp 367-379. Kluwer Academics, 2004.
  272. Bruni R., Gadducci F., Montanari U. and Sobocinski P., ``Deriving weak bisimulation congruences from reduction systems'', in Proceeding of CONCUR 2005, 16th Intl. Conf. on Concurrency Theory, vol. 3653 of LNCS. Springer, 2005.
  273. Bruni R., Honsell F., Lenisa M. and Miculan M., ``Modeling Fresh Names in pi-calculus Using Abstractions'', in Proc. of CMCS 2004, 7th Intl. Workshop on Coalgebraic Methods in Computer Science, vol. 106 of ENTCS. Elsevier, 2004.
  274. Bruni R., Lanese I. and Montanari U., ``A basic algebra of stateless connectors''. TCS, to appear.
  275. Bruni R., Lanese I. and Montanari U., ``Complete axioms for stateless connectors'', in J. Fiadeiro, N. Harman, M. Roggenbach, and J. Rutten, eds, Proc. of CALCO 2005, 1st Conf. on Algebra and Coalgebra in Computer Science, vol. 3629 of LNCS. Springer, 2005.
  276. Bruni R., Melgratti H. and Montanari U., ``Event structure semantics for nominal calculi'', in C. Baier and H. Hermanns, eds, Proc. of CONCUR 2006, 17th Intl. Conf. on Concurrency Theory, LNCS. Springer, to appear.
  277. Bruni R., Melgratti H. and Montanari U., ``Extending the zero-safe approach to coloured, reconfigurable and dynamic nets'', in J. Desel, W. Reisig and G. Rozenberg, eds, Lectures on Concurrency and Petri Nets, vol. 3098 of LNCS, pp 291-328. Springer, 2004.
  278. Bruni R., Melgratti H. and Montanari U., ``Flat Committed Join in Join'', in F. Honsell, M. Lenisa and M. Miculan, eds, Proc. of the Workshop of the COMETA Project on Computational Metamodels, vol. 104 of ENTCS. Elsevier, 2004.
  279. Bruni R., Melgratti H. and Montanari U., ``Nested Commits for Mobile Calculi: Extending Join'', in J.-J. Levy, E.W. Mayr and J.C. Mitchell, eds, Proc. of IFIP TCS 2004, 3rd IFIP Intl. Conf. on Theoretical Computer Science, pp 563-576. Kluwer Academics, 2004
  280. Bruni R., Melgratti H. and Montanari U., ``Theoretical foundations for compensations in flow composition languages'', in Proc. of POPL 2005, The 32nd Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, pp 209-220. ACM Press, 2005.
  281. Bruni R., Melgratti H. and Tuosto E., ``Translating orc features into petri nets and join calculus'', in M. Bravetti, M. Núñez, and G. Zavattaro, eds, Proc. of WS-FM 2006, 3rd Intl. Workshop on Web Services and Formal Methods, vol. 4184 of LNCS. Springer, to appear.
  282. Bruni R., Meseguer J. and Montanari U., ``Tiling transactions in rewriting logic'', in F. Gadducci and U. Montanari, eds, Proc. of WRLA 2002, 4th Intl. Workshop on Rewriting Logic and its Applications, vol. 71 of ENTCS. Elsevier, 2004.
  283. Bruni R., Meseguer J., Montanari U. and Sassone V., ``Algebraic Theories for Contextual Pre-Nets'', in C. Blundo and C. Laneve, eds, Proc. ICTCS 2003, Eighth Italian Conf. on Theoretical Computer Science, vol. 2841 of LNCS. Springer, 2003.
  284. Bruni R., Montanari U. and Sassone V., ``Observational congruences for dynamically reconfigurable tile systems'', TCS 335(2):331-372. Elsevier, 2005.
  285. Buchholtz, M., C. Montangero, L. Perrone, and S. Semprini. For-LySa: UML for Authentication Analysis. 2nd Int. Workshop on Global Computing, GC 04. Springer LNCS 3267, pp. 92-105, Rovereto, 2004.
  286. Buchholtz, M., S. Gilmore, V. Haenel, and C. Montangero. End-to-end integrated security and performance analysis on the DEGAS Choreographer platform. Formal Methods 2005, Newcastle upon Tyne, 2005. LNCS 3582, pp. 286-301, Springer.
  287. Bueva, M., Schelovanov, L., Antonova, G., and Ciuffoletti, A. Modeling technique and a simulation tool for analysis of clock synchronization in communication networks. In 11th Intl. Workshop on Computer-Aided Modeling, Analysis and Design of Communication Links and Network, Trento (IT).
  288. Buscemi M.G. and Montanari U.,``A compositional coalgebraic model of a fragment of fusion calculus'', in Algebraic Process Calculi: The First Twenty Five Years and Beyond, ENTCS. Elsevier, to appear.
  289. Capovani M., ``La Matematica e il Calcolatore. L'avventura Pisana'', Plus, Pisa (2004).
  290. Cappanera P. and A. Frangioni, ``Symmetric and asymmetric parallelization of a cost-decomposition algorithm for multi commodity flow problems'', INFORMS Journal On Computing 15 (2003) 369-384.
  291. Cappanera P. and G. Gallo, ``A multi-commodity flow approach to the crew rostering problem'', Operations Research, 52 (2004) 583-596.
  292. Cappanera P. and M. G. Scutellà, ``Balanced paths in acyclic networks: tractable cases and related approaches'', Networks 45 (2) (2005) 104-111.
  293. Cappanera P., G. De Pascale and M. G. Scutellà, ``Color-coding heuristic approaches for the balanced path problem'', Proc. of Odysseus 2006 (2006) 92-97.
  294. Cappanera P., G. Gallo and F. Maffioli, ``Discrete facility location and routing of obnoxious activities'', Discrete Applied Mathematics 133 (2003) 3-28.
  295. Cappelli A., F. Turini (eds). Proc. of the 8th Congress of the Italian Association for Artificial Intelligence, Pisa, Italy, Sept. 23-26, 2003, Springerg, LNCS/LNAI 2829, 2003
  296. Cardelli, L. and G. Ghelli. TQL: A query language for semistructured data based on the ambient logic. Mathematical Structures in Computer Science, 14(3):285-327, 2004.
  297. Cardelli, L. G. Ghelli, and A. D. Gordon. Secrecy and group creation. Information and Computation, 196(2):127-155, 2005.
  298. Cardelli, L. P. Gardner, and G. Ghelli. Manipulating trees with hidden labels. In Proc. of Foundations of Software Science and Computation Structures (FOSSACS), Warsaw, Poland, pp 216-232, April 2003.
  299. Cardillo F.A., Starita A., Caramella D., Cilotti A.: ``A Hybrid method for breast MR images processing and classification'', (invited papers), Special Issue on Artificial Intelligence in Medicine, AIM Journal, in press.
  300. Cardillo F.A., Starita A., Caramella D., Cilotti A., ``An experimentation of neural architectures for contrast-enhanced breast MRI analysis'', 2004, SIP 9 (Signal and Image Processing) 2004 Conference, Honolulu, August 23 to 25, 2004.
  301. Cardillo F. A., Starita A., Caramella D., Cilotti A., Odoguardi F.: ``A Simple Comparison Of Dynamic Criteria For Breast MRIClassification'', pp. 103-110, European Conf. on Emergent Aspects in Clinical Data Analysis, Sept. 28 - 30, 2005, Pisa, Italy.
  302. Cardillo F.A., Starita A., Caramella D., Cilotti A., ``Principal Component Analysis for the Evaluation of Contrast Enhancement in Breast MRI'', MEDSIP 2004, Malta, Sept. 5-8, 2004 .
  303. Caruso A., Chessa, S., De, S., and Urpi, A., GPS Free Coordinate Assignment and Routing in Wireless Sensor Networks, IEEE INFOCOM 05, Miami, FL, 13-17 March 2005
  304. Caruso A., Chessa S., Maestrini P., and Santi P., Fault Diagnosis of Grid Structures. TCS (vol.290, no.2, Jan. 2003), pp.1149-1174.
  305. Cazzola, W., Cisternino, A., Colombo, D. [a]C#: C# with a Customizable Code Annotation Mechanism. In Proc. of the 10th Annual ACM Symposium on Applied Computing (SAC'05), pp 1274-1278, Santa Fe, New Mexico, USA, March 2005. ACM Press.
  306. Cazzola, W., Cisternino, A., Colombo, D. Freely Annotating C#. Journal of Object Technology, 4(10):31-48, Dec. 2005
  307. Chekuri C., G.P. Oriolo, M.G.Scutellà and F.B. Shepherd, ``Hardness of Robust Network Design'', Networks (2006), to appear.
  308. Chekuri C., G.P. Oriolo, M.G.Scutellà and F.B. Shepherd, ``Hardness of Robust Network Design'', Proc. of INOC 2005, Lisbon (2005) 455-461.
  309. Chessa, S. and Maestrini, P., Dependable and Secure Data Storage and Retrieval in Mobile, Wireless Networks, Proc. IEEE DSN 2003, Intl. Conf. on Dependable System and Networks (San Francisco, USA, 22-25 June 2003), pp.207-216
  310. Chessa S. and Maestrini P., Fault Recovery Mechanism in Single-Hop Sensor Networks, Computer Communications 28 (17), (2005) pp. 1877-1886.
  311. Chessa, S., Di Pietro, R., and Maestrini, P., Dependable and Secure Data Storage in Wireless Ad Hoc Networks: an Assessment of DS2, Proc. First Working Conf. on Wireless On-demand Network Systems (WONS 04) (Madonna di Campiglio, Trento, Italy, Jan. 21-23, 2004)
  312. Chiarugi D., Chinellato M., Degano P., and Marangoni R.
    ``Feedbacks and oscillations in the virtual cell VICE.''
    In Proc. CMSB'06, LNBI, 2006.
  313. Chiarugi D., Curti M., Degano P., and Marangoni R.
    ``VICE: a Virtual Cell.''
    In Proc. CMSB'04, LNBI 3082, 2005.
  314. Ciriani V., Bernasconi A., Drechsler R., ``Testability of SPP Three-Level Logic Networks'', Proc. 12th IFIP Intl. Conf. on Very Large Scale Integration (VLSI-SoC 2003), pp. 331-336, 2003.
  315. Ciriani V., Bernasconi A., Drechsler R., ``Testability of SPP Three-Level Logic Networks in Static Fault Models''. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems, to appear, 2006.
  316. Ciriani V., Bernasconi A., Drechsler R., ``Testability of SPP Three-Level Logic Networks in Static Fault Models'', Invited chapter in VLSI-SOC: From Systems to Chips, M. Glesner, R. Reis, L. Indrusiak, V. Mooney, H. Eveking (eds), Kluwer-Springer, 2006.
  317. Ciriani V., Luccio F., Pagli L., ``Synthesis of Integer Multipliers in Sum of Pseudoproducts Form'', Integration - the VLSI Journal, 36(3), pp. 103-118, 2003.
  318. Ciriani V., Pisanti N., Bernasconi A., ``Room Allocation: a Polynomial subcase of the Quadratic Assignment Problem'', Discrete Applied Mathematics 144(3), 263-269, 2004.
  319. Cisternino, A., Ambriola, V. Runtime support for Self-Evolving Software. In Proc. of Intl. Conf. on Systems, Computing Sciences and Software Engineering (online conference) Dec. 2005.
  320. Cisternino, A. and V. Ambriola. Runtime support for self-evolving software, In Proc. of the Intl. Joint Conferences on Computer, Information, and Systems Sciences, and Engineering, Dec. 2005. IEEE.
  321. Cisternino, A., Cazzola, W., Colombo, D. Metadata-driven library design. Proc. of Library Centric Software Development Workshop, 16 Oct. 2005, San Diego, 2005
  322. Cisternino, A., Colombo, D., Ennas, G., Picciaia, D., Robotics4.NET: Software body for controlling robots. IEEE Proceedings Software, 152(5):215-222, Oct. 2005.
  323. Cisternino, A., Colombo, D., Ennass, G., Ambriola, V., Increasing decoupling in a framework for programming robots. In proceedings of Principles and Practice of Software Development in Robotics (SDIR2005), ICRA workshop, Barcelona, 2005.
  324. Cisternino, A., Gervasi, V. A runtime for Multi-Stage Programming In Proc. of the MetaOCaml Workshop, Sept. 2005.
  325. Cisternino, A., Gervasi, V. Meta-Programming without Quasi-Quotation In Proc. of MetaOCaml Workshop, Sept. 2005.
  326. Ciuffoletti, A. and Antonova, G. Clock phase change compensation using graham scan. In Conf. on IEEE-1588 Standard for a Precision Clock Synchronization for Networked Measurement and Control Systems, to appear, Zurich. National Institute of Technology (NIST).
  327. Ciuffoletti, A. and Ferrari, T. Experiences in designing a modular resource monitoring service. In 13th IEEE Intl. Workshops on Enabling Technologies, pp 260-265, Modena.
  328. Ciuffoletti, A. and Polychronakis, M. Architecture of a network monitoring element. In 15th IEEE Intl. Workshop on Enabling Technologies: Infrastuctures for Collaborative Enterprises (WETICE 2006), Manchester (UK).
  329. Ciuffoletti, A. and T.Ferrari. Experiences in designing a modular resource monitoring service. 13th IEEE Intl. Workshop on Enabling Technologies, Modena, June, 2004, 260-265.
  330. Ciuffoletti, A., Ferrari, T., Ghiselli, A., and Vistoli, C. Architecture of monitoring elements for the network element modeling in a grid infrastructure. In Proc. of Workskop on Computing in High Energy and Nuclear Physics, La Jolla (California).
  331. Ciuffoletti A., Ferrari T., Ghiselli A. and Vistoli C. Architecture of monitoring elements for the network element modeling in a Grid infrastructure. In Proc. of Worskop on Computing in High Energy and Nuclear Physics, La Jolla (California) 2003
  332. Ciuffoletti, A. S. Andreozzi, A. Ghiselli, C.Vistoli. Monitoring the connectivity of a Grid. 2nd Workshop on Middleware for Grid Computing, 2004, Toronto (CD), 47-51
  333. Colazzo, D. and G. Ghelli. Subtyping, recursion and parametric polymorphism in Kernel Fun. Information and Computation, 2005. To appear.
  334. Colazzo, D. G. Ghelli, P. Manghi, and C. Sartiani. Types for path correctness for XML queries. In Proc. of ACM Intl. Conf. on Functional Programming (ICFP), Snowbird, Utah, USA, pp 126-137, Sept. 2004.
  335. Comini M., Gori R., Levi G. and Volpe P.
    Abstract interpretation based verification of logic programs.
    Science of Computer Programming, 49:89-123,2003.
  336. Conforti G. and G. Ghelli. Decidability of freshness, undecidability of revelation (extended abstract). In Proc. of Foundations of Software Science and Computation Structures (FOSSACS), Barcelona, Spain, pp 105-120, March-April 2004.
  337. Coppola M. and Vanneschi M..
    ``Parallel and Distributed Data Mining through Parallel Skeletons and Distributed Objects.''
    In John Wang, editor, Data Mining, Opportunities and Challenges. IDEA Group Publishing, Hershey, PA, USA, 2003. pp. 80-105
  338. Corradini A. and Gadducci F., ``On term graphs as an adhesive category'', in M. Fernandez, editor, Second Intl. Workshop on Term Graph Rewriting (TERMGRAPH 2004), vol. 127(5) of ENTCS. Elsevier, 2005.
  339. Corradini A. and Hirsch D., ``An Operational Semantics of CommUnity Based on Graph Transformation Systems'', in Proc. Intl. Workshop on Graph Transformation and Visual Modeling Techniques, vol. 109 of ENTCS, Elsevier, 2004.
  340. Corradini A., Dotti F.L., Foss L. and Ribeiro L., ``Translating Java code to graph transformation systems'', in H. Ehrig, G. Engels, F. Parisi-Presicce and G. Rozenberg, eds, Proc. of Intl. Conf. on Graph Transformation (ICGT) '04, vol. 3256 of LNCS, pp 383-398. Springer, 2004.
  341. Corradini A., Ehrig H., Montanari U., Ribeiro L. and Rozenberg G., Proc. of the Third Intl. Conf. in Graph Transformation (ICGT 2006), vol. 4178 of LNCS. Springer, 2006.
  342. Corradini A., Gadducci F., Kahl W. and Koenig B., ``Inequational Deduction as Term Graph Rewriting'', in D. Plump, editor, Proc. of TERMGRAPH2002, Intl. Workshop on Term Graph Rewriting, vol. 72.1 of ENTCS. Elsevier, 2003.
  343. Corradini A., Heindel T., Hermann F. and Koenig B., ``Sesqui-pushout rewriting'', in A. Corradini, H. Ehrig, U. Montanari, L. Ribeiro, and G. Rozenberg, eds, Proc. of ICGT'06, vol. 4187 of LNCS. Springer, 2006.
  344. Corradini A., Lenisa M. and Montanari U., eds, ``Special Issue: Coalgebraic methods in computer science'', Math. Struct. in Comput. Sci. 13(2). Cambridge University Press, 2003.
  345. Crescenzi P., Del Lungo A., Grossi R., Lodi E., Pagli L., and Rossi G., ``Text Sparsification via Local Maxima'', TCS 304(1):341-364, 2003.
  346. Crescenzi P., Grossi R., Italiano G.F, ``Search data structures for skewed strings'', Intl. Workshop on Efficient and Experimental Algorithms (WEA 2003).
  347. Crochemore M., Epifanio C., Grossi R., Mignosi F., ``A Trie-Based Approach for Compacting Automata'', Symposium on Combinatorial Pattern Matching (CPM 2004).
  348. Curti M., Degano P., Priami C., and Baldari C.
    ``Causal $\pi$-calculus for Biochemical Modelling.''
    Proc. CMSB'03, LNCS, Springer, 2003.
  349. Curti M., Degano P., Priami C., and Baldari C.T.
    ``Modelling Biochemical Pathways through Enhanced $\pi$-calculus.''
    TCS, 325(1):111-140, 2004.
  350. D'Ambra P., Danelutto M., Serafino D., and Lapegna M..
    ``Integrating MPI-Based Numerical Software into an Advanced Parallel Computing Environment.''
    In Proc. of the Eleventh Euromicro Conf. on Parallel, Distributed and Network-Based Processing, pp 283-291. IEEE, Feb. 2003.
  351. Danelutto M., "Adaptive Task Farm Implementation Strategies", to appear in Proc. of the Euromicro Conf. on Parallel, Distributed and Network-based Processing, IEEE press, 2004, La Coruna (E), 11-13 Feb. 2004
  352. Danelutto M., Esposito R. and Verdoscia L., "CODACS prototype: CHIARA language and its compiler", to appear in the Proc. of First Intl. Workshop on Embedded Computing Systems (ECS 2004), Workshop held in conjunction with The 24th Intl. Conf. on Distributed Computing Systems (ICDCS'2004), Tokyo, 23-26 march, 2004
  353. Danelutto M., ``HPC the easy way: new technologies for high performance applications deploymnet'' Journal of Systems Architecture, Vol. 49, Issues 10-11, Nov. 2003, pp 399-419, Elsevier, 2003
  354. Da San Martino, G., F.A. Cardillo, A. Starita, ``A new swarm intelligence algorithm for image alignment'', 3rd Intl. Conf. on Advances in Medical, Signal and Information Processing (MEDSIP 2006). July 17 - 19, 2006, Glasgow, United Kingdom, (accepted).
  355. Da San Martino, G., F.A. Cardillo, A. Starita : ``A New Swarm Intelligence Coordination Model Inspired by Collective Prey Retrieval and its Application to Image Alignment'', accepted at the `Parallel problem solving from natureÂ’, Sept. 2006.
  356. Das S., Cao J., Ferrari G. and Wu J., ``Topic 15: Mobile Computing'', in Proc. EUROPAR'04, vol. 3149 of LNCS. Springer, 2004.
  357. D'Auria M., M. Nanni, D. Pedreschi, ``Time-focused density-based clustering of trajectories of moving objects", In Proc. of the Workshop on Mining Spatio-Temporal Data (MSTD-2005), (2005)
  358. Dawar, A. P. Gardner, and G. Ghelli. Adjunct elimination through games. In Proc. of Workshop on Logics for Resources, Processes, and Programs (LRPP), Turku, Finland, pp 121-132, 2004.
  359. Dawar, A. P. Gardner, and G. Ghelli. Adjunct elimination through games in Static Ambient Logic (extended abstract). In Proc. of the 24th Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Chennai, India, Dec. 2004.
  360. Degano P. and Priami C.
    ``Enhanced Operational Semantics in Systems Biology.''
    Proc. CMSB'03, LNCS, Springer, 2003.
  361. Degano P. (Ed.).
    Proc. ASRPA 2005, ENTCS, Vol. 135 (1), 2005.
  362. Degano P. (Ed.).
    Proc. ESOP 2003, LNCS 2618, Springer, 2003.
  363. Degano P. (Ed.).
    Special Issues of the Journal of Science of Computer Programming, Vol. 50, 1, 2 and 3 (March 2004).
  364. Degano P., Gadducci F. and Priami C., ``Causality and replication in concurrent processes'', in M. Broy and A.V. Zemulin, eds, Proc. PSI'03, Perspective of System Informatics - 5th Intl. Andrei Ershov Memorial Conf., vol. 2890 of LNCS. Springer, 2003.
  365. Degano P., Gadducci, F. and Priami C.
    ``Causality and Replication in Concurrent Processes.''
    Proc. Ershov 5 Int. Conf. Perspectives of System Informatics, LNCS 2890, Springer, 2003.
  366. Degano, P., Levi, F., Bodei, C., ``Safe Ambients: Control Flow Analysis and Security'', Proc. of ASIAN '00, LNCS 1961, 199-214, 2000.
  367. Degano P., Prandi D., Priami C., and Quaglia P.
    ``Beta-binders for biological quantitative experiments.''
    In Proc. QAPL 2006, ENTCS, 2006.
  368. Del Corso G. M., Gullì A., Romani F., ``Comparison of Krylov subspace methods on the Page Rank problem'', to appear on J. of Computational and Applied Mathematics (2006).
  369. Del Corso G. M., Gullì A., Romani F., ``Fast PageRank Computation via Sparse Linear System'', Internet Mathematics, 2 (2005), pp. 259-281.
  370. Del Corso G. M., Gullì A., Romani F., ``Ranking a stream of News''. In Proc. of the Fourteenth Intl. World Wide Web Conference, Chiba, Japan, ACM Press (2005).
  371. De Nicola R., Ferrari G. and Meredith G., eds, ``Proceedings of the Sixth Intl. Conf. Coordination Models and Languages (Coordination 2004)'', vol. 2949 of LNCS. Springer, 2004.
  372. De Nicola R., Ferrari G., Montanari U., Pugliese R. and Tuosto E., ``A Formal Basis for Reasoning on Programmable QoS'', in N. Dershowitz, editor, Verification-Theory and Practice: Proc. of an Intl. Symposium in Honor of Zohar Manna's 64th Birthday, vol. 2772 of LNCS. Springer, 2003.
  373. De Nicola R., Ferrari G., Montanari U., Pugliese R. and Tuosto E., ``A Process Calculus for QoS-Aware Applications'', in Proc. Coordination'05, vol. 3454 of LNCS. Springer, 2005.
  374. Di Cosmo R., and S. Pelagatti. A calculus for dense array distributions PPL Vol. 13, No. 3 (2003) pp 377-388. Also presented at HLPP 2003, Paris, France
  375. Di Cosmo, R., S. Pelagatti and Z. Li. A calculus for parallel computations over multidimensional dense arrays. To appear on
    CLSS (Computer Languages, Systems and Structures), 2005.
  376. Di Cosmo, R., Z. Li, S. Pelagatti and P. Weis. Skeletal Parallel Programming with OcamP3l 2.0. High Level Programming and Applications (HLPP05) Coventry UK, July 2005. To appear on PPL.
  377. Di Pierro A. and H. Wiklicky.
    ``Probabilistic abstract interpretation and statistical testing''.
    In H. Hermanns and R. Segala, eds, Process Algebra and Probabilistic Methods, vol. 2399 of LNCS, pp. 212-213. Springer.
  378. Di Pierro A., C. Hankin, and H. Wiklicky.
    Approximate Non-Interference.
    Journal of Computer Security, 12(1):37-81, 2004.
  379. Gori R., ``An Abstract Interpretation Framework to reason on Finite Failure and other properties of finite and infinite computations.'' In TCS, 290, pp 863-936, 2003.
  380. Di Pierro A., C. Hankin, and H. Wiklicky.
    Measuring the confinement of concurrent probabilistic systems.
    In R. Gorrieri, editor, Proc. of WITS'03 - 2003 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security, April 2003.
  381. Di Pierro A., C. Hankin, and H. Wiklicky.
    Probabilistic KLAIM.
    In Rocco De Nicola and Greg Meredith, eds, Proc. of Coordination 2004 - 6th Intl. Conf. on Coordination Languages and Models, LNCS. Springer, 2004.
  382. Di Pierro A., C. Hankin, and H. Wiklicky.
    Quantitative relations and approximate process equivalences.
    In R. Amadio and D. Lugiez, eds, Proceedings of CONCUR 2003 - 14th Intl. Conf. on Concurrency Theory, vol. 2761 of LNCS, pp 508-522. Springer, 2003.
  383. Di Pierro A., Hankin C., and Wiklicky H.
    ``Approximate non-interference''.
    Journal of Computer Security, 193, 2003.
  384. Di Pierro, A., Hankin, C., Wiklicky, H., ``Concurrent Constraint Programming: Towards Probabilistic Abstract Interpretation''. Proc. ACM SIGPLAN PPDP'00, ACM Press, 127-138, 2000.
  385. Di Pierro, A., Hankin, C., Wiklicky, H., Quantitative Static Analysis of Distributed Systems, Journal of Functional Programming, to appear.
  386. Di Pietro R., Chessa S., and Maestrini P., Computationally, Memory and Bandwidth Efficient Distillation Codes to Mitigate DoS in Multicast, IEEE SecureComm 05, Athens, Sept. 2005, pp.13-22.
  387. Duce C., Micheli A., Solaro R., Starita A., M.R. Tinè, ``Prediction of Chemical-Phisycal Properties by Neural Networks for Structures'', MACROMOLECULAR SYMPOSIA, num. 234, pp. 13-19, 2005
  388. Duce C., Micheli A., Solaro R., Starita A., M.R. Tinè, ``Prediction of Polymer Properties from their Structure by Recursive Neural Networks'', MACROMOLECULAR RAPID COMMUNICATIONS, vol. 27, pp. 711-715, 2006
  389. Duce C., Micheli A., Solaro R., Starita A., M.R. Tinè, ``Recursive Neural Networks for Quantitative Structure-Property Relationship Analysis of Polymers'' in Lecture Series on Computer and Computational Sciences, pp. 1546-1549, , 2005
  390. Duce C., Solaro R., Tiné M.R., Micheli A., Sperduti A., Starita A., ``Recursive Neural Networks Prediction of Polymer Glass Transition Temperature from Monomer Structure. An Application to Acrylic and Methacrylic Polymers'', 13th Intl. Congress on Thermal Analysis and Calorimetry ICTAC 2004 Chia Laguna, Italia, Sept. 12-19 2004, p. 52, Sept. 2004.
  391. Esuli, A., A. Cisternino, G. Pacini, M. Simi Multimodal presentation of dynamic object scenarios on the web. Proceeding of the eighth international conference on 3D web technology, ACM Press, 147-153, Saint Malo, France, 2003.
  392. Fantechi, A., S. Gnesi and L. Semini. Achieving fault tolerance by a formally validated interaction policy. In Rigorous development of complex fault tolerant systems, M. Butler, C. Jones, A. Romanovsky, E. Troubitsyna (eds). LNCS, Springer. To appear in 2006.
  393. Farahbod, R., V. Gervasi, and U. Glässer. CoreASM: An extensible ASM execution engine. Fundamenta Informaticae, 2006. (to be published).
  394. Farahbod, R. V. Gervasi, and U. Glässer. CoreASM: An extensible ASM execution engine. In Proc. of the 12th Intl. Workshop on Abstract State Machines, pp 153-166, Paris, Mar. 2005.
  395. Farahbod, R., V. Gervasi, U. Glässer, and M. Memon. Design exploration and experimental validation of abstract requirements. In Proc. of the 12th Intl. Working Conf. on Requirements Engineering: Foundation for Software Quality, Luxembourg, Grand-Duchy of Luxembourg, June 2006. Essener Informatik Beitrage.
  396. Farzan A., Ferragina P., Franceschini G., Munro J.I., ``Cache-oblivious comparison-based algorithms on multisets''. European Symposium on Algorithms (ESA), LNCS vol. 3669, Springer, Eivissa (Spagna), 305-316, 2005.
  397. Favati P., Lotti G., Menchi O., ``Non Recursive Solution of Sparse Block Hessenberg Systems'', Numerical Linear Algebra with Applications, 11 (2004), pp. 391-409.
  398. Favati P., Lotti G., Menchi O., ``Preconditioners based on fit techniques for the iterative regularization in the image deconvolution problem'', BIT, 45 (2005), pp. 15-35.
  399. Favati P., Lotti G., Menchi O., Romani F., ``Adaptive solution of infinite linear systems by Krylov subspace methods'', to appear on J. of Computational and Applied Mathematics (2006).
  400. Ferragina P., Giancarlo R., Manzini G., ``The Engineering of a Compression Boosting Library: Theory vs Practice in BWT compression''. European Symposium on Algorithms (ESA): Engineering and Applications Track, LNCS, 2006 (to appear).
  401. Ferragina P., Giancarlo R., Manzini G., ``The myriad virtues of wavelet trees''. Intl. Colloquium on Automata, Languages and Programming (ICALP), LNCS vol. 4051, Venezia, 561-572, 2006.
  402. Ferragina P., Grossi R., Luccio F., co-eds, Special Issue on FUN '04. Theory of Computing Systems, 39(3), June 2006.
  403. Ferragina P., Gullì A., ``A personalized search engine based on web-snippet hierarchical clustering'', World Wide Web Conf. (WWW), Tokio, 2005.
  404. Ferragina P., Gullì A., ``A Personalized Search Engine Based on WebSnippet Hierarchical Clustering''. World Wide Web Conf. (WWW), Tokio (Giappone), 801-810, 2005.
  405. Ferragina P., Gullì A., ``Experimenting SnakeT: a hierarchical clustering engine for web-page snippets'', European Conf. on Principles and Practice of Knowledge Discovery in Databases (PKDD 04), LNCS vol. 3202, Springer, Pisa, 543-545, 2004.
  406. Ferragina P., Gullì A., ``The Anatomy of a Hierarchical Clustering Engine for Web-page and News and Book Snippets'', IEEE Conf. on Data Mining (ICDM), 395-398, Brighton (UK), 2004.
  407. Ferragina P., Gullì A., ``The Anatomy of SnakeT: a hierarchical clustering engine for web-page snippets'', European Conf. on Principles and Practice of Knowledge Discovery in Databases (PKDD 04), LNCS vol. 3202, Springer, Pisa, 506-508, 2004.
  408. Ferragina P., Koudas N., Muthukrishnan S., ``Two-dimensional substring indexing'', Journal of Computer and System Sciences: Special Issue on ACM PODS '01, 66(4):763-774, 2003.
  409. Ferragina P., Luccio F., Manzini G., Muthukrishnan S., ``Compressing and searching XML data via two zips''. World Wide Web Conf. (WWW), Edimburgh (UK), 2006.
  410. Ferragina P., Luccio F., Manzini G., Muthukrishnan S., ``Structuring labeled trees for optimal succinctness, and beyond''. IEEE Symposium on Foundations of Computer Science (FOCS), Pittsburg (USA), 184-196, 2005.
  411. Ferragina P., Manzini G., ``Compression boosting in optimal linear time using the Burrows-Wheeler Transform'', ACM-SIAM Symposium on Discrete Algorithms (SODA '04), New Orleans (USA), 655-663, 2004.
  412. Ferragina P., Manzini G., ``Engineering a lightweight suffix-array construction algorithm'', Algorithmica, 40(1), 33-50, 2004.
  413. Ferragina P., Manzini G., Mäkinen V., Navarro G.. ``An alphabet friendly FM-index''. Symposium on String Processing and Information Retrieval (SPIRE 2005), LNCS vol. 3246, Springer, Padova, 150-160, 2004.
  414. Ferragina P., Manzini G., Mäkinen V., Navarro G., ``Compressed Representations of sequences and full-text indexes''. ACM Transactions on Algorithms, 2006 (to appear).
  415. Ferragina P., ``String algorithms and data structures for massive data sets'', LNCS Tutorial book, LNCS, Springer, Editor Gerth Brodal, 2005, in press.
  416. Ferragina P., ``String search in external memory: algorithms and data structures''. Handbook of Computational Molecular Biology, edited by Srinivas Aluru, Chapman & Hall/CRC Computer and Information Science Series, 2005, in press.
  417. Ferrari G. and Lluch-Lafuente A.,``A Spatial Logic for QoS Properties of Graphs'', in Proc. of the First Intl. Workshop on Views On Designing Complex Architectures (VODCA04), ENTCS. Elsevier, to appear.
  418. Ferrari G., Gnesi S., Montanari U. and Pistore M., ``A Model Checking Verification Environment for Mobile Processes'', ACM Transactions on Software Engineering and Methodology 12(4):440-473. ACM Press, 2003.
  419. Ferrari G., Gnesi S., Montanari U., Raggi R., Trentanni G. and Tuosto E., ``Verification on the WEB of Mobile Processes'', Proc. of the Snd Intl. Workshop on Verification and Validation of Enterprise Information Systems. NSTICC Press, 2004.
  420. Ferrari G., Guanciale R. and Strollo D., ``JSCL: a Middleware for Service Coordination.'', in Proc. 26th Intl. Conf. on Formal Methods for Networked and Distributed Systems, LNCS. Springer, to appear.
  421. Ferrari G., Hirsch D., Lanese I., Montanari U. and Tuosto E., ``Synchronized Hyperedge Replacement as a Model for Service Oriented Computing.'', in Proc. FMCO 2005, vol. 4111 of LNCS. Springer, 2006.
  422. Ferrari G., Moggi E. and Pugliese R., ``Metaklaim: A type safe multi-stage language for global computing'', Math. Struct. in Comput. Sci 14:1-24. Cambridge University Press, 2004.
  423. Ferrari G., Montanari U. and Tuosto E., ``Co-algebraic minimization of HD-automata for the $\pi$-calculus using polymorphic types'', TCS, 331(2-3):325-365. Elsevier, 2005.
  424. Ferrari G., Montanari U. and Tuosto E., ``Graph-based Models of Internetworking Systems'' in A. Haeberer, editor, Formal Methods at the Crossroads: from Panacea to Foundational Support, vol. 2757 of LNCS. Springer 2003.
  425. Ferrari G., Montanari U. and Tuosto E., ``Model Checking for Nominal Calculi'', in V. Sassone, editor, Proc. Foundations of Software Science and Computation Structures (FoSSaCS'05), vol. 3441 of LNCS, pp 1-24. Springer, 2005.
  426. Ferrari G., Montanari U. and Tuosto E., ``Modular Verification of Systems via Service Coordination'', in Monterey Workshop Series, LNCS. Springer, to appear.
  427. Ferrari G., Montanari U., Raggi R. and Tuosto E., ``From Co-algebraic Specifications to Implementation: The MIHDA Toolkit'', TCS 280(1-2). Elsevier, to appear.
  428. Ferrari G., Montanari U., Raggi R. and Tuosto E., ``From Co-algebraic Specifications to Implementation: The MIHDA Toolkit'', in Proc. FMCO 2002, First Intl. Symposium on Formal Models for Components and Objects, vol. 2852 of LNCS. Springer, 2003.
  429. Ferrari G., Montanari U., Victor B., Tuosto E. and Yemane K., ``Modelling Fusion Calculus Using HD-automata'', in Proc. First Conf. on Algebra and Coalgebra in Computer Science (CALCO'05),vol. 3629 of LNCS. Springer, 2005.
  430. Flocchini, P. A. M. Enriques, L. Pagli, G. Prencipe and N. Santoro, ``Efficient Protocols for Computing the Optimal Swap Edges of a Shortest Path Tree'', In 3rd IFIP Intl. Conf. on Theoretical Computer Science (TCS@2004), 2004, pp. 153-166.
  431. Flocchini P., Lodi E., Luccio F., Pagli L., Santoro N., ``Dynamic Monopolies in Tori''. Discrete Applied Mathematics, 2 (2004) 197-202.
  432. Flocchini, P. L. Pagli, G. Prencipe, N. Santoro, P. Widmayer and T. Zuva, ``Computing All the Best Swap Edges Distributively'', In 8th Intl. Conf. On Principles Of Distributed Systems (OPODIS 2004), pag. 154-168. Grenoble, Francia, Dicembre 2004, LNCS 3544.
  433. Flocchini P., Mesa Enriques A., Pagli L., Prencipe G. and Santoro N.: ``Point-of-Failure Swap Rerouting: Computing the Optimal Swaps Distributively''em IEICE Special Issue on Parallel/Distributed Computing and Networking E89-D, 2 (2006) 700-708 .
  434. Foschini L., Grossi R., Gupta A., and Vitter J.S., ``Fast Compression with a Static Model in High-Order Entropy'', IEEE Data Compression Conference (DCC 2004).
  435. Foschini L., Grossi R., Gupta A., and Vitter J.S., ``When Indexing Equals Compression: Experiments with Compressing Suffix Arrays and Applications'', ACM Transactions on Algorithms (special issue of ACM-SIAM SODA), 2006.
  436. Franceschini G., Grossi R., ``A General Technique for Managing Strings in Comparison-Driven Data Structures'', 31st Intl. Colloquium on Automata, Languages and Programming (ICALP), 2004.
  437. Franceschini G., Grossi R., Munro I.J. and Pagli L., ``Implicit B-trees: A New Data Structure for the Dictionary Problem'', Journal of Computer and System Sciences 68(4) 788-807, 2004 (special issue of IEEE FOCS).
  438. Franceschini G., Grossi R., ``No Sorting? Better Searching!'', 45th Annual IEEE Symposium on Foundations of Computer Science (FOCS), 2004.
  439. Franceschini G., Grossi R., ``Optimal Cache-Oblivious Implicit Dictionaries'', 30th Intl. Colloquium on Automata, Languages and Programming (ICALP 2003), 316-331, 2003.
  440. Franceschini G., Grossi R., ``Optimal Implicit Dictionaries over Unbounded Universes'', Theory of Computing Systems, 2005.
  441. Franceschini G., Grossi R., ``Optimal In-Place Sorting of Vectors and Records'', 32nd Intl. Colloquium on Automata, Languages and Programming (ICALP), 2005.
  442. Franceschini G., Grossi R., ``Optimal Worst-Case Operations for Implicit Cache-Oblivious Search Trees'', 8th Intl. Workshop on Algorithms and Data Structures (WADS 2003), 2003.
  443. Franceschini G., Luccio F., Pagli L., ``Dense trees: a new look at degenerate graphs'', Journal of Discrete Algorithms, 2005.
  444. Franceschini G., R. Grossi, ``Implicit Dictionaries Supporting Searches and Amortized Updates in $O(\log n \log\log n)$ Time'', 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003), 670-678, 2003.
  445. Frangioni A., ``About Lagrangian Methods in Integer Optimization'', Annals of Operations Research 139 (2005) 163-193.
  446. Frangioni A., A. Lodi and G. Rinaldi, ``New approaches for optimizing over the semimetric polytope'', Mathematical Programming 104 (2005) 375-388
  447. Frangioni A., A. Lodi and G. Rinaldi, ``Optimizing over Semimetric Polytopes'' in Integer Programming and Combinatorial Optimization - IPCO 2004, D. Bienstock and G. Nemhauser eds., LNCS Vol. 3064, Springer (2004) 431-443.
  448. Frangioni A. and A. Manca, ``A computational study of cost reoptimization for min cost flow problems'', INFORMS Journal On Computing 18 (2006) 61-70
  449. Frangioni A. and B. Gendron, ``0-1 Reformulations of the Network Loading Problem'', Proc. INOC2005 conference, Lisbon (2005) 38-43.
  450. Frangioni A. and C. Gentile, ``Experiments with extended crossover approaches for network flow problems'', Optimization Methods and Software (2006) to appear.
  451. Frangioni A. and C. Gentile, ``New preconditioners for KKT systems of network flow problems'', SIAM Journal on Optimization 14 (2004) 894-913
  452. Frangioni A. and C. Gentile, ``Perspective cuts for a class of convex 0-1 mixed integer programs'', Mathematical Programming 106 (2006) 225-236
  453. Frangioni A. and C. Gentile, ``Prim-based Support-Graph preconditioners for Min-Cost Flow Problems'', Computational Optimization and Applications (2006) to appear.
  454. Frangioni A. and C. Gentile, ``SDP Diagonalizations and Perspective Cuts for a Class of Nonseparable MIQP'', Operations Research Letters (2006) to appear.
  455. Frangioni A. and C. Gentile, ``Solving nonlinear single-unit commitment problems with ramping constraints'', Operations Research (2006) to appear.
  456. Frangioni A., M.G. Scutellà and E. Necciari, ``A multi-exchange neighborhood for minimum makespan machine scheduling problems'', Journal of Combinatorial Optimization 8 (2004) 195-220.
  457. Frangioni A., ``Tecniche di decomposizione e rilassamenti Lagrangiani'', in (A. Agnetis and G. Di Pillo, eds.) Atti della Scuola CIRO 2002, Pitagora Editrice (2003).
  458. Fruja, N. G. and E. Börger, Analysis of the .NET CLR Exception Handling Mechanism. Proc. .NET Conf. 2005, Pilsen.
  459. Fruja, N. G., and E. Börger, Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis. In: Journal of Object Technology, vol.5 , no.3, 5-34, 2006, Special issue: .NET Technologies 2005 Conference.
  460. Gadducci F. and Lluch-Lafuente A., ``Graphical verification of a spatial logic for the pi-calculus'', in A. Rensink, R. Heckel, and B. Koenig, eds, Workshop on Graph Transformation for Verification and Concurrency (GT-VC 2005), vol. 154(2) of ENTCS. Elsevier, 2006.
  461. Gadducci F. and Montanari U., ``Graph Processes with Fusions: Concurrency by Colimits, Again'', in H.-J. Kreowski, U. Montanari, F. Orejas, G. Rozenberg and G. Taentzer, eds, Formal Methods in Software and Systems Modeling, vol. 3393 of LNCS, pp 84-100. Springer, 2005.
  462. Gadducci F. and Montanari U., ``Observing reductions in nominal calculi via a graphical encoding of processes'', in A. Middeldorp, V. van Oostrom, F. van Raamsdonk, and R. de Vrijer, eds, Processes, Terms and Cycles: Steps on the Road to Infinity (Klop Festschrift), vol. 3838 of LNCS. Springer, 2005.
  463. Gadducci F., Miculan M. and Montanari U., ``About permutation algebras, (pre)sheaves and named sets'', Higher-Order and Symbolic Computation. Kluwer Academic, to appear.
  464. Gadducci F., Miculan M. and Montanari U., ``Some Characterization results for Permutation Algebras'', in F. Honsell, M. Lenisa and M. Miculan, eds, Proc. of the Workshop of the COMETA Project on Computational Metamodels, vol. 104 of ENTCS. Elsevier, 2004.
  465. Gadducci F., ``Term graph rewriting for the pi-calculus'', in A. Ohori, editor, Proc. APLAS'03, First Asian Symp. on Programming Languages and Systems, vol. 2895 of LNCS. Springer, 2003.
  466. Gallo G., ``Operations research: responsibility, sharing and cooperation'', European Journal of Operational Research 153 (2004) 468-476.
  467. Geraci F., Grossi R., ``Distilling Router Data Analysis for Faster and Simpler Dynamic IP Lookup Algorithms'', Intl. Workshop on Efficient and Experimental Algorithms (WEA 2005).
  468. Gervasi, V. and D. Zowghi, and S. E. Sim, eds. Proc. of the Second Intl. Workshop on Comparative Evaluation in Requirements Engineering, Kyoto, Japan, 2005. FIT-UTS.
  469. Gervasi, V. and D. Zowghi. Reasoning about inconsistencies in natural language requirements. ACM Transactions on Software Engineering and Methodology, 14(3):277-330, 2005.
  470. Gervasi, V. and D. Zowghi, S. Easterbrook, and S. E. Sim, eds. Proc. of the First Intl. Workshop on Comparative Evaluation in Requirements Engineering, 2004. FIT-UTS.
  471. Gervasi V. and G. Prencipe, ``On The Efficient Capture of Dangerous Criminals'', In Third Intl. Conf. on FUN With Algorithms (FUN 2004), 2004, pp. 184-196.
  472. Gervasi V. and Prencipe G., ``Coordination without Communication: The case of the Flocking Problem''. Discrete Applied Mathematics, Vol 143, 2003, pag. 203-223.
  473. Gervasi V., and Prencipe G., ``Robotic Cops: The Intruder Problem'', 2003 IEEE Conf. on Systems, Man and Cybernetics (SMC 2003), Washington D. C., USA (2003), pp. 2284-2289.
  474. Gervasi, V. E. Kamsties, B. Regnell, and C. Salinesi. Ten years of REFSQ: A quantitative analysis. In Proc. of the 10th Anniversary Intl. Workshop on Requirements Engineering: Foundation for Software Quality, pp 267-284, Riga, Latvia, June 2004.
  475. Giannotti F., G. Manco and F. Turini. ``Towards a Logic Query Language for Data Mining", in R. Meo, P. Lanzi, M. Klemettinen (eds) Database Support for Data Mining Applications, pp. 75-93, Springer, LNCS 2682, 2004
  476. Giannotti F., G. Manco, F. Turini: ``Specifying Mining Algorithms with Iterative User-Defined Aggregates", IEEE Trans. Knowl. Data Eng. 16(10): 1232-1246 (2004)
  477. Giannotti F., M. Nanni, D. Pedreschi, Fabio Pinelli, ``Mining Sequences with Temporal Annotations". In Proc. of ACM SAC 2006 (DM Track), pp. 593-597, (2006)
  478. Giannotti, F., M. Nanni, D. Pedreschi, F. Samaritani: ``WebCat: Automatic Categorization of Web Search Results''. SEBD 2003, 507-518.
  479. Gori, R and Levi, ``A New Occurrence Counting Analysis for BioAmbients'', Proc. of APLAS' 05, LNCS 3780, 381-400, 2005.
  480. Gorrieri, R., Lanotte, R., Maggiolo-Schettini, A., Martinelli, F., Tini, S., Tronci, E., ``Automated Analysis of Timed Security: A Case Study on Web Privacy'', Intl. Journal of Information Security 2, 2004, 168-186.
  481. Grossi R., and Vitter J.S., ``Compressed Suffix Arrays and Suffix Trees with Applications to Text Indexing and String Matching'', SIAM Journal on Computing, 2005.
  482. Grossi R., Gupta A., and Vitter J.S., ``High-Order Entropy-Compressed Text Indexes'', 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003), ACM-SIAM Press.
  483. Grossi R., Gupta A., and Vitter J.S., ``When Indexing Equals Compression: Experiments with Compressing Suffix Arrays and Applications'', ACM-SIAM Symposium on Discrete Algorithms (SODA 2004).
  484. Gullì A., Signorini A., ``The indexable web is more than 11.5 billion pages'', World Wide Web Conf. (WWW 2005), Tokio, 2005.
  485. Gullì A., ``The Anatomy of a News Search Engine'', World Wide Web Conf. (WWW), Tokio, 2005.
  486. Hammer B., Micheli A., Sperduti A., ``Universal Approximation Capability of Cascade Correlation for Structures'', Neural Computation, Vol. 17, Issue 5 - May 2005, pp 1109-1159, MIT press.
  487. Hammer B., Micheli A., Strickert M., Sperduti A., ``Recursive Self-organizing Network Models'', Neural Networks, Elsevier. Vol. 17, Issues 8-9, pp 1061-1085, Oct.Nov. 2004, Elsevier.
  488. Hirsch D. and Montanari U., ``Shaped Hierarchical Architectural Design'', in Proc. GT-VMT'04, Intl. Workshop on Graph Transformation and Visual Modeling Techniques, vol. 109 of ENTCS. Elsevier, 2004.
  489. Iacconi, C., A. Cilotti, C. Marini, M. Moretti, D. Mazzotta, F. Odoguardi, F.A. Cardillo, A. Starita, ``Maximum Intensity Projection in contrast-enhanced magnetic resonance of the breast: Current applications and prospectives'', pp. 46-52, Proc. of the European Conf. on Emergent Aspects in Clinical Data Analysis (EACDA 05). Sept. 28 - 30, 2005, Pisa, Italy.
  490. Iliopoulos C., McHugh J., Peterlongo P., Pisanti N., Rytter W., Sagot M.-F.: ``A first approach to finding common motifs with gaps'', Intl. Journal of Foundation of Computer Science, 16(6), pp. 1145-1155, 2005.
  491. Iliopoulos C., McHugh J., Peterlongo P., Pisanti N., Rytter W., Sagot M.-F.: ``A First Approach to Finding Common Motifs with Gaps'', proceedings of Prague Stringology Conference (PSC'04), pp. 88-97, 2004.
  492. Kamsties, E., V. Gervasi, and P. Sawyer, eds. Proc. of the Eleventh Intl. Workshop on Requirements Engineering: Foundation for Software Quality, Porto, Portugal, June 2005. Essener Informatik Beitrage.
  493. Kmiecik, A. and V. Ambriola. Transformacje Modelu Architektonicznego Oprogramowania, In Proc. of the 2nd Krajowa Konferencja Technologie Informacyjne, Gdansk, May 2004. Jubileusz Politechniki, Gdansk, 671-678.
  494. Kmiecik, A. and V. Ambriola. Transformations for Software Architecture Model Change, Journal of Foundations of Computing and Decision Sciences, 29:4, (2004), 329-344.
  495. Lanese I. and Montanari U., ``A Graphical Fusion Calculus'', in F. Honsell, M. Lenisa and M. Miculan, eds, Proc. of the Workshop of the COMETA Project on Computational Metamodels, vol. 104 of ENTCS. Elsevier, 2004.
  496. Lanese I. and Montanari U., ``Hoare vs Milner: Comparing Synchronizations in a Graphical Framework with Mobility'', in Proc. of GT-VC'05, Graph Transformation for Verification and Concurrency, vol. 154(2) of ENTCS. Elsevier, 2005.
  497. Lanese I. and Montanari U., ``Insights Emerged while Comparing Three Models for Global Computing'', in J.L. Fiadeiro, U. Montanari, M. Wirsing, eds, Proc. of Dagstuhl Seminar n.05081, Foundations of Global Computing, Technical Report Electronic Proceedings. Schloss Dagstuhl, to appear.
  498. Lanese I. and Montanari U., ``Synchronization Algebras with Mobility for Graph Transformations'', in Proc. of FCUC'04, Joint 3rd workshop on the (SGUC) Grand Challenge and 3rd EATCS Workshop in the Foundations of Global Computing, vol. 138 of ENTCS. Elsevier, 2004.
  499. Lanese I. and Montanari U., ``Synchronizations with Mobility for Graph Transformations (extended abstract)'', in B. Koenig, U. Montanari, and P. Gardner, eds, Proc. of Dagstuhl Seminar n.04241, Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, Technical Report Electronic Proceedings. Schloss Dagstuhl, 2005.
  500. Lanotte, R., Maggiolo-Schettini, A., ``Monotonic Hybrid Systems'', Journal of Computer and System Sciences 71, 2005, 34-69.
  501. Lanotte, R., Maggiolo-Schettini, A., Peron, A., ``Structural Model Checking for Communicating Hierarchical Machines'', Proc. MFCS 2004, LNCS 3153, 525-536, 2004.
  502. Lanotte, R., Maggiolo-Schettini, A., Peron, A., ``Timed Cooperating Automata'', Fundamenta Informaticae, 43, 2000, 153-173.
  503. Lanotte, R., Maggiolo-Schettini, A., Peron, A., Tini, S., ``Dynamic Hierarchical Machines'', Fundamenta Informaticae 54, 2003, 237-252.
  504. Lanotte, R., Maggiolo-Schettini, A., Tini, S., ``Concurrency in Timed Automata'', TCS 309, 2003, 503-527.
  505. Lanotte, R., Maggiolo-Schettini, A., Tini, S., ``Information Flow in Hybrid Systems'', ACM TECS 3, 2004, 760-799.
  506. Lanotte, R., Maggiolo-Schettini, A., Tini, S., Tronci, E., ``Automatic Covert Channel Analysis of a Multilevel Secure Component'', Proc. ICICS'04, LNCS 3269, 249-261, 2004.
  507. Lanotte, R., Maggiolo-Schettini, A., Troina, A., ``A Classification of Time and/or Probability Dependent Security Properties'', Proc. QAPL'05, ENTCS .., 2006.
  508. Lanotte, R., Maggiolo-Schettini, A., Troina, A., Automatic Analysis of a Non-Repudiation Protocol, Proc. QAPL 2004, ENTCS 112, 2004.
  509. Lanotte, R., Maggiolo-Schettini, A., Troina, A., ``Decidability Results for Parametric Transition Systems with an Application to Security'', Proc. SEFM 2004, IEEE Press, 114-121, 2004.
  510. Lanotte, R., Maggiolo-Schettini, A., Troina, A., ``Information Flow Analysis for Probabilistic Time Automata'', Proc. FAST'04, IFIP Series, Vol. 173, Springer, Berlin, 2005.
  511. Lanotte, R., Maggiolo-Schettini, A., Troina, A., ``Timed Automata with Data Structures for Distributed Systems Design and Analysis'', Proc. SEFM 2005, IEEE Press, 2005, pp. 44 - 53.
  512. Lanotte, R., Maggiolo-Schettini, A., Troina, A., ``Weak Bisimulation for Probabilistic Timed Automata and Applications to Security'', Proc. SEFM 03, IEEE Computer Society Press, 34-43, 2003.
  513. Lanotte, R., Maggiolo-Schettini, A., Troina, A., ``Weak Bisimulation for Probabilistic Timed Automata and Applications to Security'', Proc. SEFM 2003, IEEE Press, 2003, 34- 43.
  514. Lanotte, R., Maggiolo-Schettini, Tini, S., Tronci, E., Automatic Analysis of the NRL Pump, Proc. Workshop MEFISTO, ENTCS 99, 2004.
  515. La Terza A., Marangoni R., Pisanti N., Barchetta S., Miceli C.: ``Bioinformatics tools to identify structured motifs in the upstream regions of stress-response-involved genes in Tetrahymena thermophila'', poster at NETTAB 2004.
  516. Levi F., and Bodei C.,
    ``A Control Flow Analysis for Safe and Boxed Ambients.''
    In Proc. ESOP'04, LNCS, Springer.
  517. Levi, F., ``A Typed Encoding of Boxed into Safe ambients'', Acta Informatica 42, 2006, 429-500.
  518. Levi, F., Bodei, C., ``A Control Flow Analysis for Safe and Boxed Ambients'', Proc. of The European Symposium on Programming, ESOP'04, LNCS 986 , 188-203, 2004.
  519. Levi, F., Sangiorgi, D., ``Mobile Safe Ambients'', ACM TOPLAS 25, 2003, 1-69.
  520. Levi, F., S. Maffeis, "On Abstract Interpretation of Mobile Ambients", Information and Computation 188, 2004, 179-240.
  521. Levi, F., ``Types for Evolving Communication in Safe Ambients'', Proc. of the Intl. Workshop on Abstract Interpretation and Model Checking, VMCAI' 03, LNCS 2575, 102-115, 2003.
  522. Levi, G. and Spoto, F..
    Pair-Independence and Freeness Analysis through Linear Refinement.
    Information and Computation,182:14-52, 2003.
  523. Linden I., Jacquet J.M., de Bosschere K., Brogi A., ``On the expressiveness of relative-timed coordination models", ENTCS, 89(5), 2003.
  524. Linden I., Jacquet J.M., de Bosschere K., Brogi A., ``On the expressiveness of timed coordination models”, Science of Computer Programming, 61(2), pp 152-187, 2006.
  525. Lluch Lafuente A. and Montanari U., ``Quantitative $\mu$-Calculus and CTL Based on Constraint Semirings'', in Proc. QAPL 2004, ENTCS. Elsevier, to appear.
  526. Lluch Lafuente A. and Montanari U., ``Quantitative $\mu$-Calculus and CTL Defined over Constraint Semirings'', TCS 346:135-160. Elsevier, 2005.
  527. Luccio F., Brunetti S., Ciriani V., Lodi E., Pisanti N.: ``Locally free substitutions are not so free: an open problem in sequence alignment'', proceedings of Fun with Algorithms 3 (FUN), Edizioni Plus, pp. 5-6, 2004.
  528. Luccio F., Pagli L., ``Distributed Construction of Almost-Edge-Disjoint Spanning Trees via Dense Trees'', I + D Computaci˜n 2, 2 (2003) 79-86.
  529. Luccio F., Pagli L., ``Network decontamination via local immunization'', Proc. APDCM 2006, Rodi, Grecia (2006) 1-15..
  530. Luccio F., Pagli L., ``Up-down distance between two trees'', ISSADS 2006, Guadalajara (2006), LNCS XX, Springer (2006) to appear.
  531. Maggini V., Abbondandolo A., Barale R., Baronti F., Bonatti S., Canzian F., Casartelli G., Guidi L., Margarino G., Mereu P., Micheli A., Passaro A., Rossi A.M., Starita A., ``Computational Intelligence Methods for Data Analysis: A Case-control Study on Genetic Susceptibility in Squamous Cell Carcinoma of the Head and Neck (HNSCC)'', 46th Annual Meeting of the Italian Cancer Society, Pisa, 24-27 Oct. 2004. Tumori, a Journal of Experimental and Clinical Oncology, I Supplementi, Vol. 4(2), p.72, March/April 2005.
  532. Maggini V., Barale R., Canzian F., Micheli A., Rossi A.M., Starita A. et al., ``Approcci di Intelligenza Computazionale per l'Analisi dei Dati di uno Studio Caso-Controllo per la Suscettibilità Genetica al Cancro Orofaringeo (HNSCC)'' Atti del VI Convegno FISV (Federazione Italiana Scienze della Vita), p. 441, Riva del Garda, 30 Settembre-3 Ottobre 2004.
  533. Mancarella P., Raffaetà, A., Renso, C., Turini, F., ``Integrating Knowledge Representation and Reasoning in Geographical Information Systems", INTERNATIONAL JOURNAL OF GEOGRAPHICAL INFORMATION SCIENCE, pp. 1-31, 2003
  534. Marangoni R., Colombetti G., Effect of preillumination on photomotile responses of the marine ciliate Fabrea salina, Photochem. Photobiol., 77, pp. 204-209, 2003.
  535. Marangoni R., La Terza A., Pisanti N., Barchetta S., Miceli C,: ``Searching for structured motifs in the upstream regions of hsp70 genes in Tetrahymena termophila'', poster at the BITS (Bioinformatics Italian Society) meeting, 2005.
  536. Marangoni R., Marroni F., Gioffre' D., Ghetti F., Colombetti G., Biological Weighting Function of the UV-B induced impairment of phototaxis in the fresh water ciliate Ophryoglena flava, Photochem. Photobiol., vol. 80, pp. 408-411, 2005.
  537. Marangoni R., Messina N., Gioffre' D., Colombetti G., Effects of UV-B irradiation on a marine microecosystem, Photochem. Photobiol., vol. 80, pp. 178-83, 2004
  538. Mesnard M., S. Ruggieri, ``On proving left-termination of constraint logic programs'', ACM Transactions on Computational Logic, vol.4 no. 2, p. 207-259, 2003
  539. Micheli A., Portera F., Sperduti A., ``A Preliminary Empirical Comparison of Recursive Neural Networks and Tree Kernel Methods on Regression Tasks for Tree Structured Domains'', Neurocomputing, Elsevier. 64: 73-92, March 2005 (Selected from 12-th ESANN 2004). Elsevier.
  540. Micheli A., Portera F., Sperduti A., ``QSAR/QSPR Studies by Kernel Machines, Recursive Neural Networks and Their Integration'', Neural Nets, WIRN VIETRI 2003, Vietri sul Mare, Italy, June 4-7, 2003, Revised Papers. Apolloni, B.; Marinaro, M.; Tagliaferri, R. (eds) LNCS Vol. 2859, pp. 308-315. Springer, 2003.
  541. Micheli A., Sestito A.S., ``A New Neural Network Model for Contextual Processing of Graphs'', Proc. of WIRN `05- XVI Italian Workshop On Neural Network, LNCS Vol. 3931, Springer, pp. 10-17.
  542. Micheli A., Sona D., Sperduti A., ``Contextual Processing of Structured Data by Recursive Cascade Correlation'', IEEE Trans. Neural Networks, 15(6):1396-1410, Nov. 2004.
  543. Micheli A., Sona D., Sperduti A., ``Formal Determination of Context in Contextual Recursive Cascade Correlation Networks'', Artificial Neural Networks and Neural Information Processing - ICANN/ICONIP 2003, O. Kaynak and E. Alpaydin and E. Oja and L. Xu, eds. LNCS Vol. 2714, pp. 173-180. Springer 2003.
  544. Micheli A., Sperduti A., Starita A., Bianucci A.M.,``A Novel Approach to QSPR/QSAR Based on Neural Networks for Structures'', Chapter in Book : Soft Computing Approaches in Chemistry, pp. 265-296, H. Cartwright, L. M. Sztandera, eds, Springer, 2003.
  545. Micheli A., Starita A., ``Adaptive Processing of Complex Data Structures in QSPR/QSAR Analysis'', Complexity in the Living: a problem-oriented approach, Intl. Meeting II Edition, pp. 214-216, CISB-University of Rome ``La Sapienza'', Istituto Superiore di Sanitá, Rome, Italy, Sept. 28-30, 2004.
  546. Micheli A., Starita A., Duce C., Solaro R., Tinè M.R., ``Approaches to Cheminformatics and Biomaterials Design by Neural Networks for Structures: First Applications to Small Molecules and Polymers'', European Conf. on Emergent Aspects in Clinical Data Analysis, EACDA 2005, vol. 1, pp. 13-20, Pisa 2005
  547. Micheli A., Starita A., ``The Recursive Neural Networks Approach to QSPR/QSAR: A Methodology Proposal'', Euro-QSAR 2004 - The 15th European Symposium on Quantitative Structure-Activity Relationships and Molecular Modelling, pp. 283, Istanbul, Turkey, Sept. 2004.
  548. Montanari U. and Pistore M., ``History-Dependent Automata: An Introduction'', in M. Bernardo and A. Bogliolo, eds, SFM-Moby 2005, vol. 3465 of LNCS, pp 1-28. Springer, 2005.
  549. Montanari U. and Pistore M., ``Structured Coalgebras and Minimal HD-Automata for the Pi-Calculus'', TCS 340(3):539-576. Elsevier, 2005.
  550. Montanari U., ``Web Services and Models of Computation'' (invited talk), in M. Bravetti and G. Zavattaro, eds, Proc. First Intl. Workshop on Web Services and Formal Methods, vol. 105 of ENTCS. Elsevier, 2004.
  551. Montangero, C. and L. Semini. A Logical View of Choreography. COORDINATION 2006, Bologna 2006. LNCS 4038, pp 179-193, Springer.
  552. Montangero, C., and L. Semini. Formalizing an Adaptive Security Infrastructure in Mob-adtl. LICS Workshop on Logical Foundations of an Adaptive Security Infrastructure. pp. 301-318, Turku, 2004.
  553. Montangero C., L. Semini and A. Zanardo. DSTL: A Logic for Global Computing. Congresso Annuale AICA, pp. 445-454, Udine 2005.
  554. Montangero, C., L. Semini and S. Semprini. Logic Based Coordination for Event-Driven Self-Healing Distributed Systems. Sixth Intl. Conf. on Coordination Models and Languages. LNCS 2949, pp. 241-255, 2004.
  555. Mori P., Ricci L., ``Computational Science in high schools: defining curricula and environments'', Journal of Future Generation Computer Systems, Vol 19 (2003) pp 1349-1361.
  556. Nanni M., A. Raffaetà, C. Renso, F. Turini. ``A declarative framework for reasoning on spatio-temporal data", In Rita de Caluwe, Guy de Trè, Gloria Bordogna (eds). Flexible querying and reasoning in spatio-temporal databases: theory and applications Geosciences/Geoinformation series. To appear
  557. Nanni M., A. Raffaetà, C. Renso, F. Turini ``Deductive and inductive reasoning on spatio-temporal data", Presented at InaDP, Berlin 2004, LNAI Springer, Vol. 3392, pp. 98-115 (2004)
  558. Nanni M., A. Raffaetà, C. Renso, F.Turini, ``Flexible querying and reasoning in Spatio-Temporal Databases: Theory and Applications", in A declarative framework for reasoning on spatio-temporal data, pp. 1-30, 2003
  559. Natt och Dag, J. and V. Gervasi. Managing large repositories of natural language requirements. In A. Airum and C. Wohlin, eds, Engineering and Managing Software Requirements. Springer, 2005.
  560. Natt och Dag, J. V. Gervasi, S. Brinkkemper, and B. Regnell. A linguistic engineering approach to large-scale requirements management. IEEE Software, 22(1), Jan./Feb. 2005.
  561. Natt och Dag, J. V. Gervasi, S. Brinkkemper, and B. Regnell. Speeding up requirements management in a product software company: Linking customer wishes to product requirements through linguistic engineering. In Proc. of the 12th IEEE Intl. Requirements Engineering Conference, Kyoto, Japan, Sept. 2004.
  562. Nicotra L., Micheli A., Starita A., ``Fisher Kernel for Tree Structured Data'', Proc. of IJCNN.2004-Intl. Joint Conf. on Neural Networks. Budapest, July 2004. Vol.3, pp. 1917-1922. (c) 2004 IEEE.
  563. Nidito, F., Pizziniaco, L. On the Dimensioning of Ad Hoc Sensor Networks, Fifth Annual Mediterranean Ad Hoc Networking Workshop 2006, Lipari, Italy, 14-17 June 2006.
  564. Odoguardi, F., A. Cilotti, C. Marini, M. Moretti, D. Mazzotta, A. Vaccaro, C. Iacconi, F.A. Cardillo, A. Starita, ``Role of diffusion-weighted imaging(DWI) in Magnetic Resonance (MRI) of the breast'', pp. 60-66, Proc. of the European Conf. on Emergent Aspects in Clinical Data Analysis (EACDA 05). Sept. 28 - 30, 2005, Pisa, Italy.
  565. Pagli, L. G. Prencipe and T. Zuva, ``Distributed Computation for Swapping a Failing Edge'', In 6th Intl. Workshop on Distributed Computing (IWDC 2004), 2004, pp. 28-39, LNCS 3326.
  566. Pallottino S. and M.G. Scutellà, ``A new algorithm for reoptimizing shortest paths when the arc costs change'', Operations Research Letters 31 (2003) 149-160.
  567. Pallottino S. and R. Tadei (eds), Communication and Transportation Network Optimization, special issue of Networks (2003) to appear.
  568. Pallottino S., G.M. Sechi and P. Zuddas, ``A DSS for water resources management under uncertainty by scenario analysis'', Environmental Modelling & Software (2003) to appear.
  569. Passaro, A., A. Starita, ``Clustering particles for multimodal function optimization.'' ECAI Workshop on Evolutionary Computation, Aug 2006 Riva del Garda, Italy.
  570. Pedreschi, D., and S. Ruggieri. ``Bounded nondeterminism of logic programs''. Annals of Mathematics and Artificial Intelligence, Vol 42, Issue 4, Dec. 2004, 313-343.
  571. Pedreschi, D., and S. Ruggieri. ``On logic programs that always succeed", Sci. Comput. Program, 48(2-3): 163-196 (2003)
  572. Pedreschi, D., S. Ruggieri, J. Smaus. ``Characterisations of Termination of Logic Programming''. In Maurice Bruynooghe and Kung-Kiu Lau (eds.) Program Development in Computational Logic. LNCS, Springer, Vol. 3049, pp.376-431 (2004)
  573. Pelagatti, S., He, Y. CRT: an Adaptive Routing Protocol for LEO satellite networks. 2nd IEEE ICTTA'06, vol. 1, pp. 1-9, April 2006.
  574. Pelagatti S., Task and data Parallelism in P3L. Chapter 6 of Patterns and Skeletons for parallel and distributed computing, F.H Rabhi and S. Gorlatch (eds), pp. 155-186, Springer 2003.
  575. Peterlongo P., Pisanti N., Boyer F., Sagot M.-F.: "Lossless Filter for Finding Long Multiple Approximate Repetitions Using a New Data Structure, the Bi-Factor Array", proceedings of String Processing and Information Retrieval (SPIRE), Springer LNCS 3772, pp. 179-190, 2005.
  576. Pisanti N., Carvalho A., Marsan L., Sagot M.-F.: "RISOTTO: Fast extraction of motifs with mismatches", proceedings of Latin American Theoretical INformatics (LATIN), Springer LNCS 3887, pp. 757-768, 2006.
  577. Pisanti N., Crochemore M., Grossi R., Sagot M.-F.: ``A Basis of Tiling Motifs for Generating Repeated Patterns and its Complexity for Higher Quorum'', proceedings of Mathematical Foundations of Computer Science (MFCS), Springer LNCS 2747, pp. 622-632, 2003.
  578. Pisanti N., Crochemore M., Grossi R., Sagot M.-F.: ``A Comparative Study of Bases for Motif Inference'', in String Algorithmics, C. Iliopoulos and T. Lecroq eds, KCL publications, pp. 195-225, 2004.
  579. Pisanti N., Crochemore M., Grossi R., Sagot M.-F.: ``Bases of Motifs for Generating Repeated Patterns with Wild Cards'', IEEE/ACM Transaction on Computational Biology and Bioinformatics, 2(1), pp. 40-50, 2005.
  580. Pisanti N., Marangoni R., Ferragina P., Frangioni A., Savona A., Pisanelli C., Luccio F.: ``PaTre: a method for Paralogy Trees Construction'', Journal of Computational Biology 10(5), pp. 791-802, 2003.
  581. Pisanti N., R. Marangoni, P. Ferragina, A. Frangioni, A. Savona, C. Pisanelli and F. Luccio, ``PaTre: a method for Paralogy Trees construction'', Journal of Computational Biology 10(5) (2003) 791-802.
  582. Pisanti N., Sagot M.-F.: ``Inference of Network Expressions'', Chapter 5 in Applied combinatorics on words by M.Lothaire, J. Berstel and D. Perrin eds, Cambridge University Press, pp. 241-267, 2005.
  583. Pisanti N., Soldano H., Carpentier M.: ``Incremental Inference of Relational Motifs with a Degenerate Alphabet'', proceedings of Combinatorial Pattern Matching (CPM), Springer LNCS 3537, pp. 229-240, 2005.
  584. Pisanti N., Soldano H., Carpentier M., Pothier J.: "Implicit and Explicit Representation of Approximated Motifs", in Algorithms for Bioinformatics, King's College London Press, pp. 1-14, 2006.
  585. Regnell, B., E. Kamsties, and V. Gervasi, eds. Proc. of the Tenth Anniversary Intl. Workshop on Requirements Engineering: Foundation for Software Quality, Riga, Latvia, June 2004. Essener Informatik Beitrage.
  586. Regnell, B., E. Kamsties, and V. Gervasi. Special issue on selected papers from REFSQ'04. Requirements Engineering Journal, 10(4) 2005.
  587. Righi, M., A. Starita, U. Barcaro, S. Erimaki, S. Micheloyannis: ``A Method for Detection of transient Events in EEG Signals'', Joint Workshop On Analysis In Brain Diseases, May 18-19, 2006, Goteborg , Sweden.
  588. Rinzivillo S., F. Turini. ``Classification in Geographical Information Systems", PKDD 2004, Sept. 20- 24, 2004, Pisa Italy, Lecture Notes In Computer Science, Springer, 2004, pp. 374 – 385
  589. Rinzivillo S., F. Turini, ``Extracting spatial association rules from spatial transactions", ACM-GIS 2005, Nov. 4-5, 2005, pp. 79-86, Bremen, Germany, (2005)
  590. Roldan A., Pimentel E. Brogi A., ``Safe Composition of Linda-based Components", ENTCS, 82(6), 2003.
  591. Romei A., M. Sciolla, F. Turini, M. Valentini, ``Distributed Knowledge Discovery with the Parallel KDDML System", Parallel and Distributed Computing and Networks 2006, IASTED/ACTA Press, pp. 204-211 (2006)
  592. Romei A., S. Ruggieri, F. Turini, ``KDDML: a middleware language and system for knowledge discovery in databases", Data and Knowledge Engineering, to appear
  593. Romei A., S. Ruggieri, F. Turini, ``KDDML: a middleware language and system for knowledge discovery in databases", Proc. of the 13th Italian Symposium on Advanced Database Systems (SEBD 2005): 208-219. Aracne editrice, (2005)
  594. Ruggieri S.,`` On computing the semi-sum of two integers", Inf. Process. Lett., 87(2): 67-71 (2003)
  595. Ruggieri S.,``YaDT: Yet another Decision Tree builder", Proc. of the 16th Intl. Conf. on Tools with Artificial Intelligence (ICTAI 2004),: 260-265. IEEE Press, Nov. 2004
  596. Rusu, C., Ferreira, A., Scordino, C., Watson, A., Melhem, R., and Mosse, D.. Energy-Efficient Real-Time Heterogeneous Server Clusters. 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), San Jose, California, United States, April 2006.
  597. Sadakane K., Grossi R., ``Squeezing Succinct Data Structures into Entropy Bounds'', ACM-SIAM Symposium on Discrete Algorithms (SODA 2006).
  598. Santi, P. and Chessa, S., Reducing the Number of Sequential Diagnosis Iterations in Hypercubes, IEEE Transactions on Computers (vol.53, no.1, 2004), pp.89-92 .
  599. Sartiani, C. P. Manghi, G. Ghelli, and G. Conforti. XPeer: A self-organizing XML P2P database system. In EDBT Workshops 04, Proc. of the First Intl. Workshop on Peer-to-Peer Computing and Databases (P2P&DB), LNCS 3264, pp 456-465.
  600. Scaparra M.P., S. Pallottino and M.G. Scutellà, ``Large scale local search heuristics for the capacitated vertex $p$-center problem'', Networks 43 (4) (2004) 241-255.
  601. Scordino, C. and Bini, E. Optimal Speed Assignment for Probabilistic Execution Times, 2nd Power-Aware Real-Time Workshop (PARC'05), Jersey City, Sept. 2005.
  602. Scordino C. and G. Lipari, Energy Saving Scheduling for Embedded Real-Time Linux Applications, Proc. of the 5th Real-Time Linux Workshop, Nov. 2003.
  603. Scordino C. and G. Lipari, Using Resource Reservation Techniques for Power-Aware Scheduling, Proc. of the 4th ACM Intl. Conf. on Embedded Software (EMSOFT), Pisa, Italy, Sept. 2004.
  604. Scutellà M.G., ``An approximation algorithm for computing longest paths'', European Journal of Operational Research 148(3) (2003) 584-590.
  605. Scutellà M.G., ``A note on the parametric maximum flow problem and some related reoptimization issues'', Annals of Operations Research, to appear.
  606. Scutellà M.G., ``A note on the parametric maximum flow problem and some related reoptimization issues'', Proc. of INOC2003, Evry (Paris) (2003) 516-520.
  607. Scutellà M.G., ``The maximum cut congestion problem'', Proc. of INOC 2005, Lisbon (2005), 670-673.
  608. Starita A., Rossi P., Caracciolo F., Petrini M., ``Emosys: a system to study hematological diseases'', BioMED 2004, vol. 1, pp. 1-1.
  609. Sun C. and S. Pallottino, ``Circular shortest path on regular grids'', Pattern Recognition 36 (2003) 709-719.
  610. Sun, O. P. Hu, C. Goh, B. Hamadicharef, E. Ifeachor, I.Barbounakis, M. Zervakis, N. Nurminen, A. Varri, R. Fontanelli , S. Di Bona, D. Guerri, S. La Manna, K. Cerbioni, E. Palanca, A. Starita: ``Bioprofiling over Grid for eHealthcare'', HealthGRID 2006, June 7-9, 2006, Valencia, Spain.
  611. Sutcliffe, A., A. Hickey, and V. Gervasi, eds. Proc. of the Third Intl. Workshop on Comparative Evaluation in Requirements Engineering, Paris, France, 2005.
  612. Swades De, Caruso, A., Chaira, T., and Chessa, S., Bounds on Hop Distance in Greedy Routing Approach in Wireless Ad Hoc Networks, Accepted for Publication on Intl. Journal on Wireless and Mobile Computing, (2005).
  613. ter Beek M. and Gadducci F., eds, First Intl. Workshop on Views on Designing Complex Architectures (VODCA 2004), vol. 142 of ENTCS. Elsevier, 2006.
  614. Terreni, G., P. Mancarella, ``An abductive proof procedure handling active rules'', AI*IA 2003, LNAI 2829, pp. 105-117, 2003.
  615. Tini, S., Maggiolo-Schettini, A., ``Compositional Synthesis of Generalized Mealy Machines'', Fundamenta Informaticae 60, 2004, 367-382.
  616. Urpi A., M.A. Bonuccelli, S. Giordano. Modelling cooperation in ad-hoc networks: selfishness vs trade-offs. WiOpt'03 Workshop: Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks, 2003, Sophia-Antipolis, France.
  617. Vannozzi G., Della Croce U., Starita A., Benvenuti F., Cappozzo A., ``Clinical Data Mining: Association Rules for Parameters Pruning and Knowledge Discovery'', X Medit. Conf. on Med. and Biol. Engineering, vol. 2, pp. 543-546, Ischia, Italy - July 31 - August 5, 2004.
  618. Vannozzi G., Della Croce U., Starita A., Benvenuti F., Cappozzo A., ``Knowledge Discovery in Databases of Biochemical Variables: Application to the Sit To Stand Motor Task'', Journal of NeuroEngineering and Rehabilitation, 1:7 (29 Oct. 2004), 2004.
  619. Zabian, A. M.A. Bonuccelli. On the latency of BFS based interval cooperative web caching. IEEE 1st Intl. Conf. on Information and Communication Technologies: from Theory to Applications (ICTTA'04), pp. 637 -638, April 2004.
  620. Zabian, A., M.A. Bonuccelli. Topology Discovering Algorithm for Mobile Wireless Networks. Seventh IFIP Intl. Conf. on Mobile and Wireless Communication Networks, Marrakech, Morocco, Sept. 19-21, 2005.
  621. Zowghi D. and V. Gervasi. Special issue on automated tools for requirements engineering. Intl. Journal of Computer Systems Science and Engineering, 20(1), Jan. 2005.
  622. Zunino R., and Degano P.
    ``A Note on the Perfect Encryption Assumption in a Process Calculus.''
    In Proc. FoSSaCS'04, LNCS, Springer.
  623. Zunino R., and Degano P.
    ``Handling exp, x (and Timestamps) in Protocol Analysis.''
    In Proc. FoSSaCS'06,, LNCS 3921, pp. 413-427, 2006.
  624. Zunino R., and Degano P.
    ``Weakening the Perfect Encryption Assumption in Dolev-Yao Adversaries.''
    TCS, 340(1): 154-178, 2005.

next up previous contents
Next: Doctorate Theses 1988-2005 Up: The Department of Computer Previous: Administrative-Technical offices   Contents
Maria Simi 2006-10-23