Achim Jung

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

Coauthor Index

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

Colors in the list of coauthors