Theo dõi
Marta Simeoni
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
10982004
Petri nets for modelling metabolic pathways: a survey
P Baldan, N Cocco, A Marin, M Simeoni
Natural Computing 9, 955-989, 2010
1512010
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
Performance evaluation at the software architecture level
S Balsamo, M Bernardo, M Simeoni
International School on Formal Methods for the Design of Computer …, 2003
432003
On transforming UML models into performance models
S Balsamo, M Simeoni
Workshop on Transformations in the Unified Modeling Language, 2001
432001
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
302002
Refinements of graph transformation systems via rule expressions
M Große-Rhode, F Parisi Presicce, M Simeoni
International Workshop on Theory and Application of Graph Transformations …, 1998
301998
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
221999
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
182019
A categorical approach to modularization of graph transformation systems using refinements.
M Simeoni
Sapienza University of Rome, Italy, 2004
172004
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
152022
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
152014
Comparison of metabolic pathways by considering potential fluxes
P Baldan, N Cocco, M Simeoni
CEUR WORKSHOP PROCEEDINGS 852, 2-17, 2012
152012
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20