( en | de | ru )

 

Disambiguation of "Ribeiro, Leila"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations.

, , and . SBES, page 1-16. SBC, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Leila Ribeiro

Hugo Ribeiro

Andrea Ribeiro

Leila Siller

Leila Frohn

 

Other publications of authors with the same name

Towards Object-Oriented Graphs and Grammars, and . (2003)Verifying Object-based Graph Grammars., , , and . Softw. Syst. Model., 5 (3): 289-311 (2006)Module Integration Using Graph Grammars (MIGRATE)., and . SBMF, volume 13130 of Lecture Notes in Computer Science, page 87-103. Springer, (2021)Towards a Notion of Transaction in Graph Rewriting., , , , , and . GT-VMT@ETAPS, volume 211 of Electronic Notes in Theoretical Computer Science, page 39-50. Elsevier, (2006)Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations., , and . SBES, page 1-16. SBC, (1993)Specification of Real-Time Systems with Graph Grammars., , and . SBES, page 97-112. SBC, (2006)Especificação de um Programa de Matrículas Utilizando VDM., and . SBES, page 185-200. SBC, (1989)The Brazilian School Computing Standard., , , , and . SIGCSE (1), page 53-58. ACM, (2023)A Graph-based Semantics For Object-oriented Programming Constructs., and . CTCS, volume 122 of Electronic Notes in Theoretical Computer Science, page 89-104. Elsevier, (2004)NFκB pathway analysis: An approach to analyze gene co-expression networks employing feedback cycles., , , , and . Comput. Biol. Chem., (2018)