it gb
it gb

Formal Methods for Software Development

Publications

Concetto, Spampinato; Simone, Palazzo; Daniela, Giordano; Marco, Aldinucci; Rosalia, Leonardi
MEDICAL IMAGE ANALYSIS,  2017
Viviani, Paolo; Aldinucci, Marco; Torquati, Massimo; d'Ippolito, Roberto
In proc. of the 32nd ACM Symposium on Applied Computing (SAC), 
The 32nd ACM Symposium on Applied Computing
2017
Misale, Claudia; Drocco, Maurizio; Aldinucci, Marco; Tremblay, Guy
PARALLEL PROCESSING LETTERS,  2017
Berardi, Stefano; de’ Liguoro, Ugo
FUNDAMENTA INFORMATICAE,  2017
Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017
2017
Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina; Seidl, Christoph
ACTA INFORMATICA,  2017
Luca Padovani
JOURNAL OF FUNCTIONAL PROGRAMMING,  2017
Padovani, Luca
Programming Languages and Systems, 
European Symposium on Programming
2017
Giogio Audrito, Ferruccio Damiani, Mirko Viroli
Coordination Models and Languages, 
19th International Conference on Coordination Models and Languages
2017
Bono, Viviana; Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Venneri, Betti
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,  2017
Crafa, Silvia; Padovani, Luca
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,  2017
Barbanera, Franco; Lanese, Ivan; De’Liguoro, Ugo
Lecture Notes in Computer Science. Coordination Models and Languages - 19th IFIP WG 6.1 International Conference, COORDINATION 2017, 
COORDINATION 2017
2017
Paula, Severi; Padovani, Luca; Emilio, Tuosto; Mariangiola, Dezani
LOGICAL METHODS IN COMPUTER SCIENCE,  2017
Hernán, Melgratti; Padovani, Luca
Proceedings of the ACM on Programming Languages,  2017
Melgratti, Hernán; Padovani, Luca
2017
Padovani, Luca
Behavioural Types: from Theory to Tools,  2017
Melgratti, Hernán; Padovani, Luca
Behavioural Types: from Theory to Tools,  2017
Marco, Aldinucci; Marco, Danelutto; Daniele, De Sensi; Gabriele, Mencagli; Massimo, Torquati
Proceedings of the 10th International Symposium on High-Level Parallel Programming and Applications, 
Hi
2017
Viviani, P.; and Aldinucci, M.; and d'Ippolito, R.; and Lemeire, J.; and Vucinic, D.
Improved Performance of Materials: Design and Experimental Approaches,  2017
Torquati, M.; Mencagli, G.; Drocco, M.; Aldinucci, M.; De Matteis, T.; Danelutto, M.
THE JOURNAL OF SUPERCOMPUTING,  2017
Damiani, Ferruccio; Hähnle, Reiner; Lienhardt, Michael
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017
2017
Beal, Jacob; Viroli, Mirko; Pianini, Danilo; Damiani, Ferruccio
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS,  2017
Damiani, Ferruccio; Lienhardt, Michael; Muschevici, Radu; Schaefer, Ina
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
13th International Conference on Integrated Formal Methods, IFM 2017
2017
Aldinucci, Marco; Brorsson, Mats; D'Agostino, Daniele; Daneshtalab, Masoud; Kilpatrick, Peter; Leppãnen, Ville
INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS,  2017
Cuomo, Salvatore; Aldinucci, Marco; Torquati, Massimo
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING,  2017
Muthuri Robert, Boella Guido, Hulstijn Joris, Capecchi Sara, Humphreys Llio
Proceedings of the 16th International Conference on Artificial Intelligence and Law, 
16th International Conference on Artificial Intelligence and Law
2017
Damiani, Ferruccio; Viroli, Mirko; Beal, Jacob
SCIENCE OF COMPUTER PROGRAMMING,  2016
Barbanera, Franco; de’ Liguoro, Ugo
Coordination Models and Languages, 
Coordination
2016
Winkelmann, Tim; Koscielny, Jonathan; Seidl, Christoph; Schuster, Sven; Damiani, Ferruccio; Schaefer, Ina
CEUR Workshop Proceedings, 
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 - Workshops of the Conference on Software Engineering, SE-WS 2016
2016
Damiani, Ferruccio; Lienhardt, Michael
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE’16)
2016
Damiani, Ferruccio; Lienhardt, Michael
Integrated Formal Methods, 
12th International Conference, IFM 2016
2016
Aldinucci, M.; Danelutto, M.; Drocco, M; Kilpatrick, P.; Misale, C.; Peretti Pezzi, G.; Torquati, M.
THE JOURNAL OF SUPERCOMPUTING,  2016
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; De’Liguoro, Ugo
FORMAL ASPECTS OF COMPUTING,  2016
Castellani, Ilaria; Dezani, Mariangiola; De'Liguoro, Ugo
Proceedings PLACES 2016, 
PLACES 2016
2016
Olivier, Danvy; Ugo, De'Liguoro
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,  2016
Capecchi, Sara; Giachino, Elena; Yoshida, Nobuko
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2016
Bracciali, Andrea; Aldinucci, Marco; Patterson, Murray; Marschall, Tobias; Pisanti, Nadia; Merelli, Ivan; Torquati, Massimo
BMC BIOINFORMATICS,  2016
Tordini, F.; Drocco, M.; Misale, C.; Milanesi, L.; Lio, P.; Merelli, I.; Torquati, M.; Aldinucci, M.
INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS,  2016
Tordini, Fabio; Merelli, Ivan; Liò, Pietro; Milanesi, Luciano; Aldinucci, Marco
Computational Intelligence Methods for Bioinformatics and Biostatistics,  2016
Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; Viviana Mascardi; Fabrizio Montesi; Rumyana Neykova; Nicholas Ng; Luca Padovani; Vasco T. Vasconcelos; Nobuko Yoshida
Foundations and Trends in Programming Languages,  2016
Hans Hüttel; Ivan Lanese; Vasco T. Vasconcelos; Lúis Caires; Marco Carbone; Pierre-Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro
ACM COMPUTING SURVEYS,  2016
Paula Severi; Luca Padovani; Emilio Tuosto; Mariangiola Dezani-Ciancaglini
Coordination Models and Languages, 
18th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2016 and Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016
2016
Janjic, V.; Brown, C.; Mackenzie, K.; Hammond, K.; Danelutto, M.; Aldinucci, M.; Garcia, J. Daniel
Proceedings - 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, 
24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016
2016
Drocco, Maurizio; Misale, Claudia; Aldinucci, Marco
Proceedings - 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, 
24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016
2016
Tordini, Fabio; Aldinucci, Marco; Milanesi, Luciano; Liò, Pietro; Merelli, Ivan
FRONTIERS IN GENETICS,  2016
Damiani, Ferruccio; Faitelson, David; Gladisch, Christoph; Tyszberowicz, Shmuel
SOFTWARE AND SYSTEMS MODELING,  2016
Damiani, Ferruccio; Seidl, Christoph; Yu, Ingrid Chieh
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 
7th International Symposium, ISoLA 2016
2016
Damiani, Ferruccio; Lienhardt, Michael
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 
7th International Symposium, ISoLA 2016
2016
Chesta, Cristina; Damiani, Ferruccio; Dobriakova, Liudmila; Guernieri, Marco; Martini, Simone; Nieke, Michael; Rodrigues, Vítor; Schuster, Sven
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 
7th International Symposium, ISoLA 2016
2016
Bubel, Richard; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Owe, Olaf; Schaefer, Ina; Yu, Ingrid Chieh
Transactions on Foundations for Mastering Change I,  2016
Bettini, Lorenzo; Damiani, Ferruccio
THE JOURNAL OF SYSTEMS AND SOFTWARE,  2016
Dougherty, Daniel J.; De’Liguoro, Ugo; Liquori, Luigi; Stolze, Claude
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
14th Asian Symposium on Programming Languages and Systems, APLAS 2016
2016
Viviani, Paolo; Aldinucci, Marco
Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES) -- Poster Abstracts, 
Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES)
2016
Viviani, Paolo; Aldinucci, Marco; d'Ippolito Roberto; Lemeire, Jan; Vucinic, Dean
10th Intl. Conference on Advanced Computational Engineering and Experimenting (ACE-X) -- Abstract Book, 
10th Intl. Conference on Advanced Computational Engineering and Experimenting (ACE-X)
2016
Beal, Jacob; Viroli, Mirko; Pianini, Danilo; Damiani, Ferruccio
Proceedings - IEEE 10th International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2016, 
10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2016
2016
Audrito, Giorgio; Damiani, Ferruccio; Viroli, Mirko; Casadei, Roberto
Proceedings - IEEE 1st International Workshops on Foundations and Applications of Self-Systems, FAS-W 2016, 
1st International Workshops on Foundations and Applications of Self-Systems, FAS-W 2016
2016
Bettini, Lorenzo; Capecchi, Sara
SSE 2016 Proceedings of the 8th International Workshop on Social Software Engineering, 
8th International Workshop on Social Software Engineering
2016
Capecchi, Sara; Castellani, Ilaria; Dezani-Ciancaglini, Mariangiola
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2016
Lorenzo Bettini;Ferruccio Damiani;Ina Schaefer
SCIENCE OF COMPUTER PROGRAMMING,  2015
Drocco, Maurizio; Misale, Claudia; Peretti Pezzi, Guilherme; Tordini, Fabio; Aldinucci, Marco
Proc. of Intl. Euromicro PDP 2015: Parallel Distributed and network-based Processing,  2015
Tordini, Fabio; Drocco, Maurizio; Misale, Claudia; Milanesi, Luciano; Liò, Pietro; Merelli, Ivan; Aldinucci, Marco
Proceedings of the International Euromicro PDP 2015: Parallel Distributed and network-based Processing, 2015, 
International Euromicro PDP 2015: Parallel Distributed and network-based Processing
2015
Merelli, Ivan; Tordini, Fabio; Drocco, Maurizio; Aldinucci, Marco; Liò, Pietro; Milanesi, Luciano.
FRONTIERS IN GENETICS,  2015
Tordini, Fabio; Drocco, Maurizio; Merelli, Ivan; Milanes, Luciano; Liò, Pietro; Aldinucci, Marco.
LNBI post conference proceedings of the Eleventh International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics CIBB 2014, 
CIBB 2014
2015
Aldinucci, Marco; Peretti Pezzi, Guilherme; Drocco, Maurizio; Spampinato, Concetto; Torquati, Massimo
INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS,  2015
Giannini, Paola; Merelli, Emanuela; Troina, Angelo
THEORETICAL COMPUTER SCIENCE,  2015
Pablo, Ramon; Angelo, Troina
2015
Aldinucci, Marco; Campa, Sonia; Danelutto, Marco; Kilpatrick, Peter; Torquati, Massimo
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING,  2015
Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
Proceedings ITRS 2014, 
7-th workshop on intersection types and related systems
2015
ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca
LECTURE NOTES IN COMPUTER SCIENCE, 
13th International Conference on Software Engineering and Formal Methods, SEFM 2015
2015
Marco Aldinucci, Andrea Bracciali, Tobias Marschall, Murray Patterson, Nadia Pisanti, Massimo Torquati
LECTURE NOTES IN COMPUTER SCIENCE, 
Intl. meeting on Computational Intelligence methods for Bioinformatics and Biostatistics (CIBB 2014)
2015
Marco Aldinucci, Marco Danelutto, Maurizio Drocco, Peter Kilpatrick, Guilherme Peretti Pezzi, Massimo Torquati
Proc. of Intl. Workshop on Reengineering for Parallelism in Heterogeneous Parallel Platforms (RePara), 
International Workshop on Reengineering for Parallelism in Heterogeneous Parallel Platforms (RePara)
2015
Marcin Benke; Viviana Bono; Aleksy Schubert
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Seventh Workshop on Intersection Types and Related Systems, ITRS 2014
2015
Barbanera, Franco; De'Liguoro, Ugo
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2015
Bessai, Jan; Dudenhefner, Andrej; D\"udder, Boris; Chen, Tzu-Chun; de'Liguoro Ugo; Rehof, Jakob
13th International Conference on Typed Lambda Calculi and Applications,TLCA 2015, July 1-3, 2015, Warsaw, Poland, 
TLCA 2015
2015
Barbanera Franco; Steffen van Bakel; De'Liguoro, Ugo
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Interaction and Concurrency Experience, ICE 2015
2015
Jan Bessai; Boris D\"udder; Andrej Dudenhefner; Chen Tzu-Chun; De'Liguoro, Ugo
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Intersection Types and Related Systems
2015
Padovani, Luca; Chen, Tzu-Chun; Tosatto, Andrea
Proceedings of the International Conference on Coordination Models and Languages (COORDINATION'15), 
International Conference on Coordination Models and Languages
2015
Padovani, Luca; Novara, Luca
Proceedings of the IFIP International Conference on Formal Methods and Techniques (FORTE'15), 
IFIP International Conference on Formal Methods and Techniques
2015
Crafa, Silvia; Padovani, Luca
Proceedings of the ACM International Conference on ObjectOriented Programming Systems Languages & Applications (OOPSLA'15), 
ACM International Conference on Object Oriented Programming Systems Languages & Applications
2015
Laneve, Cosimo; Padovani, Luca
FORMAL ASPECTS OF COMPUTING,  2015
Damiani, Ferruccio; Viroli, Mirko; Pianini, Danilo; Beal, Jacob
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 
35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2015 Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015
2015
Ferruccio Damiani, Mirko Viroli
LOGICAL METHODS IN COMPUTER SCIENCE,  2015
Padovani, Luca
LOGICAL METHODS IN COMPUTER SCIENCE,  2015
Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Pianini, Danilo
International Conference on Self-Adaptive and Self-Organizing Systems, SASO, 
9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2015
2015
And, Massimo Bartoletti; Castellani and, Ilaria; And, Pierre-Malo Deni\'elou; Dezani, Mariangiola; And, Silvia Ghilezan; And, Jovanka Pantovic; And, Jorge A. P\'erez; And, Peter Thiemann; And, Bernardo Toninho; Vieira, Hugo Torres
THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING,  2015
Capecchi, Sara; Giraudo, Mauro; Negro, Claudia; Pisano, Paola
Proceedings - 12th IEEE International Conference on E-Business Engineering, ICEBE 2015, 
12th IEEE International Conference on E-Business Engineering, ICEBE 2015
2015
Coppo, Mario; DEZANI-CIANCAGLINI, Mariangiola; Margaria, Ines; Zacchi, MADDALENA .
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2015
Coppo, Mario; Dezani, Mariangiola; Margaria, Ines; Zacchi, Maddalena
Proceedings of ICTCS 2015, 
Italian Conference on Theoretical Computer Science (ICTCS)
2015
Aldinucci, Marco; Daneshtalab, Masoud; Leppänen, Ville; Lilius, Johan
2015
Marco Aldinucci; Massimo Torquati
2015
de' Liguoro, Ugo
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2015
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),  2015
Marco Aldinucci; Salvatore Ruggieri; Massimo Torquati
CONCURRENCY AND COMPUTATION,  2014
Concetto Spampinato; Isaak Kavasidis; Marco Aldinucci; Carmelo Pino; Daniela Giordano; Alberto Faro
CONCURRENCY AND COMPUTATION,  2014
Marco Aldinucci; Sonia Campa; Marco Danelutto; Peter Kilpatrick; Massimo Torquati
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING,  2014
Marco Aldinucci; Massimo Torquati; Concetto Spampinato; Maurizio Drocco; Claudia Misale; Cristina Calcagno; Mario Coppo
BRIEFINGS IN BIOINFORMATICS,  2014
Stefano Berardi; Ugo de'Liguoro
LOGICAL METHODS IN COMPUTER SCIENCE,  2014
M. Coppo;M. Dezani-Ciancaglini;B. Venneri
PDP'14, 
PDP 2014
2014
Svetlana Jakšić; Luca Padovani
SCIENCE OF COMPUTER PROGRAMMING,  2014
Claudia Misale;Giulio Ferrero;Massimo Torquati;Marco Aldinucci
BIOMED RESEARCH INTERNATIONAL,  2014
F. Barbanera; M. Dezani; U. de'Liguoro
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Third Workshop on Behavioural Types
2014
F. Barbanera; U. de'Liguoro
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Interaction and Concurrency Experience
2014
M. Dezani;S. Ghilezan
LECTURE NOTES IN COMPUTER SCIENCE, 
RTA/TLCA'14
2014
I. Castellani;M. Dezani;J. A. Perez
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
BEAT'14
2014
T. Chen;M. Dezani;N. Yoshida
PPDP'14, 
PPDP'14
2014
M. Dezani;L. Padovani;J. Pantovic
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
PLACES'14
2014
S. Capecchi;I. Castellani;M. Dezani
INFORMATION AND COMPUTATION,  2014
Ferruccio Damiani;Johan Dovland;Einar Broch Johnsen;Ina Schaefer
FORMAL ASPECTS OF COMPUTING,  2014
Marco Aldinucci;Cristina Calcagno;Mario Coppo;Ferruccio Damiani;Maurizio Drocco;Eva Sciacca;Salvatore Spinella;Massimo Torquati;Angelo Troina
BIOMED RESEARCH INTERNATIONAL,  2014
Ferruccio Damiani;Ina Schaefer;Sven Schuster;Tim Winkelmann
LECTURE NOTES IN COMPUTER SCIENCE, 
6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014
2014
Mirko Viroli;Ferruccio Damiani
LECTURE NOTES IN COMPUTER SCIENCE, 
COORDINATION - 16th International Conference on Coordination Models and Languages
2014
Ferruccio Damiani;Ina Schaefer;Tim Winkelmann
Proceedings of the 18th International Software Product Line Conference on - SPLC '14, 
18th International Software Product Line Conference, SPLC 2014
2014
Marco Bernardo; Ferruccio Damiani; Reiner Hähnle; Einar Broch Johnsen; Ina Schaefer
LECTURE NOTES IN COMPUTER SCIENCE,  2014
Viviana Bono; Enrico Mensa; Marco Naddeo
2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools, PPPJ '14, Cracow, Poland, September 23-26, 2014, 
2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages and Tools (PPPJ'14)
2014
Jonathan Koscielny;Sönke Holthusen;Ina Schaefer;Sandro Schulze;Lorenzo Bettini;Ferruccio Damiani
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform Virtual machines, Languages, and Tools - PPPJ '14, 
2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools (PPPJ 2014)
2014
Lorenzo Bettini;Ferruccio Damiani
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform Virtual machines, Languages, and Tools - PPPJ '14, 
International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools (PPPJ'14)
2014
Giuseppe Castagna; Kim Nguyễn; Zhiwu Xu; Hyeonseung Im; Sergueï Lenglet; Luca Padovani
ACM SIGPLAN NOTICES, 
41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
2014
Luca Padovani
LECTURE NOTES IN COMPUTER SCIENCE, 
17th International Conference on Foundations of Software Science and Computation Structures
2014
Luca Padovani; Vasco Thudichum Vasconcelos; Hugo Torres Vieira
LECTURE NOTES IN COMPUTER SCIENCE, 
16th International Conference on Coordination Models and Languages
2014
Luca Padovani
Proceedings of the Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science (CSL-LICS'14), 
Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science
2014
Mario Coppo; Mariangiola Dezani; Nobuko Yoshida; Luca Padovani
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2014
Luca Padovani
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2014
Marco Aldinucci; Maurizio Drocco;Guilherme Peretti Pezzi; Claudia Misale; Fabio Tordini; Massimo Torquati
Proceedings of 34th International Conference on Distributed Computing Systems Workshops, 
34th International Conference on Distributed Computing Systems Workshops, ICDCSW 2014
2014
Mario Coppo;Mariangiola Dezani;Betti Venneri
SERVICE ORIENTED COMPUTING AND APPLICATIONS,  2014
M. Aldinucci; G. Peretti Pezzi; M. Drocco; F. Tordini; P. Kilpatrick; M. Torquati
Proc. of Intl. Workshop on High-level Programming for Heterogeneous and Hierarchical Parallel Systems (HLPGPU), 
International Workshop on High-level Programming for Heterogeneous and Hierarchical Parallel Systems
2014
Michael G. Epitropakis; Andrea Bracciali; Marco Aldinucci; Emily Potts; Edmund K. Burke
Proceedings of the 10th International Conference on the Practice and Theory of Automated Timetabling, 
International Conference on the Practice and Theory of Automated Timetabling
2014
Marco Aldinucci; Sonia Campa; Marco Danelutto; Peter Kilpatrick; Massimo Torquati
Proc.of the 7th Intl. Symposium on High-level Parallel Programming and Applications (HLPP), 
Symposium on High-level Parallel Programming and Applications (HLPP)
2014
Marco Aldinucci; Massimo Torquati; Maurizio Drocco; Guilherme; Peretti Pezzi; Concetto Spampinato
GPU Technology Conference (GTC 2014): GTC On-Demand Featured Talks, 
GPU Technology Conference (GTC 2014)
2014
Marco Aldinucci; Massimo Torquati; Maurizio Drocco; Guilherme Peretti Pezzi; Concetto Spampinato
GPU Technology Conference (GTC 2014): GTC On-Demand Featured Talks, 
GPU Technology Conference (GTC 2014)
2014
S. Capecchi; P.Pisano
PROCEEDINGS of The Eleventh IEEE International Conference on E-Business Engineering ICEBE 2014, 
ICEBE 2014
2014
Marco Aldinucci; Marco Danelutto; Peter Kilpatrick; Massimo Torquati
Programming Multi-core and Many-core Computing Systems,  2014
Aldinucci, Marco; Rabellino, Sergio
2014
Lorenzo Bettini; Ferruccio Damiani; Kathrin Geilmann; Jan Schäfer
SCIENCE OF COMPUTER PROGRAMMING,  2013
Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco
SCIENCE OF COMPUTER PROGRAMMING,  2013
Bernhard Beckert; Frank de Boer; Marcello Bonsangue; Ferruccio Damiani
LECTURE NOTES IN COMPUTER SCIENCE,  2013
Mario Coppo; Mariangiola Dezani; Ines Margaria; Maddalena Zacchi
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Sixth Workshop on Intersection Types and Related Systems
2013
Luca Padovani
LECTURE NOTES IN COMPUTER SCIENCE, 
40th International Colloquium on Automata, Languages and Programming
2013
Cosimo Laneve; Luca Padovani
LECTURE NOTES IN COMPUTER SCIENCE, 
10th International Conference on integrated Formal Methods
2013
Viviana Bono; Luca Padovani; Andrea Tosatto
LECTURE NOTES IN COMPUTER SCIENCE, 
2013 IFIP Joint International Conference on Formal Techniques for Distributed Systems (FORTE'13)
2013
Mario Coppo; Mariangiola Dezani; Luca Padovani; Nobuko Yoshida
LECTURE NOTES IN COMPUTER SCIENCE, 
15th International Conference on Coordination Models and Languages
2013
P. Ramón; A. Troina
LECTURE NOTES IN COMPUTER SCIENCE,  2013
Stefano Berardi; Ugo de'Liguoro
EPTCS 126 - Fixed Points in Computer Science, 
Fixed Points in Computer Science (FICS'13)
2013
Steffen van Bakel; FrancoBarbanera; Ugo de'Liguoro
EPTCS 121 - Intersection Types and Related Systems, 
ITRS'13 - Intersection Types and Related Systems
2013
Eva Sciacca;Salvatore Spinella;Cristina Calcagno;Ferruccio Damiani;Mario Coppo
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 
Third International Workshop on Interactions Between Computer Science and Biology (CS2Bio'12)
2013
Ferruccio Damiani
Divide and Conquer: the Quest for Compositional Design and Analysis, 
Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511)
2013
Lorenzo Bettini; Sara Capecchi; Ferruccio Damiani
SCIENCE OF COMPUTER PROGRAMMING,  2013
Marco Aldinucci; Maurizio Drocco; Fabio Tordini; Mario Coppo; Massimo Torquati
2013 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 
21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2013
2013
Marco Aldinucci; Sonia Campa; Peter Kilpatrick; Massimo Torquati
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE,  2013
Marco Aldinucci; Sonia Campa; Marco Danelutto; Peter Kilpatrick; Massimo Torquati
LECTURE NOTES IN COMPUTER SCIENCE, 
Euro-Par 2012 Workshops, CoreGrid Workshop on Grids, Clouds and P2P Computing
2013
L. Bettini; S. Capecchi; Mariangiola Dezani; E. Giachino; B. Venneri
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2013
Lorenzo Bettini;Ferruccio Damiani
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13, 
International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13
2013
Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer
ACTA INFORMATICA,  2013
Ferruccio Damiani;Christoph Gladisch;Shmuel Tyszberowicz
Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13, 
2013 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, Languages, and Tools - PPPJ '13
2013
Luca Padovani
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Programming Language Approaches to Concurrency and Communication-cEntric Software
2013
Ugo de'Liguoro; Alexis Saurin
2013
C. Misale; M. Aldinucci; and M. Torquati
Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES) — Poster Abstracts, 
HiPEAC IX ACACES Summer School
2013
F. Alessi;H. Barendregt;W. Dekkers;M. Dezani;F. Honsell;P. Severi;R. Statman
Perspectives in Logic,  2013
L. Bioglio;M. Dezani;P. Giannini;A. Troina
INTERNATIONAL JOURNAL OF SOFTWARE AND INFORMATICS,  2013
E. Merelli; A. Troina
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE,  2013
Henk Barendregt; Wil Dekkers; Richard Statman; Felice Cardone; Mario Coppo
Perspectives in Logic,  2013
Mirko Viroli; Ferruccio Damiani; Jacob Beal
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE, 
FOCLASA 2013 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems
2013
G. Barbara Demo; Lawrence Williams; Alessandro Rabbone; Alberto Barbero; Sara Capecchi; Ruggero Pensa; Flaviano MOnge; Maria Grazia Maffucci; Carlos Bayon Rodriguez; Cristina Bosco; Liliana Ardissono
2013
M. Coppo;M. Dezani;I. Margaria;M. Zacchi
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS, 
TYPES 213
2013
Claudia Misale; Marco Aldinucci; Massimo Torquati
Poster at Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES), 
Poster at Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES)
2013
Marco, Aldinucci; Fabio, Tordini; Sonia, Campa; Peter, Kilpatrick; Massimo, Torquati
Lecture Notes in Computer Science - Formal Methods for Components and Objects, 
FMCO 2011
2013
Aldinucci, Marco; Danelutto, Marco; Kilpatrick, Peter; Montangero, Carlo; Semini, Laura
Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures,  2013
Hammond, Kevin; Aldinucci, Marco; Brown, Christopher; Cesarini, Francesco; Danelutto, Marco; González-Vélez, Horacio; Kilpatrick, Peter; Keller, Rainer; Rossbory, Michael; Shainer, Gilad
Formal Methods for Components and Objects: Intl. Symposium, FMCO 2011, Torino, Italy, October 3-5, 2011, Revised Invited Lectures,  2013
Damiani, Ferruccio; Padovani, Luca; Schaefer, Ina
ACM SIGPLAN NOTICES, 
11th International Conference on Generative Programming and Component Engineering (GPCE'12)
2013
Luca Padovani
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE,  2012
Stefano Berardi; Ugo de'Liguoro
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC,  2012
Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina
THEORETICAL COMPUTER SCIENCE,  2012
Livio Bioglio; Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina
THEORETICAL COMPUTER SCIENCE,  2012
Viviana Bono; Sara Capecchi; Ilaria Castellani; Mariangiola Dezani
LECTURE NOTES IN COMPUTER SCIENCE, 
TGC'11
2012
Maria Grazia Buscemi; Mario Coppo; Mariangiola Dezani; Ugo Montanari
LECTURE NOTES IN COMPUTER SCIENCE, 
TGC'11
2012
Giuseppe Castagna; Mariangiola Dezani; Luca Padovani
LOGICAL METHODS IN COMPUTER SCIENCE,  2012
Viviana Bono; Luca Padovani
LOGICAL METHODS IN COMPUTER SCIENCE,  2012
Silvia Ghilezan; Svetlana Jaksic; Jovanka Pantovic; Mariangiola Dezani
THE IPSI BGD TRANSACTIONS ON ADVANCED RESEARCH,  2012
M. Dezani;R. Horne;V. Sassone
THEORETICAL COMPUTER SCIENCE,  2012
Ferruccio Damiani; Arnd Poetzsch-Heffter; Yannick Welsch
Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012, 
27th Symposium On Applied Computing
2012
Viviana Bono; Jarek Kusmierek; Mauro Mulatero
LECTURE NOTES IN COMPUTER SCIENCE, 
ECOOP 2012 - 26th European Conference on Object-Oriented Programming
2012
Marco Aldinucci; Marco Danelutto; Peter Kilpatrick; Massimo Torquati
PARALLEL PROCESSING LETTERS,  2012
Thomas Weigold; Marco Aldinucci; Marco Danelutto; Vladimir Getov
INTERNATIONAL JOURNAL OF AUTONOMOUS AND ADAPTIVE COMMUNICATIONS SYSTEMS,  2012
Marco Aldinucci; Marco Danelutto; Lorenzo Anardu; Massimo Torquati; Peter Kilpatrick
Proceedings - 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2012, 
20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2012
2012
Bernhard Beckert; Ferruccio Damiani; Dilian Gurov
LECTURE NOTES IN COMPUTER SCIENCE,  2012
Ferruccio Damiani; Johan Dovland; Einar Broch Johnsen; Olaf Owe; Ina Schaefer; Ingrid Chieh Yu
Proceedings of the 16th International Software Product Line Conference - Volume 2, 
Third International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE)
2012
Ferruccio Damiani; Ina Schaefer
LECTURE NOTES IN COMPUTER SCIENCE, 
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012
2012
Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Eva Sciacca; Salvatore Spinella; Massimo Torquati; Angelo Troina
LECTURE NOTES IN COMPUTER SCIENCE,  2012
Marco Aldinucci; Marco Danelutto; Peter Kilpatrick; Massimo Torquati
Proc. of the 1st Intl. Workshop on High-level Programming for Heterogeneous and Hierarchical Parallel Systems (HLPGPU), 
Intl. Workshop on High-level Programming for Heterogeneous and Hierarchical Parallel Systems (HLPGPU)
2012
Ferruccio Damiani; Luca Padovani; Ina Schaefer
Proceedings of the 11th ACM international conference on Generative programming and component engineering (GPCE’12), 
11th International Conference on Generative Programming and Component Engineering (GPCE'12)
2012
Fabio Tordini; Marco Aldinucci; Massimo Torquati
ACACES 2012, 
Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES)
2012
Stefano Berardi; Ugo de'Liguoro
Computer Science Logic 2012, 
Computer Science Logic 2012
2012
Marco Aldinucci; Marco Danelutto; Peter Kilpatrick; Massimiliano Meneghin; Massimo Torquati
LECTURE NOTES IN COMPUTER SCIENCE, 
18th International Conference on Parallel Processing, Euro-Par 2012
2012
Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli
SCIENTIFIC ANNALS OF COMPUTER SCIENCE,  2012
Herman Geuvers; Ugo de'Liguoro
2012
Svetlana Jakšić; Luca Padovani
Proceedings of the 14th symposium on Principles and practice of declarative programming, 
14th Symposium on Principles and practice of declarative programming
2012
Federico Angaramo; Paolo Inaudi; Ines Margaria; Luca Padovani
2012
A. Compagnoni; M. Dezani-Ciancaglini; P. Giannini; K. Sauer; V. Sharma; A. Troina
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,  2012
P. Ramón; A. Troina
Proceedings of the 13th International Conference on Membrane Computing (CMC13), 
CMC 2012
2012
G. Ciobanu; A. Troina
Proc. of the 13th Italian Conference on Theoretical Computer Science (ICTCS'12), 
13th Italian Conference on Theoretical Computer Science (ICTCS'12)
2012
L. Bioglio; M. Dezani-Ciancaglini; P. Giannini; A. Troina
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,  2012
S. Pllana;J. Barhen;M. Aldinucci;E. Ayguade;B. Bachmayer;D. Bader;S. Benkner;G. Fursin;K. Hammond;C. Kessler;P. Michaud;R. Namyst;L. Natvig;G. Peterson;M. Sato;S. Shende
2012
M. Aldinucci;C. Spampinato;M. Drocco;M. Torquati;S. Palazzo
Proceedings of 3rd International Conference on Image Processing Theory Tools and Applications, 
3rd International Conference on Image Processing Theory, Tools and Applications, IPTA 2012
2012
Fabio Tordini; Marco Aldinucci; Massimo Torquati
Poster at Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES), 
Poster at Advanced Computer Architecture and Compilation for High-Performance and Embedded Systems (ACACES)
2012
Marco Aldinucci; Massimo Torquati
2012
Lorenzo Bettini; Viviana Bono; Betti Venneri
SCIENCE OF COMPUTER PROGRAMMING,  2011
Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani
LECTURE NOTES IN COMPUTER SCIENCE,  2011
VIVIANA BONO; CHIARA MESSA; LUCA PADOVANI
LECTURE NOTES IN COMPUTER SCIENCE, 
20th European Symposium on Programming
2011
LUCA PADOVANI
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
5th Workshop on Intersection Types and Related Systems
2011
Steffen van Bakel; Franco Brabanera; Ugo de'Liguoro
LECTURE NOTES IN COMPUTER SCIENCE, 
TLCA
2011
GIUSEPPE CASTAGNA; MARIANGIOLA DEZANI; LUCA PADOVANI
LECTURE NOTES IN COMPUTER SCIENCE, 
13th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems and 30th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems
2011
LUCA PADOVANI
LECTURE NOTES IN COMPUTER SCIENCE, 
13th International Conference on Coordination Models and Languages
2011
VIVIANA BONO; LUCA PADOVANI
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
4th Workshop on Interaction and Concurrency Experience
2011
Marco Aldinucci; Marco Danelutto; Peter Kilpatrick; Massimiliano Meneghin; Massimo Torquati
LECTURE NOTES IN COMPUTER SCIENCE, 
17th International Conference on Parallel Processing, Euro-Par 2011
2011
Makoto Tatsuta; Ferruccio Damiani
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Second International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2011)
2011
Marco Aldinucci; Marco Danelutto; Peter Kilpatrick; Vamis Xhagjika
LECTURE NOTES IN COMPUTER SCIENCE,  2011
M. Coppo; F. Damiani; M. Drocco; E. Grassi; M. Guether; A. Troina
TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY,  2011
Marco Aldinucci; Andrea Bracciali; Pietro Liò; Anil Sorathiya; Massimo Torquati
LECTURE NOTES IN COMPUTER SCIENCE,  2011
Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Massimo Torquati; Angelo Troina
Proceedings - 19th International Euromicro Conference on Parallel, Distributed, and Network-Based Processing, PDP 2011, 
19th International Euromicro Conference on Parallel, Distributed, and Network-Based Processing, PDP 2011
2011
Ferruccio Damiani; Paola Giannini; Alessandro Ricci; Mirko Viroli
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE,  2011
Ina Schaefer; Lorenzo Bettini; Ferruccio Damiani
AOSD '11: Proceedings of the tenth international conference on Aspect-oriented software development, 
AOSD '11 - international conference on Aspect-oriented software development
2011
Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Eva Sciacca; Salvatore Spinella; Angelo Troina
MeCBIC 2011, 
5th International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'11)
2011
Ferruccio Damiani; Ina Schaefer
Proceedings of the 15th International Software Product Line Conference, Volume 2, 
Fifth International Workshop on Dynamic Software Product Lines (DSPL)
2011
C. Calcagno; M. Coppo; F. Damiani; M. Drocco; E. Sciacca; S. Spinella; A. Troina
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Third International Workshop on Computational Models for Cell Processes (CompMod 2011)
2011
A. Cherubini; M. Coppo; G. Persiano
2011
Mariangiola Dezani; Paola Giannini; Elena Zucca
RAIRO. INFORMATIQUE THÉORIQUE ET APPLICATIONS,  2011
Mariangiola Dezani; Paola Giannini; Elena Zucca
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
ITRS'10
2011
Mariangiola Dezani; Silvia Ghilezan; Svetlana Jakšic; Jovanka Pantovic
LECTURE NOTES IN COMPUTER SCIENCE, 
WFLP 2010
2011
Sara Capecchi; Ilaria Castellani; Mariangiola Dezani
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Express'11
2011
Marco Aldinucci; Maurizio Drocco; Mario Coppo; Angelo Troina; Eva Sciacca; Salvatore Spinella
2011
Ferruccio Damiani; Johan Dovland; Einar Broch Johnsen; Ina Schaefer
FTfJP '11: Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs, 
13th Workshop on Formal Techniques for Java-like Programs
2011
Luca Padovani
Behavioural Types Workshop, 
Behavioural Types Workshop
2011
E. Sciacca; S. Spinella; M. Zacchi
2011
L. Bioglio; M. Coppo; F. Damiani; E. Sciacca; S. Spinella; A. Troina; I. Margaria
2011
S. Ben Mokhtar; S. Bliudze; R. Bruni; A. Silva; A. Troina
SCIENTIFIC ANNALS OF COMPUTER SCIENCE,  2011
Marco Aldinucci; Marco Danelutto; Massimiliano Meneghin; Peter Kilpatrick; Massimo Torquati
Parallel Computing: From Multicores and GPU's to Petascale, 
ParCo 2009: Parallel Computing
2010
Thomas Weigold; Marco Aldinucci; Marco Danelutto; Vladimir Getov
LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING (LNICST), 
Autonomic Computing and Communications Systems Third International ICST Conference, Autonomics 2009
2010
LUCA PADOVANI
THEORETICAL COMPUTER SCIENCE,  2010
Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer
Proceedings of the 25th ACM symposium on Applied Computing (SAC 2010), 
25th International Symposium on Applied Computing (SAC 2010)
2010
Mariangiola Dezani-Ciancaglini; Ugo de’Liguoro
LECTURE NOTES IN COMPUTER SCIENCE, 
Web Services and Formal Methods
2010
Lorenzo Bettini; Ferruccio Damiani; Ines Margaria; Fabio Strocco
2010
Franco Barbanera; Ugo de' Liguoro
Proceedings of the 2010 Symposium on Prinicples and Practice of Declarative Programming (PPDP'10), 
ACM SIGPLAN PPDP 2010
2010
Marco Aldinucci; Marco Danelutto; Peter Kilpatrick
Parallel Computing: From Multicores and GPU's to Petascale, 
ParCo 2009: Parallel Computing
2010
M. Baldoni; C. Baroglio; F. Bergenti; A. Boccalatte; E. Marengo; M. Martelli; V. Mascardi; L. Padovani; V. Patti; A. Ricci; G. Rossi; A. Santi
CEUR WORKSHOP PROCEEDINGS, 
MALLOW 2010, The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010
2010
Sara Capecchi; Ilaria Castellani; Mariangiola Dezani; Tamara Rezk
LECTURE NOTES IN COMPUTER SCIENCE, 
CONCUR'10
2010
Ina Schaefer; Lorenzo Bettini; Viviana Bono; Ferruccio Damiani; Nico Tanzarella
LECTURE NOTES IN COMPUTER SCIENCE, 
14th International Conference, Software Product Line Conference 2010
2010
Lorenzo Bettini; Ferruccio Damiani; Marco De Luca; Kathrin Geilmann; Jan Schaefer
LECTURE NOTES IN COMPUTER SCIENCE, 
COORDINATION - 12th International Conference on Coordination Models and Languages
2010
Davide Ancona; Andrea Corradi; Giovanni Lagorio; Ferruccio Damiani
Formal Verification of Object-Oriented Software. Papers presented at the International Conference, June 28-30, 2010, Paris, France, 
International Conference Formal Verification of Object-Oriented Software 2010
2010
LUCA PADOVANI
2010
M. Coppo; F. Damiani; M. Drocco; E. Grassi; A. Troina
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010)
2010
Roberto Barbuti; Mariangiola Dezani; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina
FUNDAMENTA INFORMATICAE,  2010
Alexander J. Summers; Nicholas Cameron; Mariangiola Dezani; Sophia Drossopoulou
FTfJP 2010, 
FTfJP 2010
2010
Lorenzo Bettini; Ferruccio Damiani; Ina Schaefer; Fabio Strocco
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, 
8th International Conference on the Principles and Practice of Programming in Java
2010
Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010 (MeCBIC 2010)
2010
Ina Schaefer; Ferruccio Damiani
FOSD '10: Proceedings of the2nd International Workshop on Feature-Oriented Software Development, 
FOSD '10: 2nd International Workshop on Feature-Oriented Software Development
2010
Franco Barbanera; Sara Capecchi; Ugo de' Liguoro
Fundamentals of Software Engineering (FSEN'09). Revised Selected Papers, 
FSEN'09
2010
Emanuele Cazzola; Ferruccio Damiani; Sophia Drossopoulou; Elena Giachino; Paola Giannini; Maddalena Zacchi
2010
Marco Aldinucci; Marco Danelutto; Peter Kilpatrick
Grids, P2P and Services Computing,  2010
Ferruccio Damiani; Emiliano Leporati; Maddalena Zacchi
2010
Marco Aldinucci; Salvatore Ruggieri; Massimo Torquati
LECTURE NOTES IN COMPUTER SCIENCE, 
European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2010
2010
Marco Aldinucci; Angelo Troina; Ferruccio Damiani; Mario Coppo; Maurizio Drocco; Daniele Rispoli; Eva Sciacca; Salvatore Spinella; Elena Grassi; Maddalena Zacchi
2010
Ina Schaefer; Lorenzo Bettini; Ferruccio Damiani
Proceedings of the 22nd Nordic Workshop on Programming Theory NWPT'10, 
NWPT 2010 : 22nd Nordic Workshop on Programming Theory
2010
Lorenzo Bettini; Viviana Bono; Emanuale Prestifilippo
2010
Marco Aldinucci; Massimiliano Meneghin; Massimo Torquati
Proceedings of the 18th Euromicro Conference on Parallel, Distributed and Network-Based Processing, PDP 2010, 
18th Euromicro Conference on Parallel, Distributed and Network-Based Processing, PDP 2010
2010
Mariangiola Dezani; Elio Giovannetti; Loris D'Antoni; Daniele Rispoli
2010
Sara Capecchi; Angelo Troina
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 
Third Workshop From Biology To Concurrency and back
2010
Marco Aldinucci; Andrea Bracciali; Pietro Liò
ERCIM NEWS,  2010
Marco Aldinucci; Massimo Torquati
2010
Jaroslaw D. M. Kusmierek; Viviana Bono
FUNDAMENTA INFORMATICAE,  2010
Mariangiola Dezani-Ciancaglini; Roberto Di Cosmo; Elio Giovannetti; Makoto Tatsuta
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC,  2010
J. SPROSTON; A. TROINA
LECTURE NOTES IN COMPUTER SCIENCE, 
8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010)
2010
Lorenzo Bettini; Sara Capecchi; Betti Venneri
LECTURE NOTES IN COMPUTER SCIENCE, 
FSEN
2010
Sara Capecchi; Elena Giachino; Nobuko Yoshida
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS, 
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
2010
Lorenzo Bettini; Ferruccio Damiani; Ines Margaria; Denis Meglio; Ina Schaefer; Fabio Strocco
2010
R. Lanotte; A. Maggiolo-Schettini; A. Troina
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING,  2010
Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina
ACTA INFORMATICA,  2010
R. Lanotte; A. Maggiolo-Schettini; A. Troina
THEORETICAL COMPUTER SCIENCE,  2010
Marco Aldinucci
HPC-Europa2: Science and Supercomputing in Europe, research highlights 2010,  2010
Baldoni, Matteo; Baroglio, Cristina; Bergenti, Federico; Boccalatte, Antonio; Marengo, Elisa; Martelli, Maurizio; Mascardi, Viviana; Padovani, Luca; Patti, Viviana; Ricci, Alessandro; Rossi, Gianfranco; Santi, Andrea
Proc. of the 11th Workshop on Objects to Agents, WOA 2010, 
11th Workshop on Objects to Agents, WOA 2010
2010