The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 155, number:

  1. Martín Hötzel Escardó, Achim Jung, Michael W. Mislove
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:1-3 [Journal]
  2. Andrej Bauer
    First Steps in Synthetic Computability Theory. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:5-31 [Journal]
  3. Catuscia Palamidessi
    Probabilistic and Nondeterministic Aspects of Anonymity. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:33-42 [Journal]
  4. Cliff B. Jones
    An Approach to Splitting Atoms Safely: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:43-60 [Journal]
  5. Luca Viganò
    Automated Security Protocol Analysis With the AVISPA Tool. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:61-86 [Journal]
  6. Jirí Adámek, Stefan Milius, Jiri Velebil
    Elgot Algebras: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:87-109 [Journal]
  7. Michael Backes
    Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:111-145 [Journal]
  8. Emmanuel Beffara
    A Concurrent Model for Linear Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:147-168 [Journal]
  9. Malgorzata Biernacka, Olivier Danvy, Kristian Støvring
    Program Extraction From Proofs of Weak Head Normalization. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:169-189 [Journal]
  10. Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini
    Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:219-245 [Journal]
  11. Richard Bornat, Cristiano Calcagno, Hongseok Yang
    Variables as Resource in Separation Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:247-276 [Journal]
  12. Stephen Brookes
    A Grainless Semantics for Parallel Programs with Shared Mutable Data. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:277-307 [Journal]
  13. Peter Buchlovsky, Hayo Thielecke
    A Type-theoretic Reconstruction of the Visitor Pattern. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:309-329 [Journal]
  14. Bob Coecke
    Strongly Compact Closed Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:331-340 [Journal]
  15. Ewen Denney, John Power, Konstantinos Tourlas
    Hiproofs: A Hierarchical Notion of Proof Tree. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:341-359 [Journal]
  16. Jeffrey M. Egger
    A Quillen Model Structure for Chu Spaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:361-377 [Journal]
  17. Reinhold Heckmann
    Injective Convergence Spaces and Equilogical Spaces via Pretopological Spaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:379-399 [Journal]
  18. Altaf Hussain, Michael Huth
    Automata Games for Multiple-model Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:401-421 [Journal]
  19. Klaus Keimel
    Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:423-443 [Journal]
  20. Søren B. Lassen
    Normal Form Simulation for McCarthy's Amb. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:445-465 [Journal]
  21. Paul Blain Levy
    Infinite Trace Equivalence. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:467-496 [Journal]
  22. Gavin Lowe, Joël Ouaknine
    On Timed Models and Full Abstraction. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:497-519 [Journal]
  23. Yevgeniy Makarov
    Practical Program Extraction from Classical Proofs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:521-542 [Journal]
  24. Dale Miller, Alexis Saurin
    A Game Semantics for Proof Search: Preliminary Results. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:543-563 [Journal]
  25. Abbas Edalat, Dirk Pattinson
    Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:565-581 [Journal]
  26. E. Kleiner, A. W. Roscoe
    On the Relationship Between Web Services Security and Traditional Protocols. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:583-603 [Journal]
  27. Matthias Schröder, Alex Simpson
    Probabilistic Observations and Valuations: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:605-615 [Journal]
  28. Isar Stubbe
    Towards "Dynamic Domains": Totally Continuous Cocomplete Q-categories. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:617-634 [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