Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2001, volume: 62, number:

1. Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca
   A type preserving translation of Fickle into Java. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
   
2. Flemming Nielson, Hanne Riis Nielson, Helmut Seidl
   Cryptographic Analysis in Cubic Time. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
   
3. Agathe Merceron, Monika Müllerburg, G. Michele Pinna
   Specifying and verifying reactive systems in a multi-language environment. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
   
4. Marina Lenisa, Marino Miculan
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
   
5. Furio Honsell, Marino Miculan, Ivan Scagnetto
   The Theory of Contexts for First Order and Higher Order Abstract Syntax. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
   
6. Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters
   Comparing cospan-spans and tiles via a Hoare-style process calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
   
7. Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
   Formal Models of Timing Attacks on Web Privacy. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
   
8. Gian Luigi Ferrari, Eugenio Moggi, Rosario Pugliese
   Higher-Order Types and Meta-Programming for Global Computing. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
   
9. Mario Coppo, Mariangiola Dezani-Ciancaglini
   A Fully Abstract Model for Mobile Ambients. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
   
10. Giuseppe Castagna, Michele Bugliesi, Silvia Crafa
    An overview of Boxed Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
    
11. Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan
    Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
    
12. Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
    Comparative analysis of the expressiveness of shared dataspace coordination. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
    
13. Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
    Techniques for Security Checking: Non-Interference vs Control Flow Analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
    
14. Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
    XKlaim and Klava: Programming Mobile Code. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
    
15. Lorenzo Bettini, Viviana Bono, Betti Venneri
    Towards Object-Oriented Klaim. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
    
16. Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivano Salvo, Vladimiro Sassone
    A Type Inference Algorithm for Secure Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
    
17. Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
    Synchronized Regular Expressions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]