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