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