Concepedia

Luciana Foss

LF

Statistics

Publications

7

Citations

91

H-Index

7

Active since

2005

Affiliations

Universidade Federal do Rio Grande do Sul(Current)

Universidade Federal de Pelotas

Universidade do Vale do Rio dos Sinos

Luciana Foss is an author at Universidade Federal do Rio Grande do Sul specializing in computer science, computing, and formal methods.

ORCID

Publications per year

2005–2023

7

Publications

7

Formal Verification of Object-Oriented Graph Grammars Specifications

Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro · Electronic Notes in Theoretical Computer Science · 2007 · 17 citations · Full text

, , +14

The Brazilian School Computing Standard

Leila Ribeiro, Luciana Foss, Simone André da Costa Cavalheiro et al. · 2023 · 15 citations

, , +11

Modelling, property verification and behavioural equivalence of lactose operon regulation

Marcelo Cezar Pinto, Luciana Foss, José C. M. Mombach et al. · Computers in Biology and Medicine · 2006 · 14 citations

, , +11

An Environment for the Development of Concurrent Object-Based Applications

Fernando Luís Dotti, Lúcio Mauro Duarte, Luciana Foss et al. · Electronic Notes in Theoretical Computer Science · 2005 · 12 citations · Full text

, , +13

Theorem proving graph grammars with attributes and negative application conditions

Simone André da Costa Cavalheiro, Luciana Foss, Leila Ribeiro · Theoretical Computer Science · 2017 · 11 citations

, , +9

1–5 of 7