SIMEONI, Marta
SIMEONI, Marta
Dipartimento di Scienze Ambientali, Informatica e Statistica
3D Molecules Visualization with XRmol: An AR Web Tool for Mobile Devices
2023-01-01 Corazza, Sara; Pittarello, Fabio; Simeoni, Marta
A graphical approach to relational reasoning
2003-01-01 Formisano, A; Omodeo, E. G.; Simeoni, Marta
A Petri net modeling approach to explore the temporal dynamics of the provision of multiple ecosystem services
2019-01-01 Rova, Silvia; Meire, Patrick; Müller, Felix; Simeoni, Marta; Pranovi, Fabio
A Sense of Life: Computational and Experimental Investigations with Models of Biochemical and Evolutionary Processes
2003-01-01 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; Simeoni, Marta; 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
An Abstract Module Concept for Graph Transformation Systems
2002-01-01 Simeoni, Marta
An AGG Application Supporting Visual Reasoning
2001-01-01 Formisano, A; Simeoni, Marta
Analysing the Expressiveness of Metabolic Networks Representations
2024-01-01 García, Irene; Chouaia, Bessem; Llabrés, Mercè; Palmer-Rodríguez, Pere; Simeoni, Marta
Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis
2002-01-01 Balsamo, Maria Simonetta; M., Bernardo; Simeoni, Marta
Comparing Metabolic Pathways through Potential Fluxes: a Selective Opening Approach
2013-01-01 P., Baldan; M., Bocci; Cocco, Nicoletta; Simeoni, Marta
Comparing Metabolic Pathways through Reactions and Potential Fluxes
2013-01-01 P., Baldan; Cocco, Nicoletta; Giummole', Federica; Simeoni, Marta
Comparison of Metabolic Pathways by Considering Potential Fluxes
2012-01-01 Baldan, Paolo; Cocco, Nicoletta; Simeoni, Marta
Computational pipeline to probe NaV1.7 gain-of-function variants in neuropathic painful syndromes
2020-01-01 Toffano, Alberto A.; Chiarot, Giacomo; Zamuner, Stefano; Marchi, Margherita; Salvi, Erika; Waxman, Stephen G.; Faber, Catharina G.; Lauria, Giuseppe; Giacometti, Achille; Simeoni, Marta
Cooperating Graph Grammar Systems
1999-01-01 Simeoni, Marta; Maria, Staniszkis
Deriving Performance Models from Software Architecture Specifications
2001-01-01 Balsamo, Maria Simonetta; Simeoni, Marta
Exploring the expressiveness of abstract metabolic networks
2023-01-01 Garcia, I.; Chouaia, B.; Llabres, M.; Simeoni, M.
Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems
2002-01-01 GROSSE RHODE, M; PARISI PRESICCE, F; Simeoni, Marta
From Formulae to Rewriting Systems
2000-01-01 Paolo, Bottoni; Francesco Parisi, Presicce; Simeoni, Marta
From multiple aspect trajectories to predictive analysis: a case study on fishing vessels in the Northern Adriatic sea
2022-01-01 Brandoli, B.; Raffaetà, A.; Simeoni, M.; Adibi, P.; Bappee, F. K.; Pranovi, F.; Rovinelli, G.; Russo, E.; Silvestri, C.; Soares, A.; Matwin, S.
Integrating performance modeling in the software development process
2004-01-01 Balsamo, Maria Simonetta; Simeoni, Marta
Interactive Rule-based Specification with an Application to Visual Language Definition
2002-01-01 GROSSE RHODE, M; Bardohl, R; Simeoni, Marta