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