Recent publications
Article
Rivieccio, U & Jung, A 2021, 'A duality for two-sorted lattices', Soft Computing, vol. 25, no. 2, pp. 851–868. https://doi.org/10.1007/s00500-020-05482-7
Jia, X, Jung, A & Li, Q 2019, 'A dichotomy result for locally compact sober dcpos', Houston Journal of Mathematics, vol. 45, no. 3, pp. 935-951. <https://www.math.uh.edu/~hjm/Vol45-3.html>
Jakl, T, Jung, A & Pultr, A 2019, 'Quotients of d-Frames', Applied Categorical Structures, vol. 27, no. 3, pp. 261-275. https://doi.org/10.1007/s10485-018-09553-7
Rivieccio, U, Maia, P & Jung, A 2018, 'Non-involutive twist-structures', Interest Group in Pure and Applied Logics. Logic Journal. https://doi.org/10.1093/jigpal/jzy070
Ho, WK, Goubault-Larrecq, J, Jung, A & Xi, X 2018, 'The Ho-Zhao problem', Logical Methods in Computer Science, vol. 14, no. 1, 7. https://doi.org/10.23638/LMCS-14(1:7)2018
Jia, X, Jung, A & Li, Q 2016, 'A note on coherence of dcpos', Topology and its Applications, vol. 209, pp. 235-238. https://doi.org/10.1016/j.topol.2016.06.011
Jia, X, Jung, A, Kou, H, Li, Q & Zhao, H 2015, 'All cartesian closed categories of quasicontinuous domains consist of domains', Theoretical Computer Science, vol. 594, pp. 143-150. https://doi.org/10.1016/j.tcs.2015.05.014
Rivieccio, U, Jung, A & Jansana, R 2015, 'Four-valued modal logic: Kripke semantics and duality', Journal of Logic and Computation. https://doi.org/10.1093/logcom/exv038
Chen, L & Jung, A 2014, 'On a categorical framework for coalgebraic modal logic', Electronic Notes in Theoretical Computer Science, vol. 308, pp. 109-128. https://doi.org/10.1016/j.entcs.2014.10.007
Comment/debate
Jung, A 2014, 'Column - Semantics: Teaching denotational sematics', ACM SIGLOG News, vol. 1, no. 2, pp. 25-37. https://doi.org/10.1145/2677161.2677167
Conference contribution
Petters, D & Jung, A 2018, From the Chinese room argument to the Church-Turing thesis. in Proceedings of AISB Annual Convention 2018: Philosohphy after AI: mind, language and action Symposium. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), pp. 25-29, Philosophy after AI Symposium at the 2018 AISB Convention, Liverpool, United Kingdom, 6/04/18. <http://aisb2018.csc.liv.ac.uk/proceedings.html>
Ghica, DR, Jung, A & Lopez, A 2017, Diagrammatic Semantics for Digital Circuits. in V Goranko & M Dam (eds), 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). vol. 82, 24, Leibniz International Proceedings in Informatics, vol. 82, Schloss Dagstuhl, pp. 24:1-24:16, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), Stockholm, Sweden, 20/08/17. https://doi.org/10.4230/LIPIcs.CSL.2017.24
Jakl, T & Jung, A 2017, Free constructions and coproducts of d-frames. in F Bonchi & B König (eds), Proceedings of 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). LIPIcs: Leibniz International Proceedings in Informatics, vol. 72, Schloss Dagstuhl, pp. 14:1-14:15, 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), Ljubljana, Slovenia, 13/06/17. https://doi.org/10.4230/LIPIcs.CALCO.2017.14
Jakl, T, Jung, A & Pultr, A 2016, Bitopology and four-valued logic. in L Birkedal & M Mislove (eds), 32nd Conference on Mathematical Foundations of Programming Semantics: Proceedings. vol. 325, Electronic Notes in Theoretical Computer Science, Elsevier, pp. 201-219, 32nd Conference on Mathematical Foundations of Programming Semantics, Pittsburgh, United States, 23/05/16. https://doi.org/10.1016/j.entcs.2016.09.039
Ghica, D & Jung, A 2016, Categorical Semantics of Digital Circuits. in Proceedings of Formal Methods in Computer-Aided Design (FMCAD 2016). IEEE Computer Society Press, pp. 41-48, Formal Methods in Computer-Aided Design (FMCAD 2016), Mountain View, CA, United States, 3/10/16.
View all publications in research portal