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