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