CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 81 a 100 di 270
Titolo Data di pubblicazione Autore(i) File
Logical and operational methods in the analysis of programs and systems 1-gen-1996 Nielson, F; Cousot, P; Dam, M; Degano, Pierpaolo; Jouvelot, P; Mycroft, A; Thomsen, B.
Compact transition systems 1-gen-1996 Priami, Corrado; Degano, P.
Enhanced operational semantics 1-gen-1996 Degano, Pierpaolo; Priami, C.
Mobile processes with local clocks 1-gen-1997 Priami, Corrado; Degano, Pierpaolo; Loddo, J. V.
Proceedings of ICALP'97 1-gen-1997 Degano, Pierpaolo; Gorrieri, Roberto; MARCHETTI SPACCAMELA, A.
LR techniques for handling syntax errors 1-gen-1998 Degano, Pierpaolo; Priami, Corrado
Constructing specific SOS semantics for concurrency via abstract interpretation 1-gen-1998 Bodei, Chiara; Degano, Pierpaolo; Priami, Corrado
Control Flow Analysis for the pi-calculus 1-gen-1998 Bodei, Chiara; Degano, Pierpaolo; Nielson, F; RIIS NIELSON, H.
CCS semantics via proved transition systems and rewriting logic 1-gen-1998 Degano, Pierpaolo; Gadducci, Fabio; Carabetta, G.
Proceedings of 6th Italian Conference on Theoretical Computer Science 1-gen-1998 Degano, Pierpaolo; Vaccaro, U; Pirllo, G.
Semantic-driven Performance Evaluation 1-gen-1999 Nottegar, C; Priami, Corrado; Degano, Pierpaolo
Static Analysis of Processes for No Read-Up and No Write-Down 1-gen-1999 Bodei, Chiara; Degano, Pierpaolo; Nielson, F; RIIS NIELSON, H.
Causality for debugging mobile agents 1-gen-1999 Degano, Pierpaolo; Priami, Corrado; Leth, L; Thomsen, B.
Symposium on the Theory of Computation 1-gen-1999 Degano, Pierpaolo; Gorrieri, Roberto; MARCHETTI SPACCAMELA, A; Wegner, P.
Authentication via Localized Names 1-gen-1999 Bodei, Chiara; Degano, Pierpaolo; Focardi, R.; Priami, Corrado
Non interleaving semantics of mobile processes 1-gen-1999 Degano, Pierpaolo; Priami, Corrado
Quantitative analysis for mobile processes 1-gen-1999 Degano, Pierpaolo; Priami, C.
Special Issues of the Journal of Theoretical Computer Science 1-gen-1999 Degano, Pierpaolo; Gorrieri, Roberto; Marchetti Spaccamela, A.
Control Flow Analysis for Mobile Safe Ambients 1-gen-2000 Degano, Pierpaolo; Levi, Francesca; Bodei, Chiara
Safe ambients: control flow analysis and security 1-gen-2000 Degano, Pierpaolo; Levi, Francesca; Bodei, Chiara
Mostra risultati da 81 a 100 di 270
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