Scholar
Luca Bortolussi
Google Scholar ID: p5ynADcAAAAJ
Università di Trieste
modelling and simulation
explainable artificial intelligence
machine learning
formal methods
cyber-physical systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,766
H-index
23
i10-index
48
Publications
20
Co-authors
100
list available
Contact
No contact links provided.
Publications
20 items
A Sobering Look at Tabular Data Generation via Probabilistic Circuits
2026
Cited
0
Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic
2026
Cited
0
DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
2026
Cited
0
Empirical Evaluation of Structured Synthetic Data Privacy Metrics: Novel experimental framework
2025
Cited
0
Advancing Routing-Awareness in Analog ICs Floorplanning
2025
Cited
0
Beyond single-model XAI: aggregating multi-model explanations for enhanced trustworthiness
2025
Cited
0
Conformal Predictive Monitoring for Multi-Modal Scenarios
2025
Cited
0
Towards Interpretable Concept Learning over Time Series via Temporal Logic Semantics
2025
Cited
0
Load more
Resume (English only)
Co-authors
100 total
Laura Nenzi
University of Trieste
Alberto Policriti
University of Udine
Guido Sanguinetti
Reader in Informatics, University of Edinburgh
Jane Hillston
Professor of Quantitative Modelling, University of Edinburgh
Ezio Bartocci
Faculty of Informatics, TU Wien
Co-author 6
Mieke Massink
CNR-ISTI
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up