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