Achim Jung Coauthor index DBLP Vis pubzone.org

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

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

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)