Sérgio Campos

Universidade Estadual Paulista (Unesp) — Brazil

Computer Science · Physical Sciences

21h-index4.0kcitations112works2.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(37), Peer-to-Peer Network Technologies(15), Caching and Content Delivery(15), Real-Time Systems Scheduling(13), Embedded Systems Design Techniques(12)

Publications112 total

Mapping Industry Practices to the EU AI Act's GPAI Code of Practice Safety and Security Measures
arXiv (Cornell University)·2025Open Access
A neural network approach employed to classify soybean plants using multi-sensor images
Precision Agriculture·2025· 2 citedOpen Access
Identification of soybean planting gaps using machine learning
Smart Agricultural Technology·2025· 8 citedOpen Access
Identification of Soybean Planting Gaps Using Machine Learning
SSRN Electronic Journal·2024Open Access
Counting Soybean Plants by Uav Rgb Imagery: An Effective Approach During Phenological Changes
SSRN Electronic Journal·2024Open Access
Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235
Science of Computer Programming·2023· 1 cited
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021)
Science of Computer Programming·2023
Determination of the lactose content in low-lactose milk using Fourier-transform infrared spectroscopy (FTIR) and convolutional neural network
Heliyon·2023· 22 citedOpen Access
A machine learning proposal method to detect milk tainted with cheese whey
Journal of Dairy Science·2022· 21 citedOpen Access
A System for Structuring, Storage and Georeferenciation of Dengue Vector Surveillance Data
Studies in health technology and informatics·2022Open Access
Determination of the Lactose Content in Low-Lactose Milk by Spectroscopy FTIR and Convolutional Neural Network
SSRN Electronic Journal·2022· 1 citedOpen Access
BDDBlast—A Memory Efficient Architecture for Pairwise Alignments
Lecture notes in computer science·2022
Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles
arXiv (Cornell University)·2021· 6 citedOpen Access
Construction and maintenance of P2P overlays for live streaming
Multimedia Tools and Applications·2021· 13 cited
Formal Methods: Foundations and Applications
Lecture notes in computer science·2021· 7 cited
FluxPRT: An Adaptable and Extensible Proteomics LIMS
Lecture notes in computer science·2021· 1 cited
Levantamento da situação do acervo de recursos de informação de um laboratório de bioquímica
Múltiplos Olhares em Ciência da Informação·2020Open Access
In Silico Laboratory Experiments Using Statistical Model Checking: A New Model of the Palytoxin-Induced Pump Channel as Case Study
IEEE/ACM Transactions on Computational Biology and Bioinformatics·2020· 5 cited
NASirt: AutoML based learning with instance-level complexity information
arXiv (Cornell University)·2020· 2 citedOpen Access
Protocol data management in biology laboratories
Brazilian Journal of Information Science research trends·2020Open Access
page 1 of 6Next →

Frequent Co-authors

Edmund M. Clarke(11), Marius Minea(7), Jussara M. Almeida(6), Alessandra Faria-Campos(6), E. M. Clarke(5), V. Hartonas-Garmhausen(4), Alex Borges Vieira(4), Habib Asseiss Neto(3), Daniela Cotta Ribeiro(3), L.M. Fonseca(3), Ítalo Cunha(3), W. Marrero(3), Sergey Berezin(2), Héctor Allende(2), Marcos Jorge Magalhães Júnior(2), Paulo Roberto Gomes Pereira(2), Maria Cristina Baracat‐Pereira(2), Juliana S. Lima(2), Orna Grümberg(2), Glória Regina Franco(2)