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
Towards tableau-based decision procedures for non-well-founded fragments of set theory
2000-01-01 Piazza, Carla; Policriti, Alberto
Sets and Constraint Logic Programming
2000-01-01 Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G.
Multiset rewriting by multiset constraint solving
2001-01-01 Dovier, Agostino; Piazza, Carla; Rossi, G.
Ackermann Encoding, Bisimulations, and OBDD's
2001-01-01 Piazza, Carla; Policriti, Alberto
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
Computing in Non Standard Set Theories
2002-01-01 Piazza, Carla
Simulation Reduction as Constraint
2002-01-01 Gentilini, R; Piazza, Carla; Policriti, Alberto
Simulation as Coarsest Partition Problem
2002-01-01 Gentilini, R.; Piazza, Carla; Policriti, Alberto
Proofs Methods for Bisimulation Based Information Flow Security
2002-01-01 Focardi, R.; Piazza, Carla; Rossi, S.
Transforming Processes to Check and Ensure Information Flow Security
2002-01-01 Bossi, A.; Focardi, R.; Piazza, Carla; Rossi, S.
Rank-Based Symbolic Bisimulation (and Model Checking)
2002-01-01 Dovier, Agostino; Gentilini, R; Piazza, Carla; Policriti, Alberto
From Bisimulation to Simulation: Coarsest Partition Problems
2003-01-01 Gentilini, R.; Piazza, Carla; Policriti, Alberto
Complexity of Nesting Analysis in Mobile Ambients
2003-01-01 Braghin, C.; Cortesi, A.; Focardi, R.; Luccio, F. L.; Piazza, Carla
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
The Subgraph Bisimulation Problem
2003-01-01 Dovier, Agostino; Piazza, Carla
A Proof System for Information Flow Security
2003-01-01 Bossi, A.; Focardi, R.; Piazza, Carla; Rossi, S.
| 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 | |
| Towards tableau-based decision procedures for non-well-founded fragments of set theory | 1-gen-2000 | Piazza, Carla; Policriti, Alberto | |
| Sets and Constraint Logic Programming | 1-gen-2000 | Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G. | |
| Multiset rewriting by multiset constraint solving | 1-gen-2001 | Dovier, Agostino; Piazza, Carla; Rossi, G. | |
| Ackermann Encoding, Bisimulations, and OBDD's | 1-gen-2001 | Piazza, Carla; Policriti, Alberto | |
| 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 | |
| Computing in Non Standard Set Theories | 1-gen-2002 | Piazza, Carla | |
| Simulation Reduction as Constraint | 1-gen-2002 | Gentilini, R; Piazza, Carla; Policriti, Alberto | |
| Simulation as Coarsest Partition Problem | 1-gen-2002 | Gentilini, R.; Piazza, Carla; Policriti, Alberto | |
| Proofs Methods for Bisimulation Based Information Flow Security | 1-gen-2002 | Focardi, R.; Piazza, Carla; Rossi, S. | |
| Transforming Processes to Check and Ensure Information Flow Security | 1-gen-2002 | Bossi, A.; Focardi, R.; Piazza, Carla; Rossi, S. | |
| Rank-Based Symbolic Bisimulation (and Model Checking) | 1-gen-2002 | Dovier, Agostino; Gentilini, R; Piazza, Carla; Policriti, Alberto | |
| From Bisimulation to Simulation: Coarsest Partition Problems | 1-gen-2003 | Gentilini, R.; Piazza, Carla; Policriti, Alberto | |
| Complexity of Nesting Analysis in Mobile Ambients | 1-gen-2003 | Braghin, C.; Cortesi, A.; Focardi, R.; Luccio, F. L.; Piazza, Carla | |
| 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 | |
| The Subgraph Bisimulation Problem | 1-gen-2003 | Dovier, Agostino; Piazza, Carla | |
| A Proof System for Information Flow Security | 1-gen-2003 | Bossi, A.; Focardi, R.; Piazza, Carla; Rossi, S. |
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