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