Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Achim
    Last name: Jung
    DBLP: 55/5532
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 59  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Weng Kin Ho, Jean Goubault-Larrecq, Achim Jung, Xiaoyong Xi.
    The Ho-Zhao Problem.
    Logical Methods in Computer Science 2018, Volume 14 (0) 2018
    Conference paper
    Umberto Rivieccio, Achim Jung, Ramon Jansana.
    Four-valued modal logic: Kripke semantics and duality.
    J. Log. Comput. 2017, Volume 27 (0) 2017
    Conference paper
    Dan R. Ghica, Achim Jung, Aliaume Lopez.
    Diagrammatic Semantics for Digital Circuits.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Achim Jung, Guo-Qiang Zhang 0001.
    Preface.
    Mathematical Structures in Computer Science 2017, Volume 27 (0) 2017
    Conference paper
    Tomás Jakl, Achim Jung.
    Free constructions and coproducts of d-frames.
    CoRR 2017, Volume 0 (0) 2017
    Conference paper
    Dan R. Ghica, Achim Jung, Aliaume Lopez.
    Diagrammatic Semantics for Digital Circuits.
    26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden 2017 (0) 2017
    Conference paper
    Mao-kang Luo, Achim Jung, Guo-Qiang Zhang 0001.
    Preface.
    Electr. Notes Theor. Comput. Sci. 2017, Volume 322 (0) 2017
    Conference paper
    Tomás Jakl, Achim Jung.
    Free Constructions and Coproducts of d-Frames.
    7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia 2017 (0) 2017
    Conference paper
    Weng Kin Ho, Achim Jung, Xiaoyong Xi.
    The Ho-Zhao Problem.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Weng Kin Ho, Achim Jung, Dongsheng Zhao.
    Join-continuity + Hypercontinuity = Prime continuity.
    CoRR 2016, Volume 0 (0) 2016
    Show item 1 to 10 of 59  

    Your query returned 59 matches in the database.