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