5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.PL2024
Unsafe Impedance: Safe Languages and Safe by Design Software
Lee Barney, Adolfo Neto
In December 2023, security agencies from five countries in North America, Europe, and the south Pacific produced a document encouraging senior executives in all software producing…
cs.LO2012★ 5 cited
Towards an efficient prover for the C1 paraconsistent logic
Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger
The KE inference system is a tableau method developed by Marco Mondadori which was presented as an improvement, in the computational efficiency sense, over Analytic Tableaux. In th…