Adolfo Gustavo Serra Seca Neto

Orcid: 0009-0002-6433-5064

Affiliations:
  • Federal University of Technology, Paraná


According to our database1, Adolfo Gustavo Serra Seca Neto authored at least 16 papers between 2006 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Unsafe Impedance: Safe Languages and Safe by Design Software.
Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, 2024

2023
Despertando o Interesse de Mulheres para os Cursos em STEM.
CoRR, 2023

Metaverse and cultural preservation: an alternative through NFTs of social sustainability in Brazil.
Proceedings of the 25th Symposium on Virtual and Augmented Reality, 2023

2022
Comparing neural network training performance between Elixir and Python.
CoRR, 2022

2021
Agile Requirements Engineering Practices: A Survey in Brazilian Software Development Companies.
Proceedings of the Agile Methods - 11th Brazilian Workshop, 2021

2019
A Survey on Agile Practices and Challenges of a Global Software Development Team.
Proceedings of the Agile Methods - 10th Brazilian Workshop, 2019

Short datathon for the interdisciplinary development of data analysis and visualization skills.
Proceedings of the 12th International Workshop on Cooperative and Human Aspects of Software Engineering, 2019

2018
Supporting to the teaching and learning process in object orientation during the construction of class diagrams.
Proceedings of the XXXII Brazilian Symposium on Software Engineering, 2018

2017
Concerns and Limitations in Agile Software Development: A Survey with Paraguayan Companies.
Proceedings of the Agile Methods - 8th Brazilian Workshop, 2017

A Study on the Perception of Researchers About the Application of Agile Software Development Methods in Research.
Proceedings of the Agile Methods - 8th Brazilian Workshop, 2017

2016
The effects of test driven development on internal quality, external quality and productivity: A systematic review.
Inf. Softw. Technol., 2016

2013
Teaching TDD, the Coding Dojo Style.
Proceedings of the IEEE 13th International Conference on Advanced Learning Technologies, 2013

2012
Towards an efficient prover for the C1 paraconsistent logic
CoRR, 2012

2009
Towards an Efficient Prover for the C<sub>1</sub> Paraconsistent Logic.
Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009

2007
A Multi-Strategy Tableau Prover.
PhD thesis, 2007

2006
Effective Prover for Minimal Inconsistency Logic.
Proceedings of the Artificial Intelligence in Theory and Practice, 2006


  Loading...