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 typology

Articolo su rivista
  • Cocco, Nicoletta; Llabrés, Mercè; Reyes-Prieto, Mariana; Simeoni, Marta (2021), MetNet: A two-level approach to reconstructing and comparing metabolic networks in PLOS ONE, vol. 16, pp. e0246962 (ISSN 1932-6203)
    Link DOI Link al documento: 10278/3736249
  • Toffano, Alberto A.; Chiarot, Giacomo; Zamuner, Stefano; Marchi, Margherita; Salvi, Erika; Waxman, Stephen G.; Faber, Catharina G.; Lauria, Giuseppe; Giacometti, Achille; Simeoni, Marta (2020), Computational pipeline to probe NaV1.7 gain-of-function variants in neuropathic painful syndromes in SCIENTIFIC REPORTS, vol. 10 (ISSN 2045-2322)
    Link DOIURL correlato Link al documento: 10278/3731193
  • Rova S.; Meire P.; Muller F.; Simeoni M.; Pranovi F. (2019), 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)
    Link DOIURL correlato Link al documento: 10278/3710408
  • Baldan Paolo, Bocci Martina, Brigolin Daniele, Cocco Nicoletta, Monika Heiner, Marta Simeoni (2018), Petri Nets for Modelling and Analysing Trophic Networks in FUNDAMENTA INFORMATICAE, vol. 160, pp. 27-52 (ISSN 0169-2968)
    Link DOIURL correlato Link al documento: 10278/3700974
  • Ricardo Alberich; Mercè Llabrés; David Sánchez; Marta Simeoni; Marc Tuduri (2014), MP-Align: Alignment of Metabolic Pathways in BMC SYSTEMS BIOLOGY, vol. 8, pp. 1-16 (ISSN 1752-0509)
    Link DOIURL correlato Link al documento: 10278/44009
  • Baldan P. ; Cocco N. ; Marin A. ; Simeoni M. (2010), Petri nets for modelling metabolic pathways: a survey in NATURAL COMPUTING, vol. 9 (4), pp. 955-989 (ISSN 1567-7818)
    Link DOI Link al documento: 10278/23014
  • BALSAMO S.; A. DI MARCO; P.INVERARDI; M. SIMEONI (2004), 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)
    Link al documento: 10278/31623
  • ANTONIOTTI M; PIAZZA C; POLICRITI A; SIMEONI M.; MISHRA B (2004), 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)
    Link al documento: 10278/32083
  • 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 (2003), 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)
    Link DOI Link al documento: 10278/35884
  • GROSSE-RHODE M; PARISI PRESICCE F; SIMEONI M. (2002), Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems in JOURNAL OF COMPUTER AND SYSTEM SCIENCES (ISSN 0022-0000)
    Link al documento: 10278/13425
  • FORMISANO A; OMODEO E. G; SIMEONI M. (2001), A graphical approach to relational reasoning in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 44, pp. 153-174 (ISSN 1571-0661)
    Link al documento: 10278/33969
  • FORMISANO A; SIMEONI M. (2001), An AGG Application Supporting Visual Reasoning in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 50, pp. 302-309 (ISSN 1571-0661)
    Link al documento: 10278/13424
  • SIMEONI M. (2001), An Abstract Module Concept for Graph Transformation Systems in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, vol. 51, pp. 290-303 (ISSN 1571-0661)
    Link al documento: 10278/32312
Articolo su libro
  • P. Baldan; N. Cocco; F. Giummole'; M. Simeoni (2013), 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)
    Link DOIURL correlato Link al documento: 10278/37943
  • BALSAMO S.; SIMEONI M (2005), 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)
    Link al documento: 10278/29400
  • SIMEONI M.; BALSAMO S.; BERNARDO M. (2003), Performance Evaluation at the Software Architecture Level , Formal Methods for Software Architectures, Springer, vol. 2804, pp. 207-258 (ISBN 3540200835) (ISSN 0302-9743)
    Link DOI Link al documento: 10278/33986
  • Marta Simeoni; Maria Staniszkis (1999), Cooperating Graph Grammar Systems , Grammatical Models of Multi-Agent Systems, Gordon and Breach Science Publishers, pp. 193-217 (ISBN 9056991779)
    Link al documento: 10278/32292
Articolo in Atti di convegno
  • Rovinelli G.; Matwin S.; Pranovi F.; Russo E.; Silvestri C.; Simeoni M.; Raffaeta A. (2021), 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)
    URL correlato Link al documento: 10278/3743012
  • Adibi P.; Pranovi F.; Raffaeta A.; Russo E.; Silvestri C.; Simeoni M.; Soares A.; Matwin S. (2020), 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)
    Link DOIURL correlato Link al documento: 10278/3722608
  • Baldan, Paolo; Bocci, Martina; Brigolin, Daniele; Cocco, Nicoletta; Simeoni, Marta (2015), 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 Link al documento: 10278/3659813
  • P. Baldan; M. Bocci; N. Cocco; M. Simeoni (2013), 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 Link al documento: 10278/39593
  • P. Baldan; N. Cocco; M. Simeoni (2013), 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)
    Link DOIURL correlato Link al documento: 10278/38121
  • Paolo Baldan; Nicoletta Cocco; Marta Simeoni (2012), 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)
    Link al documento: 10278/36199
  • Baldan P; Cocco N.; De Nes F.; Llabres Segura M.; Marin A.; Simeoni M. (2011), 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 Link al documento: 10278/23620
  • BALSAMO S; SIMEONI M. (2004), 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)
    Link DOI Link al documento: 10278/28950
  • MARCON G; CANNATA N; LLABRES M; SIMEONI M.; VALLE G (2004), 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)
    Link al documento: 10278/28184
  • ANTONIOTTI M; MISHRA B; PIAZZA C; POLICRITI A; SIMEONI M. (2003), 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)
    Link DOI Link al documento: 10278/33944
  • BALSAMO S.; M. BERNARDO; M. SIMEONI (2002), 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)
    Link DOI Link al documento: 10278/32518
  • BALSAMO S.; M. SIMEONI (2001), 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)
    Link al documento: 10278/35749
  • GROSSE-RHODE M; BARDOHL R; SIMEONI M. (2001), 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)
    Link DOI Link al documento: 10278/32313
  • BALSAMO S.; M. SIMEONI (2001), 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
    Link al documento: 10278/5686
  • Paolo Bottoni; Francesco Parisi Presicce; Marta Simeoni (2000), 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)
    Link DOI Link al documento: 10278/34390
  • GROSSE-RHODE M; PARISI PRESICCE F; SIMEONI M.; TAENTZER G (2000), 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)
    Link DOI Link al documento: 10278/13423
  • BOTTONI P; PARISI PRESICCE F; SIMEONI M. (2000), 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)
    Link DOI Link al documento: 10278/32295
  • Martin Grosse-Rhode; Francesco Parisi Presicce; Marta Simeoni (2000), 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)
    Link DOI Link al documento: 10278/34583
  • Martin Grosse-Rhode; Francesco Parisi Presicce; Marta Simeoni (1999), 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)
    Link DOI Link al documento: 10278/33072
  • Martin Grosse--Rhode; Francesco Parisi--Presicce; Marta Simeoni (1998), 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)
    Link DOI Link al documento: 10278/32907