Achim Jung
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
5
Active years
1987–2017
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CALCO | Free Constructions and Coproducts of d-Frames. | Tomas Jakl, Achim Jung |
| 2017 | CSL | Diagrammatic Semantics for Digital Circuits. | Dan R. Ghica, Achim Jung, Aliaume Lopez |
| 2016 | FMCAD | Categorical semantics of digital circuits. | Dan R. Ghica, Achim Jung |
| 2013 | LICS | Kripke Semantics for Modal Bilattice Logic. | Achim Jung, Umberto Rivieccio |
| 2002 | CSL | A Logic for Probabilities in Semantics. | M. Andrew Moshier, Achim Jung |
| 1994 | LICS | Linear Types, Approximation, and Topology | Michael Huth, Achim Jung, Klaus Keimel |
| 1991 | MFPS | Decomposition of Domains. | Achim Jung, Leonid Libkin, Hermann Puhlmann |
| 1990 | LICS | The Classification of Continuous Domains (Extended Abstract) | Achim Jung |
| 1988 | LICS | Coherence and Consistency in Domains (Extended Outline) | Carl A. Gunter, Achim Jung |
| 1987 | MFPS | New Results on Hierarchies of Domains. | Achim Jung |