Fernando Luís Dotti

Publications

216

Citations

H-Index

2004

Active since

Affiliations

Pontifícia Universidade Católica do Rio Grande do Sul(Current)

Università della Svizzera italiana

Universidade Federal do Rio Grande do Sul

Universidade de Brasília

Universidade Federal do Rio Grande

Fernando Luís Dotti is an author at Pontifícia Universidade Católica do Rio Grande do Sul specializing in computer science, engineering, and formal verification.

ORCID

Top concepts

EngineeringComputer ScienceFormal VerificationCloud ComputingFault ToleranceCluster ComputingComputer EngineeringParallel ComputingSystems EngineeringParallel Programming

Publications per year

2004–2024

Publications

Reconfiguring Parallel State Machine Replication

Eduardo Alchieri, Fernando Luís Dotti, Odorico Machado Mendizabal et al. · 2017 · 32 citations

Cluster Computing, Engineering, Computer Architecture +16

Efficient and Deterministic Scheduling for Parallel State Machine Replication

Odorico Machado Mendizabal, Ruda S. T. De Moura, Fernando Luís Dotti et al. · 2017 · 22 citations

Cluster Computing, Engineering, Computer Architecture +16

Modelling the impacts of policies on advanced biofuel feedstocks diffusion

Lauro André Ribeiro, Patrícia Pereira da Silva, Leila Ribeiro et al. · Journal of Cleaner Production · 2016 · 20 citations · Full text

Circular Bioeconomy, Economics, Engineering +8

Verifying Object-Based Graph Grammars

Osmar Marchi dos Santos, Fernando Luís Dotti, Leila Ribeiro · Electronic Notes in Theoretical Computer Science · 2004 · 19 citations · Full text

Engineering, Obgg Derivations, Verification +23

Boosting concurrency in Parallel State Machine Replication

Ian Aragon Escobar, Eduardo Alchieri, Fernando Luís Dotti et al. · 2019 · 19 citations

Cluster Computing, Engineering, Distributed Algorithms +17

Rows per page

1–5 of 13