Sérgio Vale Aguiar Campos


Áreas de Pesquisa:
Sala: 6306
Ramal: 5877
scampos@dcc.ufmg.br

Página pessoal     Lattes    Google scholar 


Informações resumidas do Currículo Lattes

Currículo Lattes atualizado em 28/06/2021

Nome em citações bibliográficas: 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.


Formação acadêmica

Doutorado em Ciência da Computação na Carnegie Mellon University em 1996
Mestrado em Ciências da Computação na Universidade Federal de Minas Gerais em 1990
Mestrado em Ciência da Computação na Carnegie Mellon University em 1992
Graduado em Ciência da Computação na Universidade Federal de Minas Gerais em 1986

Projetos de pesquisa em andamento

2020 a AtualMEDCON, Telemedicina Plena Através do Registro e Acompanhamento de Dados Médicos Específicos de COVID-19 e Outras Doenças

Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, Enio Mazzieiro.
2019 a AtualBioConcepts: Conceptual Design for Biomedical Applications, Lessons from Software Design

Integrantes: Sergio Vale Aguiar Campos (coordenador), Daniel Jackson.
2018 a AtualModelagem, Análise e Avaliação Formal de Sistemas Aeronáuticos

Integrantes: Sergio Vale Aguiar Campos (coordenador).
2012 a AtualFluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose
O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados.
Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, enio pietra.
2012 a AtualNMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica
Um sistema de gerência e análise de dados de pacientes de neuromielite óptica
Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, Lana-Peixoto, Marco A..
1998 a AtualVerificação Automática de Sistemas de Complexidade Industrial

Integrantes: Sergio Vale Aguiar Campos (coordenador), EDMUND CLARKE, O Grumberg, Mark Alan Song, David Deharbe, Hugo Barros, Rodrigo Richard Gomes, Coelho Jr O, Gomes, Pedro.

Projetos de desenvolvimento em andamento

2013 a AtualFluxPCM: Um Sistema para Gerência de Dados de Paracoccidioidomicose
O projeto propõe o desenvolvimento de um sistema para acompanhamento de pacientes de paracoccidioidomicose e para análise destes dados.
Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, enio pietra.
2012 a AtualNMO-DBr, O Banco de Dados Brasileiro de Neuromielite Óptica
Um sistema de gerência e análise de dados de pacientes de neuromielite óptica
Integrantes: Sergio Vale Aguiar Campos (coordenador), Alessandra C FariaCampos, Lana-Peixoto, Marco A..
Veja todos os projetos no Currículo Lattes

Últimas publicações

Artigos em periódicos

Construction and maintenance of P2P overlays for live streaming
2021. MULTIMEDIA TOOLS AND APPLICATIONS (DORDRECHT. ONLINE).
In Silico Laboratory Experiments using Statistical Model Checking: A new model of the Palytoxin-Induced Pump Channel as Case Study
2020. IEEE-ACM Transactions on Computational Biology and Bioinformatics.
Protocol data management in biology laboratories
2020. BRAZILIAN JOURNAL OF INFORMATION SCIENCE.
On the utilization of deep and ensemble learning to detect milk adulteration
2019. BioData Mining.
Hypothesized diprotomeric enzyme complex supported by stochastic modelling of palytoxin-induced Na/K pump channels
2018. Royal Society Open Science.
Computer aided identification of a Hevein-like antimicrobial peptide of bell pepper leaves for biotechnological use
2016. BMC GENOMICS.
Differential abundances of four forms of BSP1 in the seminal plasma of Bos taurus indicus bulls with different patterns of semen freezability
2016. Theriogenology.
Symbolic Techniques For Formally Verifying Industrial Systems
1997. SCIENCE OF COMPUTER PROGRAMMING.
Temporal Verification Of Real-Time Systems
1995. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS.

Trabalhos completos em congressos

Certified Perception for Autonomous Cars
2021. 6TH WORKSHOP ON MONITORING AND TESTING OF CYBER-PHYSICAL SYSTEMS.
Statistical Model Checking in Drug Repurposing for Alzheimer?s Disease
2020. Brazilian Symposium on Formal Methods.
Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols
2017. Simpósio Brasileiro de Métodos Formais.
AERO: Adaptive Emergency Request Optimization in CDN-P2P Live Streaming
2017. IEEE Globecom.
Resource-constrained P2P Streaming Overlay Construction for Efficient Joining Under Flash Crowds
2017. The 22nd IEEE Symposium on Computers and Communications.
Simplified Model for Automatic QCA Circuitry Verification
2017. 30th Symposium on Integrated Circuits and System Design - SBCCI 2017.
Join rate improvements in P2P live streaming based on topological aspects during Flash Crowds
2017. XXXV Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos.
Ingressos em Redes P2P para Vídeo ao Vivo
2016. Workshop de Redes P2P, Dinâmicas, Sociais e Orientadas a Conteúdo.

Resumos expandidos em congressos

TVPP: A Research Oriented P2P Live Streaming System
2013. Simpósio Brasileiro de Redes de Computadores.
Escolha automática de clones de cdna de s. mansoni que potencialmente contêm a região codificadora completa para caracterização e expansão da base de dados cog
2002. Congresso da Sociedade Brasileira de Genética.

Resumos em congressos

Does the Ataxia group have genetic similarities?
2020. XXII ENCONTRO NACIONAL DE MODELAGEM COMPUTACIONAL - ENMC.
Machine learning applied to Fourier-transform infrared spectroscopy for detection of cheese whey addition to raw milk
2019. American Dairy Science Annual Meeting.
Use of infrared spectroscopy to estimate the lactose content in hydrolyzed milk
2019. American Dairy Science Annual Meeting.
Detection of adulteration in milk using infrared spectros- copy and machine learning
2019. American Dairy Science Annual Meeting.
Contribution of aminoacid insertions and deletions to proteobacteria-b and proteobacteria-d molecular evolution
2004. Reunião Anual da Sociedade Brasileira de Bioquímica e Biologia Molecular.

Veja todas as publicações no Currículo Lattes

Orientações em andamento

Mestrado

Gabriel Marinello. Visualizações Alternativas em Sistemas de Gestão de Dados Laboratoriais. Início: 2021. Universidade Federal de Minas Gerais (Orientador principal)
Adriana Pereira. Gerenciamento Integrado de Experimentos Laboratoriais. Início: 2021. Universidade Federal de Minas Gerais (Orientador principal)
Fábio Buritis. Projeto Conceitual de Sistemas Médicos. Início: 2021. Universidade Federal de Minas Gerais (Orientador principal)
Alexandre Alphonso. Bioconceitos, Conceptual Design for Software para Softwares Médicos. Início: 2019. Universidade Federal de Minas Gerais (Orientador principal)
Mário Luiz Rodrigues Oliveira. Um Sistema de Tradução Simulink-SMV para Verificação de Modelos. Início: 2017. Universidade Federal de Minas Gerais (Orientador principal)

Doutorado

Elizabeth Espinoza. Gestão Integrada de Experimentos de Proteômica. Início: 2021. Universidade Federal de Minas Gerais (Orientador principal)
Gustavo Carnivali. Drug Repurposing using GCNs, COVID-19 as a Case Study. Início: 2020. Universidade Federal de Minas Gerais (Orientador principal)
Daniel Conrado. BioConcepts: Conceptual Design for Biomedical Applications, Lessons from Software Design. Início: 2019. Universidade Federal de Minas Gerais (Orientador principal)
Herbert Rausch. Verificação Probabilística de Sistemas de Transporte de Íons. Início: 2017. Universidade Federal de Minas Gerais (Orientador principal)
Daniela Vale Campos Barbosa. Reconstrução Filogenética Utilizando Análise Completa de DNA. Início: 2005. Universidade Federal de Minas Gerais (Orientador principal)

Veja todas as orientações no Currículo Lattes