@InCollection{abramsky94,
  author = 	{S. Abramsky and A. Jung},
  booktitle = 	{Handbook of Logic in Computer Science},
  title = 	{Domain Theory},
  publisher = 	{Clarendon Press},
  pages = 	{1--168},
  year = 	1994,
  editor = 	{S. Abramsky and D. M. Gabbay and T. S. E. Maibaum},
  volume = 	3
}

@article{alvarez04,
  author = 	{M. Alvarez-Manilla and A. Jung and K. Keimel},
  title = 	{The probabilistic powerdomain for stably compact spaces},
  journal =	 {Theoretical Computer Science},
  year =	 2004,
  volume =	 328,
  publisher =	 {Elsevier Science Publishers {B.V.}},
  pages = 	{221--244}
}

@Article{buneman91,
  author = 	{P. Buneman and A. Jung and A. Ohori},
  title = 	{Using Powerdomains to Generalize Relational
		 Databases},
  journal = 	{Theoretical Computer Science},
  year = 	{1991},
  volume = 	{91},
  pages = 	{23--55}
}

@TechReport{fiore96,
  author = 	 {M. P. Fiore and A. Jung and E. Moggi and P. O'Hearn
		  and J. Riecke and G. Rosolini and I. Stark},
  title = 	 {Domains and Denotational Semantics: History,
		  Accomplishments and Open Problems},
  institution =  {School of Computer Science, The University of Birmingham},
  year = 	 1996,
  number =	 {CSR-96-2},
  note =	 {30pp., available from \texttt{http://www.cs.bham.ac.uk/}},
  annote =	 {(Submitted for Publication.)}
}

@article{gunter88,
  author = 	{C. Gunter and A. Jung},
  title = 	{Coherence and Consistency in Domains},
  journal = 	{Journal of Pure and Applied Algebra},
  volume = 	{63},
  year = 	{1989},
  pages = 	{49--66}
}

@inproceedings{gunter88a,
  author = 	{C. Gunter and A. Jung},
  title = 	{Coherence and Consistency in Domains},
  booktitle = 	{Third Annual Symposium on Logic in Computer Science},
  publisher = 	{IEEE Computer Society Press},
  year = 	{1988},
  pages = 	{309--317}
}

@InProceedings{huth94a,
  author = 	{M. Huth and A. Jung and K. Keimel},
  title = 	{Linear Types, Approximation, and Topology},
  pages = 	{110--114},
  booktitle = 	{Logic in Computer Science},
  year = 	1994,
  publisher = 	{IEEE Computer Society Press}
}

@Article{huth94f,
  author = 	{M. Huth and A. Jung and K. Keimel},
  title = 	{Linear types and approximation},
  journal = 	{Mathematical Structures in Computer Science},
  volume = 	10,
  number = 	6,
  pages = 	{719--746},
  publisher = 	{Cambridge University Press},
  year = 	2000
}

@Article{jung87,
  author = 	{A. Jung},
  title = 	{Implementing the {RSA} Cryptosystem},
  journal = 	{Computers \& Security},
  year = 	{1987},
  volume = 	{6},
  pages = 	{342--350}
}

@Article{jung88,
  author = 	{E. Nelson and J. Ad\'amek and A. Jung and 
                 J. Reiterman and A. Tarlecki},
  title  = 	{Comparison of Subset Systems},
  journal = 	{Commentationes Mathematicae Universitatis Carolinae},
  year = 	{1988},
  volume = 	{29},
  pages = 	{169--177}
}

@InProceedings{jung88a,
  author = 	{A. Jung},
  title = 	{New Results on Hierarchies of Domains},
  booktitle = 	{Mathematical Foundations of Programming Language
		 Semantics},
  year = 	1988,
  editor = 	{M. Main and A. Melton and M. Mislove and D. Schmidt},
  pages = 	{303--310},
  publisher = 	{Springer Verlag},
  series = 	{Lecture Notes in Computer Science},
  volume = 	298
}

@article{jung88b,
  author = 	{A. Jung},
  title = 	{Cartesian Closed Categories of Algebraic {CPO's}},
  journal = 	{Theoretical Computer Science},
  year = 	{1990},
  volume = 	{70},
  pages = 	{233--250}
}

@PhdThesis{jung88c,
  author = 	{A. Jung},
  title = 	{Cartesian Closed Categories of Domains},
  school = 	{Technische Hochschule Darmstadt},
  year = 	{1988}
}

@TechReport{jung88d,
  author = 	{A. Jung},
  title = 	{Cartesian Closed Categories of Algebraic {CPO's}},
  institution = 	{Technische Hochschule Darmstadt},
  year = 	{1988},
  number = 	{1110}
}

@Book{jung89,
  author = 	{A. Jung},
  title = 	{Cartesian Closed Categories of Domains},
  publisher = 	{Centrum voor Wiskunde en Informatica},
  year = 	{1989},
  volume = 	{66},
  series = 	{CWI Tracts},
  address = 	{Amsterdam}
}

@InProceedings{jung90,
  author = 	{A. Jung},
  title = 	{The Classification of Continuous Domains},
  booktitle = 	{Logic in Computer Science},
  year = 	1990,
  publisher = 	{IEEE Computer Society Press},
  pages = 	{35--40}
}

@TechReport{jung90a,
  author = 	{A. Jung},
  title = 	{{The Strength of the CCITT/ISO Hash Function}},
  institution = 	{Gesellschaft f{\"u}r Mathematik und
		 Datenverarbeitung~mbH},
  year = 	{1990},
  type = 	{Arbeitspapiere der GMD},
  number = 	{492},
  address = 	{Sankt Augustin, Germany},
  month = 	{December}
}

@Article{jung91,
  author = 	{A. Jung},
  title = 	{The Dependent Product Construction in Various
		 Categories of Domains},
  journal = 	{Theoretical Computer Science},
  year = 	1991,
  volume = 	79,
  pages = 	{359--364}
}

@InProceedings{jung91a,
  author = 	{A. Jung},
  title = 	{{Bewertung von Hash Funktionen}},
  booktitle = 	{Tagungsband des SmartCard-Workshop},
  year = 	1991,
  editor = 	{B. Struif},
  pages = 	{1--12},
  organization = 	{Gesellschaft f{\"u}r Mathematik und
		 Datenverarbeitung~mbH},
  address = 	{Sankt Augustin, Germany}
}

@TechReport{jung91b,
  author = 	{A. Jung and L. Libkin and H. Puhlmann},
  title = 	{Decomposition of Domains},
  institution = 	{Technische Hochschule Darmstadt},
  year = 	1991,
  number = 	1416
}

@Unpublished{jung92,
  author = 	{A. Jung and A. Stoughton},
  title = 	{Studying the Fully Abstract Model of {PCF} within its
		 Continuous Function Model},
  note = 	{Manuscript, University of Sussex},
  year = 	1992
}

@InProceedings{jung92a,
  author = 	{A. Jung and L. Libkin and H. Puhlmann},
  title = 	{Decomposition of Domains},
  booktitle = 	{Mathematical Foundations of Programming Semantics},
  year = 	1992,
  series = 	{Lecture Notes in Computer Science},
  volume = 	598,
  editor = 	{S. Brookes and M. Main and A. Melton and M. Mislove
		 and D. Schmidt},
  pages = 	{235--258},
  publisher = 	{Springer Verlag}
}

@TechReport{jung92b,
  author = 	{A. Jung and J. Tiuryn},
  title = 	{A New Characterization of Lambda Definability},
  institution = 	{Technische Hochschule Darmstadt},
  year = 	1992,
  number = 	1498
}

@TechReport{jung92c,
  author = 	{A. Jung and A. Stoughton},
  title = 	{Studying the Fully Abstract Model of {PCF} within its
		 Continuous Function Model},
  institution = 	{University of Sussex},
  year = 	1992,
  number = 	{7/92}
}

@InProceedings{jung93a,
  author = 	{A. Jung and A. Stoughton},
  title = 	{Studying the Fully Abstract Model of {PCF} within its
		 Continuous Function Model},
  booktitle = 	{Typed Lambda Calculi and Applications},
  year = 	1993,
  series = 	{Lecture Notes in Computer Science},
  volume = 	664,
  editor = 	{M. Bezem and J. F. Groote},
  pages = 	{230--244},
  publisher = 	{Springer Verlag}
}

@InProceedings{jung93b,
  author = 	{A. Jung and J. Tiuryn},
  title = 	{A New Characterization of Lambda Definability},
  booktitle = 	{Typed Lambda Calculi and Applications},
  year = 	1993,
  series = 	{Lecture Notes in Computer Science},
  volume = 	664,
  editor = 	{M. Bezem and J. F. Groote},
  pages = 	{245--257},
  publisher = 	{Springer Verlag}
}

@Unpublished{jung94,
  author = 	{A. Jung and H. Puhlmann},
  title = 	{Types, Logic, and Semantics for Nested Databases},
  note = 	{Submitted to {\em Mathematical Foundations of
		  Programming Languages 1995}}
}

@techreport{jung94a,
  author = 	{A. Jung and H. Puhlmann},
  title = 	{Types, Logic, and Semantics for Nested Databases},
  institution = 	{Technische Hochschule Darmstadt},
  year = 	1994,
  number = 	1706,
  note = 	{23~pp.}
}

@Misc{jung94b,
  author =	 {A. Jung},
  title =	 {Mathematical Structures in the Theory of Programming
		  Languages},
  year =	 1994,
  month =	 {February},
  note =	 {162 pp.},
  abstract = 	 {My Habilitation thesis. It consists of an annotated
		  collection of some of my papers.}
}

@InProceedings{jung95,
  author = 	{A. Jung and H. Puhlmann},
  title = 	{Types, Logic, and Semantics for Nested Databases},
  editor = 	{M. Main and S. Brookes},
  volume = 	1,
  series = 	{Electronic Notes in Theoretical Computer Science},
  booktitle = 	{11th Conference on Mathematical Foundations of
		  Programming Semantics},
  year = 	1995,
  publisher = 	{Elsevier Science Publishers {B.V.}}
}

@InProceedings{jung95b,
  author = 	{A. Jung and Ph. S{\"u}nderhauf},
  title = 	{On the duality of compact vs.\ open},
  booktitle = 	{Papers on General Topology and Applications: Eleventh
		  Summer Conference at University of Southern Maine},
  editor = 	{S. Andima and R. C. Flagg and G. Itzkowitz and P.
		  Misra and Y. Kong and R. Kopperman},
  series = 	{Annals of the New York Academy of Sciences},
  year = 	1996,
  note = 	{To appear.}
}

@TechReport{jung96,
  author = 	 {A. Jung and Ph. S{\"u}nderhauf},
  title = 	 {Uniform approximation of topological spaces},
  institution =  {School of Computer Science, The University of Birmingham},
  year = 	 1996,
  number =	 {CSR-96-3},
  note =	 {19pp., available from \texttt{http://www.cs.bham.ac.uk/}},
  annote =	 {(Submitted for publication.)}
}


@InProceedings{jung97,
  author = 	 {A. Jung and M. Kegelmann and M. A. Moshier},
  title = 	 {Multi lingual sequent calculus and coherent spaces},
  booktitle = 	 {13th Conference on Mathematical Foundations of
		  Programming Semantics},
  editor =	 {S. Brookes and M. Mislove},
  volume =	 6,
  series =	 {Electronic Notes in Theoretical Computer Science},
  year =	 1997,
  publisher =	 {Elsevier Science Publishers {B.V.}},
  note = 	 {18~pages},
  anote = 	 {\texttt{http:\-//www.\-elsevier.\-nl/\-locate/\-entcs/\-volume6.\-html}}
}

@Article{jung97a,
  author = 	 {A. Jung and Ph. S{\"u}nderhauf},
  title = 	 {Uniform approximation of topological spaces},
  journal = 	 {Topology and its Applications},
  Year = 	 1998,
  volume = 	 83,
  number =       1,
  pages = 	 {23--38}
}

@InCollection{jung97b,
  author = 	 {A. Jung},
  title = 	 {Logik},
  booktitle = 	 {Informatik-Handbuch},
  publisher =	 {Hanser Verlag},
  year =	 1997,
  editor =	 {P. Rechenberg and G. Pomberger},
  chapter =	 {A1},
  address =	 {M\"unchen},
  pages =	 {31--63}
}

@InCollection{jung97c,
  author = 	 {A. Jung},
  title = 	 {Berechnungsmodelle},
  booktitle = 	 {Informatik-Handbuch},
  chapter = 	 {A2},
  publisher = 	 {Hanser Verlag},
  year = 	 1997,
  editor =	 {P. Rechenberg and G. Pomberger},
  address =	 {M\"unchen},
  pages =	 {65--75}
}

@TechReport{jung97d,
  author = 	 {A. Jung and M. Kegelmann and M. A. Moshier},
  title = 	 {Multi lingual sequent calculus and coherent spaces},
  institution =  {School of Computer Science, The University of Birmingham},
  year = 	 1997,
  number =	 {CSR-97-9},
  note = 	 {41 pages, (submitted for publication)}
}

@TechReport{jung97e,
  author = 	 {A. Jung},
  title = 	 {Lawson-compactness for the probabilistic powerdomain},
  institution =  {School of Computer Science, The University of Birmingham},
  year = 	 1997,
  number =	 {CSR-97-10},
  note =	 {7 pages}
}

@Proceedings{jung97f,
  title = 	 {Logic and Semantics of Programs},
  year = 	 1997,
  editor =	 {V. de Paiva and A. Jung},
  series = 	 {Computer Science Research Reports},
  number =	 {CSR-97-1},
  organization = {School of Computer Science, The University of Birmingham}
}

@Proceedings{jung97g,
  title = 	 {Logic, Domains, and Programming Languages},
  year = 	 1997,
  editor =	 {M. Huth and A. Jung and K. Keimel},
  volume =	 7,
  series =	 {Mathematical Structures in Computer Science},
  publisher =	 {Cambridge University Press}
}

@InProceedings{jung98,
  author = 	 {A. Jung and R. Tix},
  title = 	 {The troublesome probabilistic powerdomain},
  booktitle = 	 {Proceedings of the Third Workshop on Computation and
		  Approximation},
  editor =	 {A. Edalat and A. Jung and K. Keimel and M. Kwiatkowska},
  series =	 {Electronic Notes in Theoretical Computer Science},
  year =	 1998,
  volume = 	 13,
  publisher =	 {Elsevier Science Publishers {B.V.}},
  note =         {23~pages},
  anote =	 {Available from
		  \texttt{http:\-//www.\-elsevier.\-nl/\-cas/\-tree/\-store/\-tcs/\-free/\-noncas/\-pc/\-menu.htm}.}
}

@Proceedings{jung98a,
  title = 	 {Proceedings of the third workshop on Computation and
		  Approximation.},
  year = 	 1998,
  editor =	 {A. Edalat and A. Jung and K. Keimel and M. Kwiatkowska},
  volume =	 13,
  series =	 {Electronic Notes in Theoretical Computer Science},
  publisher =	 {Elsevier Science Publishers {B.V.}},
  note =	 {Held at \texttt{http:\-//www.\-elsevier.\-nl/\-locate/\-tcs}}
}

@Article{jung99,
  author = 	 {A. Jung and M. Kegelmann and M. A. Moshier},
  title = 	 {Multi lingual sequent calculus and coherent spaces},
  journal = 	 {Fundamenta Informaticae},
  year = 	 {1999},
  volume =	 {37},
  pages =	 {369--412}
}

@InCollection{jung99a,
  author = 	 {A. Jung},
  title = 	 {Logik},
  booktitle = 	 {Informatik-Handbuch},
  publisher =	 {Hanser Verlag},
  year =	 1999,
  edition = 	 2,
  editor =	 {P. Rechenberg and G. Pomberger},
  chapter =	 {A1},
  address =	 {M\"unchen},
  pages =	 {33--72}
}

@InCollection{jung99b,
  author = 	 {A. Jung},
  title = 	 {Berechnungsmodelle},
  booktitle = 	 {Informatik-Handbuch},
  chapter = 	 {A2},
  publisher = 	 {Hanser Verlag},
  year = 	 1999,
  edition = 	 2,
  editor =	 {P. Rechenberg and G. Pomberger},
  address =	 {M\"unchen},
  pages =	 {73--87}
}

@Proceedings{jung99c,
  title = 	 {Applied Categorical Structures},
  year = 	 1999,
  editor =	 {Ji\v{r}\'\i{} Ad\'amek and Achim Jung and J\"urgen Koslowski},
  volume =	 7,
  number =	 {1--2},
  series =	 {Applied Categorical Structures},
  note =	 {(Proceedings of The Workshop on Domain Theory II, Braunschweig 1996.)}
}

@InProceedings{jung01,
  author = 	 {A. Jung and M. Kegelmann and M. A. Moshier},
  title = 	 {Stably compact spaces and closed relations},
  booktitle = 	 {17th Conference on Mathematical Foundations of
		  Programming Semantics},
  editor =	 {S. Brookes and M. Mislove},
  series =	 {Electronic Notes in Theoretical Computer Science},
  year =	 2001,
  volume = 	 45,
  publisher =	 {Elsevier Science Publishers {B.V.}},
  note =         {24~pages}
}

@InProceedings{jung04,
  author = 	 {A. Jung},
  title = 	 {Stably compact spaces and the probabilistic powerspace construction},
  booktitle =	 {Domain-theoretic Methods in Probabilistic Processes},
  year =	 2004,
  editor =	 {J. Desharnais and P. Panangaden},
  volume =	 87,
  series =	 {Electronic Notes in Theoretical Computer Science},
  publisher =	 {Elsevier Science Publishers {B.V.}},
  note =	 {15pp.}
}

@InProceedings{zawawy06,
  author = 	 {M. A. El-Zawawy and A. Jung},
  title = 	 {Priestley duality for strong proximity lattices},
  booktitle =	 {Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics ({MFPS~XXII})},
  pages =	 {199--217},
  year =	 2006,
  editor =	 {S. Brookes and M. Mislove},
  volume =	 158,
  series =	 entcs,
  abstract = 	 {In 1937 Marshall Stone extended his celebrated representation
  theorem for Boolean algebras to distributive lattices. In modern
  terminology, the representing topological spaces are
  zero-dimensional stably compact, but typically not Hausdorff. In
  1970, Hilary Priestley realised that Stone's topology could be
  enriched to yield order-disconnected compact ordered spaces.

  In the present paper, we generalise Priestley duality to a
  representation theorem for strong proximity lattices. For these a
  ``Stone-type'' duality was given in 1995 in joint work between
  Philipp S\"underhauf and the second author, which established a
  close link between these algebraic structures and the class of all
  stably compact spaces.  The feature which distinguishes the present
  work from this duality is that the proximity relation of strong
  proximity lattices is ``preserved'' in the dual, where it manifests
  itself as a form of ``apartness.'' This suggests a link with
  constructive mathematics which in this paper we
  can only hint at.  Apartness seems particularly attractive in view
  of potential applications of the theory in areas of semantics where
  continuous phenomena play a role; there, it is the distinctness
  between different states which is observable, not equality.

  The idea of separating states is also taken up in our discussion of
  possible morphisms for which the representation theorem extends to
  an equivalence of categories.}
}

@InProceedings{jung07,
  author = 	 {A. Jung and M. A. Moshier},
  title = 	 {A Hofmann-Mislove theorem for bitopological spaces},
  booktitle =	 {Proceedings of the 23rd Annual Conference on Mathematical Foundations of Programming Semantics ({MFPS~XXIII})},
  pages =	 {??--??},
  year =	 2007,
  editor =	 {M. Fiore and M. Mislove},
  volume =	 ??,
  series =	 entcs,
  abstract = 	 {We present a Stone duality for bitopological spaces in analogy to
  the duality between topological spaces and frames, and discuss the
  resulting notions of sobriety and spatiality. Under the additional
  assumption of regularity, we prove a characterisation theorem for
  subsets of a bisober space that are compact in one and closed in the
  other topology. This is in analogy to the celebrated Hofmann-Mislove
  theorem for sober spaces. We link the characterisation to Taylor's
  and Escard{\'o}'s reading of the Hofmann-Mislove theorem as continuous
  quantification over a subspace. As an application, we define locally
  compact d-frames and show that these are always spatial.}
}

@Proceedings{keimel94,
  title = 	{Workshop Domains},
  year = 	1994,
  editor = 	{K. Keimel and A. Jung and M. Huth},
  organization = 	{Technische Hochschule Darmstadt},
  note = 	{133~pp.}
}

@InProceedings{zawawy06,
  author = 	 {M. A. El-Zawawy and A. Jung},
  title = 	 {Priestley duality for strong proximity lattices},
  booktitle =	 {Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics ({MFPS~XXII})},
  pages =	 {199--217},
  year =	 2006,
  editor =	 {S. Brookes and M. Mislove},
  volume =	 158,
  series =	 {Electronic Notes in Theoretical Computer Science}
}