Adolfo Neto

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 5

Top Topics

Software Design

Small To Medium Sized

Software Development

Top Venues

Publications

Lee Barney, Adolfo Neto
Unsafe Impedance: Safe Languages and Safe by Design Software. Erlang (2024)
Lee Barney, Adolfo Neto
Unsafe Impedance: Safe Languages and Safe by Design Software. CoRR (2024)
Manuella Silva, Adolfo Neto, Carlos Cabada, Karina Bland, Jonas Davanço, João M. Teixeira
Metaverse and cultural preservation: an alternative through NFTs of social sustainability in Brazil. SVR (2023)
Juan Carlos Barata, Diego Lisboa, Laudelino Cordeiro Bastos, Adolfo Neto
Agile requirements engineering practices: a survey in Brazilian software development companies. CoRR (2022)
Juan Carlos Barata, Diego Lisboa, Laudelino Cordeiro Bastos, Adolfo Neto
Agile Requirements Engineering Practices: A Survey in Brazilian Software Development Companies. WBMA (2021)
Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger
Towards an efficient prover for the C1 paraconsistent logic CoRR (2012)
Adolfo Neto, Celso A. A. Kaestner, Marcelo Finger
Paraconsistent Logic. LSFA (2009)