Achim Jung - RankMe

74 papers A* 4B 22Journal 30Unranked 12

Year	Rank	Type	Title / Venue / Authors
2024	B	`conf`	Continuous Domains for Function Spaces Using Spectral Compactification. MFPS Amin Farjudian, Achim Jung
2022	—	`ed.`	Proceedings of the 9th International Symposium on Domain Theory and Its Applications, ISDT 2022, Singapore, July 4-6, 2022 ISDT Weng Kin Ho, Dongsheng Zhao, Achim Jung, Guo-Qiang Zhang
2021	J	`jnl`	A duality for two-sorted lattices. Soft Comput. Umberto Rivieccio, Achim Jung
2020	J	`jnl`	Non-involutive twist-structures. Log. J. IGPL Umberto Rivieccio, Paulo Maia, Achim Jung
2019	—	`conf`	Preface. ISDT Achim Jung, Qingguo Li, Luoshan Xu, Guo-Qiang Zhang
2019	—	`ed.`	Proceedings of the 8th International Symposium on Domain Theory and Its Applications, ISDT 2019, Yangzhou, China, June 14-17, 2019 ISDT Achim Jung, Qingguo Li, Luoshan Xu, Guo-Qiang Zhang
2019	J	`jnl`	Quotients of d-Frames. Appl. Categorical Struct. Tomas Jakl, Achim Jung, Ales Pultr
2019	J	`jnl`	Stone Duality for Relations. CoRR Alexander Kurz, M. Andrew Moshier, Achim Jung
2018	B	`ed.`	27th EACSL Annual Conference on Computer Science Logic, CSL 2018, Birmingham, UK, September 4-7, 2018 CSL Dan R. Ghica, Achim Jung
2018	J	`jnl`	The Ho-Zhao Problem. Log. Methods Comput. Sci. Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung, Xiaoyong Xi
2017	B	`conf`	Diagrammatic Semantics for Digital Circuits. CSL Dan R. Ghica, Achim Jung, Aliaume Lopez
2017	J	`jnl`	Diagrammatic Semantics for Digital Circuits. CoRR Dan R. Ghica, Achim Jung, Aliaume Lopez
2017	J	`jnl`	Four-valued modal logic: Kripke semantics and duality. J. Log. Comput. Umberto Rivieccio, Achim Jung, Ramon Jansana
2017	B	`conf`	Free Constructions and Coproducts of d-Frames. CALCO Tomas Jakl, Achim Jung
2017	J	`jnl`	Free constructions and coproducts of d-frames. CoRR Tomas Jakl, Achim Jung
2017	—	`conf`	Preface. ISDT Mao-Kang Luo, Achim Jung, Guo-Qiang Zhang
2017	J	`jnl`	Preface. Math. Struct. Comput. Sci. Achim Jung, Guo-Qiang Zhang
2017	—	`ed.`	Seventh International Symposium on Domain Theory and Its Applications, ISDT 2017, Shijiazhuang, China, June 2-6, 2017 ISDT Mao-Kang Luo, Achim Jung, Guo-Qiang Zhang
2016	B	`conf`	Bitopology and Four-valued Logic. MFPS Tomas Jakl, Achim Jung, Ales Pultr
2016	B	`conf`	Categorical semantics of digital circuits. FMCAD Dan R. Ghica, Achim Jung
2016	J	`jnl`	Join-continuity + Hypercontinuity = Prime continuity. CoRR Weng Kin Ho, Achim Jung, Dongsheng Zhao
2016	J	`jnl`	The Ho-Zhao Problem. CoRR Weng Kin Ho, Achim Jung, Xiaoyong Xi
2015	J	`jnl`	All cartesian closed categories of quasicontinuous domains consist of domains. Theor. Comput. Sci. Xiaodong Jia, Achim Jung, Hui Kou, Qingguo Li, Haoran Zhao
2015	J	`jnl`	Duality in Computer Science (Dagstuhl Seminar 15441). Dagstuhl Reports Mai Gehrke, Achim Jung, Victor L. Selivanov, Dieter Spreen
2014	B	`conf`	On a Categorical Framework for Coalgebraic Modal Logic. MFPS Liang-Ting Chen, Achim Jung
2014	B	`conf`	QRB, QFS, and the Probabilistic Powerdomain. MFPS Jean Goubault-Larrecq, Achim Jung
2014	J	`jnl`	Semantics column. ACM SIGLOG News Achim Jung
2013	—	`conf`	Continuous Domain Theory in Logical Form. Computation, Logic, Games, and Quantum Foundations Achim Jung
2013	J	`jnl`	Convergence of preference functions. Theor. Comput. Sci. Achim Jung, Jonathan E. Rowe
2013	—	`conf`	Four-valued modal logic: Kripke semantics and duality. TACL Achim Jung, Umberto Rivieccio
2013	A*	`conf`	Kripke Semantics for Modal Bilattice Logic. LICS Achim Jung, Umberto Rivieccio
2012	B	`conf`	Dedication. MFPS Stephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden
2012	J	`jnl`	Priestley Duality for Bilattices. Stud Logica Achim Jung, Umberto Rivieccio
2010	J	`jnl`	Preface for the special issue on domains. Math. Struct. Comput. Sci. Bernhard Reus, Achim Jung, Klaus Keimel, Thomas Streicher
2009	—	`conf`	Preface. ISDT Yixiang Chen, Ernst-Erich Doberkat, Achim Jung
2009	—	`ed.`	Proceedings of the Fifth International Symposium on Domain Theory, ISDT 2009, Shanghai, China, September 12-14, 2009 ISDT Yixiang Chen, Ernst-Erich Doberkat, Achim Jung
2008	J	`jnl`	A Hofmann-Mislove theorem for bitopological spaces. J. Log. Algebraic Methods Program. Achim Jung, M. Andrew Moshier
2008	B	`conf`	Presenting Dcpos and Dcpo Algebras. MFPS Achim Jung, M. Andrew Moshier, Steven J. Vickers
2007	B	`conf`	A Hofmann-Mislove theorem for Bitopological Spaces. MFPS Achim Jung, M. Andrew Moshier
2007	J	`jnl`	Preface. Math. Struct. Comput. Sci. Martín Hötzel Escardó, Achim Jung, Thomas Streicher
2006	J	`jnl`	A logical approach to stable domains. Theor. Comput. Sci. Yi-Xiang Chen, Achim Jung
2006	J	`jnl`	Preface. Math. Struct. Comput. Sci. Martín Hötzel Escardó, Achim Jung, Thomas Streicher
2006	B	`conf`	Priestley Duality for Strong Proximity Lattices. MFPS Mohamed A. El-Zawawy, Achim Jung
2006	B	`ed.`	Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2005, Birmingham, UK, May 18-21, 2005 MFPS Martín Hötzel Escardó, Achim Jung, Michael W. Mislove
2005	—	`conf`	Auxiliary relations and sandwich theorems. Spatial Representation Chris Good, Achim Jung, Robin W. Knight, Ralph Kopperman
2005	B	`conf`	Preface. MFPS Martín Hötzel Escardó, Achim Jung, Michael W. Mislove
2004	J	`jnl`	Introduction to special issue on domain theory. Math. Struct. Comput. Sci. Abbas Edalat, Achim Jung
2004	J	`jnl`	Preface: Recent Developments in Domain Theory: A collection of papers in honour of Dana S. Scott. Theor. Comput. Sci. Lars Birkedal, Martín Hötzel Escardó, Achim Jung, Giuseppe Rosolini
2004	—	`ed.`	Proceedings of the Workshop on Domains VI 2002, Birmingham, UK, September 16-19, 2002 Workshop on Domains Martín Escardó, Achim Jung
2004	J	`jnl`	The probabilistic powerdomain for stably compact spaces. Theor. Comput. Sci. Maurizio Alvarez-Manilla, Achim Jung, Klaus Keimel
2003	—	`conf`	Stably Compact Spaces and the Probabilistic Powerspace construction. DTMPP Achim Jung
2002	B	`conf`	A Logic for Probabilities in Semantics. CSL M. Andrew Moshier, Achim Jung
2002	—	`conf`	Preface. Workshop on Domains Martín Hötzel Escardó, Achim Jung
2001	B	`conf`	Stably Compact Spaces and Closed Relations. MFPS Achim Jung, Mathias Kegelmann, M. Andrew Moshier
2000	J	`jnl`	Linear types and approximation. Math. Struct. Comput. Sci. Michael Huth, Achim Jung, Klaus Keimel
1999	B	`ed.`	Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999 MFPS Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov
1999	J	`jnl`	Multi Lingual Sequent Calculus and Coherent Spaces. Fundam. Informaticae Achim Jung, Mathias Kegelmann, M. Andrew Moshier
1999	B	`conf`	Preface. MFPS Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov
1997	B	`conf`	Multi lingual sequent calculus and coherent spaces. MFPS Achim Jung, Mathias Kegelmann, M. Andrew Moshier
1997	—	`conf`	Preface. COMPROX Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska
1997	—	`conf`	The troublesome probabilistic powerdomain. COMPROX Achim Jung, Regina Tix
1997	—	`ed.`	Third Workshop on Computation and Approximation, COMPROX 1997, Birmingham, UK, September 11-13, 1997 COMPROX Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska
1995	B	`conf`	Types, logic and semantics for nested databases. MFPS Achim Jung, Hermann Puhlmann
1994	A*	`conf`	Linear Types, Approximation, and Topology LICS Michael Huth, Achim Jung, Klaus Keimel
1993	—	`conf`	A New Characterization of Lambda Definability. TLCA Achim Jung, Jerzy Tiuryn
1993	—	`conf`	Studying the Fully Abstract Model of PCF within its Continuous Function Model. TLCA Achim Jung, Allen Stoughton
1991	B	`conf`	Decomposition of Domains. MFPS Achim Jung, Leonid Libkin, Hermann Puhlmann
1991	J	`jnl`	The Dependent Product Construction in Various Categories of Domains. Theor. Comput. Sci. Achim Jung
1991	J	`jnl`	Using Powerdomains to Generalize Relational Databases. Theor. Comput. Sci. Peter Buneman, Achim Jung, Atsushi Ohori
1990	J	`jnl`	Cartesian Closed Categories of Algebraic CPOs. Theor. Comput. Sci. Achim Jung
1990	A*	`conf`	The Classification of Continuous Domains (Extended Abstract) LICS Achim Jung
1988	A*	`conf`	Coherence and Consistency in Domains (Extended Outline) LICS Carl A. Gunter, Achim Jung
1987	J	`jnl`	Implementing the RSA cryptosystem. Comput. Secur. Achim Jung
1987	B	`conf`	New Results on Hierarchies of Domains. MFPS Achim Jung