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