Statistical model checking of the Island Model: an established economic agent-based model of endogenous growth
Presentato a MARS @ ETAPS 2026, questo paper usa MultiVeStA per dare all'Island Model un'analisi statistica piu rigorosa e riproducibile.
A Multi-Method Validation Framework for Large-Scale Multilingual Text Analytics
Presentato a JADT 2026 e premiato con il Premio VADISTAT per giovani ricercatori, questo paper valida 18 approcci analitici su oltre 1 milione di testi per identificare risultati …