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

Sérgio Marcelino

Universidade de Lisboa

9H-index
48Paper Count
200Citation Count
Published Papers 6
Publication Date
logo
errAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
err2026-01-01
err0
errOAAI
errGreati, Vitor; Marcelino, Sergio; Perez, Miguel Munoz; Rivieccio, Umberto
errShare
errSave
errSOFTWARE ENGINEERING AND FORMAL METHODS. SEFM 2024 COLLOCATED WORKSHOPS
IF0
err2026-01-01
err0
PREAI
errMarcelino, Sergio
errShare
errSave
errStudia Logica
IF0.6
err2025-11-01
err0
PREAI
errCaleiro, Carlos; Filipe, Pedro; Marcelino, Sergio
errShare
errSave
errSOFT COMPUTING
IF2.5
err2022-02-25
err3
errOAAI
errMarcelino, Sergio; Rivieccio, Umberto
errShare
errSave
errSOFT COMPUTING
IF2.5
err2018-10-29
err5
errOAAI
errCaleiro, Carlos; Marcelino, Sergio; Marcos, Joao
errShare
errSave
errFUZZY SETS AND SYSTEMS
IF2.7
err2018-08-01
err13
PREAI
errCaleiro, Carlos; Marcelino, Sergio; Rivieccio, Umberto
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
C
Carlos Caleiro
H-index: 18 · Papers: 110
U
Umberto Rivieccio
H-index: 17 · Papers: 80
J
João Marcos
H-index: 16 · Papers: 98
V
Vitor Greati
H-index: 5 · Papers: 30
P
Pedro Filipe
H-index: 2 · Papers: 6
View more