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