Pubblicazioni

Tse, Rita; Zhang, Lu Fan; Lei, Philip; Pau, Giovanni, Crowd sensing of weather conditions and traffic congestion based on data mining in social networks, in: SMART OBJECTS AND TECHNOLOGIES FOR SOCIAL GOOD, Springer Verlag, «LECTURE NOTES OF THE INSTITUTE FOR COMPUTER SCIENCES, SOCIAL INFORMATICS AND TELECOMMUNICATIONS ENGINEERING», 2017, 195, pp. 353 - 361 (atti di: 2nd EAI International Conference on Smart Objects and Technologies for Social Good, GOODTECHS 2016, ita, 2016) [Contributo in Atti di convegno]

Davoli, Gianluca; Cerroni, Walter; Contoli, Chiara; Foresta, Francesco; Callegati, Franco, Implementation of service function chaining control plane through OpenFlow, in: Proc. of 2017 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), IEEE, 2017, pp. 1 - 4 (atti di: 2017 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN), Berlin, Germany, 6-8 Nov. 2017) [Contributo in Atti di convegno] Open Access

Marilisa, Cortesi; Bandiera, L.; Pasini, A.; Bevilacqua, A.; Gherardi, A.; Furini, S.; Giordano, E., MUSIQ: a reliable method for the quantification of E. coli single cell fluorescence distributions using a standard microscope set-up, in: Atti del Congresso Biennale dell' Associazione Nazionale Biologia Cellulare e Differenziamento (ABCD), 2017(atti di: Congresso Biennale dell' Associazione Nazionale Biologia Cellulare e Differenziamento (ABCD), Bologna, 21-23 Settembre 2017) [Poster]

Missiroli, Marcello; Russo, Daniel; Ciancarini, Paolo, Teaching Test-First Programming: Assessment and Solutions, in: Computer Software and Applications Conference (COMPSAC), 2017 IEEE 41st Annual, IEEE, 2017, pp. 420 - 425 (atti di: 41 IEEE COMPSAC, Torino, July 2017) [Contributo in Atti di convegno]

Missiroli, Marcello; Russo, Daniel; Ciancarini, Paolo, Cooperative Thinking, or: Computational Thinking Meets Agile, in: Software Engineering Education and Training (CSEE&T), 2017 IEEE 30th Conference on, IEEE, 2017, pp. 187 - 191 (atti di: 30th IEEE Conference on Software Engineering Education and Training (CSEET), Savannah, GA, 7-9 Niovember) [Contributo in Atti di convegno]

Russo, Daniel; Ciancarini, Paolo; Falasconi, Tommaso; Tomasi, Massimo, Software Quality Concerns in the Italian Bank Sector: The Emergence of a Meta-Quality Dimension, in: IEEE/ACM 39th International Conference on Software Engineering, IEEE, 2017, pp. 63 - 72 (atti di: International Conference on Software Engineering (ICSE), Buenos Aires, Argentina, May 2017) [Contributo in Atti di convegno]

De Maria, Elisabetta; Di Giusto, Cinzia; Ciatto, Giovanni, Formal validation of neural networks as timed automata, in: De Maria, Elisabetta, PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SYSTEMS-BIOLOGY AND BIOINFORMATICS (CSBIO 2017), Association for Computing Machinery, 2017, 132747, pp. 15 - 22 (atti di: 8th International Conference on Computational Systems-Biology and Bioinformatics, CSBio 2017, Vietnam, 2017) [Contributo in Atti di convegno]

Ciatto, Giovanni; De Maria, Elisabetta; Di Giusto, Cinzia, Spiking Neural Networks as Timed Automata, in: Proceedings of the Lyon Spring School on Advances in Systems and Synthetic Biology, 2017, pp. 55 - 68 (atti di: Advances in Systems and Synthetic Biology, Lione, 13/03/2017) [Contributo in Atti di convegno]

Henrio, Ludovic; Laneve, Cosimo; Mastandrea, Vincenzo, Analysis of synchronisations in stateful active objects, in: Integrated Formal Methods. IFM 2017., Cham, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2017, 10510, pp. 195 - 210 (atti di: 13th International Conference on Integrated Formal Methods, IFM 2017, Turin, Italy, September 20-22, 2017) [Contributo in Atti di convegno]

Alessandro, Amoroso, Preliminary Considerations on Approaching Computer Forensic, in: Proceedings 2017 IEEE Symposium on Computers and Communications (ISCC), Piscatanaway, IEEE, 2017, pp. 143 - 147 (atti di: 2017 IEEE Symposium on Computers and Communications (ISCC), heraklion, 3-7 Luglio 2017) [Contributo in Atti di convegno]

Crubillé, Raphaelle; Dal Lago, Ugo, Metric reasoning about Lambda-Terms: The general case, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2017, 10201, pp. 341 - 367 (atti di: 26th European Symposium on Programming, ESOP 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, 2017) [Contributo in Atti di convegno]

Ugo Dal, Lago; Grellois, Charles, Probabilistic termination by monadic affine sized typing, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2017, 10201, pp. 393 - 419 (atti di: 26th European Symposium on Programming, ESOP 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, 2017) [Contributo in Atti di convegno]

Dal Lago, Ugo; Faggian, Claudia; Valiron, Benoit; Yoshimizu, Akira, The geometry of parallelism: Classical, probabilistic, and quantum effects, in: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017), New York, Association for Computing Machinery, 2017, pp. 833 - 845 (atti di: 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, 2017) [Contributo in Atti di convegno] Open Access

Breuvart, Flavien; Dal Lago, Ugo; Herrou, Agathe, On higher-order probabilistic subrecursion, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, 2017, 10203, pp. 370 - 386 (atti di: 20th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2017, Uppsala, Sweden, 2017) [Contributo in Atti di convegno]

Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide, Divergence and unique solution of equations, in: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2017, 85, pp. 1 - 16 (atti di: 28th International Conference on Concurrency Theory, CONCUR 2017, Berlino, 2017) [Contributo in Atti di convegno] Open Access

Grassi, Giulio; Bahl, Paramvir; Jamieson, Kyle; Pau, Giovanni, ParkMaster: An in-vehicle, edge-based video analytics service for detecting open parking spaces in urban environments, in: 2017 2nd ACM/IEEE Symposium on Edge Computing, SEC 2017, Association for Computing Machinery, Inc, 2017, pp. 1 - 14 (atti di: 2nd IEEE/ACM Symposium on Edge Computing, SEC 2017, USA, 2017) [Contributo in Atti di convegno]

Scherhag, U.; Nautsch, A.; Rathgeb, C.; Gomez-Barrero, M.; Veldhuis, R. N. J.; Spreeuwers, L.; Schils, M.; Maltoni, D.; Grother, P.; Marcel, S.; Breithauptk, R.; Raghavendra, R.; Busch, C., Biometric Systems under Morphing Attacks: Assessment of Morphing Techniques and Vulnerability Reporting, in: 2017 International Conference of the Biometrics Special Interest Group (BIOSIG), IEEE, 2017, pp. 1 - 7 (atti di: Biometrics Special Interest Group (BIOSIG), Darmstadt, 20-22 Sept. 2017) [Contributo in Atti di convegno]

Audrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Viroli, Mirko, Compositional Blocks for Optimal Self-Healing Gradients, in: Proceedings - 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, Los Alamitos, IEEE Computer Society, 2017, pp. 91 - 100 (atti di: 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, Tucson, AZ, 2017) [Contributo in Atti di convegno]

Pianini, Danilo; Dobson, Simon; Viroli, Mirko, Self-Stabilising Target Counting in Wireless Sensor Networks Using Euler Integration, in: Proceedings - 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, Los Alamitos, IEEE Computer Society, 2017, pp. 11 - 20 (atti di: 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2017, Tucson, AZ, 2017) [Contributo in Atti di convegno]

Pianini, Danilo; Beal, Jacob; Viroli, Mirko, Practical Aggregate Programming with Protelis, in: Proceedings - 2017 IEEE 2nd International Workshops on Foundations and Applications of Self* Systems, FAS*W 2017, Los Alamitos, IEEE Computer Society, 2017, pp. 391 - 392 (atti di: 2nd IEEE International Workshops on Foundations and Applications of Self* Systems, FAS*W 2017, Tucson, AZ, 2017) [Riassunto (Abstract)]