Anno | Tipologia | Pubblicazione |
---|---|---|
Anno | Tipologia | Pubblicazione |
|
||
2024 | Articolo su libro |
García, Irene; Chouaia, Bessem; Llabrés, Mercè; Palmer-Rodríguez, Pere; Simeoni, Marta Analysing the Expressiveness of Metabolic Networks Representations , Artificial Life and Evolutionary Computation. 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6–8, 2023, Revised Selected Papers, Springer, vol. 1977, pp. 75-87 (ISBN 9783031574290; 9783031574306) (ISSN 1865-0929) DOI - URL correlato - Scheda ARCA: 10278/5057393 |
2024 | Articolo in Atti di convegno |
Rovinelli G.; Rocchesso D.; Simeoni M.; Raffaeta A. Using semantic trajectories for spatio-temporal characterisation of underwater noise , Proceedings of the Workshops of the EDBT/ICDT 2024 Joint Conference, Themis Palpanas and H. V. Jagadish, vol. 3651, Convegno: Big Mobility Data Analytics (BMDA), 25 Marzo 2024 (ISSN 1613-0073) - Scheda ARCA: 10278/5065481 |
2023 | Articolo su rivista |
Garcia I.; Chouaia B.; Llabres M.; Simeoni M. Exploring the expressiveness of abstract metabolic networks in PLOS ONE, vol. 18, pp. e0281047 (ISSN 1932-6203) DOI - URL correlato - Scheda ARCA: 10278/5015061 |
2023 | Articolo su rivista |
Alvise Spanò, Lorenzo Fanton, Davide Pizzolato, Jacopo Moi, Francesco Vinci, Alberto Pesce, Cedrix J. Dongmo Foumthuim, Achille Giacometti, Marta Simeoni RINmaker: a fast, versatile and reliable tool to determine residue interaction networks in proteins in BMC BIOINFORMATICS, vol. 24 (ISSN 1471-2105) DOI - URL correlato - Scheda ARCA: 10278/5036941 |
2023 | Articolo in Atti di convegno |
Corazza Sara; Pittarello Fabio; Simeoni Marta 3D Molecules Visualization with XRmol: An AR Web Tool for Mobile Devices , Virtual Reality and Mixed Reality - 20th EuroXR International Conference, EuroXR 2023, Rotterdam, The Netherlands, November 29 – December 1, 2023, Proceedings, Springer, vol. 14410 LNCS, pp. 136-149, Convegno: 20th EuroXR International Conference, EuroXR 2023, November 29 – December 1, 2023 (ISBN 978-3-031-48494-0; 978-3-031-48495-7) (ISSN 0302-9743) DOI - URL correlato - Scheda ARCA: 10278/5045620 |
2023 | Articolo in Atti di convegno |
Bianchi, Andrea; Di Marco, Antinisca; Marzi, Francesca; Stilo, Giovanni; Pellegrini, Cristina; Masi, Stefano; Mengozzi, Alessandro; Virdis, Agostino; Nobile, Marco Salvatore; Simeoni, Marta Trustworthy Machine Learning Predictions to Support Clinical Research and Decisions , 2023 IEEE 36th International Symposium on Computer-Based Medical Systems (CBMS), IEEE, pp. 231-234, Convegno: International Symposium on Computer-Based Medical Systems (CBMS) (ISBN 979-8-3503-1224-9) DOI - Scheda ARCA: 10278/5034280 |
2022 | Articolo su rivista |
Brandoli B.; Raffaetà 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. 26, pp. 551-579 (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.; Raffaetà A. Multiple aspect trajectories: A case study on fishing vessels in the northern adriatic sea , 4th International Workshop on Big Mobility Data Analytics (BMDA2021), CEUR-WS, vol. 2841, Convegno: 2021 Workshops of the EDBT/ICDT Joint Conference, EDBT/ICDT-WS 2021, 2021 (ISSN 1613-0073) - 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.; Raffaetà A.; Russo E.; Silvestri C.; Simeoni M.; Soares A.; Matwin S. Predicting Fishing Effort and Catch Using Semantic Trajectories and Machine Learning , First International Workshop on Multiple-Aspect Analysis of Semantic Trajectories, 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) 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 |