Segui
Marta Simeoni
Titolo
Citata da
Citata da
Anno
Model-based performance prediction in software development: A survey
S Balsamo, A Di Marco, P Inverardi, M Simeoni
IEEE Transactions on Software Engineering 30 (5), 295-310, 2004
11022004
Petri nets for modelling metabolic pathways: a survey
P Baldan, N Cocco, A Marin, M Simeoni
Natural Computing 9, 955-989, 2010
1492010
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice
M Antoniotti, C Piazza, A Policriti, M Simeoni, B Mishra
Theoretical Computer Science 325 (1), 45-67, 2004
522004
Combining stochastic process algebras and queueing networks for software architecture analysis
S Balsamo, M Bernardo, M Simeoni
Proceedings of the 3rd International Workshop on Software and Performance …, 2002
512002
On transforming UML models into performance models
S Balsamo, M Simeoni
Workshop on Transformations in the Unified Modeling Language, 2001
452001
Performance evaluation at the software architecture level
S Balsamo, M Bernardo, M Simeoni
International School on Formal Methods for the Design of Computer …, 2003
412003
Deriving performance models from software architecture specifications
S Balsamo, M Simeoni
European Simulation Multiconference 2001, 2001
412001
Spatial and temporal refinement of typed graph transformation systems
M Große-Rhode, F Parisi-Presicce, M Simeoni
Mathematical Foundations of Computer Science 1998: 23rd International …, 1998
391998
Modeling cellular behavior with hybrid automata: Bisimulation and collapsing
M Antoniotti, B Mishra, C Piazza, A Policriti, M Simeoni
Computational Methods in Systems Biology: First International Workshop, CMSB …, 2003
372003
Predicting fishing effort and catch using semantic trajectories and machine learning
P Adibi, F Pranovi, A Raffaetà, E Russo, C Silvestri, M Simeoni, A Soares, ...
International Workshop on Multiple-Aspect Analysis of Semantic Trajectories …, 2019
332019
Formal software specification with refinements and modules of typed graph transformation systems
M Große-Rhode, FP Presicce, M Simeoni
Journal of Computer and System Sciences 64 (2), 171-218, 2002
322002
Software performance: state of the art and perspectives
S Balsamo, A Di Marco, P Inverardi, M Simeoni
Tech. Rep. MIUR SAHARA Project TR SAH/04, 2002
312002
Refinements of graph transformation systems via rule expressions
M Große-Rhode, F Parisi Presicce, M Simeoni
Theory and Application of Graph Transformations: 6th International Workshop …, 2000
292000
Refinements and modules for typed graph transformation systems
M Groβe-Rhode, FP Presicce, M Simeoni
Recent Trends in Algebraic Development Techniques: 13th International …, 1999
211999
Cooperating graph grammar systems
M Simeoni, M Staniszkis
Grammatical models of multi-agent systems, 193-217, 1999
201999
A Petri net modeling approach to explore the temporal dynamics of the provision of multiple ecosystem services
S Rova, P Meire, F Müller, M Simeoni, F Pranovi
Science of the total environment 655, 1047-1061, 2019
192019
From multiple aspect trajectories to predictive analysis: a case study on fishing vessels in the Northern Adriatic sea
B Brandoli, A Raffaetà, M Simeoni, P Adibi, FK Bappee, F Pranovi, ...
GeoInformatica 26 (4), 551-579, 2022
182022
A categorical approach to modularization of graph transformation systems using refinements.
M Simeoni
Sapienza University of Rome, Italy, 2004
172004
A graphical approach to relational reasoning
A Formisano, EG Omodeo, M Simeoni
Electronic Notes in Theoretical Computer Science 44 (3), 153-174, 2003
152003
MP-Align: alignment of metabolic pathways
R Alberich, M Llabrés, D Sánchez, M Simeoni, M Tuduri
BMC Systems Biology 8, 1-16, 2014
142014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20