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
Publications
25 items
Demystifying Entropy-based Selection for Chain-of-Thought Compression in Large Reasoning Models
2026
Cited
0
Localized Anomaly Detection via Differentiable D-vine Copulas
2026
Cited
0
Beyond the Commitment Boundary: Probing Epiphenomenal Chain-of-Thought in Large Reasoning Models
2026
Cited
0
RogueAI: A Reverse Turing Test for Detecting Licensed AI Deception in Dialogue
2026
Cited
0
Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic
2026
Cited
0
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
Load more
Co-authors
12 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
Mieke Massink
CNR-ISTI
Verena Wolf
Professor of Computer Science, Saarland University, Saarland Informatics Campus
Nicola Paoletti
Department of Informatics, King's College London
