Pubblicazioni

Nanni L.; Brahnam S.; Lumini A., Face detection ensemble with methods using depth information to filter false positives, «SENSORS», 2019, 19, pp. 1 - 18 [Articolo in rivista] Open Access

Nanni L.; Brahnam S.; Ghidoni S.; Lumini A., Bioimage Classification with Handcrafted and Learned Features, «IEEE/ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS», 2019, 16, pp. 874 - 885 [Articolo in rivista]

Nanni L.; Brahnam S.; Lumini A., Texture descriptors for representing feature vectors, «EXPERT SYSTEMS WITH APPLICATIONS», 2019, 122, pp. 163 - 172 [Articolo in rivista]

Lumini A.; Nanni L., Deep learning and transfer learning features for plankton classification, «ECOLOGICAL INFORMATICS», 2019, 51, pp. 33 - 43 [Articolo in rivista] Open Access

Lumini A.; Nanni L., Ocean ecosystems plankton classification, in: Studies in Computational Intelligence, Berlino, Springer Verlag, 2019, pp. 261 - 280 (STUDIES IN COMPUTATIONAL INTELLIGENCE) [Capitolo/Saggio in libro]

Ciancarini P.; Missiroli M.; Russo D., Cooperative Thinking: Analyzing a new framework for software engineering education, «THE JOURNAL OF SYSTEMS AND SOFTWARE», 2019, 157, pp. 1 - 12 [Articolo in rivista] Open Access

Poggi F.; Ciancarini P.; Gangemi A.; Nuzzolese A.G.; Peroni S.; Presutti V., Predicting the results of evaluation procedures of academics, «PEERJ. COMPUTER SCIENCE.», 2019, 5, pp. 1 - 28 [Articolo in rivista] Open Access

Asprino L.; Beek W.; Ciancarini P.; van Harmelen F.; Presutti V., Observing LOD Using Equivalent Set Graphs: It Is Mostly Flat and Sparsely Linked, in: The Semantic Web – ISWC, Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11778, pp. 57 - 74 (atti di: 18th International Semantic Web Conference, ISWC 2019, nzl, 2019) [Contributo in Atti di convegno]

Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I; Román-Díez, Guillermo, Time analysis of actor programs, «THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING», 2019, 105, pp. 1 - 27 [Articolo in rivista]

Laneve C., A lightweight deadlock analysis for programs with threads and reentrant locks, «SCIENCE OF COMPUTER PROGRAMMING», 2019, 181, pp. 64 - 81 [Articolo in rivista]

Laneve, C.; Padovani, L., Deadlock Analysis of Wait-Notify Coordination, in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Cham, Springer Verlag, «LECTURE NOTES IN BIOINFORMATICS», 2019, 11760, pp. 50 - 67 (atti di: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Parigi, 4-5 Novembre 2019) [Contributo in Atti di convegno] Open Access

Di Lena P.; Sala C.; Prodi A.; Nardini C., Missing value estimation methods for DNA methylation data, «BIOINFORMATICS», 2019, 35, pp. 3786 - 3793 [Articolo in rivista] Open Access

Rossi, Davide, Consistency and Availability in Microservice Architectures, in: Web Information Systems and Technologies, Basilea, Springer, 2019, pp. 39 - 55 (LECTURE NOTES IN BUSINESS INFORMATION PROCESSING) [Capitolo/Saggio in libro]

De Filippo, Allegra; Lombardi, Michele; Milano, Michela, How to Tame Your Anticipatory Algorithm, in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, pp. 1071 - 1077 (atti di: International Joint Conference on Artificial Intelligence, Macao, Agosto 2019) [Contributo in Atti di convegno]

Al Jawarneh, I. M.; Bellavista, P.; Foschini, L.; Montanari, R.; Berrocal, J.; Murillo, J. M., Toward privacy-aware healthcare data fusion systems, in: Communications in Computer and Information Science, Springer Verlag, «COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE», 2019, 1016, pp. 26 - 37 (atti di: 1st International Workshop on Gerontechnology, IWoG 2018, prt, 2018) [Contributo in Atti di convegno]

Chisca D.S.; Lombardi M.; Milano M.; O'Sullivan B., Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11802, pp. 108 - 125 (atti di: 25th International Conference on Principles and Practice of Constraint Programming, CP 2019, usa, 2019) [Contributo in Atti di convegno]

Chisca D.S.; Lombardi M.; Milano M.; O'Sullivan B., A Sampling-Free Anticipatory Algorithm for the Kidney Exchange Problem, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2019, 11494, pp. 146 - 162 (atti di: 16th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2019, grc, 2019) [Contributo in Atti di convegno]

Celia da Costa Pereira, Sara Bevilacqua, Eric Guerci, Frederic Precioso, Claudio Sartori, A Co-evolutionary Approach to Analyzing the Impact of Rationality on the Italian Electricity Market, in: PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2019, 11873, pp. 235 - 250 (atti di: PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Torino, 28/10/2019) [Contributo in Atti di convegno]

Dal Lago, Ugo; de Visme, Marc; Mazza, Damiano; Yoshimizu, Akira, Intersection types and runtime errors in the pi-calculus, in: Proceedings of the 2019 Symposium on Principles of Programming Languages (POPL), 2019, 3, pp. 1 - 29 (atti di: ACM-SIGACT Symposium on Principles of Programming Languages (POPL), Cascais, Portogallo, 13-19 Gennaio 2019) [Contributo in Atti di convegno]

Dal Lago U.; Leventis T., On the Taylor expansion of probabilistic λ-terms, in: 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2019, 131, pp. 1 - 16 (atti di: 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, Dortmund, Germany, 2019) [Contributo in Atti di convegno] Open Access