PMAR: A Lagrangian approach to the modelling of anthropogenic pressures for marine management.

Marta Simeoni

Sofia Bosi Alessandra Raffaetà Marta Simeoni Nikola Bobchev Dimitar Berov Andrea Barbanti Stefano Menegon PMAR: A Lagrangian approach to the modelling of anthropogenic pressures for marine management. 106822 2026 197 Environ. Model. Softw. https://doi.org/10.1016/j.envsoft.2025.106822 db/journals/envsoft/envsoft197.html#BosiRSBBBM26 streams/journals/envsoft

Giulia Rovinelli Esteban Zimányi Marta Simeoni Davide Rocchesso Alessandra Raffaetà A scalable AIS-based model for vessel-generated underwater noise. 2026 December 23 30 GeoInformatica 2 https://doi.org/10.1007/s10707-026-00580-4 db/journals/geoinformatica/geoinformatica30.html#RovinelliZSRR26 streams/journals/geoinformatica

Giulia Rovinelli Davide Rocchesso Marta Simeoni Esteban Zimányi Alessandra Raffaetà Spatiotemporal characterisation of underwater noise through semantic trajectories. 845-876 2025 July 29 GeoInformatica 3 https://doi.org/10.1007/s10707-025-00547-x db/journals/geoinformatica/geoinformatica29.html#RovinelliRSZR25 streams/journals/geoinformatica

Giulia Rovinelli Esteban Zimányi Marta Simeoni Davide Rocchesso Alessandra Raffaetà A Scalable Model for Vessel-Generated Underwater Noise: Enhancing Efficiency through Parallelisation. 2025 EDBT/ICDT Workshops https://ceur-ws.org/Vol-3946/BMDA-5.pdf conf/edbt/2025w db/conf/edbt/edbt2025w.html#RovinelliZSRR25

Giulia Rovinelli Davide Rocchesso Marta Simeoni Esteban Zimányi Alessandra Raffaetà Spatio-temporal characterisation of underwater noise through semantic trajectories. 2025 January abs/2501.11131 CoRR https://doi.org/10.48550/arXiv.2501.11131 db/journals/corr/corr2501.html#abs-2501-11131 streams/journals/corr

Giulia Rovinelli Davide Rocchesso Marta Simeoni Alessandra Raffaetà Using Semantic Trajectories for Spatio-temporal Characterisation of Underwater Noise. 2024 EDBT/ICDT Workshops https://ceur-ws.org/Vol-3651/BMDA-5.pdf conf/edbt/2024w db/conf/edbt/edbt2024w.html#RovinelliRSR24

Alvise Spanò Lorenzo Fanton Davide Pizzolato Jacopo Moi Francesco Vinci Alberto Pesce Cedrix Jurgal Dongmo Foumthuim Achille Giacometti Marta Simeoni Rinmaker: a fast, versatile and reliable tool to determine residue interaction networks in proteins. 336 2023 December 24 BMC Bioinform. 1 https://doi.org/10.1186/s12859-023-05466-y db/journals/bmcbi/bmcbi24.html#SpanoFPMVPFGS23

Andrea Bianchi Antinisca Di Marco Francesca Marzi Giovanni Stilo Cristina Pellegrini Stefano Masi Alessandro Mengozzi Agostino Virdis Marco Salvatore Nobile Marta Simeoni Trustworthy Machine Learning Predictions to Support Clinical Research and Decisions. 231-234 2023 CBMS https://doi.org/10.1109/CBMS58004.2023.00222 conf/cbms/2023 db/conf/cbms/cbms2023.html#BianchiMMSPMMVNS23 Sara Corazza Fabio Pittarello Marta Simeoni 3D Molecules Visualization with XRmol: An AR Web Tool for Mobile Devices. 136-149 2023 EuroXR https://doi.org/10.1007/978-3-031-48495-7_9 conf/eurovr/2023 db/conf/eurovr/eurovr2023.html#CorazzaPS23 Irene García Bessem Chouaia Mercè Llabrés Pere Palmer-Rodríguez Marta Simeoni Analysing the Expressiveness of Metabolic Networks Representations. 75-87 2023 WIVACE https://doi.org/10.1007/978-3-031-57430-6_7 conf/wivace/2023 db/conf/wivace/wivace2023.html#GarciaCLPS23

Bruno Brandoli Alessandra Raffaetà Marta Simeoni Pedram Adibi Fateha Khanam Bappee Fabio Pranovi Giulia Rovinelli Elisabetta Russo Claudio Silvestri Amílcar Soares 0001 Stan Matwin From multiple aspect trajectories to predictive analysis: a case study on fishing vessels in the Northern Adriatic sea. 551-579 2022 26 GeoInformatica 4 https://doi.org/10.1007/s10707-022-00463-4 db/journals/geoinformatica/geoinformatica26.html#BrandoliRSABPRR22

Giulia Rovinelli Stan Matwin Fabio Pranovi Elisabetta Russo Claudio Silvestri Marta Simeoni Alessandra Raffaetà Multiple aspect trajectories: a case study on fishing vessels in the Northern Adriatic sea. 2021 EDBT/ICDT Workshops https://ceur-ws.org/Vol-2841/BMDA_12.pdf conf/edbt/2021w db/conf/edbt/edbt2021w.html#RovinelliMPRSSR21 Pedram Adibi Fabio Pranovi Alessandra Raffaetà Elisabetta Russo Claudio Silvestri Marta Simeoni Amílcar Soares Júnior 0001 Stan Matwin Predicting Fishing Effort and Catch Using Semantic Trajectories and Machine Learning. 83-99 2019 MASTER@PKDD/ECML https://doi.org/10.1007/978-3-030-38081-6_7 conf/pkdd/2019master db/conf/pkdd/master2019.html#AdibiPRRSSSM19

Paolo Baldan Martina Bocci Daniele Brigolin Nicoletta Cocco Monika Heiner Marta Simeoni Petri Nets for Modelling and Analysing Trophic Networks. 27-52 2018 160 Fundam. Informaticae 1-2 https://doi.org/10.3233/FI-2018-1673 https://www.wikidata.org/entity/Q129888259 db/journals/fuin/fuin160.html#BaldanBBCHS18

Paolo Baldan Martina Bocci Daniele Brigolin Nicoletta Cocco Marta Simeoni Petri nets for modelling and analysing trophic networks. 21-36 2015 BioPPN@Petri Nets https://ceur-ws.org/Vol-1373/paper2.pdf conf/apn/2015bioppn db/conf/apn/bioppn2015.html#BaldanBBCS15

Ricardo Alberich Mercè Llabrés David Sánchez Marta Simeoni Marc Tuduri MP-Align: alignment of metabolic pathways. 58 2014 8 BMC Syst. Biol. https://doi.org/10.1186/1752-0509-8-58 https://www.wikidata.org/entity/Q35179413 db/journals/bmcsb/bmcsb8.html#AlberichLSST14

Paolo Baldan Nicoletta Cocco Federica Giummolè Marta Simeoni Comparing Metabolic Pathways through Reactions and Potential Fluxes. 1-23 2013 8 Trans. Petri Nets Other Model. Concurr. https://doi.org/10.1007/978-3-642-40465-8_1 journals/topnoc/2013-8 db/journals/topnoc/topnoc8.html#BaldanCGS13

Paolo Baldan Martina Bocci Nicoletta Cocco Marta Simeoni Comparing metabolic pathways through potential fluxes: a selective opening approach. 1-15 2013 BioPPN@Petri Nets https://ceur-ws.org/Vol-988/paper1.pdf conf/apn/2013bioppn db/conf/apn/bioppn2013.html#BaldanBCS13 Paolo Baldan Nicoletta Cocco Marta Simeoni Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta. 5-13 2013 conf/cs2bio/2013 CS2Bio https://doi.org/10.1016/j.entcs.2013.11.002 https://www.wikidata.org/entity/Q113317945 db/journals/entcs/entcs299.html#BaldanCS13

Paolo Baldan Nicoletta Cocco Andrea Marin Marta Simeoni Petri nets for modelling metabolic pathways: a survey. 955-989 2010 9 Nat. Comput. 4 https://doi.org/10.1007/s11047-010-9180-6 db/journals/nc/nc9.html#BaldanCMS10

Simonetta Balsamo Marta Simeoni On Relationships Between Stochastic Process Algebras with Æmilia and Queueing Network Models. 75-90 2005 conf/firb-perf/2005 FIRB-Perf https://doi.org/10.1109/FIRB-PERF.2005.13 https://doi.ieeecomputersociety.org/10.1109/FIRB-PERF.2005.13 db/conf/firb-perf/firb-perf2005.html#BalsamoS05 Marta Simeoni A categorical approach to modularization of graph transformation systems using refinements. Sapienza University of Rome, Italy 2004 https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0006241

Marco Antoniotti Carla Piazza Alberto Policriti Marta Simeoni Bud Mishra Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. 45-67 2004 325 Theor. Comput. Sci. 1 https://doi.org/10.1016/j.tcs.2004.03.064 db/journals/tcs/tcs325.html#AntoniottiPPSM04

Simonetta Balsamo Antinisca Di Marco Paola Inverardi Marta Simeoni Model-Based Performance Prediction in Software Development: A Survey. 295-310 2004 30 IEEE Trans. Software Eng. 5 https://doi.org/10.1109/TSE.2004.9 http://doi.ieeecomputersociety.org/10.1109/TSE.2004.9 db/journals/tse/tse30.html#BalsamoMIS04

Giulio Marcon Nicola Cannata Mercè Llabrés Marta Simeoni Giorgio Valle Ordering BAC Clones from Fingerprint Data obtained through Four Enzymes Digestion and Fluorescent Labeling. 182-190 2004 conf/jbi/2004 Spanish Bioinformatics Conference db/conf/jbi/jbi2004.html#MarconCLSV04 Marco Antoniotti Bhubaneswar Mishra Carla Piazza Alberto Policriti Marta Simeoni Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. 57-74 2003 conf/cmsb/2003 CMSB https://doi.org/10.1007/3-540-36481-1_6 db/conf/cmsb/cmsb2003.html#AntoniottiMPPS03 Simonetta Balsamo Marco Bernardo 0001 Marta Simeoni Performance Evaluation at the Software Architecture Level. 207-258 https://doi.org/10.1007/978-3-540-39800-4_10 2003 conf/sfm/2003 SFM db/conf/sfm/sfm2003.html#BalsamoBS03

Martin Große-Rhode Francesco Parisi-Presicce Marta Simeoni Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems. 171-218 2002 64 J. Comput. Syst. Sci. 2 https://doi.org/10.1006/jcss.2001.1800 db/journals/jcss/jcss64.html#Grosse-RhodePS02

Simonetta Balsamo Marta Simeoni Integrating Performance Modeling in the Software Development Process. 35-49 https://doi.org/10.1007/978-3-540-24626-8_3 2002 conf/rissef/2002 RISSEF db/conf/rissef/rissef2002.html#BalsamoS02 Simonetta Balsamo Marco Bernardo 0001 Marta Simeoni Combining stochastic process algebras and queueing networks for software architecture analysis. 190-202 2002 conf/wosp/2002 Workshop on Software and Performance https://doi.org/10.1145/584369.584398 db/conf/wosp/wosp2002.html#BalsamoBS02 Roswitha Bardohl Martin Große-Rhode Marta Simeoni Interactive Rule-Based Specification with an Application to Visual Language Definition. 1-20 2001 conf/wadt/2001 WADT https://doi.org/10.1007/3-540-45645-7_1 db/conf/wadt/wadt2001.html#BardohlGS01 Andrea Formisano 0001 Eugenio G. Omodeo Marta Simeoni A graphical approach to relational reasoning. 2001 conf/relmis/2001 RelMiS https://doi.org/10.1016/S1571-0661(04)80936-8 db/conf/relmis/relmis2001.html#FormisanoOS01 153-174 Marta Simeoni An Abstract Module Concept for Graph Transformation Systems. 2001 conf/getgrats/2001 GETGRATS Closing Workshop https://doi.org/10.1016/S1571-0661(04)80211-1 db/journals/entcs/entcs51.html#Simeoni01 290-303 Andrea Formisano 0001 Marta Simeoni An AGG Application Supporting Visual Reasoning. 2001 conf/gtvmt/2001 GT-VMT@ICALP https://doi.org/10.1016/S1571-0661(04)00183-5 db/conf/gtvmt/gtvmt2001.html#FormisanoS01 302-309 Martin Große-Rhode Francesco Parisi-Presicce Marta Simeoni Gabriele Taentzer Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions. 31-45 https://doi.org/10.1007/3-540-45104-8_3 1999 conf/agtive/1999 AGTIVE db/conf/agtive/agtive1999.html#Grosse-RhodePST99 Paolo Bottoni Francesco Parisi-Presicce Marta Simeoni On a Uniform Representation of Transformation Systems. 63-78 https://doi.org/10.1007/3-540-45104-8_5 1999 conf/agtive/1999 AGTIVE db/conf/agtive/agtive1999.html#BottoniPS99 Marta Simeoni Maria Staniszkis Cooperating Graph Grammar Systems. 193-217 1999 conf/gmmas/1999 Grammatical Models of Multi-Agent Systems db/conf/gmmas/gmmas1999.html#SimeoniS99 Martin Große-Rhode Francesco Parisi-Presicce Marta Simeoni Spatial and Temporal Refinement of Typed Graph Transformation Systems. 553-561 1998 conf/mfcs/1998 MFCS https://doi.org/10.1007/BFb0055805 db/conf/mfcs/mfcs98.html#Grosse-RhodePS98 Paolo Bottoni Francesco Parisi-Presicce Marta Simeoni From Formulae to Rewriting Systems. 267-280 1998 conf/tagt/1998 TAGT db/conf/tagt/tagt1998.html#BottoniPS98 https://doi.org/10.1007/978-3-540-46464-8_19 Martin Große-Rhode Francesco Parisi-Presicce Marta Simeoni Refinements of Graph Transformation Systems via Rule Expressions. 368-382 1998 conf/tagt/1998 TAGT db/conf/tagt/tagt1998.html#Grosse-RhodePS98 https://doi.org/10.1007/978-3-540-46464-8_26 Martin Große-Rhode Francesco Parisi-Presicce Marta Simeoni Refinements and Modules for Typed Graph Transformation Systems. 138-151 https://doi.org/10.1007/3-540-48483-3_10 1998 conf/wadt/1998 WADT db/conf/wadt/wadt98.html#Grosse-RhodePS98 Pedram Adibi Ricardo Alberich Marco Antoniotti Paolo Baldan Simonetta Balsamo Fateha Khanam Bappee Andrea Barbanti Roswitha Bardohl Marco Bernardo 0001 Dimitar Berov Andrea Bianchi Nikola Bobchev Martina Bocci Sofia Bosi Paolo Bottoni Daniele Brigolin Nicola Cannata Bessem Chouaia Nicoletta Cocco Sara Corazza Lorenzo Fanton Andrea Formisano 0001 Cedrix Jurgal Dongmo Foumthuim Irene García Achille Giacometti Federica Giummolè Martin Große-Rhode Monika Heiner Paola Inverardi Amílcar Soares Júnior 0001Amílcar Soares 0001 Mercè Llabrés Bruno Brandoli MachadoBruno Brandoli Antinisca Di Marco Giulio Marcon Andrea Marin Francesca Marzi Stefano Masi Stan Matwin Stefano Menegon Alessandro Mengozzi Bud MishraBhubaneswar Mishra Jacopo Moi Marco S. NobileMarco Salvatore Nobile Eugenio G. Omodeo Pere Palmer-Rodríguez Francesco Parisi-Presicce Cristina Pellegrini Alberto Pesce Carla Piazza Fabio Pittarello Davide Pizzolato Alberto Policriti Fabio Pranovi Alessandra Raffaetà Davide Rocchesso Giulia Rovinelli Elisabetta Russo David Sánchez Claudio Silvestri Alvise Spanò Maria Staniszkis Giovanni Stilo Gabriele Taentzer Marc Tuduri Giorgio Valle Francesco Vinci Agostino Virdis Esteban Zimányi