Achim Jung - Publications

(most recent first)

• A bitopological point-free approach to compactifications.
  Topology and Applications, vol. 158, 2011, pages 1551--1566.
  (Joint with O. Klinke and M. Andrew Moshier.)
  BibTeX Entry Compressed Postscript File PDF File

• Presenting dcpos and dcpo algebras.
  In: Proceedings of the 24th Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXIV), eds A. Bauer and M. Mislove, Electronic Notes in Theoretical Computer Science, vol. 218, 2008, pages 209-229.
  (Joint with M. Andrew Moshier and S. J. Vickers.)
  BibTeX Entry Compressed Postscript File PDF File

• A Hofmann-Mislove theorem for bitopological spaces.
  Journal of Logic and Algebraic Programming, vol. 76, 2008, pages 161-174.
  (Joint with M. Andrew Moshier.)
  (Considerably revised from the MFPS version below.)
  BibTeX Entry Compressed Postscript File PDF File

• A Hofmann-Mislove theorem for bitopological spaces.
  In: Proceedings of the 23rd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXIII), eds M. Fiore and M. Mislove, Electronic Notes in Theoretical Computer Science, vol. 173, 2007, pages 159-175.
  (Joint with M. Andrew Moshier.)
  BibTeX Entry Compressed Postscript File PDF File

• On the bitopological nature of Stone Duality.
  Technical Report CSR-06-13. School of Computer Science, University of Birmingham, December 2006, 110 pages.
  (Joint with M. Andrew Moshier).
  BibTeX Entry PDF File

• A Logical Approach to Stable Domains.
  Theoretical Computer Science, vol 368, 2006, pages 124-148.
  (Joint with Yi-Xiang Chen).
  BibTeX Entry Compressed Postscript File PDF File

• Priestley duality for strong proximity lattices.
  In: Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programm\ing Semantics (MFPS XXII), eds S. Brookes and M. Mislove, Electronic Notes in Theoretical Computer Science, vol. 158, 2006, pages 199-217.
  (Joint with M. El-Zawawy.)
  BibTeX Entry Compressed Postscript File PDF File

• The probabilistic powerdomain for stably compact spaces.
  Corrected version. Originally published as Theoretical Computer Science, vol 328, 2004, pages 221-244.
  (Joint with M. Alvarez-Manilla and K. Keimel.)
  BibTeX Entry Compressed Postscript File PDF File

• Stably compact spaces and the probabilistic powerspace construction.
  In: Bellairs Workshop on Domain-theoretic Methods in Probabilistic Processes, eds. P. Panangaden and Josée Desharnais. Electronic Lecture Notes in Computer Science, vol. 87, 15 pages.
  BibTeX Entry Compressed Postscript File PDF File

• A Logic for Probabilities in Semantics.
  In: Computer Science Logic, proceedings of CSL'02, ed. Julian Bradfield. Lecture Notes in Computer Science, vol. 2471, Springer Verlag, 2002, pages 216-231.
  (Joint with M. A. Moshier.)
  BibTeX Entry Compressed Postscript File

• Stably Compact Spaces and Closed Relations.
  In: 17th Conference on Mathematical Foundations of Programming Semantics, Aarhus, May 2001, eds. S. Brookes and M. Mislove. Electronic Notes in Theoretical Computer Science, vol. 45, 24 pages.
  (Joint with M. Kegelmann and M. A. Moshier.)
  BibTeX Entry Compressed Postscript File

• Linear Types and Approximation.
  Mathematical Structures in Computer Science, vol 10, 2000, pages 719-746.
  (Joint with M. Huth and K. Keimel.)
  BibTeX Entry Compressed Postscript File

• Multi lingual sequent calculus and coherent spaces.
  Fundamenta Informaticae, vol 37, 1999, pages 369-412.
  (Joint with M. Andrew Moshier and Mathias Kegelmann.)
  BibTeX Entry Compressed Postscript File

• The troublesome probabilistic powerdomain.
  In Third Workshop on Computation and Approximation, Proceedings.
  Electronic Notes in Theoretical Computer Science, vol 13, 1998, 23 pp.
  (Joint with R. Tix.)
  BibTeX Entry Compressed Postscript File

• Berechnungsmodelle.
  In: Informatik-Handbuch, Eds. P. Rechenberg and G. Pomberger, Hanser Verlag, pages 65-75, 1997.
  3rd edition 2002, pages 73-87.
  BibTeX Entry Publishers Note

• Logik.
  In: Informatik-Handbuch, Eds. P. Rechenberg and G. Pomberger, Hanser Verlag, pages 31-63, 1997.
  3rd edition 2002, pages 33-72.
  BibTeX Entry Publishers Note

• Domains and Denotational Semantics: History, Accomplishments and Open Problems.
  Bulletin of EATCS, 59:227-256, 1996.
  (Joint with M. P. Fiore, E. Moggi, P. O'Hearn, J. Riecke, G. Rosolini and I. Stark.)
  BibTeX Entry Compressed Postscript File

• Uniform approximation of topological spaces.
  Topology and Applications, vol 83, 1998, pages 23-38.
  (Joint with Philipp Sünderhauf.)
  BibTeX Entry Compressed Postscript File

• On the duality of compact vs. open.
  In Papers on General Topology and Applications: Eleventh Summer Conference at University of Southern Maine, Proceedings, Eds. S. Andima, R. C. Flagg, G. Itzkowitz, P. Misra, Y. Kong and R. Kopperman.
  Annals of the New York Academy of Sciences, 806:214-230,1996.
  (Joint with Philipp Sünderhauf.)
  BibTeX Entry Compressed Postscript File PDF File

• Types, Logic, and Semantics for Nested Databases.
  In Mathematical Foundations of Programming Semantics, Proceedings.
  Electronic Notes in Theoretical Computer Science, 1995, 21 pp.
  (Joint with Hermann Puhlmann.)
  BibTeX Entry Compressed Postscript File

• Domain Theory.
  In Handbook of Logic in Computer Science, Vol. III, Clarendon Press, 1994, pages 1-168.
  (Joint with S. Abramsky.)
  BibTeX Entry Compressed Postscript File PDF

• Linear Types and Approximation. (Extended abstract.)
  Logic in Computer Science, IEEE Computer Society Press, 1994, pages 110-114.
  (Joint with M. Huth and K. Keimel.)
  BibTeX Entry

• Mathematical Structures in the Theory of Programming Languages.
  Habilitation Thesis, Fachbereich Mathematik, Technische Hochschule Darmstadt, February 1994, 162 pp.
  BibTeX Entry Compressed Postscript File

• A New Characterization of Lambda Definability.
  In: Typed Lambda Calculi and Applications, Eds. M. Bezem and J.F. Groote, volume 664 of Lecture Notes in Computer Science, Springer-Verlag, 1993, pages 245-257.
  (Joint with J. Tiuryn.)
  BibTeX Entry Compressed Postscript File

• Studying the Fully Abstract Model of PCF within its Continuous Function Model.
  In: Typed Lambda Calculi and Applications, Eds. M. Bezem and J.F. Groote, volume 664 of Lecture Notes in Computer Science, Springer-Verlag, 1993, pages 230-244.
  (Joint with A. Stoughton.)
  BibTeX Entry Compressed Postscript File

• Decomposition of Domains.
  In Mathematical Foundations of Programming Semantics, Proceedings, Eds. S. Brookes, M. Main, A. Melton, M. Mislove and D. Schmidt.
  Lecture Notes in Computer Science, Springer-Verlag, vol 598, 1992, pages 235-258.
  (Joint with L. Libkin und H. Puhlmann.)
  BibTeX Entry Compressed Postscript File

• The Strength of the CCITT/ISO Hash Function.
  Arbeitspapiere der GMD, Gesellschaft für Mathematik und Datenverarbeitung, Sankt Augustin, vol 492, 1991, 26 pp.
  BibTeX Entry Compressed Postscript File

• Using Powerdomains to Generalize Relational Databases.
  Theoretical Computer Science, 91:23-55, 1991.
  (Joint with P. Buneman und A. Ohori.)
  BibTeX Entry Compressed Postscript File

• Bewertung von Hash-Funktionen.
  In GMD-SmartCard Workshop, Proceedings.
  Gesellschaft für Mathematik und Datenverarbeitung, 1991, 12 pp.
  BibTeX Entry Compressed Postscript File

• The Dependent Product Construction in Various Categories of Domains.
  Theoretical Computer Science, 79:359-363, 1991.

• The Classification of Continuous Domains. (Extended abstract.)
  In: Logic in Computer Science, IEEE Computer Society Press, 1990, pages 35-40.
  BibTeX Entry Compressed Postscript File

• Cartesian closed categories of algebraic CPO's.
  Theoretical Computer Science, 70:233-250, 1990.

• Coherence and Consistency in Domains.
  Journal of Pure and Applied Algebra, 63:49-66, 1989.
  (Joint with C. Gunter.)

• Cartesian Closed Categories of Domains. (Dissertation)
  Vol. 66 of CWI Tracts, Centrum voor Wiskunde en Informatica, Amsterdam 1989, 107 pp.
  BibTeX Entry Compressed Postscript File PDF File

• Coherence and Consistency in Domains. (Extended abstract.)
  In: Logic in Computer Science, IEEE Computer Society Press, 1988, pages 309-319.
  (Joint with Carl Gunter.)

• Comparison of Subset Systems.
  Commentationes Mathematicae Universitatis Carolinae, 29:169-177, 1988.
  (Joint with E. Nelson, J. Adámek, J. Reiterman, A. Tarlecki.)

• New Results on Hierarchies of Domains.
  In: Mathematical Foundations of Programming Language Semantics, Eds. M. Main, A. Melton, M. Mislove and D. Schmidt, volume 298 of Lecture Notes in Computer Science, Springer-Verlag, 1988, pages 303-310.

• Implementing the RSA Cryptosystem.
  Computers & Security, 6:342-350, 1987.
  Reprinted in: Advances in Computer Security, Vol. III. Ed. R. Turn, Artech House, 1989.