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