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