Leila Ribeiro
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
1992–2023
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SIGCSE | The Brazilian School Computing Standard. | Leila Ribeiro, Luciana Foss, Simone Andr da Costa Cavalheiro, Marcia Elena Jochims Kniphoff da Cruz, Rozelma Soares de Frana |
| 2015 | SAC | From UML diagrams to simulink models: a precise and verified translation. | Andrei Costa, Simone Andr da Costa Cavalheiro, Luciana Foss, Leila Ribeiro |
| 2014 | FASE | Transformation of Attributed Structures with Cloning. | Dominique Duval, Rachid Echahed, Frdric Prost, Leila Ribeiro |
| 2009 | ICFEM | Modal Systems: Specification, Refinement and Realisation. | Fernando Lus Dotti, Alexei Iliasov, Leila Ribeiro, Alexander B. Romanovsky |
| 2009 | ICSR | Model Transformation Using Graph Transactions. | Leila Ribeiro, Luciana Foss, Bruno Carreiro da Silva, Daltro Jos Nunes |
| 2000 | PDPTA | Code Mobility in Open Systems: A Formal Approach. | Fernando Lus Dotti, Leila Ribeiro |
| 1992 | COMPASS | Algebraic High-Level Nets: Petri Nets Revisited. | Hartmut Ehrig, Julia Padberg, Leila Ribeiro |