Carotenuto, Dario (2008) Formal verification of infinite states and concurrent systems. [Tesi di dottorato] (Inedito)

Gavitone, Nunzia (2008) HESSIAN EQUATIONS, QUERMASSINTEGRALS AND SYMMETRIZATION. [Tesi di dottorato] (Inedito)

Baselice, Sabrina (2008) On program grounding in ASP. [Tesi di dottorato] (Inedito)

Gagliardi, Francesco (2008) Sistemi classificatori basati su istanze: modelli cognitivi della categorizzazione e teorie della diagnosi. [Tesi di dottorato] (Inedito)

Chinnici, Marta (2008) Stochastic self-similar processes and large scale structures. [Tesi di dottorato] (Inedito)

Errico, Daniela (2008) Un ampliamento di un modello compatto per le metapopolazioni. [Tesi di dottorato] (Inedito)

Corporente, Rossella (2008) Weighted integral inequalities, BMO-Spaces and applications. [Tesi di dottorato] (Inedito)

Coro, Gianpaolo (2008) A step forward in multi-granular automatic speech recognition. [Tesi di dottorato] (Inedito)