Searching for authors named "Sabina Rossi" – sorted by Relevance.
29 documents found, showing 1 through 10.
Next 10 →
-
Static Analysis of Prolog with Cut
- …Static Analysis of Prolog with Cut Gilberto Fil'e, Sabina Rossi Dipartimento di Matematica Pura ed…
- Cited by 6 (2 self) – Add To MetaCart
-
Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols
- … and Sabina Rossi Dipartimento di Informatica, Università Ca’ Foscari di Venezia via Torino 155, 30172 Venezia…
- Cited by 1 (0 self) – Add To MetaCart
-
A Security Property for Processes in Dynamic Contexts
- …A security property for processes in dynamic contexts Riccardo Focardi and Sabina Rossi…
- Cited by 1 (1 self) – Add To MetaCart
-
Specialised Semantics of Logic Programs
- …Specialised Semantics of Logic Programs Annalisa Bossi and Sabina Rossi Dipartimento di Matematica…
- Cited by 66 (18 self) – Add To MetaCart
-
Information Flow Security in Dynamic Contexts
- …-32617). Riccardo Focardi and Sabina Rossi Dipartimento di Informatica Università Ca’ Foscari di Venezia via Torino…
- Cited by 34 (14 self) – Add To MetaCart
-
Annalisa Bossi and Sabina Rossi
- …Verifying Partial Correctness of Logic Programs with Delay Declarations Annalisa Bossi and Sabina…
- Add To MetaCart
-
Semantics of Well-Moded Input-Consuming Programs
- …Semantics of Well-Moded Input-Consuming Programs Annalisa Bossi 1 , Sandro Etalle 2 and Sabina…
- Add To MetaCart
-
Secure Contexts (Extended Abstract)
- …Secure Contexts (Extended abstract) ? Annalisa Bossi, Damiano Macedonio, Carla Piazza, and Sabina…
- Add To MetaCart
-
On Modular Termination Proofs of General Logic Programs
- … Sandro Etalle 2 Sabina Rossi 1 1 Dipartimento di Informatica, Universita Ca' Foscari di Venezia via…
- Cited by 7 (0 self) – Add To MetaCart
-
Semantics of Input-Consuming Logic Programs
- …Semantics of Input-Consuming Logic Programs Annalisa Bossi 1 , Sandro Etalle 2 , and Sabina…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
