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