E-LIB Suche - Ergebnisse für: Ribeiro, Leila

1

On Formal Methods Thinking in Computer Science Education:

Dongol, Brijesh ; Dubois, Catherine ; Hallerstede, Stefan...
Formal Aspects of Computing. , 2024

Link: https://doi.org/10.1145/..

2

The Brazilian School Computing Standard:

, In: Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1,

Ribeiro, Leila ; Foss, Luciana ; Cavalheiro, Simone André Da Costa.. - p. 53-58 , 2023

Link: https://dl.acm.org/doi/1..

3

Potential Factors for Retention and Intent to Drop-out in B..:

Duran, Rodrigo ; Bim, Silvia Amélia ; Gimenes, Itana..
ACM Transactions on Computing Education. , 2023

Link: https://doi.org/10.1145/..

4

Module Integration Using Graph Grammars (MIGRATE):

, In: Lecture Notes in Computer Science; Formal Methods: Foundations and Applications,

Cravo, Diogo Raphael ; Ribeiro, Leila - p. 87-103 , 2021

Link: https://doi.org/10.1007/..

5

Algebraic graph rewriting with controlled embedding:

Corradini, Andrea ; Duval, Dominique ; Echahed, Rachid..
Theoretical Computer Science. 802 (2020) - p. 19-37 , 2020

Link: https://doi.org/10.1016/..

6

Use case evolution analysis based on graph transformation w..:

Ribeiro, Leila ; Duarte, Lucio Mauro ; Machado, Rodrigo...
Science of Computer Programming. 198 (2020) - p. 102495 , 2020

Link: https://doi.org/10.1016/..

7

On the essence and initiality of conflicts in M-adhesive tr..:

Grochau Azzi, Guilherme ; Corradini, Andrea ; Ribeiro, Leila
Journal of Logical and Algebraic Methods in Programming. 109 (2019) - p. 100482 , 2019

Link: https://doi.org/10.1016/..

8

The PBPO graph transformation approach:

Corradini, Andrea ; Duval, Dominique ; Echahed, Rachid..
Journal of Logical and Algebraic Methods in Programming. 103 (2019) - p. 213-231 , 2019

Link: https://doi.org/10.1016/..

9

Pensamento Computacional:

Ferreira, Carlos Eduardo ; Ribeiro, Leila ; Cavalheiro, Simone André Costa
Computação Brasil. , 2019

Link: https://doi.org/10.5753/..

10

NF κ B pathway analysis: An approach to analyze gene co-exp..:

Dillenburg, Fabiane Cristine ; Zanotto-Filho, Alfeu ; Fonseca Moreira, José Cláudio..
Computational Biology and Chemistry. 72 (2018) - p. 62-76 , 2018

Link: https://doi.org/10.1016/..

11

Modelling the impacts of policies on advanced biofuel feeds..:

Ribeiro, Lauro André ; Pereira da Silva, Patrícia ; Ribeiro, Leila.
Journal of Cleaner Production. 142 (2017) - p. 2471-2479 , 2017

Link: https://doi.org/10.1016/..

12

Challenges and opportunities to integrate UAS in the nation..:

, In: 2017 Integrated Communications, Navigation and Surveillance Conference (ICNS),

Ribeiro, Leila ; Giles, Stephen ; Katkin, Rafe.. - p. 1-18 , 2017

Link: https://doi.org/10.1109/..

13

Using formal methods for content validation of medical proc..:

Cota, Érika ; Ribeiro, Leila ; Bezerra, Jonas Santos...
International Journal of Medical Informatics. 104 (2017) - p. 10-25 , 2017

Link: https://doi.org/10.1016/..

14

Theorem proving graph grammars with attributes and negative..:

Cavalheiro, Simone André da Costa ; Foss, Luciana ; Ribeiro, Leila
Theoretical Computer Science. 686 (2017) - p. 25-77 , 2017

Link: https://doi.org/10.1016/..

15

Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, Novembe... Lecture Notes in Computer Science ; 10090;Programming and Software Engineering ; 10090;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Ribeiro, Leila ; Lecomte, Thierry , 2016

Link: https://doi.org/10.1007/..