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