Home > Ateneo > Organizzazione > Dipartimenti > Dipartimento di Scienze Ambientali, Informatica e Statistica > Dipartimento di Scienze Ambientali, Informatica e Statistica > Persone > Ricerca Persone

Ricerca Persone

Cognome/Nome

Telefono/Fax:

Email

SIMEONI Marta

Feed RSS Feed RSS degli avvisi personali

 

Al momento non ci sono avvisi

 

mercoledì  dalle ore 9.00 alle ore 11.00

 



Attività e competenze di ricerca

Settore Scientifico Disciplinare (SSD) di afferenza
Settore Scientifico Disciplinare (SSD) affine

Competenze di ricerca

utilizzo di modelli matematici per descrivere e simulare sistemi biologici

Description
  • using mathematical models to describe and simulate biological systems
Parole Chiave
  • Systems analysis and models development
Codice ATECO
  • [63.9] - altre attività dei servizi d’informazione

Ricerche sviluppate e in corso

Biologia Computazionale

SSD
  • INF/01

Aree geografiche in cui si applica prevalentemente l'esperienza di ricerca

Internazionale: Europa

Lingue conosciute

  • inglese (scritto: avanzato, parlato: intermedio)

Pubblicazioni per Anno

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 , in LECTURE NOTES IN COMPUTER SCIENCE, Heidelberg, Springer Berlin / Heidelberg, vol. 8100, pp. 1-23 (ISBN 9783642404641) (ISSN 0302-9743) Link DOI (Articolo su libro)
  • P. Baldan, M. Bocci, N. Cocco, M. Simeoni Comparing Metabolic Pathways through Potential Fluxes: a Selective Opening Approach, CEUR Workshop Proceedings, vol. 988 , in CEUR WORKSHOP PROCEEDINGS, CEUR-WS, vol. 988, pp. 1-15, Convegno: Biological Processes and Petri nets 2013, Milano, 24/06/ 2013 (ISSN 1613-0073) (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), in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, Elsevier, vol. 299, pp. 5-13, Convegno: 4th International Workshop on Interactions between Computer Science and Biology, Firenze, 06/06/2013 (ISSN 1571-0661) Link DOI (Articolo in Atti di convegno)

2012

  • Paolo Baldan, Nicoletta Cocco, Marta Simeoni Comparison of Metabolic Pathways by Considering Potential Fluxes, Biological Processes & Petri Nets, in CEUR WORKSHOP PROCEEDINGS, CEUR Workshop Proceedings, vol. 852, pp. 2-17, Convegno: 3rd International Workshop BioPPN 2012, Amburg, Germany, June 2012 (ISSN 1613-0073) (Articolo in Atti di convegno)

2011

  • Baldan P, Cocco N., De Nes F., Llabres Segura M., Marin A., Simeoni M. MPath2PN - Translating Metabolic Pathways into Petri Nets, in CEUR WORKSHOP PROCEEDINGS, vol. 724, pp. 102-116 (ISSN 1613-0073) (Articolo su rivista)

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) Link DOI (Articolo su rivista)

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)

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)
  • 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)
  • BALSAMO S; SIMEONI M. Integrating performance modeling in the software development process, RADICAL INNOVATIONS OF SOFTWARE AND SYSTEMS ENGINEERING IN THE FUTURE, in LECTURE NOTES IN COMPUTER SCIENCE, Springer, vol. 2941, pp. 35-49, Convegno: 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002 (ISBN 3540211799) (ISSN 0302-9743) Link DOI (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) (Articolo in Atti di convegno)

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) Link DOI (Articolo su rivista)
  • SIMEONI M.; BALSAMO S.; BERNARDO M. Performance Evaluation at the Software Architecture Level, Formal Methods for Software Architectures, in LECTURE NOTES IN COMPUTER SCIENCE, Springer, vol. 2804, pp. 207-258 (ISBN 3540200835) (ISSN 0302-9743) Link DOI (Articolo su libro)
  • ANTONIOTTI M; MISHRA B; PIAZZA C; POLICRITI A; SIMEONI M. Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing, COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, in LECTURE NOTES IN COMPUTER SCIENCE, Springer, vol. 2602, pp. 57-74, Convegno: First International Workshop, CMSB 2003, Rovereto, Italy, February 24-26, 2003 (ISBN 3540006052) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)

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)
  • 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: Disponibile On line, Fax: (212)944-1318, pp. 190-202, Convegno: WOSP 2002, Rome, Italy, JULY 24-26 (ISBN 1581135637) Link DOI (Articolo in Atti di convegno)

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)
  • 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)
  • 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)
  • BALSAMO S.; M. SIMEONI Deriving Performance Models from Software Architecture Specifications, European Simulation Muticonference ESM 2001, Ghent, Convegno: ESM 2001, 15th European Simulation multiconference 2001, Prague, JUNE 6-9, 2001 (ISBN 1565552253) (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, in LECTURE NOTES IN COMPUTER SCIENCE, Springer, vol. 2267, pp. 1-20, Convegno: 15th International Workshop, WADT2001, Genova, Italy, April 1-3, 2001 (ISBN 3540431594) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)
  • BALSAMO S.; M. SIMEONI On Transforming UML models into performance models, Convegno: WTUML, Workshop on Transformations in UML, ETAPS 2001 Satellite Event, Genova, Italy, APRIL, 7 (Articolo in Atti di convegno)

2000

  • Paolo Bottoni, Francesco Parisi Presicce, Marta Simeoni From Formulae to Rewriting Systems, THEORY AND APPLICATION OF GRAPH TRANSFORMATIONS, in LECTURE NOTES IN COMPUTER SCIENCE, Springer, vol. 1764, pp. 267-280, Convegno: TAGT'98, Paderborn, Germany, November 1998 (ISBN 3540672036) (ISSN 0302-9743) Link DOI (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, in LECTURE NOTES IN COMPUTER SCIENCE, Springer, vol. 1779, pp. 31-45, Convegno: International Workshop, AGTIVE’99, Kerkrade, The Netherlands, September 1-3, 1999 (ISBN 3540676589) (ISSN 0302-9743) Link DOI (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, in LECTURE NOTES IN COMPUTER SCIENCE, Springer, vol. 1779, pp. 63-78, Convegno: International Workshop, AGTIVE’99, Kerkrade, The Netherlands, September 1–3, 1999 (ISBN 3540676589) (ISSN 0302-9743) Link DOI (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, in LECTURE NOTES IN COMPUTER SCIENCE, Springer, vol. 1764, pp. 368-382, Convegno: TAGT'98, Paderborn, Germany, November 1998 (ISBN 3540672036) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)

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)
  • 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, in LECTURE NOTES IN COMPUTER SCIENCE, Springer, vol. 1589, pp. 138-151, Convegno: WADT'98, Lisbon, Portugal, April 1998 (ISBN 3540662464) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)

1998

  • Martin Grosse--Rhode, Francesco Parisi--Presicce, Marta Simeoni Spatial and Temporal Refinement of Graph Transformation Systems, MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, in LECTURE NOTES IN COMPUTER SCIENCE, Springer, vol. 1450, pp. 553-561, Convegno: 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 (ISBN 3540648275) (ISSN 0302-9743) Link DOI (Articolo in Atti di convegno)

© Ca'Foscari 2014