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