Catalogo pubblicazioni

Dynamic Security Analysis of JavaScript: Are We There Yet?

Calzavara S.; Casarin S.; Focardi R.

(2025), WWW 2025 - Proceedings of the ACM Web Conference, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, Association for Computing Machinery, Inc, pp. 1105-1115, Convegno: 34th ACM Web Conference, WWW 2025, Sydney Convention and Exhibition Centre, aus, 2025 (Articolo in Atti di convegno)

Preface to “Computation over Compressed Data” at DCC 2022

Gagie, Travis; Prezza, Nicola

(2025), Preface to “Computation over Compressed Data” at DCC 2022, 525 B ST, STE 1900, SAN DIEGO, CA 92101-4495 USA, Elsevier Inc., vol. 302 (Prefazione/Postfazione)

Aeolian dust and diatoms at Roosevelt Island (Ross Sea, Antarctica) over the last 2 millennia reveal the local expression of climate changes and the history of the Ross Sea polynya

Lagorio, Serena; Delmonte, Barbara; Tetzner, Dieter; Malinverno, Elisa; Baccolo, Giovanni; Stenni, Barbara; Frezzotti, Massimo; Maggi, Valter; Bertler, Nancy

(2025) in CLIMATE OF THE PAST, vol. 21, pp. 1323-1341 (ISSN 1814-9332) (Articolo su rivista)

Bioplastics spark viral activity, reshape microbiomes and accelerate organic matter degradation in the marine environment

Corinaldesi, Cinzia; Tangherlini, Michael; Simoncini, Nicola; Rastelli, Eugenio; Mercanti, Ilaria; Palladino, Giorgia; Fumanti, Agnese; Gallegati, Silvia; Dell'Anno, Antonio; Varrella, Stefano; Greco, Silvestro; Candela, Marco; Danovaro, Roberto

(2025) in COMMUNICATIONS EARTH & ENVIRONMENT, vol. 6 (ISSN 2662-4435) (Articolo su rivista)

Wheeler Graphs and Wheeler Languages

Nicola Cotumaccio; Giovanna D'Agostino; Daniel Gibney; Alberto Policriti; Nicola Prezza; Sharma V. Thankachan

(2025), The Expanding World of Compressed Data: A Festschrift for Giovanni Manzini's 60th Birthday (Manzini's Festschrift), Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing (Articolo su libro)

New approaches for the assessment and management of chemical pollutants in natural waters

(2025), Università Ca' Foscari Venezia (Tesi di dottorato)

Towards improving the health-environmental sustainability of waste collection centers through a methodological approach to evaluate the release of pollutants from waste exposed to rainfall event

(2025), Università Ca' Foscari Venezia (Tesi di dottorato)

Stability of amorphous alumina layers deposited on platinum films by r.f. magnetron sputtering in water solutions. A microscopic approach based on scanning electrochemical microscopy

Battistel D.; Bragato C.; Baldo M.A.; Cattaruzza E.; Daniele S.

(2025) in SURFACES AND INTERFACES, vol. 60, pp. 1-12 (ISSN 2468-0230) (Articolo su rivista)

Monitoring the oxygen and hydrogen isotope composition of precipitation at Concordia Station, East Antarctica

DREOSSI G, MASIOL M, ZANNONI D, SALVINI M, BISCARO E, STEFANINI C, STENNI B

(2025), Goldschmidt 2025 Abstract, European Association of Geochemistry and the Geochemical Society, Convegno: Goldschmidt 2025 Conference, Prague, Czech Republic, July 6-11, 2025 (Abstract in Atti di convegno)

Green Analytical Strategies for Integrated Screening of Emerging Contaminants

(2025), Università Ca' Foscari Venezia (Tesi di dottorato)

Sustainability Assessment along the life cycle of innovative materials: the early stage perspective

(2025), Università Ca' Foscari Venezia (Tesi di dottorato)

Exploring Innovative Formulations for Coastal Heritage Preservation Inspired by Ancient Mortars

(2025), Università Ca' Foscari Venezia (Tesi di dottorato)

COSMICA: A GPU-Optimized Code for Solar Modulation Studies

Bacciu, Leone; Cavallotto, Giovanni; Della Torre, Stefano; Grazioso, Matteo; Gervasi, Massimo; La Vacca, Giuseppe; Rossi, Sabina; Nobile, Marco Salvatore

(2025), Proceeding of Science, SISSA, vol. 501, Convegno: 39th International Cosmic Ray Conference (ICRC2025), Geneva, Switzerland (Abstract in Atti di convegno)

Assisting clinical diagnosis with interpretable fuzzy probabilistic modelling

Capitoli, Giulia; Nobile, Marco S.; Ambags, Emma L.; L'Imperio, Vincenzo; Provenzano, Michele; Liò, Pietro

(2025) in BMC MEDICAL INFORMATICS AND DECISION MAKING, vol. 25 (ISSN 1472-6947) (Articolo su rivista)

FanFAIR: sensitive data sets semi-automatic fairness assessment

Gallese, Chiara; Scantamburlo, Teresa; Manzoni, Luca; Giannerini, Simone; Nobile, Marco S.

(2025) in BMC MEDICAL INFORMATICS AND DECISION MAKING, vol. 25 (ISSN 1472-6947) (Articolo su rivista)

Integrated Systems Modeling for Assessing the Water–Energy Nexus in Pakistan: Lessons Learned From Coupling LEAP–WEAP Planning Approaches

Riaz Ahmad, Gengyuan Liu, Syed Aziz Ur Rehman, Yuan Gao, Fanxin Meng, Xuanru Zhou, Bojie Liu, Silvio Cristiano

(2025) in ENGINEERING (ISSN 2095-8099) (Articolo su rivista)

Research on the Potential of Urban Green-Blue Infrastructure in Carbon Reduction Benefits

Yunsheng BAI, Gengyuan LIU, Mingwan WU, Zhaoman HUO, Ningyu YAN, Fanxin MENG, Qing YANG, Zhongming LU, Silvio CRISTIANO

(2025) in JINGGUAN SHEJIXUE (ISSN 2096-336X) (Articolo su rivista)

Arctic Amphipods as bioindicators of plastic pollution: identification and simultaneous quantification of small microplastics and microlitter (< 100 µm)

Giulia Vitale, Gabriella Caruso, Valentina Iannilli, Massimiliano Vardé, Beatrice Rosso, Carlo Barbante, Fabiana Corami

(2025), SETAC EUROPE 35TH ANNUAL MEETING, Society of Environmental Toxicology and Chemistry Europe (SETAC Europe), Convegno: SETAC EUROPE, Wien, 11/05/2025 - 15/05/2025 (Abstract in Atti di convegno)

Geomorphology and Hydroclimate Control Regional Urban Expansion

Ceola, Serena; Grandi, Giulia; Bertuzzo, Enrico

(2025) in EARTH'S FUTURE, vol. 13 (ISSN 2328-4277) (Articolo su rivista)

Inorganic carbon dynamics and their relation to autotrophic community regime shift over three decades in a large, alkaline river

Diamond, Jacob S.; Truong, An Nguyen; Abril, Gwenaël; Bertuzzo, Enrico; Chanudet, Vincent; Lamouroux, Raphael; Moatar, Florentina

(2025) in LIMNOLOGY AND OCEANOGRAPHY, vol. 70, pp. 1122-1136 (ISSN 0024-3590) (Articolo su rivista)

On the scaling of river network biogeochemical function

Bertuzzo, Enrico

(2025) in ECOHYDROLOGY, vol. 18 (ISSN 1936-0584) (Articolo su rivista)

Characterization of Red Sandstone and Black Crust to Analyze Air Pollution Impacts on a Cultural Heritage Building: Red Fort, Delhi, India

Kumar G.; Rusin L.; Nagar P.K.; Manjul S.K.; Back M.; Benedetti A.; Gurjar B.R.; Ojha C.S.P.; Sharma M.; Balliana E.

(2025) in HERITAGE, vol. 8, pp. 236-255 (ISSN 2571-9408) (Articolo su rivista)

A Coupled O2‐CO2 Model for Joint Estimation of Stream Metabolism, O‐C Stoichiometry, and Inorganic Carbon Fluxes

Diamond, Jacob S.; Bertuzzo, E.

(2025) in JOURNAL OF GEOPHYSICAL RESEARCH. BIOGEOSCIENCES, vol. 130 (ISSN 2169-8953) (Articolo su rivista)

Unravelling alkalinity and dissolved inorganic carbon dynamics in an alpine stream network

Francesco Presotto; Giulia Grandi; Rossano Piazza; Enrico Bertuzzo

(2025), Unravelling alkalinity and dissolved inorganic carbon dynamics in an alpine stream network, Vienna, EGU General Assembly 2025, Convegno: EGU General Assembly 2025, Vienna, 28/04/2025-02/04/2025 (Abstract in Atti di convegno)

Linking catchment transit time heterogeneity with fluvial metabolism to unravel carbon cycling in an alpine stream network

Giulia Grandi; Francesco Presotto; Mirco Peschiutta; Nicola Durighetto; Mauro Masiol; Barbara Stenni; Gianluca Botter; Enrico Bertuzzo

(2025) in Giulia Grandi, Francesco Presotto, Mirco Peschiutta, Nicola Durighetto, Mauro Masiol, Barbara Stenni, Gianluca Botter, Enrico Bertuzzo, Linking catchment transit time heterogeneity with fluvial metabolism to unravel carbon cycling in an alpine stream network, Vienna, EGU General Assembly 2025, Convegno: EGU General Assembly 2025, Vienna, 28/04/2025-02/04/2025 (Abstract in Atti di convegno)

Optimization and assessment method to approach industrial site decarbonization: A case study of a light industry

Tomaiuolo, Gaia; Carnieletto, Laura; Pecchini, Matteo; Benato, Alberto; Stoppato, Anna; De Carli, Michele

(2025) in ENERGY CONVERSION AND MANAGEMENT, vol. 326 (ISSN 0196-8904) (Articolo su rivista)

Preserving the contemporary mural “Musica Popolare” by Orticanoodles in Milan, Italy: Deterioration processes and protection performance of commercial coatings

Guarnieri N.; Pagnin L.; Berti L.; Goidanich S.; Gulotta D.; Izzo F.C.; Toniolo L.

(2025) in JOURNAL OF CULTURAL HERITAGE, vol. 75, pp. 326-332 (ISSN 1296-2074) (Articolo su rivista)

Exploiting tannery sludge as a renewable resource for platform chemicals production in a combined biological process

(2025), Università Ca' Foscari Venezia (Tesi di dottorato)

Nearshore space-time ocean wave observation using low-cost video cameras

Vieira M.; Guedes Soares C.; Guimaraes P.V.; Bergamasco F.; Campos R.M.

(2025) in COASTAL ENGINEERING, vol. 197 (ISSN 0378-3839) (Articolo su rivista)

Street Art in the Rain: Evaluating the Durability of Protective Coatings for Contemporary Muralism Through Accelerated Rain Ageing

Pagnin, Laura; Goidanich, Sara; Guarnieri, Nicolò; Izzo, Francesca Caterina; Henriquez, Jaime Jorge Hormida; Toniolo, Lucia

(2025) in COATINGS, vol. 15 (ISSN 2079-6412) (Articolo su rivista)

Reassembling Broken Objects Using Breaking Curves

Alagrami A.; Palmieri L.; Aslan S.; Pelillo M.; Vascon S.

(2025), Lecture Notes in Computer Science - ICPR'24 Conference Proceedings, Springer Science and Business Media Deutschland GmbH, vol. 15318, pp. 197-208, Convegno: 27th International Conference on Pattern Recognition, ICPR 2024, Kolkata, India, 2024 (ISBN 9783031784552; 9783031784569) (ISSN 0302-9743) (Articolo in Atti di convegno)

Coastal boulders emplaced by extreme wave events impacting the ABC islands (Aruba, Bonaire, Curaçao; Leeward Antilles, Caribbean)

Scardino, Giovanni; Rovere, Alessio; Barile, Chiara; Nandasena, N.A.K.; Chauveau, Denovan; Dahm, Malena; Boyden, Patrick; Bejarano, Sonia; Casella, Elisa; Kelly, Harold; Mijts, Eric; Scicchitano, Giovanni

(2025) in QUATERNARY SCIENCE REVIEWS, vol. 349 (ISSN 0277-3791) (Articolo su rivista)

Continuous Flow: etherification of Bio-Based Furanic Compounds

davide dalla torre, giacomo trapasso, fabio arico

(2025), Continuous Flow: etherification of Bio-Based Furanic Compounds, GSSD Foundation, Convegno: XVII International Postgraduate Summer School on Green Chemistry (Poster in Atti di convegno)

A new approach to the etherification of bio-based furanic compouds via continuos flow.

Davide Dalla Torre, Giacomo Trapasso, Fabio Arico

(2025), A new approach to the etherification of bio-based furanic compouds via continuos flow., Società Chimica Italiana (SCI), Convegno: XII Workshop Gruppo Interdivisionale Green Chemistry – Chimica Sostenibile (Abstract in Atti di convegno)

Timber! Poisoning Decision Trees

Calzavara S.; Cazzaro L.; Vettori M.

(2025), Proceedings - 2025 IEEE Conference on Secure and Trustworthy Machine Learning, SaTML 2025, Institute of Electrical and Electronics Engineers Inc., pp. 824-840, Convegno: 2025 IEEE Conference on Secure and Trustworthy Machine Learning, SaTML 2025, University of Copenhagen, dnk, 2025 (Articolo in Atti di convegno)

Verifiable Boosted Tree Ensembles

Calzavara S.; Cazzaro L.; Lucchese C.; Pibiri G.E.

(2025), Proceedings - 2025 IEEE Symposium on Security and Privacy, S&P 2025, Institute of Electrical and Electronics Engineers Inc., pp. 2057-2075, Convegno: 46th IEEE Symposium on Security and Privacy, SP 2025, USA, 2025 (Articolo in Atti di convegno)

Assessment of the Hydrogen Production Potential in a Zeolite Assisted Two-Phase Dark and Photo-Fermentation Process from Urban Waste Mixture

Gottardo, Marco; Khorramian, Navid; Pavan, Paolo; Battista, Federico; Bolzonella, David; Lauri, Roberto; Valentino, Francesco

(2025) in RESOURCES, vol. 14 (ISSN 2079-9276) (Articolo su rivista)

Watermarking Decision Tree Ensembles

Calzavara S.; Cazzaro L.; Gera D.; Orlando S.

(2025), Advances in Database Technology - EDBT, OpenProceedings.org, vol. 28, pp. 569-575, Convegno: 28th International Conference on Extending Database Technology, EDBT 2025, esp, 2025 (Articolo in Atti di convegno)

Mobile Biometrics: Innovations, Challenges, and Emerging Trends

Attaullah Buriro; Flaminia Luccio

(2025), Advanced Information Networking and Applications Proceedings of the 39th International Conference on Advanced Information Networking and Applications (AINA-2025), Lecture Notes on Data Engineering and Communications Technologies, Springer, vol. 8, pp. 170-180, Convegno: 1st International Workshop on Intelligent Cyber-Physical Security (ICPS-2025) In Conjunction with 39th AINA-2025 Conference, Barcelona, Spain (Articolo in Atti di convegno)

Strands Rocq: Why is a Security Protocol Correct, Mechanically?

Matteo Busi; Riccardo Focardi; Flaminia L. Luccio

(2025), CSF 2025 – 38th IEEE Computer Security Foundations Symposium, IEEE, Convegno: CSF 2025 – 38th IEEE Computer Security Foundations Symposium, Santa Cruz, CA, USA, June 16-20, 2025 (Articolo in Atti di convegno)

Automated Analysis of Key Management Policies

Matteo Busi; Riccardo Focardi; Sana Gul; Flaminia L. Luccio

(2025), Joint National Conference on Cybersecurity (ITASEC & SERICS 2025), CEUR, vol. 3962, Convegno: Joint National Conference on Cybersecurity (ITASEC & SERICS 2025), Bologna, Italy, February 3-8, 2025 (Articolo in Atti di convegno)

Early degradation mechanisms at the interface between acrylic grounds and oil paint films

Gnemmi, Margherita; Fuster-L-ópez, Laura; Herrero-Cortell, Miguel Ángel; Vicente-Escuder, Angel; Izzo, Francesca Caterina

(2025) in NPJ HERITAGE SCIENCE, vol. 13 (ISSN 3059-3220) (Articolo su rivista)

Etherification of Bio-Based Furanic Compounds via Continuous Flow

Davide Dalla Torre, Giacomo Trapasso, Nathan Jourdainne, Nathanael Guigo, Fabio Arico

(2025), Etherification of Bio-Based Furanic Compounds via Continuous Flow, ISGC 2025, Convegno: ISGC 2025 (Abstract in Atti di convegno)

Application of Zinc-Based Metal-Organic Framework ZIF-8 on Paper: A Pilot Study on Visual Appearance and Effectiveness

Balliana, Eleonora; Marchand, Mathilde; Di Matteo, Valentina; Ballarin, Barbara; Cassani, Maria Cristina; Panzavolta, Silvia; Zendri, Elisabetta

(2025) in POLYMERS, vol. 17 (ISSN 2073-4360) (Articolo su rivista)

Assessing thermal comfort and performance in the workplace: A test room experiment for summer and winter conditions

Carnieletto, Laura; Marigo, Marco; Arcelli, Tommaso; Moro, Christian; Turchi, Gian Piero; De Carli, Michele; Bella, Antonino Di

(2025) in BUILDING AND ENVIRONMENT, vol. 276 (ISSN 0360-1323) (Articolo su rivista)

Strategic framework for sustainable energy renovation policies in educational buildings: a priority-based approach

Piredda G.; Prataviera E.; Carnieletto Laura; Carli M.D.; Porto F.D.

(2025) in ENERGY AND BUILDINGS, vol. 338 (ISSN 0378-7788) (Articolo su rivista)

MusicBO, an Application of Text2AMR2FRED to the Musical Heritage Domain

Gangemi, Aldo; Graciotti, Arianna; Meloni, Antonello; Marzi, Eleonora; Nuzzolese, Andrea; Presutti, Valentina; Recupero, Diego Reforgiato; Russo, Alessandro; Tripodi, Rocco

(2025), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, vol. 15344 LNCS, pp. 212-216, Convegno: European Semantic Web Conference, ESWC 2024, grc, 2024 (ISBN 9783031789519; 9783031789526) (ISSN 0302-9743) (Articolo in Atti di convegno)

Past wave climate reconstruction through paleo shoreline analysis

Jacob Melly, Tobia Lahbi, Sebastián Richiano, Ian Goodwin, Patricio Ruiz, Alejandro Montes, Alessio Rovere

(2025), Reconstruction of Quaternary Sea Level Changes: proxies and processes from past interglacials, Ciro Cerrone, Convegno: European Geosciences Union (EGU) General Assembly 2025 (Poster in Atti di convegno)

A Spatiotemporal Framework for Underwater Noise Modelling

Giulia Rovinelli

(2025), Proceedings of the 19th International Symposium on Spatial and Temporal Data (SSTD '25), ACM, pp. 132-136, Convegno: 19th International Symposium on Spatial and Temporal Data (SSTD '25) (Articolo in Atti di convegno)

Multivariate peaks-over-threshold with latent variable representations of Generalized Pareto vectors

Jean-Noël Bacro , Carlo Gaetan , Thomas Opitz, Gwladys Toulemonde

(2025) in EXTREMES, vol. 28, pp. 273-300 (ISSN 1386-1999) (Articolo su rivista)