Sfoglia per Autore
On the Representation and Management of Finite Sets in CLP-languages
1998-01-01 Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G.
ACI1 Constraints
1999-01-01 Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G.
Comparing Expressiveness of Set Constructor Symbols
2000-01-01 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
Sets and Constraint Logic Programming
2000-01-01 Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G.
Towards tableau-based decision procedures for non-well-founded fragments of set theory
2000-01-01 Piazza, Carla; Policriti, Alberto
Ackermann Encoding, Bisimulations, and OBDD's
2001-01-01 Piazza, Carla; Policriti, Alberto
Multiset rewriting by multiset constraint solving
2001-01-01 Dovier, Agostino; Piazza, Carla; Rossi, G.
Multiset Constraints and P Systems
2001-01-01 Dovier, Agostino; Piazza, Carla; Rossi, G.
A Fast Bisimulation Algorithm
2001-01-01 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
Simulation Reduction as Constraint
2002-01-01 Gentilini, R; Piazza, Carla; Policriti, Alberto
Computing in Non Standard Set Theories
2002-01-01 Piazza, Carla
Transforming Processes to Check and Ensure Information Flow Security
2002-01-01 Bossi, A.; Focardi, R.; Piazza, Carla; Rossi, S.
Proofs Methods for Bisimulation Based Information Flow Security
2002-01-01 Focardi, R.; Piazza, Carla; Rossi, S.
Simulation as Coarsest Partition Problem
2002-01-01 Gentilini, R.; Piazza, Carla; Policriti, Alberto
Rank-Based Symbolic Bisimulation (and Model Checking)
2002-01-01 Dovier, Agostino; Gentilini, R; Piazza, Carla; Policriti, Alberto
A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes
2003-01-01 Mishra, Bud; Daruwala, Raoul Sam; Zhou, Yi; Ugel, Nadia; Policriti, Alberto; Antoniotti, Marco; Paxia, Salvatore; Rejali, Marc; Rudra, Archisman; Cherepinsky, Vera; Silver, Naomi; Casey, William; Piazza, Carla; Simeoni, Marta; Barbano, Paolo; Spivak, Marina; Feng, Jiawu; Gill, Ofer; Venkatesh, Mysore; Cheng, Fang; Sun, Bing; Ioniata, Iuliana; Anantharaman, Thomas; Hubbard, E. Jane Albert; Pnueli, Amir; Harel, David; Chandru, Vijay; Hariharan, Ramesh; Wigler, Michael; Park, Frank; Lin, Shih Chieh; Lazebnik, Yuri; Winkler, Franz; Cantor, Charles R; Carbone, Alessandra; Gromov, Mikhael
Bisimulation and Unwinding for Verifying Possibilistic Security Properties
2003-01-01 Bossi, A.; Focardi, R.; Piazza, Carla; Rossi, S.
Secure Contexts for Confidential Data
2003-01-01 Bossi, A.; Macedonio, D.; Piazza, Carla; Rossi, S.
BANANA - A Tool for Boundary Ambients Nesting ANAlysis
2003-01-01 Braghin, C.; Cortesi, A.; Filippone, S.; Focardi, R.; Luccio, F. L.; Piazza, Carla
Simulating Polyadic Modal Logics by Monadic Ones
2003-01-01 Goguadze, G.; Piazza, Carla; Venema, Y.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| On the Representation and Management of Finite Sets in CLP-languages | 1-gen-1998 | Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G. | |
| ACI1 Constraints | 1-gen-1999 | Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G. | |
| Comparing Expressiveness of Set Constructor Symbols | 1-gen-2000 | Dovier, Agostino; Piazza, Carla; Policriti, Alberto | |
| Sets and Constraint Logic Programming | 1-gen-2000 | Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G. | |
| Towards tableau-based decision procedures for non-well-founded fragments of set theory | 1-gen-2000 | Piazza, Carla; Policriti, Alberto | |
| Ackermann Encoding, Bisimulations, and OBDD's | 1-gen-2001 | Piazza, Carla; Policriti, Alberto | |
| Multiset rewriting by multiset constraint solving | 1-gen-2001 | Dovier, Agostino; Piazza, Carla; Rossi, G. | |
| Multiset Constraints and P Systems | 1-gen-2001 | Dovier, Agostino; Piazza, Carla; Rossi, G. | |
| A Fast Bisimulation Algorithm | 1-gen-2001 | Dovier, Agostino; Piazza, Carla; Policriti, Alberto | |
| Simulation Reduction as Constraint | 1-gen-2002 | Gentilini, R; Piazza, Carla; Policriti, Alberto | |
| Computing in Non Standard Set Theories | 1-gen-2002 | Piazza, Carla | |
| Transforming Processes to Check and Ensure Information Flow Security | 1-gen-2002 | Bossi, A.; Focardi, R.; Piazza, Carla; Rossi, S. | |
| Proofs Methods for Bisimulation Based Information Flow Security | 1-gen-2002 | Focardi, R.; Piazza, Carla; Rossi, S. | |
| Simulation as Coarsest Partition Problem | 1-gen-2002 | Gentilini, R.; Piazza, Carla; Policriti, Alberto | |
| Rank-Based Symbolic Bisimulation (and Model Checking) | 1-gen-2002 | Dovier, Agostino; Gentilini, R; Piazza, Carla; Policriti, Alberto | |
| A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes | 1-gen-2003 | Mishra, Bud; Daruwala, Raoul Sam; Zhou, Yi; Ugel, Nadia; Policriti, Alberto; Antoniotti, Marco; Paxia, Salvatore; Rejali, Marc; Rudra, Archisman; Cherepinsky, Vera; Silver, Naomi; Casey, William; Piazza, Carla; Simeoni, Marta; Barbano, Paolo; Spivak, Marina; Feng, Jiawu; Gill, Ofer; Venkatesh, Mysore; Cheng, Fang; Sun, Bing; Ioniata, Iuliana; Anantharaman, Thomas; Hubbard, E. Jane Albert; Pnueli, Amir; Harel, David; Chandru, Vijay; Hariharan, Ramesh; Wigler, Michael; Park, Frank; Lin, Shih Chieh; Lazebnik, Yuri; Winkler, Franz; Cantor, Charles R; Carbone, Alessandra; Gromov, Mikhael | |
| Bisimulation and Unwinding for Verifying Possibilistic Security Properties | 1-gen-2003 | Bossi, A.; Focardi, R.; Piazza, Carla; Rossi, S. | |
| Secure Contexts for Confidential Data | 1-gen-2003 | Bossi, A.; Macedonio, D.; Piazza, Carla; Rossi, S. | |
| BANANA - A Tool for Boundary Ambients Nesting ANAlysis | 1-gen-2003 | Braghin, C.; Cortesi, A.; Filippone, S.; Focardi, R.; Luccio, F. L.; Piazza, Carla | |
| Simulating Polyadic Modal Logics by Monadic Ones | 1-gen-2003 | Goguadze, G.; Piazza, Carla; Venema, Y. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile