Marta Simeoni

Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 2013

Comparing metabolic pathways through potential fluxes: a selective opening approach.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Biological Processes & Petri Nets, 2013

2010

Petri nets for modelling metabolic pathways: a survey.

[BibT_eX]

[DOI]

Nat. Comput., 2010

2005

On Relationships Between Stochastic Process Algebras with Æmilia and Queueing Network Models.

[BibT_eX]

[DOI]

Proceedings of the FIRB-Perf Workshop on Techniques, 2005

2004

A categorical approach to modularization of graph transformation systems using refinements.

[BibT_eX]

[DOI]

PhD thesis, 2004

Model-Based Performance Prediction in Software Development: A Survey.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2004

Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

Ordering BAC Clones from Fingerprint Data obtained through Four Enzymes Digestion and Fluorescent Labeling.

[BibT_eX]

Proceedings of the 5th Annual Spanish Bioinformatics Conference, Barcelona, Catalonia, 2004

2003

Performance Evaluation at the Software Architecture Level.

[BibT_eX]

[DOI]

Marco Bernardo

Proceedings of the Formal Methods for Software Architectures, 2003

Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002

Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2002

Combining stochastic process algebras and queueing networks for software architecture analysis.

[BibT_eX]

[DOI]

Marco Bernardo

Proceedings of the Third International Workshop on Software and Performance, 2002

Integrating Performance Modeling in the Software Development Process.

[BibT_eX]

[DOI]

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

2001

An Abstract Module Concept for Graph Transformation Systems.

[BibT_eX]

[DOI]

Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

An AGG Application Supporting Visual Reasoning.

[BibT_eX]

[DOI]

Andrea Formisano

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001

A graphical approach to relational reasoning.

[BibT_eX]

[DOI]

Andrea Formisano

Eugenio G. Omodeo

Proceedings of the First International Workshop on Relational Methods in Software, 2001

Interactive Rule-Based Specification with an Application to Visual Language Definition.

[BibT_eX]

[DOI]

Roswitha Bardohl

Proceedings of the Recent Trends in Algebraic Development Techniques, 2001

1999

Cooperating Graph Grammar Systems.

[BibT_eX]

Maria Staniszkis

Proceedings of the Grammatical Models of Multi-Agent Systems, 1999

Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions.

[BibT_eX]

[DOI]

Gabriele Taentzer

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

On a Uniform Representation of Transformation Systems.

[BibT_eX]

[DOI]

Paolo Bottoni

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1998

Refinements and Modules for Typed Graph Transformation Systems.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Refinements of Graph Transformation Systems via Rule Expressions.

[BibT_eX]

[DOI]

Proceedings of the Theory and Application of Graph Transformations, 1998

From Formulae to Rewriting Systems.

[BibT_eX]

[DOI]

Paolo Bottoni

Proceedings of the Theory and Application of Graph Transformations, 1998

Spatial and Temporal Refinement of Typed Graph Transformation Systems.

[BibT_eX]

[DOI]