SAN PIETRO, PIERLUIGI
SAN PIETRO, PIERLUIGI
Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni - IEIIT
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.011 secondi).
Bounded satisfiability checking of metric temporal logic specifications
2013 Pradella M.; Morzenti A.; San Pietro P.
Strict local testability with consensus equals regularity, and other properties
2013 Crespi Reghizzi, Stefano ; San Pietro, Pierluigi
Consensual languages and matching finite-state computations
2011 Crespi Reghizzi S.; San Pietro P.
A scalable formal method for design and automatic checking of user interfaces
2005 Berstel, Jean; Crespireghizzi, Stefano; Roussel, Gilles; SAN PIETRO, Pierluigi
Associative language descriptions
2002 CRESPI REGHIZZI, Stefano; SAN PIETRO, Pierluigi; Cherubini, A
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Bounded satisfiability checking of metric temporal logic specifications | 1-gen-2013 | Pradella M.; Morzenti A.; San Pietro P. | |
Strict local testability with consensus equals regularity, and other properties | 1-gen-2013 | Crespi Reghizzi, Stefano ; San Pietro, Pierluigi | |
Consensual languages and matching finite-state computations | 1-gen-2011 | Crespi Reghizzi S.; San Pietro P. | |
A scalable formal method for design and automatic checking of user interfaces | 1-gen-2005 | Berstel, Jean; Crespireghizzi, Stefano; Roussel, Gilles; SAN PIETRO, Pierluigi | |
Associative language descriptions | 1-gen-2002 | CRESPI REGHIZZI, Stefano; SAN PIETRO, Pierluigi; Cherubini, A |