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