Searching for authors named "Leila Ribeiro" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

Coreflective concurrent semantics for single-pushout graph grammars
by Paolo Baldan, Andrea Corradini, Ugo Montanari, Leila Ribeiro — 2003 — Workshop on Algebraic Development Techniques (WADT02), volume 2755 of Lecture Notes in Computer Science
… Corradini2, Ugo Montanari2, Leila Ribeiro3 1 Dipartimento di Informatica, Universit`a Ca' Foscari di…
Cited by 2 (0 self) – Add To MetaCart

Specifying a Graph Grammar Editor for Reactive Systems
by Roswitha Bardohl, Leila Ribeiro Korff — 1998 — In Proceedings I. Workshop Brasileiro de Metodos Formais
… of Berlin Leila Ribeiro Korff Universidade Federal do Rio Grande do Sul Abstract This paper discusses…
Cited by 1 (1 self) – Add To MetaCart

Translating java code to graph transformation systems
by Andrea Corradini, O Luís Dotti, Luciana Foss, Leila Ribeiro — 2004 — In Proc. of ICGT ’04, LNCS 3256
… , Luciana Foss 3 , and Leila Ribeiro 3 1 Dipartimento di Informatica, Università di Pisa, Pisa, Italy…
Cited by 5 (0 self) – Add To MetaCart

GRAPHIT - Graphical Support and Integration of Formal and Semi-Formal Methods for Software Speci cation and Development
by Hartmut Ehrig, Rosi Bardohl, Heribert Schlebbe, Technische Universitat Berlin, Dr. Hartmut Ehrig, Members Rosi Bardohl, Coord Heribert Schlebbe, Members Stefan Schimpf, Coord Bernhard Bardohl, Coord Prof, Coord Prof, Dr. Daltro, Prof Dr, Leila Ribeiro, Dr. Paulo, Blauth Menezes, Msc Carla Lima, Eduardo Pretz, Members Prof, Members Prof, Msc Michael — 1999
….: Prof. Dr. Daltro Jose Nunes Prof. Dr. Leila Ribeiro Members: Prof. Dr. Paulo Blauth Menezes Dr. Alo…
Add To MetaCart

G R A P H I T II Graphical Support and Integration of Formal and Semi{Formal Methods for Software Speci cation and Development 1 Partners
by Germany Technische Universit, Technische Universitat Berlin, Dr. Hartmut Ehrig, Dr. Roswitha Bardohl, Members Dr. Gabriele Taentzer, Dipl. -inf Claudia Ermel, Coord Heribert Schlebbe, Members Stefan Schimpf, Coord Bernhard Bardohl, Coord Prof, Coord Prof, Dr. Daltro, Prof Dr, Leila Ribeiro, Members Prof, Dr. Paulo, Blauth Menezes, Msc Carla Lima, Eduardo Pretz
… Coord.: Prof. Dr. Daltro Jose Nunes Prof. Dr. Leila Ribeiro Members: Prof. Dr. Paulo Blauth Menezes Dr…
Add To MetaCart

Showing 1 through 5.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB