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
Room: office Z.B16 (Zeta B building)
Office European Center for Living Technology (ECLT)
Where: Ca' Bottacin
Research Institute Research Institute for Complexity

Publications by year

2021
  • 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) (Articolo su rivista)
    Link DOI Link al documento: 10278/3736249
  • 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) (Articolo in Atti di convegno)
    URL correlato Link al documento: 10278/3743012
2020
  • 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) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/3731193
  • 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) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3722608
2019
  • 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) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/3710408
2018
  • 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) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/3700974
2015
  • 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) (Articolo in Atti di convegno)
    URL correlato Link al documento: 10278/3659813
2014
  • 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) (Articolo su rivista)
    Link DOIURL correlato Link al documento: 10278/44009
2013
  • 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) (Articolo su libro)
    Link DOIURL correlato Link al documento: 10278/37943
  • 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) (Articolo in Atti di convegno)
    URL correlato Link al documento: 10278/39593
  • 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) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/38121
2012
  • 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) (Articolo in Atti di convegno)
    Link al documento: 10278/36199
2011
  • 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) (Articolo in Atti di convegno)
    URL correlato Link al documento: 10278/23620
2010
  • 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) (Articolo su rivista)
    Link DOI Link al documento: 10278/23014
2005
  • 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) (Articolo su libro)
    Link al documento: 10278/29400
2004
  • 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) (Articolo su rivista)
    Link al documento: 10278/31623
  • 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) (Articolo su rivista)
    Link al documento: 10278/32083
  • 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/28950
  • 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) (Articolo in Atti di convegno)
    Link al documento: 10278/28184
2003
  • 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) (Articolo su rivista)
    Link DOI Link al documento: 10278/35884
  • 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) (Articolo su libro)
    Link DOI Link al documento: 10278/33986
  • 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/33944
2002
  • 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) (Articolo su rivista)
    Link al documento: 10278/13425
  • 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/32518
2001
  • 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) (Articolo su rivista)
    Link al documento: 10278/33969
  • 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) (Articolo su rivista)
    Link al documento: 10278/13424
  • 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) (Articolo su rivista)
    Link al documento: 10278/32312
  • 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) (Articolo in Atti di convegno)
    Link al documento: 10278/35749
  • 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/32313
  • 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 (Articolo in Atti di convegno)
    Link al documento: 10278/5686
2000
  • 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/34390
  • 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/13423
  • 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/32295
  • 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/34583
1999
  • Marta Simeoni; Maria Staniszkis Cooperating Graph Grammar Systems , Grammatical Models of Multi-Agent Systems, Gordon and Breach Science Publishers, pp. 193-217 (ISBN 9056991779) (Articolo su libro)
    Link al documento: 10278/32292
  • 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/33072
1998
  • 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) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/32907