SIMEONI, Marta

SIMEONI, Marta  

Dipartimento di Scienze Ambientali, Informatica e Statistica  

Mostra records
Risultati 1 - 20 di 38 (tempo di esecuzione: 0.0 secondi).
Titolo Data di pubblicazione Autori Tipo File Abstract
A graphical approach to relational reasoning 1-gen-2003 SIMEONI, Marta + 2.1 Articolo su rivista -
A Petri net modeling approach to explore the temporal dynamics of the provision of multiple ecosystem services 1-gen-2019 Rova, SilviaSimeoni, MartaPranovi, Fabio + 2.1 Articolo su rivista -
A Sense of Life: Computational and Experimental Investigations with Models of Biochemical and Evolutionary Processes 1-gen-2003 SIMEONI, Marta + 2.1 Articolo su rivista -
An Abstract Module Concept for Graph Transformation Systems 1-gen-2002 SIMEONI, Marta 2.1 Articolo su rivista -
An AGG Application Supporting Visual Reasoning 1-gen-2001 SIMEONI, Marta + 2.1 Articolo su rivista -
Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis 1-gen-2002 BALSAMO, Maria SimonettaSIMEONI, Marta + 4.1 Articolo in Atti di convegno -
Comparing Metabolic Pathways through Potential Fluxes: a Selective Opening Approach 1-gen-2013 COCCO, NicolettaSIMEONI, Marta + 4.1 Articolo in Atti di convegno -
Comparing Metabolic Pathways through Reactions and Potential Fluxes 1-gen-2013 COCCO, NicolettaGIUMMOLE', FedericaSIMEONI, Marta + 3.1 Articolo su libro -
Comparison of Metabolic Pathways by Considering Potential Fluxes 1-gen-2012 BALDAN, PaoloCOCCO, NicolettaSIMEONI, Marta 4.1 Articolo in Atti di convegno -
Computational pipeline to probe NaV1.7 gain-of-function variants in neuropathic painful syndromes 1-gen-2020 Toffano, Alberto A.Chiarot, GiacomoGiacometti, AchilleSimeoni, Marta + 2.1 Articolo su rivista -
Cooperating Graph Grammar Systems 1-gen-1999 SIMEONI, Marta + 3.1 Articolo su libro -
Deriving Performance Models from Software Architecture Specifications 1-gen-2001 BALSAMO, Maria SimonettaSIMEONI, Marta 4.1 Articolo in Atti di convegno -
Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems 1-gen-2002 SIMEONI, Marta + 2.1 Articolo su rivista -
From Formulae to Rewriting Systems 1-gen-2000 SIMEONI, Marta + 4.1 Articolo in Atti di convegno -
From multiple aspect trajectories to predictive analysis: a case study on fishing vessels in the Northern Adriatic sea 1-gen-2022 Raffaetà A.Simeoni M.Pranovi F.Rovinelli G.Russo E.Silvestri C.Matwin S. + 2.1 Articolo su rivista -
Integrating performance modeling in the software development process 1-gen-2004 BALSAMO, Maria SimonettaSIMEONI, Marta 4.1 Articolo in Atti di convegno -
Interactive Rule-based Specification with an Application to Visual Language Definition 1-gen-2002 SIMEONI, Marta + 4.1 Articolo in Atti di convegno -
MetNet: A two-level approach to reconstructing and comparing metabolic networks 1-gen-2021 Cocco, NicolettaSimeoni, Marta + 2.1 Articolo su rivista -
Model-based performance prediction in software development: a survey 1-gen-2004 BALSAMO, Maria SimonettaSIMEONI, Marta + 2.1 Articolo su rivista -
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing 1-gen-2003 SIMEONI, Marta + 4.1 Articolo in Atti di convegno -