Marta Simeoni

2005
20	EE	Simonetta Balsamo, Marta Simeoni: On Relationships Between Stochastic Process Algebras with Æmilia and Queueing Network Models. FIRB-Perf 2005: 75-90
2004
19		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. Spanish Bioinformatics Conference 2004: 182-190
18	EE	Simonetta Balsamo, Antinisca Di Marco, Paola Inverardi, Marta Simeoni: Model-Based Performance Prediction in Software Development: A Survey. IEEE Trans. Software Eng. 30(5): 295-310 (2004)
17	EE	Marco Antoniotti, Carla Piazza, Alberto Policriti, Marta Simeoni, Bud Mishra: Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. Theor. Comput. Sci. 325(1): 45-67 (2004)
2003
16	EE	Marco Antoniotti, Bhubaneswar Mishra, Carla Piazza, Alberto Policriti, Marta Simeoni: Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing. CMSB 2003: 57-74
15	EE	Simonetta Balsamo, Marco Bernardo, Marta Simeoni: Performance Evaluation at the Software Architecture Level. SFM 2003: 207-258
2002
14	EE	Simonetta Balsamo, Marta Simeoni: Integrating Performance Modeling in the Software Development Process. RISSEF 2002: 35-49
13	EE	Simonetta Balsamo, Marco Bernardo, Marta Simeoni: Combining stochastic process algebras and queueing networks for software architecture analysis. Workshop on Software and Performance 2002: 190-202
12	EE	Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni: Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems. J. Comput. Syst. Sci. 64(2): 171-218 (2002)
2001
11	EE	Roswitha Bardohl, Martin Große-Rhode, Marta Simeoni: Interactive Rule-Based Specification with an Application to Visual Language Definition. WADT 2001: 1-20
10	EE	Andrea Formisano, Eugenio G. Omodeo, Marta Simeoni: A graphical approach to relational reasoning. Electr. Notes Theor. Comput. Sci. 44(3): (2001)
9	EE	Andrea Formisano, Marta Simeoni: An AGG Application Supporting Visual Reasoning. Electr. Notes Theor. Comput. Sci. 50(3): (2001)
8	EE	Marta Simeoni: An Abstract Module Concept for Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 51: (2001)
1999
7	EE	Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni, Gabriele Taentzer: Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions. AGTIVE 1999: 31-45
6	EE	Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni: On a Uniform Representation of Transformation Systems. AGTIVE 1999: 63-78
5		Marta Simeoni, Maria Staniszkis: Cooperating Graph Grammar Systems. Grammatical Models of Multi-Agent Systems 1999: 193-217
1998
4	EE	Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni: Spatial and Temporal Refinement of Typed Graph Transformation Systems. MFCS 1998: 553-561
3		Paolo Bottoni, Francesco Parisi-Presicce, Marta Simeoni: From Formulae to Rewriting Systems. TAGT 1998: 267-280
2		Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni: Refinements of Graph Transformation Systems via Rule Expressions. TAGT 1998: 368-382
1	EE	Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni: Refinements and Modules for Typed Graph Transformation Systems. WADT 1998: 138-151

Coauthor Index

1	Marco Antoniotti	[16] [17]
2	Simonetta Balsamo	[13] [14] [15] [18] [20]
3	Roswitha Bardohl	[11]
4	Marco Bernardo	[13] [15]
5	Paolo Bottoni	[3] [6]
6	Nicola Cannata	[19]
7	Andrea Formisano	[9] [10]
8	Martin Große-Rhode	[1] [2] [4] [7] [11] [12]
9	Paola Inverardi	[18]
10	Mercè Llabrés	[19]
11	Antinisca Di Marco	[18]
12	Giulio Marcon	[19]
13	Bud Mishra (Bhubaneswar Mishra)	[16] [17]
14	Eugenio G. Omodeo	[10]
15	Francesco Parisi-Presicce	[1] [2] [3] [4] [6] [7] [12]
16	Carla Piazza	[16] [17]
17	Alberto Policriti	[16] [17]
18	Maria Staniszkis	[5]
19	Gabriele Taentzer	[7]
20	Giorgio Valle	[19]

Colors in the list of coauthors