The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 180, number: 1

  1. Michael Backes, Andre Scedrov
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:1, pp:1-2 [Journal]
  2. Hans Hüttel, Morten Kühnrich
    Types for Access Control in a Calculus of Mobile Resources. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:1, pp:3-15 [Journal]
  3. Isabelle Attali, Denis Caromel, Ludovic Henrio, Felipe Luna Del Aguila
    Secured Information Flow for Asynchronous Sequential Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:1, pp:17-34 [Journal]
  4. Guillaume Gardey, John Mullins, Olivier H. Roux
    Non-Interference Control Synthesis for Security Timed Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:1, pp:35-53 [Journal]
  5. Yuxin Deng, Catuscia Palamidessi, Jun Pang
    Weak Probabilistic Anonymity. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:1, pp:55-76 [Journal]
  6. Fernando Rosa Velardo, David de Frutos-Escrig, Olga Marroquín Alonso
    On the Expressiveness of Mobile Synchronizing Petri Nets. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:1, pp:77-94 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002