Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 42
Titolo Data di pubblicazione Autori Tipo File Abstract
Spatial and Temporal Refinement of Graph Transformation Systems 1-gen-1998 SIMEONI, Marta + 4.1 Articolo in Atti di convegno -
Cooperating Graph Grammar Systems 1-gen-1999 SIMEONI, Marta + 3.1 Articolo su libro -
Refinements and Modules for Typed Graph Transformation Systems 1-gen-1999 SIMEONI, Marta + 4.1 Articolo in Atti di convegno -
From Formulae to Rewriting Systems 1-gen-2000 SIMEONI, Marta + 4.1 Articolo in Atti di convegno -
On a Uniform Representation of Transformation Systems 1-gen-2000 SIMEONI, Marta + 4.1 Articolo in Atti di convegno -
Modeling Distributed Systems by Modular Graph Transformation based on Refinement via Rule Expressions 1-gen-2000 SIMEONI, Marta + 4.1 Articolo in Atti di convegno -
Refinements of Graph Transformation Systems via Rule Expressions 1-gen-2000 SIMEONI, Marta + 4.1 Articolo in Atti di convegno -
An AGG Application Supporting Visual Reasoning 1-gen-2001 SIMEONI, Marta + 2.1 Articolo su rivista -
On Transforming UML models into performance models 1-gen-2001 BALSAMO, Maria SimonettaSIMEONI, Marta 4.1 Articolo in Atti di convegno -
Deriving Performance Models from Software Architecture Specifications 1-gen-2001 BALSAMO, Maria SimonettaSIMEONI, Marta 4.1 Articolo in Atti di convegno -
Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems 1-gen-2002 SIMEONI, Marta + 2.1 Articolo su rivista -
Interactive Rule-based Specification with an Application to Visual Language Definition 1-gen-2002 SIMEONI, Marta + 4.1 Articolo in Atti di convegno -
An Abstract Module Concept for Graph Transformation Systems 1-gen-2002 SIMEONI, Marta 2.1 Articolo su rivista -
Combining Stochastic Process Algebras and Queueing Networks for Software Architecture Analysis 1-gen-2002 BALSAMO, Maria SimonettaSIMEONI, Marta + 4.1 Articolo in Atti di convegno -
A graphical approach to relational reasoning 1-gen-2003 SIMEONI, Marta + 2.1 Articolo su rivista -
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing 1-gen-2003 SIMEONI, Marta + 4.1 Articolo in Atti di convegno -
Performance Evaluation at the Software Architecture Level 1-gen-2003 SIMEONI, MartaBALSAMO, Maria Simonetta + 3.1 Articolo su libro -
A Sense of Life: Computational and Experimental Investigations with Models of Biochemical and Evolutionary Processes 1-gen-2003 SIMEONI, Marta + 2.1 Articolo su rivista -
Ordering BAC Clones from Fingerprint Data obtained through Four Enzymes Digestion and Fluorescent Labeling 1-gen-2004 SIMEONI, Marta + 4.1 Articolo in Atti di convegno -
Integrating performance modeling in the software development process 1-gen-2004 BALSAMO, Maria SimonettaSIMEONI, Marta 4.1 Articolo in Atti di convegno -
Mostrati risultati da 1 a 20 di 42
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile