Skip to content

Adolfo Neto

  • Assistant Professor
  • Federal University of Technology - Paraná
  • 1h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 2CitationsNumber of citations received by Adolfo's publications. Updated daily.

Other IDs

Research interests

Theorem proving using tableau methods Agile methods

About

Adolfo Neto is currently an assistant professor at the Informatics Department of the Federal University of Technology - Paraná (UTFPR), Brazil. He was formerly with the Federal Center for Technological Education of São Paulo, Brazil, from 2007 to 2008, and with the State University of Santa Catarina, Brazil, in 2008. He received a D.Sc. degree in Computer Science from University of São Paulo, Brazil, in 2007. He received his M.Sc. degree in Computer Science from Federal University of Pernambuco, Brazil, in 1996, and his B.Sc. degree in Computer Science from Federal University of Alagoas, Brazil, in 1993. He has served as a member of technical committee and reviewer for some conferences and journals. He is a member of the Brazilian Computer Society (SBC). His research interests include automated theorem proving, logic for computer science and agile software development.

Co-authors (2)

Explore network
Explore network

Publications

The effects of test driven development on internal quality, external quality and productivity: A systematic review

  • Bissi W
  • Serra Seca Neto A
  • Emer M
Information and Software Technology (2016)
  • n/a

    Readers

  • 2

    Citations

Full text

Towards an Efficient Prover for the C1 Paraconsistent Logic

  • Neto A
  • Kaestner C
  • Finger M
Electronic Notes in Theoretical Computer Science (2009)
  • n/a

    Readers

  • n/a

    Citations

Full text

Effective Prover for Minimal Inconsistency Logic

  • Neto A
  • Finger M
Artificial Intelligence in Theory and Practice (2006)
  • n/a

    Readers

  • n/a

    Citations

Full text

Professional experience

Assistant Professor

Federal University of Technology - Paraná

July 2008 - Present

Education history

Ph.D.

Universidade de Sao Paulo

March 2003 - January 2007(4 years)

M.Sc.

Federal University of Pernambuco

March 1994 - December 1997(4 years)

Computer Science B.Sc.

UFAL

March 1990 - January 1994(4 years)