UFMG
Somos UFMG
Última atualização do sistema: 06.08.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
Fernando A. F. Braz
Adriano César Machado Pereira
Gloria Regina Franco
José Miguel Ortega
Marcus Vinicius Rocha
José Mauro Granjeiro
FONSECA, LEORGES M.
Alex Borges Vieira
NETO, HABIB ASSEISS
RIBEIRO, DANIELA C.S.Z.
Gustavo Gorgulho
WILFREDO MARRERO
Bruno Ferreira
Herbert Rausch-Fernandes
Gomes, Pedro
Berthier Ribeiro Neto
FARIA-CAMPOS, ALESSANDRA
V Hartonas Garmhausen
Aurea Folgueras Flatschart
eliseu miguel
Ítalo Cunha
João Oliveira
Marcelo Maia
I Cunha
Paulo Batista
Wagner Meira Junior
TAVARES, WANESSA L.F.
João A Torres
Guilherme Oliveira
Hanke, Lucas A.
omar vilela neto
Batista, Paulo Henrique
Rodrigo Richard Gomes
Vinícius Abreu
Jader S. Cruz
Alexandre Simões
Ana Luiza Zuquim
Antônio O Fernandes
Marcos P Oliveira
Adriano Pimenta
Handressa Feu
Vinicius Garcia
Lana-Peixoto, Marco A.
Autran Macêdo
BARACAT-PEREIRA, MARIA CRISTINA
Celina do Val
F Prosdocimi
E BravoNeto
Daniela A S Santos
L Zarate
Fernanda Moratelli
Daniela V C Barbosa
HIROMI HIRAISHI
M Teixeira
L Souza
Cristiano Mata Machado
Ana Luiza Diniz
ALMEIDA, JUSSARA
Luciano Bertini
X Zhao
M Khaira
Fernanda Lima
K McMillan
Daniel Jackson
Wagner Meira Junior
Paulo Neuenschwander Maciel
Josh Pollock
Geoffrey Litt
Soonho Kong
Jeff Chow
LIMA, JULIANA S.
Nikos Arechiga
Annie Bryan
Faria-Campos, Alessandra C.
Uriel Guajardo
Ênio Pietra
andre s f silva
J S Lima
Antônio Loureiro
PEREIRA, PAULO ROBERTO GOMES
Ana Paula Couto da Silva
Kênia Carolina Gonçalves
andrea Carneiro
José Marcos Nogueira
Roberto Noda
Barreto R. S.
Ruiter Caldas
Osvaldo Carvalho
Fernando Carvalho
Peter Thorun
Daiane Mariele DeLaat
ALMEIDA, MARCOS VINÍCIUS OLIVEIRA
da Glória de Souza, Danielle
Darren Natale
DE CARVALHO, BEATRIZ PINHO MARTINS
e guimaraes
Adriano Barbosa Silva
ALVES, RONNIE C.O.
J Caram
FRANCO, GLORIA REGINA
Coelho Jr O
M Ribeiro
Santana-Santos L
LEITE, MÔNICA O.
OLIVEIRA CASTILHO, RACHEL
Pena I
FORTINI, MÁRCIA E. DE R.
José M Mata
Antonio Rolla
Andreas Kuehlmann
Juliana Lima
P. Ortolani
Rafael Barra de Almeida
Marcos A Goncalves
I. K. Mendes
David Deharbe
SENRA, RENATO LIMA
Newton Vieira
Umberto Costa
A Kuehkmann
Copty Fady
Karen Yorav
GUIMARÃES, JOSÉ DOMINGOS
Orna Grumberg
Ivan Moura Campos
F Giunchiglia
A Cimatti
GONÇALVES MALTAROLLO, VINÍCIUS
O Grumberg
George Jamil
Dorgival Olavo Guedes Neto
Annabelle McIver
Cristina Murta
de Oliveira, Demian Bueno
Dias, Adriana Abalen Martins
Sergey Berezin
Tony Sahama
Gabriel Fernandes
Daniel Grunwell
SERAFIM, MATEUS SÁ MAGALHÃES
L F Paiva
Mirlaine Aparecida Crepalde
Elizabeth Alfaro-Espinoza
GOMES, GIOVANNI FREITAS
Cristiano Silva
Rodrigo Keller
João Vinícius Nóia
Giovanni Gomes
Demian Oliveira
COELHO, FERNANDO C.
RAUSCH FERNANDES, HERBERT
Joshua Pollock
Vitor Santos
SILVA, CRISTIANO M.
CUNHA, ÍTALO F. S.
Anna G Bryan
Daniel Conrado
MIGUEL, ELISEU C.
Beatriz Carvalho
Marcos Vinicius Almeida
Lilian Santos
Celia da Consolação Dias
Márcia Fortini
eduardo ferreira
OLIVEIRA, DANIEL A.
Paulo Mendonça
Monica Leite
DE ASSIS, DÉBORA C.S.
Gabriel Teixeira
Araujo, Carolina R.
rodrigo viana
CARPINI MERMEJO, SOFIA
VILALLONGA, GABRIEL DOMINGO
Talim, Natália
t k c andrade
BARBOSA DE SOUZA, ANA BEATRIZ
Germano Leite
Rocha, Cristiane F.
MENDES, PAMELA
Alexandre Alphonsos
a m m costa
SONG, M.
ALMEIDA MOURA, GUSTAVO
RODRIGUES, ANTÔNIO M.
Talim, Lívia Edwiges
Gustavo Carnivali
RIBEIRO, PAULO HENRIQUE OTONI
RIBEIRO, KELISON T.
Kleinpaul, Rodrigo
ALVES DOS REIS, RAPHAEL
DE ALMEIDA, ANTÔNIO-CARLOS G.
lucas cordeiro
Antonio Carlos Oliveira
RIBEIRO, YASMIM CARLA M.
VILALLONGA, GABRIEL D.
PINHEIRO DE OLIVEIRA, ANTONIO CARLOS
NEVES, J.
PRATES, MAURA VIANNA
VINÍCIUS VIERA NÓIA, JOÃO
OKANO, DENISE SILVA
RODRIGUES, ANTONIO MARCIO
Daniel R Silveira
ROCHA, MARCUS
CAMPOS, ALESSANDRA C. FARIA AGUIAR
DOS SANTOS, THAÍS FERREIRA
ALMEIDA, ANTONIO-CARLOS GUIMARAES
humberto marques neto
Rosa Leão
DEMAGALHÃES-JR, MARCOS JORGE
O'DONOGHUE, ANTHONY J.
MARTINS, LEONARDO FRANCO
RIESCO, DANIEL EDGARDO
Edmundo Souza e Silva
FONTES, PATRÍCIA PEREIRA
QUADROS DE AZEVEDO, DANIELA
MAGALHÃES, MARCOS JORGE
Artur Vaz
ALMEIDA-SOUZA, HEBRÉIA OLIVEIRA
FERNANDES, THAÍS HELENA MACIEL
Gianlucca Zuin
Sérgio Campos
Arthur Américo
BARBOSA, MEIRE DE OLIVEIRA
Luciene Balottin
F D Cunha
DASILVA, ELÓI QUINTAS GONÇALVES
Luiz Henrique Sardinha
GAMES, PATRÍCIA DIAS
VItor Buxbaum Orlandi
Murilo Calado
Breno Rates
Cristiano Botelho
Bruno Morgan
Carolina Cota
Mantini, Rodrigo
Hugo Barros
Kerstin Eder
Maurício Mudado
Nacif, José
Sérgio Danilo Pena
Dejanira Araiza-Illan
F C Peixoto
Maira Rodrigues
Carlos Carvalho
Laura Antuna
Vinícius Alves
Medeiros, Giselle Marina Diniz
C P Costa
Maria Elena de Lima
Rezende, Carolina Andrade
Luis Enrique Zárate Gálvez
Rocha, Jerônimo Nunes
Jose Carlos Serufo
Wesley Dias Maciel
Faria-Campos, Alessandra Conceição
Alberto R Beckler
Mario S. Alvim
Pimenta, Cristiano Guimarães
KELLER, KELLY M.
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