Federico Flaviani

According to our database, Federico Flaviani authored at least 7 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of four.

2025

CalcLogic: Functional Implementation of an Interactive Proof Assistant for Dijkstra-Scholten Calculational Logic.

Federico Flaviani, Leonardo López, Ronald Becerra, Jorge Baralt-Torrijos

Proceedings of the LI Latin American Computer Conference, 2025

Interactive Theorem Assistant for Learning Calculational Logic in the style of "A Logical Approach to Discrete Math".

Federico Flaviani, Soraya Carrasquel, David Coronado

Proceedings of the LI Latin American Computer Conference, 2025

2023

Education-oriented Proof Assistant Based on Calculational Logic: Proof Theory Algorithms and Assessment Experience.

Federico Flaviani, Walter Carballosa

CLEI Electron. J., September, 2023

2022

Proof Assistant Based on Calculational Logic to Assist the Learning of Propositional Logic and Boolean Algebras.

Federico Flaviani, Walter Carballosa

Proceedings of the XLVIII Latin American Computer Conference, 2022

2020

Criteria for Bracket Abstractions Design.

Federico Flaviani, Elias Tahhan-Bittar

Proceedings of the XLV Latin American Computer Conference - Selected Papers, 2020

2018

Inference of the Definition of the Predicate Transformer wp with Occurrences of the Predicate Domain Based on Denotational Semantics of GCL on ZF Set Theory.

Federico Flaviani

Proceedings of the XLIV Latin American Computer Conference, 2018

2017

Calculation of Invariants Assertions.

Federico Flaviani

Proceedings of the XLIII Latin American Computer Conference - Selected Papers, 2017