Scholar
Jacopo Mauro
Google Scholar ID: brh_I2kAAAAJ
University of Southern Denmark
Optimization
DevOps
Choreographic Programming
Formal Methods
Cybersecurity
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,755
H-index
22
i10-index
52
Publications
20
Co-authors
27
list available
Publications
7 items
Using Weisfeiler-Leman Features for Algorithm Selection in Constraint Optimisation
2026
Cited
0
Pod-Deployability in Kubernetes with Inter-Pod Affinity Constraints is PSPACE-Complete
2026
Cited
0
A Kubernetes Scheduler Plugin for Cluster-Wide Placement Optimisation
2026
Cited
0
Portable and Secure CI/CD for COBOL: Lessons from an Industrial Migration
2026
Cited
0
GitOps for Capture the Flag Platforms
2026
Cited
0
When Words Change the Model: Sensitivity of LLMs for Constraint Programming Modelling
2025
Cited
0
Priority Matters: Optimising Kubernetes Clusters Usage with Constraint-Based Pod Packing
2025
Cited
0
Co-authors
12 total
Maurizio Gabbrielli
Professor of Computer Science, University of Bologna
Saverio Giallorenzo
Assistant Professor at Department of Computer Science and Engineering, Università di Bologna
Gianluigi Zavattaro
Professor in Computer Science, University of Bologna
Ivan Lanese
University of Bologna
Fabrizio Montesi
Professor of Computer Science, University of Southern Denmark
Roberto Di Cosmo
Professor of Computer Science, University Paris Diderot
Stefano Zacchiroli
LTCI, Télécom Paris, Polytechnique Institute of Paris, France
Mario Bravetti
University of Bologna
