logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
D

Daniele Nantes-Sobrinho

universidade de brasilia

6H-index
48Paper Count
104Citation Count
Published Papers 6
Publication Date
logo
errSECURITY AND TRUST MANAGEMENT, STM 2025
IF0
err2026-01-01
err0
PREAI
errBertolissi, Clara; Fernandez, Maribel
errShare
errSave
errACM Transactions on Computational Logic
IF0
err2026-01-01
err0
PREAI
errNantes-Sobrinho, Daniele; Fernandez, Maribel; Vale, Deivid; Ayala-Rincon, Mauricio
errShare
errSave
errLOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2025
IF0
err2026-01-01
err0
PREAI
errFernandez, Maribel; Nantes-Sobrinho, Daniele; Santaguida, Daniella
errShare
errSave
errINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
err2026-01-01
err0
PREAI
errBaumgartner, Alexander; Kutsia, Temur; Nantes-Sobrinho, Daniele; Schmidt-Schauss, Manfred
errShare
errSave
errJournal of Logical and Algebraic Methods in Programming
IF1.2
err2025-11-01
err0
PREAI
errBaumgartner, Alexander; Nantes-Sobrinho, Daniele
errShare
errSave
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errLoow, Andreas; Park, Seung Hoon; Nantes-Sobrinho, Daniele; Ayoun, Sacha-Elie; Sjostedt, Opale; Gardner, Philippa
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
P
Philippa Gardner
H-index: 27 · Papers: 127
M
Maribel Fernández
H-index: 23 · Papers: 279
M
Manfred Schmidt-Schauß
H-index: 22 · Papers: 131
A
Alexander Baumgärtner
H-index: 19 · Papers: 190
M
Maurício Ayala-Rincón
H-index: 16 · Papers: 179
View more