|
Search the dblp DataBase
Rodolfo Totaro:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marina Mongiello, Rodolfo Totaro
Automatic Ontology Mapping for Agent Communication in an e-Commerce Environment. [Citation Graph (0, 0)][DBLP] EC-Web, 2005, pp:21-30 [Conf]
- Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Rodolfo Totaro, Daniela Castelluccia
Design Verification of Web Applications Using Symbolic Model Checking. [Citation Graph (0, 0)][DBLP] ICWE, 2005, pp:69-74 [Conf]
- Daniela Castelluccia, Marina Mongiello, Michele Ruta, Rodolfo Totaro
WAVer: A Model Checking-based Tool to Verify Web Application Design. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:157, n:1, pp:61-76 [Journal]
- Francesco M. Donini, Marina Mongiello, Michele Ruta, Rodolfo Totaro
A Model Checking-based Method for Verifying Web Application Design. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:151, n:2, pp:19-32 [Journal]
Search in 0.001secs, Finished in 0.001secs
|