UFMG
Somos UFMG
Última atualização do sistema: 25.05.2026
HOME
INDICADORES
CONTATO
SOBRE
Professor
Exibir Gráficos
Sergio Vale Aguiar Campos
http://lattes.cnpq.br/6438645213502821
Última atualização do Lattes: 18.02.2026
Unidade:
Instituto de Ciências Exatas
Departamento:
ICX-Departamento de Ciência da Computação
Nomes de citação:
CAMPOS, S. V. A. / Campos, Sérgio V.A. / Campos, Sérgio / CAMPOS, SÉRGIO VALE AGUIAR / CAMPOS, SERGIO V. A. / CAMPOS, SERGIO / CAMPOS, S. / CAMPOS, SÉRGIO V. A.
Gráfico de Produção Bibliográfica
Gráfico de Orientações Concluídas
Produção Bibliográfica
Artigos Aceitos para Publicação
(1, 0% com DOI)
+
Artigos Publicados
(38, 58% com DOI)
+
Demais Tipos de Produção
(10, 30% com DOI)
+
Textos em Jornais ou Revistas
(2, 0% com DOI)
+
Trabalho em Eventos
(97, 4% com DOI)
+
Orientações Concluídas
Mestrado:
24
Doutorado:
14
Pos-Doutorado:
3
Outras:
1
Propriedade Intelectual
Produto Tecnológico
(5)
+
Ano
2013
Título
NanoTrack - Sistema de Gerenciamento de Dados de Nanoestruturas com Plugins Inteligentes
Ano
2012
Título
FluxTransgenics: Um Sistema para Gerenciamento de Produção de Plantas Transgênicas
Ano
2012
Título
NMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica
Ano
2012
Título
FluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose
Ano
2005
Título
Metasys, Software para Inclusão Digital
Software
(12)
+
Ano
2020
Título
FluxDAF : Gerenciamento de dados de ensaios de toxicidade de nanomateriais com Daphnia magna
Ano
2019
Título
Workflow de Boas Práticas de Laboratório: BPL Equipamentos
Ano
2019
Título
Workflow de Boas Práticas de Laboratório: BPL Equipes e Responsabilidades
Ano
2018
Título
BPL++, Um Sistema de Apoio à Adesão às Boas Práticas de Laboratório
Ano
2015
Título
FluxCTTX: A LIMS-based tool for management and analysis of cytotoxicity assays data
Ano
2011
Título
NMO-DBr The Neuromielitis Optica Brazilian Database
Ano
2010
Título
SIGLa - Sistema Integrado de Gerência de Laboratórios
Ano
2009
Título
Prodis - Proteomics Data Integrated System
Ano
2006
Título
BNDb - Biomolecules Network Database
Ano
2005
Título
Neosyst - Sistema de Gerência de Negócios para Pequena Empresa
Ano
2002
Título
Metasys
Ano
1997
Título
O Sistema de Verificação de Modelos Simbólico (Symbolic Model Checker) Verus
7 Especialidades
Por ordem de relevância
Nome da especialidade
(número de vezes que aparece no Lattes)
Software Básico
(19)
+
maiores informações sobre esta especialidade
Matemática Simbólica
(6)
+
maiores informações sobre esta especialidade
Linguagens de Programação
(5)
+
maiores informações sobre esta especialidade
Armazenamento e Análise de Dados Biológicos
(4)
+
maiores informações sobre esta especialidade
Linguagem Formais e Autômatos
(3)
+
maiores informações sobre esta especialidade
Lógicas e Semântica de Programas
(1)
+
maiores informações sobre esta especialidade
Modelos Analíticos e de Simulação
(1)
+
maiores informações sobre esta especialidade
Coautores
Total: 265
Professor da UFMG (9)
Externo Identificado no Lattes (38)
Não identificado (218)
Alessandra C FariaCampos
EDMUND CLARKE
Jussara Marques de Almeida Goncalves
Mark Alan Song
MARIUS MINEA
Alex Borges
Adriano César Machado Pereira
Fernando A. F. Braz
Gloria Regina Franco
Marcus Vinicius Rocha
José Miguel Ortega
Alex Borges Vieira
NETO, HABIB ASSEISS
RIBEIRO, DANIELA C.S.Z.
José Mauro Granjeiro
FONSECA, LEORGES M.
Gustavo Gorgulho
WILFREDO MARRERO
Herbert Rausch-Fernandes
Bruno Ferreira
Gomes, Pedro
Berthier Ribeiro Neto
I Cunha
FARIA-CAMPOS, ALESSANDRA
Wagner Meira Junior
Aurea Folgueras Flatschart
V Hartonas Garmhausen
eliseu miguel
Paulo Batista
Ítalo Cunha
Marcelo Maia
João Oliveira
Jader S. Cruz
Guilherme Oliveira
João A Torres
Hanke, Lucas A.
Rodrigo Richard Gomes
omar vilela neto
Vinícius Abreu
Batista, Paulo Henrique
TAVARES, WANESSA L.F.
Adriano Pimenta
F Prosdocimi
Lana-Peixoto, Marco A.
Ana Luiza Zuquim
Antônio O Fernandes
Handressa Feu
Marcos P Oliveira
BARACAT-PEREIRA, MARIA CRISTINA
Vinicius Garcia
Autran Macêdo
Celina do Val
Alexandre Simões
Ruiter Caldas
L Zarate
Paulo Neuenschwander Maciel
ALMEIDA, JUSSARA
E BravoNeto
Faria-Campos, Alessandra C.
Fernanda Lima
Daniela A S Santos
Josh Pollock
Daniela V C Barbosa
Geoffrey Litt
HIROMI HIRAISHI
Soonho Kong
Jeff Chow
M Teixeira
Nikos Arechiga
L Souza
Annie Bryan
Cristiano Mata Machado
Uriel Guajardo
Ana Luiza Diniz
LIMA, JULIANA S.
J S Lima
Luciano Bertini
X Zhao
Ênio Pietra
M Khaira
Antônio Loureiro
PEREIRA, PAULO ROBERTO GOMES
K McMillan
Wagner Meira Junior
andrea Carneiro
Roberto Noda
Fernando Carvalho
José Marcos Nogueira
Osvaldo Carvalho
Peter Thorun
Daiane Mariele DeLaat
andre s f silva
Ana Paula Couto da Silva
Kênia Carolina Gonçalves
Daniel Jackson
Barreto R. S.
Fernanda Moratelli
David Deharbe
Juliana Lima
Carolina Cota
Newton Vieira
Rafael Barra de Almeida
Umberto Costa
Marcos A Goncalves
Hugo Barros
Copty Fady
Karen Yorav
Orna Grumberg
SENRA, RENATO LIMA
Rodrigo Keller
C P Costa
F Giunchiglia
Paulo Mendonça
A Cimatti
Joshua Pollock
O Grumberg
Anna G Bryan
Dorgival Olavo Guedes Neto
Ivan Moura Campos
Marcos Vinicius Almeida
Alberto R Beckler
Cristina Murta
Márcia Fortini
de Oliveira, Demian Bueno
GONÇALVES MALTAROLLO, VINÍCIUS
Monica Leite
Dias, Adriana Abalen Martins
Araujo, Carolina R.
Sergey Berezin
Annabelle McIver
Talim, Natália
Tony Sahama
Rocha, Cristiane F.
J Caram
Daniel Grunwell
M Ribeiro
L F Paiva
Talim, Lívia Edwiges
Elizabeth Alfaro-Espinoza
Kleinpaul, Rodrigo
José M Mata
Gabriel Fernandes
João Vinícius Nóia
SERAFIM, MATEUS SÁ MAGALHÃES
PINHEIRO DE OLIVEIRA, ANTONIO CARLOS
SONG, M.
RODRIGUES, ANTONIO MARCIO
Vitor Santos
Mirlaine Aparecida Crepalde
ALMEIDA, ANTONIO-CARLOS GUIMARAES
Daniel Conrado
RIESCO, DANIEL EDGARDO
COELHO, FERNANDO C.
SILVA, CRISTIANO M.
MIGUEL, ELISEU C.
VILALLONGA, GABRIEL DOMINGO
A Kuehkmann
Celia da Consolação Dias
Germano Leite
OLIVEIRA, DANIEL A.
Alexandre Alphonsos
DE ASSIS, DÉBORA C.S.
RODRIGUES, ANTÔNIO M.
Gustavo Carnivali
RIBEIRO, KELISON T.
George Jamil
DE ALMEIDA, ANTÔNIO-CARLOS G.
lucas cordeiro
VILALLONGA, GABRIEL D.
NEVES, J.
GUIMARÃES, JOSÉ DOMINGOS
ROCHA, MARCUS
OKANO, DENISE SILVA
Rosa Leão
Antonio Carlos Oliveira
DOS SANTOS, THAÍS FERREIRA
Edmundo Souza e Silva
PRATES, MAURA VIANNA
MARTINS, LEONARDO FRANCO
Artur Vaz
MAGALHÃES, MARCOS JORGE
Arthur Américo
DEMAGALHÃES-JR, MARCOS JORGE
Gianlucca Zuin
F D Cunha
FONTES, PATRÍCIA PEREIRA
Luciene Balottin
Luiz Henrique Sardinha
ALMEIDA-SOUZA, HEBRÉIA OLIVEIRA
Laura Antuna
Cristiano Silva
Murilo Calado
BARBOSA, MEIRE DE OLIVEIRA
Giovanni Gomes
Bruno Morgan
DASILVA, ELÓI QUINTAS GONÇALVES
Demian Oliveira
Cristiano Botelho
RAUSCH FERNANDES, HERBERT
FERNANDES, THAÍS HELENA MACIEL
CUNHA, ÍTALO F. S.
Kerstin Eder
GAMES, PATRÍCIA DIAS
Mantini, Rodrigo
Beatriz Carvalho
Dejanira Araiza-Illan
Breno Rates
Lilian Santos
Nacif, José
eduardo ferreira
Maira Rodrigues
VItor Buxbaum Orlandi
Gabriel Teixeira
Vinícius Alves
Maurício Mudado
rodrigo viana
t k c andrade
CARPINI MERMEJO, SOFIA
F C Peixoto
Wesley Dias Maciel
BARBOSA DE SOUZA, ANA BEATRIZ
GOMES, GIOVANNI FREITAS
a m m costa
Sérgio Danilo Pena
MENDES, PAMELA
Maria Elena de Lima
Carlos Carvalho
ALMEIDA MOURA, GUSTAVO
Luis Enrique Zárate Gálvez
Medeiros, Giselle Marina Diniz
RIBEIRO, PAULO HENRIQUE OTONI
Jose Carlos Serufo
Darren Natale
Rezende, Carolina Andrade
ALVES DOS REIS, RAPHAEL
Mario S. Alvim
Adriano Barbosa Silva
Rocha, Jerônimo Nunes
RIBEIRO, YASMIM CARLA M.
KELLER, KELLY M.
Daniel R Silveira
Coelho Jr O
Faria-Campos, Alessandra Conceição
VINÍCIUS VIERA NÓIA, JOÃO
humberto marques neto
Santana-Santos L
Pimenta, Cristiano Guimarães
CAMPOS, ALESSANDRA C. FARIA AGUIAR
da Glória de Souza, Danielle
Pena I
ALMEIDA, MARCOS VINÍCIUS OLIVEIRA
O'DONOGHUE, ANTHONY J.
e guimaraes
Antonio Rolla
DE CARVALHO, BEATRIZ PINHO MARTINS
QUADROS DE AZEVEDO, DANIELA
FRANCO, GLORIA REGINA
Sérgio Campos
Andreas Kuehlmann
ALVES, RONNIE C.O.
P. Ortolani
OLIVEIRA CASTILHO, RACHEL
I. K. Mendes
LEITE, MÔNICA O.
FORTINI, MÁRCIA E. DE R.
58 Palavras Chave
utilizadas pelo professor
Bioinformática
Symbolic Model Checking
Verificação Formal
Multimedia
model checking
Algoritmos Simbolicos
Sistemas P2P
Bancos de Dados
Sistemas de tempo real
Comércio eletrônico
Systemas de Tempo Real
Sistemas de Informação
video sob demanda
web based systems
Workflow
Eletrofisiologia
Sistemas Operacionais
Proteômica
Analise de Sistemas
Nanotecnologia
laboratory information management system
Neuromielite óptica
Binary Decision Diagrams
Informática médica
Canais iônicos
Software Livre
transgênicos
P2P
Par-a-Par
workflows
Sorghum
NMO
Maize
sistemas de gestão de negócios
Ensaios de Citotoxicidade
plant transformation
Recuperação de informação
Enxame de robôs
Blast
Representação da informação
Sistemas de Gerência de Dados Biológicos
gerador de números aleatórios
Transmissão de vídeo ao vivo
E-commerce
Concorrência
programação paralela
sistemas par-a-par
Electronic Health Records
gestão de dados biológicos
inclusão digital
difusão de mídia contínua
criptografia
Tecnologias par-a-par
Análise de dados médicos
Sistemas Reativos
Patentes
poluicao de conteudo
Verificação de Modelos
CTIT UFMG