Linguaggi, Modelli, Complessità
Sono coautore, insieme a Giorgio Ausiello, Fabrizio d’Amore e Giorgio Gambosi, del manuale universitario Linguaggi, Modelli, Complessità (nuova edizione, Franco Angeli, 2014), testo di riferimento per i corsi di Informatica Teorica nelle lauree triennali e magistrali in Informatica e Ingegneria Informatica.
Il volume tratta grammatiche e automi, i limiti del calcolo automatico, la complessità computazionale e il problema P = NP, con esercizi, note storiche e bibliografiche, e una sezione dedicata agli algoritmi di approssimazione per problemi di ottimizzazione.
Con l’espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi e dei processi per la rappresentazione dell’informazione e per la sua elaborazione.
Voce Informatica Teorica, Enciclopedia Treccani della Scienza e della Tecnica, 2007