|
Search the dblp DataBase
Marta Simeoni:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni
On a Uniform Representation of Transformation Systems. [Citation Graph (0, 0)][DBLP] AGTIVE, 1999, pp:63-78 [Conf]
- Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni, Gabriele Taentzer
Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions. [Citation Graph (0, 0)][DBLP] AGTIVE, 1999, pp:31-45 [Conf]
- Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. [Citation Graph (0, 0)][DBLP] CMSB, 2003, pp:57-74 [Conf]
- Simonetta Balsamo, Marta Simeoni
On Relationships Between Stochastic Process Algebras with Æmilia and Queueing Network Models. [Citation Graph (0, 0)][DBLP] FIRB-Perf, 2005, pp:75-90 [Conf]
- Marta Simeoni, Maria Staniszkis
Cooperating Graph Grammar Systems. [Citation Graph (0, 0)][DBLP] Grammatical Models of Multi-Agent Systems, 1999, pp:193-217 [Conf]
- Giulio Marcon, Nicola Cannata, Mercè Llabrés, Marta Simeoni, Giorgio Valle
Ordering BAC Clones from Fingerprint Data obtained through Four Enzymes Digestion and Fluorescent Labeling. [Citation Graph (0, 0)][DBLP] Spanish Bioinformatics Conference, 2004, pp:182-190 [Conf]
- Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
Spatial and Temporal Refinement of Typed Graph Transformation Systems. [Citation Graph (0, 0)][DBLP] MFCS, 1998, pp:553-561 [Conf]
- Simonetta Balsamo, Marta Simeoni
Integrating Performance Modeling in the Software Development Process. [Citation Graph (0, 0)][DBLP] RISSEF, 2002, pp:35-49 [Conf]
- Simonetta Balsamo, Marco Bernardo, Marta Simeoni
Performance Evaluation at the Software Architecture Level. [Citation Graph (0, 0)][DBLP] SFM, 2003, pp:207-258 [Conf]
- Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni
From Formulae to Rewriting Systems. [Citation Graph (0, 0)][DBLP] TAGT, 1998, pp:267-280 [Conf]
- Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
Refinements of Graph Transformation Systems via Rule Expressions. [Citation Graph (0, 0)][DBLP] TAGT, 1998, pp:368-382 [Conf]
- Roswitha Bardohl, Martin Große-Rhode, Marta Simeoni
Interactive Rule-Based Specification with an Application to Visual Language Definition. [Citation Graph (0, 0)][DBLP] WADT, 2001, pp:1-20 [Conf]
- Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
Refinements and Modules for Typed Graph Transformation Systems. [Citation Graph (0, 0)][DBLP] WADT, 1998, pp:138-151 [Conf]
- Simonetta Balsamo, Marco Bernardo, Marta Simeoni
Combining stochastic process algebras and queueing networks for software architecture analysis. [Citation Graph (0, 0)][DBLP] Workshop on Software and Performance, 2002, pp:190-202 [Conf]
- Andrea Formisano, Eugenio G. Omodeo, Marta Simeoni
A graphical approach to relational reasoning. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:44, n:3, pp:- [Journal]
- Andrea Formisano, Marta Simeoni
An AGG Application Supporting Visual Reasoning. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:50, n:3, pp:- [Journal]
- Marta Simeoni
An Abstract Module Concept for Graph Transformation Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal]
- Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni
Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 2002, v:64, n:2, pp:171-218 [Journal]
- Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2004, v:325, n:1, pp:45-67 [Journal]
- Simonetta Balsamo, Antinisca Di Marco, Paola Inverardi, Marta Simeoni
Model-Based Performance Prediction in Software Development: A Survey. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 2004, v:30, n:5, pp:295-310 [Journal]
Search in 0.006secs, Finished in 0.307secs
|