The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2009, volume: 249, number:


  1. Preface. [Citation Graph (, )][DBLP]


  2. Continuous Functions on Final Coalgebras. [Citation Graph (, )][DBLP]


  3. Abstract Interpretation From a Denotational-semantics Perspective. [Citation Graph (, )][DBLP]


  4. Monoidal Indeterminates and Categories of Possible Worlds. [Citation Graph (, )][DBLP]


  5. Another Look at Function Domains. [Citation Graph (, )][DBLP]


  6. Quantitative Notions of Leakage for One-try Attacks. [Citation Graph (, )][DBLP]


  7. Extending Algebraic Operations to D-Completions. [Citation Graph (, )][DBLP]


  8. Some Programming Languages Suggested by Game Models (Extended Abstract). [Citation Graph (, )][DBLP]


  9. Game Semantics for Access Control. [Citation Graph (, )][DBLP]


  10. On the Failure of Fixed-Point Theorems for Chain-complete Lattices in the Effective Topos. [Citation Graph (, )][DBLP]


  11. A Context-based Approach to Proving Termination of Evaluation. [Citation Graph (, )][DBLP]


  12. Categories of Timed Stochastic Relations. [Citation Graph (, )][DBLP]


  13. Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting. [Citation Graph (, )][DBLP]


  14. On the Unification of Process Semantics: Equational Semantics. [Citation Graph (, )][DBLP]


  15. On the Relative Expressive Power of Calculi for Mobility. [Citation Graph (, )][DBLP]


  16. Contraction-free Proofs and Finitary Games for Linear Logic. [Citation Graph (, )][DBLP]


  17. Twisted Graph States for Ancilla-driven Universal Quantum Computation. [Citation Graph (, )][DBLP]


  18. Equational Coalgebraic Logic. [Citation Graph (, )][DBLP]


  19. Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity. [Citation Graph (, )][DBLP]


  20. An Algebraic Account of References in Game Semantics. [Citation Graph (, )][DBLP]


  21. Elgot Theories: A New Perspective of Iteration Theories (Extended Abstract). [Citation Graph (, )][DBLP]


  22. Logical Semantics for Stability. [Citation Graph (, )][DBLP]


  23. Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information. [Citation Graph (, )][DBLP]


  24. Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names. [Citation Graph (, )][DBLP]

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