IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 61 a 80 di 222
Titolo Data di pubblicazione Autore(i) File
Process Algebraic Analysis of Cryptographic Protocols 1-gen-2000 Boreale, M; DE NICOLA, R.; R., Pugliese
Types for Access Control 1-gen-2000 R., Pugliese; DE NICOLA, R; G., Ferrari; Venneri, B.
Linda based Applicative and Imperative Process Algebras 1-gen-2000 DE NICOLA, R; R., Pugliese
Programming Access Control: The Klaim Experience 1-gen-2000 DE NICOLA, R; Ferrari, G.; R., Pugliese
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures 1-gen-2001 XIAO JUN, Chen; DE NICOLA, R
Divergence in testing and readiness semantics 1-gen-2001 R., Pugliese; M., Boreale; DE NICOLA, R
Proof Techniques for Cryptographic Processes 1-gen-2001 Borealem, ; De Nicola, R; Pugliese, R
XKlaim and Klava: Programming Mobile Code 1-gen-2001 Bettini, L.; DE NICOLA, R.; R, Pugliese
Translating Strong Mobility into Weak Mobility 1-gen-2001 DE NICOLA, R; L., Bettini
Software Update via Mobile Agent Based Programming 1-gen-2002 Bettini, L.; DE NICOLA, R.; M, Loreti
Trace and Testing Equivalence on Asynchronous Processes 1-gen-2002 M, Boreale; DE NICOLA, R.; Pugliese, R.
Klava: a Java Framework for Distributed and Mobile Applications 1-gen-2002 L., Bettini; DE NICOLA, R; R., Pugliese
AGILE: Software Architecture for Mobility 1-gen-2002 Andrade, L.; Baldan, P.; Baumeister, H.; Bruni, R.; Corradini, A.; DE NICOLA, R; Fiadero, J.; Gadducci, F.; Gnesi, S.; Hoffman, P.; Koch, N.; Kosiuczenko, P.; Lapadula, A.; Latella, D.; Lopes, A.; Loreti, M.; Massink, M.; Mazzanti, F.; Montanari, M.; Oliveira, C.; R., Pugliese; Tarlecki, A.; Wermelinger, M.; Wirsing, M.
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces 1-gen-2002 DE NICOLA, R; L., Bettini
An equational axiomatization of bisimulation over regular expressions 1-gen-2002 DE NICOLA, R; A., Labella; F., Corradini
FORMALIZING PROPERTIES OF MOBILE AGENT SYSTEMS 1-gen-2002 DE NICOLA, R; M., Loreti; L., Bettini
The Klaim Project: Theory and Practice 1-gen-2003 Bettini, L.; Bono, V.; DE NICOLA, R.; Ferrari, G.; Gorla, D.; Loreti, M.; Moggi, E.; R, Pugliese; Tuosto, E.; B., Venneri
A Formal Basis for Reasoning on Programmable QoS 1-gen-2003 DE NICOLA, R; R., Pugliese; G., Ferrari; U., Montanari; E., Tuosto
Nondeterministic regular expressions as solutions of equational systems 1-gen-2003 DE NICOLA, R; A., Labella
A modal logic for mobile agents 1-gen-2004 DE NICOLA, R; Loreti, M.
Mostrati risultati da 61 a 80 di 222
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