SIMEONI Marta

Position
Researcher
Telephone
041 234 8475
E-mail
simeoni@unive.it
Scientific sector (SSD)
INFORMATICA [INF/01]
Website
www.unive.it/persone/simeoni (personal record)
 http://www.dsi.unive.it/~simeoni
Office
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino (edificio Alfa)
Room: office Z.B16 (Zeta B building)
Office
European Center for Living Technology (ECLT)
Where: Ca' Bottacin
Research Institute
Research Institute for Complexity

Publications

Anno Tipologia Pubblicazione
Anno Tipologia Pubblicazione
2022 Articolo su rivista Brandoli B.; Raffaeta A.; Simeoni M.; Adibi P.; Bappee F.K.; Pranovi F.; Rovinelli G.; Russo E.; Silvestri C.; Soares A.; Matwin S. From multiple aspect trajectories to predictive analysis: a case study on fishing vessels in the Northern Adriatic sea in GEOINFORMATICA, vol. 00 (ISSN 1573-7624)
DOI - Scheda ARCA: 10278/3761089
2021 Articolo su rivista Cocco, Nicoletta; Llabrés, Mercè; Reyes-Prieto, Mariana; Simeoni, Marta MetNet: A two-level approach to reconstructing and comparing metabolic networks in PLOS ONE, vol. 16, pp. e0246962 (ISSN 1932-6203)
DOI - Scheda ARCA: 10278/3736249
2021 Articolo in Atti di convegno Rovinelli G.; Matwin S.; Pranovi F.; Russo E.; Silvestri C.; Simeoni M.; Raffaeta A. Multiple aspect trajectories: A case study on fishing vessels in the northern adriatic sea , CEUR Workshop Proceedings, CEUR-WS, vol. 2841, Convegno: 2021 Workshops of the EDBT/ICDT Joint Conference, EDBT/ICDT-WS 2021, 2021 (ISSN 1613-0073)
DOI - URL correlato - Scheda ARCA: 10278/3743012
2020 Articolo su rivista Toffano, Alberto A.; Chiarot, Giacomo; Zamuner, Stefano; Marchi, Margherita; Salvi, Erika; Waxman, Stephen G.; Faber, Catharina G.; Lauria, Giuseppe; Giacometti, Achille; Simeoni, Marta Computational pipeline to probe NaV1.7 gain-of-function variants in neuropathic painful syndromes in SCIENTIFIC REPORTS, vol. 10 (ISSN 2045-2322)
DOI - URL correlato - Scheda ARCA: 10278/3731193
2020 Articolo in Atti di convegno Adibi P.; Pranovi F.; Raffaeta A.; Russo E.; Silvestri C.; Simeoni M.; Soares A.; Matwin S. Predicting Fishing Effort and Catch Using Semantic Trajectories and Machine Learning , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, vol. 11889, pp. 83-99, Convegno: 1st International Workshop on Multiple-Aspect Analysis of Semantic Trajectories, MASTER 2019 held in Conjunction with the 19th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2019, 2019 (ISBN 978-3-030-38080-9; 978-3-030-38081-6) (ISSN 0302-9743)
DOI - URL correlato - Scheda ARCA: 10278/3722608
2019 Articolo su rivista Rova S.; Meire P.; Muller F.; Simeoni M.; Pranovi F. A Petri net modeling approach to explore the temporal dynamics of the provision of multiple ecosystem services in SCIENCE OF THE TOTAL ENVIRONMENT, Elsevier B.V., vol. 655, pp. 1047-1061 (ISSN 0048-9697)
DOI - URL correlato - Scheda ARCA: 10278/3710408
2018 Articolo su rivista Baldan Paolo, Bocci Martina, Brigolin Daniele, Cocco Nicoletta, Monika Heiner, Marta Simeoni Petri Nets for Modelling and Analysing Trophic Networks in FUNDAMENTA INFORMATICAE, vol. 160, pp. 27-52 (ISSN 0169-2968)
DOI - URL correlato - Scheda ARCA: 10278/3700974
2015 Articolo in Atti di convegno Baldan, Paolo; Bocci, Martina; Brigolin, Daniele; Cocco, Nicoletta; Simeoni, Marta Petri nets for modelling and analysing trophic networks , Biological Processes & Petri Nets 2015, CEUR-WS.org, vol. 1373, pp. 21-36, Convegno: BioPPN15, June 22, 2015 (ISSN 1613-0073)
- URL correlato - Scheda ARCA: 10278/3659813
2014 Articolo su rivista Ricardo Alberich; Mercè Llabrés; David Sánchez; Marta Simeoni; Marc Tuduri MP-Align: Alignment of Metabolic Pathways in BMC SYSTEMS BIOLOGY, vol. 8, pp. 1-16 (ISSN 1752-0509)
DOI - URL correlato - Scheda ARCA: 10278/44009
2013 Articolo su libro P. Baldan; N. Cocco; F. Giummole'; M. Simeoni Comparing Metabolic Pathways through Reactions and Potential Fluxes , Transactions on Petri nets and other models of concurrency VIII, Heidelberg, Springer Berlin / Heidelberg, vol. 8100, pp. 1-23 (ISBN 9783642404641) (ISSN 0302-9743)
DOI - URL correlato - Scheda ARCA: 10278/37943
2013 Articolo in Atti di convegno P. Baldan; M. Bocci; N. Cocco; M. Simeoni Comparing Metabolic Pathways through Potential Fluxes: a Selective Opening Approach , CEUR Workshop Proceedings, vol. 988, CEUR-WS, vol. 988, pp. 1-15, Convegno: Biological Processes and Petri nets 2013, 24/06/ 2013 (ISSN 1613-0073)
- URL correlato - Scheda ARCA: 10278/39593
2013 Articolo in Atti di convegno P. Baldan; N. Cocco; M. Simeoni Representing and Comparing Metabolic Pathways as Petri Nets with MPath2PN and CoMeta , Proceedings of the Fourth International Workshop on Interactions Between Computer Science and Biology (CS2Bio'13), Elsevier, vol. 299, pp. 5-13, Convegno: 4th International Workshop on Interactions between Computer Science and Biology, 06/06/2013 (ISSN 1571-0661)
DOI - URL correlato - Scheda ARCA: 10278/38121
2012 Articolo in Atti di convegno Paolo Baldan; Nicoletta Cocco; Marta Simeoni Comparison of Metabolic Pathways by Considering Potential Fluxes , Biological Processes & Petri Nets, CEUR Workshop Proceedings, vol. 852, pp. 2-17, Convegno: 3rd International Workshop BioPPN 2012, June 2012 (ISSN 1613-0073)
- Scheda ARCA: 10278/36199
2011 Articolo in Atti di convegno Baldan P; Cocco N.; De Nes F.; Llabres Segura M.; Marin A.; Simeoni M. MPath2PN - Translating Metabolic Pathways into Petri Nets , BIOPPN-2011 International Workshop on Biological Processes & Petri Nets, CEUR Workshop Proceedings (CEUR-WS.org), vol. 724, pp. 102-116, Convegno: 2nd International Workshop on Biological Processes & Petri Nets (BioPPN2011) (ISSN 1613-0073)
- URL correlato - Scheda ARCA: 10278/23620
2010 Articolo su rivista Baldan P. ; Cocco N. ; Marin A. ; Simeoni M. Petri nets for modelling metabolic pathways: a survey in NATURAL COMPUTING, vol. 9 (4), pp. 955-989 (ISSN 1567-7818)
DOI - Scheda ARCA: 10278/23014
2005 Articolo su libro BALSAMO S.; SIMEONI M On Relationships Between Stochastic Process Algebras with Æmilia and Queueing Network Models in M. CALZAROSSA ED., Performance Evaluation of Complex Systems: Techniques, Methodologies and Tools, LOS ALAMITOS, CA, IEEE Computer Society, pp. 75-90 (ISBN 9780769524474)
- Scheda ARCA: 10278/29400
2004 Articolo su rivista BALSAMO S.; A. DI MARCO; P.INVERARDI; M. SIMEONI Model-based performance prediction in software development: a survey in IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 30, N.5, May 2004, pp. 295-310 (ISSN 0098-5589)
- Scheda ARCA: 10278/31623
2004 Articolo su rivista ANTONIOTTI M; PIAZZA C; POLICRITI A; SIMEONI M.; MISHRA B Taming the Complexity of Biochemical Models through Bisimulation and Collapsing: Theory and Practice in THEORETICAL COMPUTER SCIENCE, vol. 325, pp. 45-67 (ISSN 0304-3975)
- Scheda ARCA: 10278/32083
2004 Articolo in Atti di convegno BALSAMO S; SIMEONI M. Integrating performance modeling in the software development process , RADICAL INNOVATIONS OF SOFTWARE AND SYSTEMS ENGINEERING IN THE FUTURE, Springer, vol. 2941, pp. 35-49, Convegno: 9th International Workshop, RISSEF 2002, October 7-11, 2002 (ISBN 3540211799) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/28950
2004 Articolo in Atti di convegno MARCON G; CANNATA N; LLABRES M; SIMEONI M.; VALLE G Ordering BAC Clones from Fingerprint Data obtained through Four Enzymes Digestion and Fluorescent Labeling , Spanish Bioinformatics Conference}, Xavier Messeguer and Gabriel Valiente, pp. 182-190, Convegno: 5th Annual Spanish Bioinformatics Conference (ISBN 9788476538630)
- Scheda ARCA: 10278/28184
2003 Articolo su rivista Bud Mishra; Raoul-Sam Daruwala; Yi Zhou; Nadia Ugel; Alberto Policriti; Marco Antoniotti; Salvatore Paxia; Marc Rejali; Archisman Rudra; Vera Cherepinsky; Naomi Silver; William Casey; Carla Piazza; Marta Simeoni; Paolo Barbano; Marina Spivak; Jiawu Feng; Ofer Gill; Mysore Venkatesh; Fang Cheng; Bing Sun; Iuliana Ioniata; Thomas Anantharaman; E. Jane Albert Hubbard; Amir Pnueli; David Harel; Vijay Chandru; Ramesh Hariharan; Michael Wigler; Frank Park; Shih-Chieh Lin; Yuri Lazebnik; Franz Winkler; Charles R. Cantor; Alessandra Carbone; Mikhael Gromov A Sense of Life: Computational and Experimental Investigations with Models of Biochemical and Evolutionary Processes in OMICS, vol. 7, pp. 253-268 (ISSN 1536-2310)
DOI - Scheda ARCA: 10278/35884
2003 Articolo su rivista FORMISANO A; OMODEO E. G; SIMEONI M. A graphical approach to relational reasoning in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 44, pp. 153-174 (ISSN 1571-0661)
DOI - URL correlato - Scheda ARCA: 10278/33969
2003 Articolo su libro SIMEONI M.; BALSAMO S.; BERNARDO M. Performance Evaluation at the Software Architecture Level , Formal Methods for Software Architectures, Springer, vol. 2804, pp. 207-258 (ISBN 3540200835) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/33986
2003 Articolo in Atti di convegno ANTONIOTTI M; MISHRA B; PIAZZA C; POLICRITI A; SIMEONI M. Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing , COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, Springer, vol. 2602, pp. 57-74, Convegno: First International Workshop, CMSB 2003, February 24-26, 2003 (ISBN 3540006052) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/33944
2002 Articolo su rivista SIMEONI M. An Abstract Module Concept for Graph Transformation Systems in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 51, pp. 290-303 (ISSN 1571-0661)
DOI - URL correlato - Scheda ARCA: 10278/32312
2002 Articolo su rivista GROSSE-RHODE M; PARISI PRESICCE F; SIMEONI M. Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems in JOURNAL OF COMPUTER AND SYSTEM SCIENCES (ISSN 0022-0000)
- Scheda ARCA: 10278/13425
2002 Articolo in Atti di convegno BALSAMO S.; M. BERNARDO; M. SIMEONI Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis , WOSP '02 Proceedings of the 3rd international workshop on Software and performance, ACM / Association for Computing Machinery:1515 Broadway, 17th Floor:New York, NY 10036:(212)869-7440, EMAIL: acmhelp@hq.acm.org, INTERNET: link esterno , Fax: (212)944-1318, pp. 190-202, Convegno: WOSP 2002, JULY 24-26 (ISBN 1581135637)
DOI - Scheda ARCA: 10278/32518
2002 Articolo in Atti di convegno GROSSE-RHODE M; BARDOHL R; SIMEONI M. Interactive Rule-based Specification with an Application to Visual Language Definition , RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, Springer, vol. 2267, pp. 1-20, Convegno: 15th International Workshop, WADT2001, April 1-3, 2001 (ISBN 3540431594) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/32313
2001 Articolo su rivista FORMISANO A; SIMEONI M. An AGG Application Supporting Visual Reasoning in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 50, pp. 302-309 (ISSN 1571-0661)
- Scheda ARCA: 10278/13424
2001 Articolo in Atti di convegno BALSAMO S.; M. SIMEONI Deriving Performance Models from Software Architecture Specifications , European Simulation Muticonference ESM 2001, Ghent, SCS- European Publishing House, pp. 841-845, Convegno: ESM 2001, 15th European Simulation multiconference 2001, JUNE 6-9, 2001 (ISBN 1565552253)
- Scheda ARCA: 10278/35749
2001 Articolo in Atti di convegno BALSAMO S.; M. SIMEONI On Transforming UML models into performance models , ProceediWTUML: Workshop on Transformations in UML at ETAPS, Genova, Italy, Jon Whittle, Convegno: WTUML, Workshop on Transformations in UML, ETAPS 2001 Satellite Event, APRIL, 7
- Scheda ARCA: 10278/5686
2000 Articolo in Atti di convegno Paolo Bottoni; Francesco Parisi Presicce; Marta Simeoni From Formulae to Rewriting Systems , THEORY AND APPLICATION OF GRAPH TRANSFORMATIONS, Springer, vol. 1764, pp. 267-280, Convegno: TAGT'98, November 1998 (ISBN 3540672036) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/34390
2000 Articolo in Atti di convegno GROSSE-RHODE M; PARISI PRESICCE F; SIMEONI M.; TAENTZER G Modeling Distributed Systems by Modular Graph Transformation based on Refinement via Rule Expressions , APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, Springer, vol. 1779, pp. 31-45, Convegno: International Workshop, AGTIVE’99, September 1-3, 1999 (ISBN 3540676589) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/13423
2000 Articolo in Atti di convegno BOTTONI P; PARISI PRESICCE F; SIMEONI M. On a Uniform Representation of Transformation Systems , Applications of Graph Transformations with Industrial Relevance, Springer, vol. 1779, pp. 63-78, Convegno: International Workshop, AGTIVE’99, September 1–3, 1999 (ISBN 3540676589) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/32295
2000 Articolo in Atti di convegno Martin Grosse-Rhode; Francesco Parisi Presicce; Marta Simeoni Refinements of Graph Transformation Systems via Rule Expressions , THEORY AND APPLICATION OF GRAPH TRANSFORMATIONS, Springer, vol. 1764, pp. 368-382, Convegno: TAGT'98, November 1998 (ISBN 3540672036) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/34583
1999 Articolo su libro Marta Simeoni; Maria Staniszkis Cooperating Graph Grammar Systems , Grammatical Models of Multi-Agent Systems, Gordon and Breach Science Publishers, pp. 193-217 (ISBN 9056991779)
- Scheda ARCA: 10278/32292
1999 Articolo in Atti di convegno Martin Grosse-Rhode; Francesco Parisi Presicce; Marta Simeoni Refinements and Modules for Typed Graph Transformation Systems , Recent Trends in Algebraic Development Techniques 13th International Workshop, WADT’98, Springer, vol. 1589, pp. 138-151, Convegno: WADT'98, April 1998 (ISBN 3540662464) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/33072
1998 Articolo in Atti di convegno Martin Grosse--Rhode; Francesco Parisi--Presicce; Marta Simeoni Spatial and Temporal Refinement of Graph Transformation Systems , MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, Springer, vol. 1450, pp. 553-561, Convegno: 23rd International Symposium, MFCS'98, August 24-28, 1998 (ISBN 3540648275) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/32907