Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Adolfo Gustavo Serra Seca Neto
@inproceedings{DBLP:conf/svr/SilvaNCBDT23,
author = {Manuella Silva and
Adolfo Neto and
Carlos Cabada and
Karina Bland and
Jonas Davan{\c{c}}o and
Jo{\~{a}}o M. Teixeira},
title = {Metaverse and cultural preservation: an alternative through NFTs of
social sustainability in Brazil},
booktitle = {Proceedings of the 25th Symposium on Virtual and Augmented Reality,
{SVR} 2023, Rio Grande, Brazil, November 6-9, 2023},
pages = {131--140},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3625008.3625028},
doi = {10.1145/3625008.3625028},
timestamp = {Sat, 20 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/svr/SilvaNCBDT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbqs/2023,
editor = {Edna Dias Canedo and
Daniel de Paula Porto and
F{\'{a}}bio L{\'{u}}cio Lopes Mendon{\c{c}}a and
Rafael Tim{\'{o}}teo de Sousa J{\'{u}}nior and
Monalessa Perini Barcellos and
Ismayle de Sousa Santos and
Sheila S. Reinehr and
S{\'{e}}rgio Soares and
Uir{\'{a}} Kulesza and
{\'{E}}rica Ferreira de Souza and
Adriano Albuquerque and
Carla I. M. Bezerra and
Rodrigo Pereira dos Santos and
Alessandro F. Garcia and
Simone Dornelas Costa and
Adolfo Gustavo Serra Seca Neto},
title = {Proceedings of the {XXII} Brazilian Symposium on Software Quality,
{SBQS} 2023, Brasilia, Brazil, November 7-10, 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3629479},
doi = {10.1145/3629479},
timestamp = {Fri, 08 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbqs/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-12956,
author = {Juan Carlos Barata and
Diego Lisboa and
Laudelino Cordeiro Bastos and
Adolfo Neto},
title = {Agile requirements engineering practices: a survey in Brazilian software
development companies},
journal = {CoRR},
volume = {abs/2202.12956},
year = {2022},
url = {https://arxiv.org/abs/2202.12956},
eprinttype = {arXiv},
eprint = {2202.12956},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-12956.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-13945,
author = {Lucas C. Tavano and
Lucas K. Amin and
Adolfo Gustavo Serra Seca Neto},
title = {Comparing neural network training performance between Elixir and Python},
journal = {CoRR},
volume = {abs/2210.13945},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.13945},
doi = {10.48550/ARXIV.2210.13945},
eprinttype = {arXiv},
eprint = {2210.13945},
timestamp = {Mon, 31 Oct 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-13945.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wbma/BarataLBN21,
author = {Juan Carlos Barata and
Diego Lisboa and
Laudelino Cordeiro Bastos and
Adolfo Neto},
editor = {Carla Rocha and
C{\'{e}}lio A. Santana and
Fernando Rodrigues de Sa and
Tiago Silva da Silva},
title = {Agile Requirements Engineering Practices: {A} Survey in Brazilian
Software Development Companies},
booktitle = {Agile Methods - 11th Brazilian Workshop, {WBMA} 2021, Virtual Event,
October 8-10, 2021, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1642},
pages = {110--119},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-25648-6\_9},
doi = {10.1007/978-3-031-25648-6\_9},
timestamp = {Wed, 08 Mar 2023 13:50:57 +0100},
biburl = {https://dblp.org/rec/conf/wbma/BarataLBN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SalinasEN19,
author = {Myrian Noguera Salinas and
Maria Cl{\'{a}}udia Figueiredo Pereira Emer and
Adolfo Gustavo Serra Seca Neto},
editor = {Yvonne Dittrich and
Fabian Fagerholm and
Rashina Hoda and
David Socha and
Igor Steinmacher},
title = {Short datathon for the interdisciplinary development of data analysis
and visualization skills},
booktitle = {Proceedings of the 12th International Workshop on Cooperative and
Human Aspects of Software Engineering, CHASE@ICSE 2019, Montr{\'{e}}al,
QC, Canada, 27 May 2019},
pages = {95--98},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/CHASE.2019.00031},
doi = {10.1109/CHASE.2019.00031},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/SalinasEN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wbma/LautertNK19,
author = {Tatiane Lautert and
Adolfo Gustavo Serra Seca Neto and
N{\'{a}}dia P. Kozievitch},
editor = {Paulo Meirelles and
Maria Augusta V. Nelson and
Carla Rocha},
title = {A Survey on Agile Practices and Challenges of a Global Software Development
Team},
booktitle = {Agile Methods - 10th Brazilian Workshop, {WBMA} 2019, Belo Horizonte,
Brazil, September 11, 2019, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {1106},
pages = {128--143},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-36701-5\_11},
doi = {10.1007/978-3-030-36701-5\_11},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wbma/LautertNK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-07539,
author = {Myrian Noguera Salinas and
Maria Cl{\'{a}}udia Figueiredo Pereira Emer and
Adolfo Gustavo Serra Seca Neto},
title = {Short Datathon for the Interdisciplinary Development of Data Analysis
and Visualization Skills},
journal = {CoRR},
volume = {abs/1903.07539},
year = {2019},
url = {http://arxiv.org/abs/1903.07539},
eprinttype = {arXiv},
eprint = {1903.07539},
timestamp = {Mon, 01 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-07539.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-09074,
author = {Tatiane Lautert and
Adolfo Gustavo Serra Seca Neto and
N{\'{a}}dia P. Kozievitch},
title = {A survey on agile practices and challenges of a global software development
team},
journal = {CoRR},
volume = {abs/1910.09074},
year = {2019},
url = {http://arxiv.org/abs/1910.09074},
eprinttype = {arXiv},
eprint = {1910.09074},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-09074.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/FelisbinoNB18,
author = {Cl{\'{a}}udio Marcio Felisbino and
Adolfo Gustavo Serra Seca Neto and
Laudelino Cordeiro Bastos},
editor = {Uir{\'{a}} Kulesza},
title = {Supporting to the teaching and learning process in object orientation
during the construction of class diagrams},
booktitle = {Proceedings of the {XXXII} Brazilian Symposium on Software Engineering,
{SBES} 2018, Sao Carlos, Brazil, September 17-21, 2018},
pages = {338--347},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3266237.3266258},
doi = {10.1145/3266237.3266258},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbes/FelisbinoNB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wbma/2017,
editor = {Viviane Almeida dos Santos and
Gustavo Henrique Lima Pinto and
Adolfo Gustavo Serra Seca Neto},
title = {Agile Methods - 8th Brazilian Workshop, {WBMA} 2017, Bel{\'{e}}m,
Brazil, September 13-14, 2017, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {802},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73673-0},
doi = {10.1007/978-3-319-73673-0},
isbn = {978-3-319-73672-3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wbma/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wbma/SalinasNE17,
author = {Myrian R. Noguera Salinas and
Adolfo G. Serra Seca Neto and
Maria Cl{\'{a}}udia Figueiredo Pereira Emer},
editor = {Viviane Almeida dos Santos and
Gustavo Henrique Lima Pinto and
Adolfo Gustavo Serra Seca Neto},
title = {Concerns and Limitations in Agile Software Development: {A} Survey
with Paraguayan Companies},
booktitle = {Agile Methods - 8th Brazilian Workshop, {WBMA} 2017, Bel{\'{e}}m,
Brazil, September 13-14, 2017, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {802},
pages = {77--87},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-73673-0\_6},
doi = {10.1007/978-3-319-73673-0\_6},
timestamp = {Mon, 15 Jun 2020 17:05:03 +0200},
biburl = {https://dblp.org/rec/conf/wbma/SalinasNE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wbma/AquinoNL17,
author = {Nelson Marcelo Romero Aquino and
Adolfo Gustavo Serra Seca Neto and
Heitor Silv{\'{e}}rio Lopes},
editor = {Viviane Almeida dos Santos and
Gustavo Henrique Lima Pinto and
Adolfo Gustavo Serra Seca Neto},
title = {A Study on the Perception of Researchers About the Application of
Agile Software Development Methods in Research},
booktitle = {Agile Methods - 8th Brazilian Workshop, {WBMA} 2017, Bel{\'{e}}m,
Brazil, September 13-14, 2017, Revised Selected Papers},
series = {Communications in Computer and Information Science},
volume = {802},
pages = {137--145},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-73673-0\_11},
doi = {10.1007/978-3-319-73673-0\_11},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wbma/AquinoNL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-01151,
author = {Myrian Noguera Salinas and
Adolfo Gustavo Serra Seca Neto and
Maria Cl{\'{a}}udia Figueiredo Pereira Emer},
title = {Concerns and Limitations in Agile Software Development: {A} Survey
with Paraguayan Companies},
journal = {CoRR},
volume = {abs/1710.01151},
year = {2017},
url = {http://arxiv.org/abs/1710.01151},
eprinttype = {arXiv},
eprint = {1710.01151},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-01151.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-01967,
author = {Nelson Marcelo Romero Aquino and
Adolfo Gustavo Serra Seca Neto and
Heitor Silv{\'{e}}rio Lopes},
title = {A Study on the Perception of Researchers about the Application of
Agile Software Development Methods in Research},
journal = {CoRR},
volume = {abs/1712.01967},
year = {2017},
url = {http://arxiv.org/abs/1712.01967},
eprinttype = {arXiv},
eprint = {1712.01967},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-01967.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/BissiNE16,
author = {Wilson Bissi and
Adolfo Gustavo Serra Seca Neto and
Maria Cl{\'{a}}udia Figueiredo Pereira Emer},
title = {The effects of test driven development on internal quality, external
quality and productivity: {A} systematic review},
journal = {Inf. Softw. Technol.},
volume = {74},
pages = {45--54},
year = {2016},
url = {https://doi.org/10.1016/j.infsof.2016.02.004},
doi = {10.1016/J.INFSOF.2016.02.004},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/infsof/BissiNE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalt/LuzNN13,
author = {Ramiro Batista da Luz and
Adolfo Gustavo Serra Seca Neto and
Robinson Vida Noronha},
title = {Teaching TDD, the Coding Dojo Style},
booktitle = {{IEEE} 13th International Conference on Advanced Learning Technologies,
{ICALT} 2013, Beijing, China, July 15-18, 2013},
pages = {371--375},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICALT.2013.114},
doi = {10.1109/ICALT.2013.114},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalt/LuzNN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-4144,
author = {Adolfo Neto and
Celso A. A. Kaestner and
Marcelo Finger},
title = {Towards an efficient prover for the {C1} paraconsistent logic},
journal = {CoRR},
volume = {abs/1202.4144},
year = {2012},
url = {http://arxiv.org/abs/1202.4144},
eprinttype = {arXiv},
eprint = {1202.4144},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-4144.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NetoKF09,
author = {Adolfo Neto and
Celso A. A. Kaestner and
Marcelo Finger},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Fairouz Kamareddine},
title = {Towards an Efficient Prover for the C\({}_{\mbox{1}}\) Paraconsistent
Logic},
booktitle = {Proceedings of the Fourth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2009, Bras{\'{\i}}lia, Brazil, August
28, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {256},
pages = {87--102},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.007},
doi = {10.1016/J.ENTCS.2009.11.007},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NetoKF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ndltd/Neto07a,
author = {Adolfo Gustavo Serra Seca Neto},
title = {A Multi-Strategy Tableau Prover},
school = {University of S{\~{a}}o Paulo, Brazil},
year = {2007},
url = {http://search.ndltd.org/show.php?id=oai:union.ndltd.org:IBICT/oai:agregador.ibict.br.BDTD\_USP:oai:teses.usp.br:tde-04052007-175943},
timestamp = {Fri, 04 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ndltd/Neto07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/NetoF06,
author = {Adolfo Gustavo Serra Seca Neto and
Marcelo Finger},
editor = {Max Bramer},
title = {Effective Prover for Minimal Inconsistency Logic},
booktitle = {Artificial Intelligence in Theory and Practice, {IFIP} 19th World
Computer Congress, {TC} 12: {IFIP} {AI} 2006 Stream, August 21-24,
2006, Santiago, Chile},
series = {{IFIP}},
volume = {217},
pages = {465--474},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-0-387-34747-9\_48},
doi = {10.1007/978-0-387-34747-9\_48},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/NetoF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
