Alexandre Abreu

1. The evolution of Complexity co-occurring keywords: bibliometric analysis and network approach
   2023/08/02 by Tanya Araújo, Alexandre Abreu, Araújo, Tanya +3 · 1 citation
   Biochemistry, Genetics and Molecular Biology · Economics, Econometrics and Finance · Physics and Astronomy · #Bioinformatics and Genomic Networks #Complex Network Analysis Techniques #Computer science #Data science #Digital Libraries (cs.DL) #Economic and Technological Innovation #FOS: Computer and information sciences #Information retrieval #Set (abstract data type) #Social and Information Networks (cs.SI)
2. Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
   2025/06/27 by Carolina Carreira, Carreira, Carolina, Álvaro Silva +5 · 1 voice · 1 citation
   Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #cs.PL #cs.SE