IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 124
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.
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.
Comparing Expressiveness of Set Constructor Symbols 1-gen-2000 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
A Fast Bisimulation Algorithm 1-gen-2001 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
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.
Computing in Non Standard Set Theories 1-gen-2002 Piazza, Carla
Proofs Methods for Bisimulation Based Information Flow Security 1-gen-2002 Focardi, R.; Piazza, Carla; Rossi, S.
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
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
Simulating Polyadic Modal Logics by Monadic Ones 1-gen-2003 Goguadze, G.; Piazza, Carla; Venema, Y.
Secure Contexts for Confidential Data 1-gen-2003 Bossi, A.; Macedonio, D.; Piazza, Carla; Rossi, S.
A Proof System for Information Flow Security 1-gen-2003 Bossi, A.; Focardi, R.; Piazza, Carla; Rossi, S.
Mostrati risultati da 1 a 20 di 124
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