I agree that this site is using cookies. You can find further informations here.
X
Foss, Luciana
59  results:
Search for persons X
?
1

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..
 
?
2

Formal Specification in Basic Education: What Does It Take?:

, In: 2023 IEEE Frontiers in Education Conference (FIE),
da Silva Junior, Braz Araujo ; da Costa Cavalheiro, Simone Andre ; Foss, Luciana. - p. 1-9 , 2023
Link: https://doi.org/10.1109/..
 
?
3

Fuzzy correlational analysis for dynamic consolidation of v..:

Bertei, Alex ; Foss, Luciana ; Bedregal, Benjamín.
Engineering Applications of Artificial Intelligence.  126 (2023)  - p. 107167 , 2023
Link: https://doi.org/10.1016/..
 
?
4

Exploring Opacity Software Transactional Memory in Haskell ..:

, In: Proceedings of the XXVI Brazilian Symposium on Programming Languages,
Cardoso, Diogo J. ; Foss, Luciana ; Du Bois, Andre R. - p. 15-23 , 2022
Link: https://dl.acm.org/doi/1..
 
?
5

Jogo de RPG para o Desenvolvimento de Habilidades do Pensam..:

Gonçalves, Bruno Cabreira ; Soares, João Eduardo Seffrin ; Oliveira, Placida...
Revista Brasileira de Informática na Educação.  30 (2022)  - p. 262-291 , 2022
Link: https://doi.org/10.5753/..
 
?
6

Correlation Analysis Via Intuitionistic Fuzzy Modal and Agg..:

, In: Studies in Computational Intelligence; Computational Intelligence,
Bertei, Alex ; Reiser, Renata H. S. ; Foss, Luciana - p. 163-190 , 2021
Link: https://doi.org/10.1007/..
 
?
7

A Graph Transformation System formalism for correctness of ..:

, In: Proceedings of the 25th Brazilian Symposium on Programming Languages,
Cardoso, Diogo ; Foss, Luciana ; Du Bois, Andre - p. 49-57 , 2021
Link: https://dl.acm.org/doi/1..
 
?
8

A Graph Transformation System formalism for Software Transa..:

, In: Proceedings of the XXIII Brazilian Symposium on Programming Languages,
Cardoso, Diogo J. ; Foss, Luciana ; Bois, Andre R. Du - p. 3-10 , 2019
Link: https://dl.acm.org/doi/1..
 
?
9

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/..
 
?
10

Robustness of f- and g-generated Fuzzy (Co)Implications: Th..:

Reiser, Renata ; Zanotelli, Rosana ; Costa, Simone..
Electronic Notes in Theoretical Computer Science.  324 (2016)  - p. 151-164 , 2016
Link: https://doi.org/10.1016/..
 
?
11

Translating Controlled Graph Grammars to Ordinary Graph Gra..:

Bertei, Alex ; Foss, Luciana ; da Costa Cavalheiro, Simone A.
Electronic Notes in Theoretical Computer Science.  324 (2016)  - p. 15-30 , 2016
Link: https://doi.org/10.1016/..
 
?
12

From UML diagrams to simulink models : a precise and ver..:

, In: Proceedings of the 30th Annual ACM Symposium on Applied Computing,
Costa, Andrei ; Cavalheiro, Simone ; Foss, Luciana. - p. 1547-1552 , 2015
Link: https://dl.acm.org/doi/1..
 
?
13

Proof Tactics for Theorem ProvingGraphGrammars through Rodi:

Lemor Jr., Luiz Carlos ; Cavalheiro, Simone André da Costa ; Foss, Luciana
Revista de Informática Teórica e Aplicada.  22 (2015)  1 - p. 190 , 2015
Link: https://doi.org/10.22456..
 
?
14

A Graph Grammar to Transform a Dataflow Graph into a Multit..:

Camargo, Cícero Augusto de S. ; Cavalheiro, Simone André da Costa ; Foss, Luciana.
Revista de Informática Teórica e Aplicada.  20 (2013)  1 - p. 140 , 2013
Link: https://doi.org/10.22456..
 
?
15

Aproximating static list schedules in dynamic multithreaded..:

Camargo, Cícero A. S. ; Cavalheiro, Gerson G. H. ; Pilla, Maurício L...
Cluster Computing.  , 2013
Link: https://doi.org/10.1007/..
 
1-15