Publication & Citation Trends
Publications
77 total
Research Topics
Formal Methods in Verification
(21)
Constraint Satisfaction and Optimization
(20)
Advanced Malware Detection Techniques
(17)
Anomaly Detection Techniques and Applications
(12)
Network Security and Intrusion Detection
(10)
Affiliations
Universitat Oberta de Catalunya
Universitat de Lleida
University of Southampton
Universitat Rovira i Virgili
Universitat de Barcelona