Addressing Machines as models of lambda-calculus von Della Penna, Giuseppe, Intrigila, Benedetto, Manzonetto, Giulio

Volltext

Exploiting spatial relations for grammar-based specification of multidimensional languages von Della Penna, Giuseppe, Orefice, Sergio, D’Angelo, Andrea

Volltext

A Lightweight BPMN Extension for Business Process-Oriented Requirements Engineering von Intrigila, Benedetto, Della Penna, Giuseppe, D’Ambrogio, Andrea

Volltext

A formal framework to represent spatial knowledge von Della Penna, Giuseppe, Magazzeni, Daniele, Orefice, Sergio

Volltext

A universal planning system for hybrid domains von Della Penna, Giuseppe, Magazzeni, Daniele, Mercorio, Fabio

Volltext

Process-Oriented Requirements Definition and Analysis of Software Components in Critical Systems von Intrigila, Benedetto, Della Penna, Giuseppe, D’Ambrogio, Andrea, Campagna, Dario, Grigore, Malina

Volltext

Exploiting transition locality in automatic verification of finite-state concurrent systems von PENNA, Giuseppe Della, INTRIGILA, Benedetto, MELATTI, Igor, TRONCI, Enrico, ZILLI, Marisa Venturini

Volltext

A general theory of spatial relations to support a graphical tool for visual information extraction von Della Penna, Giuseppe, Magazzeni, Daniele, Orefice, Sergio

Volltext

Addressing Machines as models of lambda-calculus von Giuseppe Della Penna, Intrigila, Benedetto, Manzonetto, Giulio

Volltext

Qualitative representation of spatio-temporal knowledge von Della Penna, Giuseppe, Orefice, Sergio

Volltext

Finite horizon analysis of Markov Chains with the Mur[varphi] verifier von Giuseppe Della Penna, Intrigila, Benedetto, Melatti, Igor, Tronci, Enrico, Marisa Venturini Zilli

Volltext

Two Factor Authentication for e-Government Services using Hardware-Like One Time Password Generators von Penna, Giuseppe Della, Frasca, Pietro, Intrigila, Benedetto

Volltext

Exploiting Hub States in Automatic Verification von Della Penna, Giuseppe, Melatti, Igor, Intrigila, Benedetto, Tronci, Enrico

Volltext

An XML environment for scenario based requirements engineering von Della Penna, Giuseppe, Intrigila, Benedetto, Laurenzi, Anna Rita, Orefice, Sergio

Volltext

Bounded probabilistic model checking with the Murφ verifier von DELLA PENNA, Giuseppe, INTRIGILA, Benedetto, MELATTI, Igor, TRONCI, Enrico, VENTURINI ZILLI, Marisa

Volltext

Model checking XSL transformations von Della Penna, Giuseppe

Volltext

Supporting Information Extraction from Visual Documents von Penna, Giuseppe Della, Orefice, Sergio

Volltext

A spatial relation-based framework to perform visual information extraction von Della Penna, Giuseppe, Magazzeni, Daniele, Orefice, Sergio

Volltext

New Optimization Approaches in Malware Traffic Analysis von Letteri, Ivan, Di Cecco, Antonio, Della Penna, Giuseppe

Volltext

Synchronized regular expressions von DELLA PENNA, Giuseppe, INTRIGILA, Benedetto, TRONCI, Enrico, VENTURINI ZILLI, Marisa

Volltext