dblp.uni-trier.dewww.uni-trier.de

Achim Jung Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
32EEAchim Jung, M. Andrew Moshier, Steven J. Vickers: Presenting Dcpos and Dcpo Algebras. Electr. Notes Theor. Comput. Sci. 218: 209-229 (2008)
31EEAchim Jung, M. Andrew Moshier: A Hofmann-Mislove theorem for bitopological spaces. J. Log. Algebr. Program. 76(2): 161-174 (2008)
2007
30EEAchim Jung, M. Andrew Moshier: A Hofmann-Mislove theorem for Bitopological Spaces. Electr. Notes Theor. Comput. Sci. 173: 159-175 (2007)
29EEMartín Hötzel Escardó, Achim Jung, Thomas Streicher: Preface. Mathematical Structures in Computer Science 17(5): 839-839 (2007)
2006
28EEMartín Hötzel Escardó, Achim Jung, Michael W. Mislove: Preface. Electr. Notes Theor. Comput. Sci. 155: 1-3 (2006)
27EEMohamed A. El-Zawawy, Achim Jung: Priestley Duality for Strong Proximity Lattices. Electr. Notes Theor. Comput. Sci. 158: 199-217 (2006)
26EEMartín Hötzel Escardó, Achim Jung, Thomas Streicher: Preface. Mathematical Structures in Computer Science 16(2): 139-140 (2006)
25EEYi-Xiang Chen, Achim Jung: A logical approach to stable domains. Theor. Comput. Sci. 368(1-2): 124-148 (2006)
2005
24EEChris God, Achim Jung, Robin Knight, Ralph Kopperman: Auxiliary relations and sandwich theorems. Spatial Representation 2005
2004
23EEMartín Hötzel Escardó, Achim Jung: Preface. Electr. Notes Theor. Comput. Sci. 73: 1-2 (2004)
22EEAchim Jung: Stably Compact Spaces and the Probabilistic Powerspace construction. Electr. Notes Theor. Comput. Sci. 87: 5-20 (2004)
21EEAbbas Edalat, Achim Jung: Introduction to special issue on domain theory. Mathematical Structures in Computer Science 14(6): 769- (2004)
20EELars 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
19EEM. Andrew Moshier, Achim Jung: A Logic for Probabilities in Semantics. CSL 2002: 216-231
2001
18EEAchim 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
16EEStephen 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
14EEAbbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska: Preface. Electr. Notes Theor. Comput. Sci. 13: (1998)
13EEAchim Jung, Regina Tix: The troublesome probabilistic powerdomain. Electr. Notes Theor. Comput. Sci. 13: (1998)
1997
12EEAchim Jung, Mathias Kegelmann, M. Andrew Moshier: Multi lingual sequent calculus and coherent spaces. Electr. Notes Theor. Comput. Sci. 6: (1997)
1995
11EEAchim 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
7EEAchim 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
1EEAchim Jung: New Results on Hierarchies of Domains. MFPS 1987: 303-310

Coauthor Index

1Lars Birkedal [20]
2Stephen D. Brookes [16]
3Peter Buneman [5]
4Yi-Xiang Chen [25]
5Abbas Edalat [14] [21]
6Mohamed A. El-Zawawy [27]
7Martín Hötzel Escardó [20] [23] [26] [28] [29]
8Chris God [24]
9Carl A. Gunter [2]
10Michael Huth [10] [17]
11Mathias Kegelmann [12] [15] [18]
12Klaus Keimel [10] [14] [17]
13Robin Knight [24]
14Ralph Kopperman [24]
15Marta Z. Kwiatkowska [14]
16Leonid Libkin [7]
17Michael W. Mislove [16] [28]
18M. Andrew Moshier [12] [15] [18] [19] [30] [31] [32]
19Atsushi Ohori [5]
20Hermann Puhlmann [7] [11]
21Giuseppe Rosolini [20]
22Andre Scedrov [16]
23Allen Stoughton [9]
24Thomas Streicher [26] [29]
25Jerzy Tiuryn [8]
26Regina Tix [13]
27Steven J. Vickers (Steven Vickers) [32]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)