The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Achim Jung: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter Buneman, Achim Jung, Atsushi Ohori
    Using Powerdomains to Generalize Relational Databases. [Citation Graph (20, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:91, n:1, pp:23-55 [Journal]
  2. M. Andrew Moshier, Achim Jung
    A Logic for Probabilities in Semantics. [Citation Graph (0, 0)][DBLP]
    CSL, 2002, pp:216-231 [Conf]
  3. Chris God, Achim Jung, Robin Knight, Ralph Kopperman
    Auxiliary relations and sandwich theorems. [Citation Graph (0, 0)][DBLP]
    Spatial Representation, 2005, pp:- [Conf]
  4. Carl A. Gunter, Achim Jung
    Coherence and Consistency in Domains (Extended Outline) [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:309-317 [Conf]
  5. Michael Huth, Achim Jung, Klaus Keimel
    Linear Types, Approximation, and Topology [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:110-114 [Conf]
  6. Achim Jung
    The Classification of Continuous Domains (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:35-40 [Conf]
  7. Achim Jung
    New Results on Hierarchies of Domains. [Citation Graph (0, 0)][DBLP]
    MFPS, 1987, pp:303-310 [Conf]
  8. Achim Jung, Leonid Libkin, Hermann Puhlmann
    Decomposition of Domains. [Citation Graph (0, 0)][DBLP]
    MFPS, 1991, pp:235-258 [Conf]
  9. Achim Jung, Allen Stoughton
    Studying the Fully Abstract Model of PCF within its Continuous Function Model. [Citation Graph (0, 0)][DBLP]
    TLCA, 1993, pp:230-244 [Conf]
  10. Achim Jung, Jerzy Tiuryn
    A New Characterization of Lambda Definability. [Citation Graph (0, 0)][DBLP]
    TLCA, 1993, pp:245-257 [Conf]
  11. 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]
  12. Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:13, n:, pp:- [Journal]
  13. Mohamed A. El-Zawawy, Achim Jung
    Priestley Duality for Strong Proximity Lattices. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:199-217 [Journal]
  14. Martín Hötzel Escardó, Achim Jung
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:73, n:, pp:1-2 [Journal]
  15. 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]
  16. Achim Jung, Mathias Kegelmann, M. Andrew Moshier
    Stably Compact Spaces and Closed Relations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:45, n:, pp:- [Journal]
  17. Achim Jung, Mathias Kegelmann, M. Andrew Moshier
    Multi lingual sequent calculus and coherent spaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:6, n:, pp:- [Journal]
  18. Achim Jung, Hermann Puhlmann
    Types, logic and semantics for nested databases. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  19. Achim Jung, Regina Tix
    The troublesome probabilistic powerdomain. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:13, n:, pp:- [Journal]
  20. Achim Jung, M. Andrew Moshier
    A Hofmann-Mislove theorem for Bitopological Spaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:159-175 [Journal]
  21. Achim Jung, Mathias Kegelmann, M. Andrew Moshier
    Multi Lingual Sequent Calculus and Coherent Spaces. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1999, v:37, n:4, pp:369-412 [Journal]
  22. Abbas Edalat, Achim Jung
    Introduction to special issue on domain theory. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2004, v:14, n:6, pp:769-0 [Journal]
  23. Michael Huth, Achim Jung, Klaus Keimel
    Linear types and approximation. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2000, v:10, n:6, pp:719-745 [Journal]
  24. Lars Birkedal, Martín Hötzel Escardó, Achim Jung, Giuseppe Rosolini
    Preface: Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:316, n:1, pp:1-2 [Journal]
  25. Achim Jung
    Cartesian Closed Categories of Algebraic CPOs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:70, n:2, pp:233-250 [Journal]
  26. Achim Jung
    The Dependent Product Construction in Various Categories of Domains. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:79, n:2, pp:359-363 [Journal]
  27. Yi-Xiang Chen, Achim Jung
    A logical approach to stable domains. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:368, n:1-2, pp:124-148 [Journal]

  28. Presenting Dcpos and Dcpo Algebras. [Citation Graph (, )][DBLP]


  29. Stably Compact Spaces and the Probabilistic Powerspace construction. [Citation Graph (, )][DBLP]


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


Search in 0.003secs, Finished in 0.004secs
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