Paulo E. S. Barbosa

Universidade Estadual da Paraíba · PB · 1 publicações em 2025–2025

Petri Nets in System ModelingFormal Methods in VerificationModel-Driven Software Engineering TechniquesSafety Systems Engineering in AutonomyLogic, programming, and type systems

Principais coautores no Nordeste tamanho = publicações em comum

ALISSON CLAY RIOS DA SILVA Eliezer Silva G.L.B. Silva Haline Tereza Costa Islla Raquel Medeiros da Silva João Victor Frota Rebouças K.M.P.P.D. Mendonca Larissa Domingos Nóbrega Thayla Amorim Santino T.H.S. Penha

Publicações recentes

2025 1

Development and Definition of Functionalities for a Mobile Health Platform for Asthma Control: Evaluation, Support, and Monitoring
Profissões da saúde · American Journal of Respiratory and Critical Care Medicine

Contagens só com publicações em revistas com Qualis (filtro na tela inicial). Dados obtidos de fontes abertas: OpenAlex (CC0), ROR (CC0), CAPES Dados Abertos (CC-BY), INEP e IBGE. Encontrou um erro sobre você? Saiba mais. Criado por Gabriel Pina.