( en | de | ru )

 

Disambiguation of "Ribeiro, Leila"

Author of the publication

copydeleteadd this publication to your clipboard
A Translation from Object-Based Hypergraph Grammars into pi-Calculus.

, and . WMF, volume 95 of Electronic Notes in Theoretical Computer Science, page 245-267. Elsevier, (2003)

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

Use Case Evolution Analysis based on Graph Transformation with Negative Application Conditions., , , , , and . CoRR, (2019)Towards Object-Oriented Graphs and Grammars, and . (2003)Verifying Object-based Graph Grammars., , , and . Softw. Syst. Model., 5 (3): 289-311 (2006)Use case evolution analysis based on graph transformation with negative application conditions., , , , , and . Sci. Comput. Program., (2020)Stochastic Object-Based Graph Grammars., , and . SBMF, volume 184 of Electronic Notes in Theoretical Computer Science, page 151-170. Elsevier, (2005)Formal Verification of Graph Grammars using Mathematical Induction., and . SBMF, volume 240 of Electronic Notes in Theoretical Computer Science, page 43-60. Elsevier, (2008)Module Integration Using Graph Grammars (MIGRATE)., and . SBMF, volume 13130 of Lecture Notes in Computer Science, page 87-103. Springer, (2021)NFκB pathway analysis: An approach to analyze gene co-expression networks employing feedback cycles., , , , and . Comput. Biol. Chem., (2018)On the essence and initiality of conflicts in M-adhesive transformation systems., , and . J. Log. Algebraic Methods Program., (2019)Specification of Real-Time Systems with Graph Grammars., , and . SBES, page 97-112. SBC, (2006)