The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
1999, volume: 20, number:

  1. Martín Abadi
    Secrecy in Programming-Language Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  2. S. Lassen
    Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  3. Catherine Meadows, Dennis M. Volpano
    The MFPS XV Security Session. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  4. Matías Menni, Alex K. Simpson
    The Largest Topological Subcategory of Countably-based Equilogical Spaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  5. Michael W. Mislove
    Local Dcpos, Local Cpos and Local Completions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  6. Lawrence S. Moss
    Recursion and Corecursion Have the Same Equational Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  7. George C. Necula
    Enforcing Security and Safety with Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  8. Susan Older
    Strong fairness and Recursive Communicating Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  9. J. Polokow, Frank Pfenning
    Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  10. John Power, Edmund Robinson
    Modularity and Dyads. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  11. Ralf Schweimeier, Alan Jeffrey
    A Categorical and Graphical Treatment of Closure Conversion. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  12. Peter Selinger
    Categorical Structure of Asynchrony. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  13. Geoffrey Smith, Dennis M. Volpano
    Confinement Properties for Multi-Threaded Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  14. Ralph Kummetz
    From Partial Orders with Projections to Domains. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  15. Reinhold Heckmann
    Completeness Classes of Equilogical Spaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  16. Paulo Sérgio Almeida
    Type-checking Balloon Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  17. Hongde Hu
    Contractible Coherence Spaces and Maximal Maps. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  18. C. Barry Jay
    Denotational Semantics of Shape: Past, Present and Future. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  19. Dominique Bolignano
    Using Abstract Interpretation for the Safe Verification of Security Protocols. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  20. Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov
    A Core Calculus of Classes and Objects. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  21. Stephen D. Brookes
    Reasoning About Recursive Processes: Expansion is not Always Fair. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  22. Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  23. Kim B. Bruce, Joseph Vanderwaart
    Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  24. Krzysztof Ciesielski, Bob Flagg, Ralph Kopperman
    Characterizing Topologies With Bounded Complete Computational Models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  25. Martín Hötzel Escardó
    On the Compact-regular Coreflection of a Stably Locally Compact Locale. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  26. Martín Hötzel Escardó, Bob Flagg
    Semantic Domains, Injective Spaces and Monads. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  27. Carsten Führmann
    Direct Models for the Computational Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [Journal]
  28. Paul Syvreson
    Towards a Strand Semantics for Authentication Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:20, n:, pp:- [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