Abstracts

From Data to DecisionAntonio AlbanoPDF
A Universal Language Engine for Machine ReadingGiuseppe Attardi, Maria Simi, Niladri Chatterjee, Stefano Dei Rossi, Zahurul Islam, Haoyuan LiPDF
Modelling, Simulation and Verification of Biological SystemsRoberto Barbuti, Giulio Caravagna, Chiara Bodei, Andrea Bracciali, Pierpaolo Degano, Peter Drabik, Roberta Gori, Francesca Levi, Andrea Maggiolo Schettini, Roberto Marangoni, Paolo Milazzo, Giovanni Pardini, and Aureliano RamaPDF
Quantitative and Automatic Analysis of Neurological Signals and Images of Cognitive InterestUmberto Barcaro, Ovidio SalvettiPDF
Mobilome inference in yeast genomesGiovanni Battaglia, Roberto Grossi, Roberto Marangoni, Nadia Pisanti, Giulia MenconiPDF
Data Mining Meets Switching TheoryAnna Bernasconi, Fabrizio Luccio, Linda Pagli, and Valentina CirianiPDF
Policy-aware Service CompositionChiara Bodei, Pierpaolo Degano, and Gian Luigi FerrariPDF
Teaching Computer Science at School: some ideasChiara Bodei, Roberto Grossi, Maria Rita LaganĂ , Marco RighiPDF
Ongoing Research in Wireless Sensor NetworksM. Bonuccelli, S. Chessa, S. PelagattiPDF
Formal methods for software integration: Achievements and challenges in a discover-adapt-compose journeyAntonio BrogiPDF
Negotiation, Commit, Execution: a three-phases approach to guaranteed dynamic assembliesRoberto Bruni, Giorgio Ghelli, Ugo Montanari, Luca Pardini, Matteo Sammartino, Michele Bugliesi, Marzia Buscemi, Mariangiola Dezani-Ciancaglini, Anne Kersten, Davide SangiorgiPDF
Power-aware computingAntonio Cisternino, Paolo Ferragina, Massimo Coppola, Davide MorelliPDF
User-friendly programming frameworks for parallel high-performance applicationsAntonio Cisternino, Marco Danelutto, Marco Vanneschi, Cristian Dittamo, Gabriele CoccoPDF
Collision avoidance using a wandering token in the PTP protocolAugusto CiuffolettiPDF
A framework for the verification of infinite-state graph transformation systemsAndrea Corradini, Paolo Baldan, Barbara Koenig and Alberto Lluch LafuentePDF
Parallel programming issues, achievements and trends in high-performance and adaptive computingMarco Danelutto, Marco Vanneschi, C. Bertolli, D. Buono, A. Mencagli, A. Pascucci, M. Aldinucci, P. Kilpatrick, M. Meneghin, R. Ravazzolo, M. TorquatiPDF
It is Time to add Time!Gianna M. Del Corso and Francesco RomaniPDF
ESC: A Semantic-based Middleware for Service Oriented ComputingGianluigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio TuostoPDF
What May Be Next In Mathematical ModelingAntonio Frangioni and Luis Perez SanchezPDF
Reduction Systems: synthesis, refinement and veri cation of behavioural modelsFabio GadducciPDF
Query Languages for Graph DatabasesGiorgio Ghelli and Luca PardiniPDF
The Rotation Distance of Binary TreesFabrizio Luccio and Linda PagliPDF
Deconvolution with nonnegativity constraintsO. Menchi with P. Favati, G. Lotti and F. RomaniPDF
Cheminformatics: emerging challenges in an interdisciplinary computational disciplineAlessio MicheliPDF
Models and Languages for Service Component EnsemblesUgo MontanariPDF
May policies change business processes?Carlo Montangero and Laura SeminiPDF
Privacy and Anti-Discrimination for a Fair Knowledge SocietyDino Pedreschi, Salvatore Ruggieri, and Franco TuriniPDF
Speeding up local multiple alignmentsNadia Pisanti, Pierre Peterlongo, Gustavo Akio Tominaga Sacomoto, Alair Pereira do Lago, Marie-France SagotPDF
Robust network designMaria Grazia ScutellĂ PDF