|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 |  | Ertl, M. Anton ; Hofmann, Ulrich ; Koch, Matthias ; Pöial, Jaanus ; Rodriguez, Bradford ; Stoddart, Bill ; Reuben, Thomas | 38th EuroForth Conference | Proceedings Tagungsband    | Feb-2023 |
| 2 | | Kühn, Eva ; Šešum-Čavić, Vesna | A Framework-Based Approach for Flexible Evaluation of Swarm-Intelligent Algorithms | Book Contribution Buchbeitrag | 2022 |
| 3 | | Ebner, Dietmar ; Krall, Andreas ; Scholz, Bernhard | Instruction Code Selection | Book Contribution Buchbeitrag | 2022 |
| 4 | | Knoop, Jens ; Schordan, Markus ; Johnson, Teresa ; O´Boyle, Michael F.P. | Proceedings of the 2018 International Symposium on Code Generation and Optimization | Konferenzband Proceedings | 2018 |
| 5 | | Knoop, Jens ; Karl, Wolfgang ; Schulz, Martin ; Inoue, Koji ; Pionteck, Thilo | Architecture of Computing Systems - ARCS 2017 | Buch Book | 2017 |
| 6 | | Debruyne, Christophe ; Panetto, Hervé ; Meersman, Robert ; Dillon, Tharam ; Kühn, Eva ; O´Sullivan, Declan ; Ardagna, Claudio | On the Move to Meaningful Internet Systems: OTM 2016 Conferences | Konferenzband Proceedings | 2016 |
| 7 | | de Nicola, Rocco ; Kühn, Eva | Software Engineering and Formal Methods | Konferenzband Proceedings | 2016 |
| 8 | | Knoop, Jens ; Zdun, Uwe | Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik | Buch Book | 2016 |
| 9 | | Raab, Markus | Unanticipated Context Awareness for Software Configuration Access Using the getenv API | Buchbeitrag Book Contribution | 2016 |
| 10 | | Bouhoula, Adel ; Buchberger, Bruno ; Kovacs, Laura ; Kutsia, Temur | Special issue on symbolic computation in software science | Buch Book | 2015 |
| 11 | | Knoop, Jens ; Ertl, Martin Anton | 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS 2015) | Buch Book | 2015 |
| 12 | | Kovacs, Laura ; Pugliese, Rosario ; Silva, Josep ; Tiezzi, Francesco | Special issue on Automated Specification and Verification of Web Systems | Buch Book | 2013 |
| 13 | | Kovacs, Laura ; Kutsia, Temur | 6th International Workshop on Automated Specification and Verification of Web Systems (WWV) | Konferenzband Proceedings | 2013 |
| 14 | | Kovacs, Laura ; Kutsia, Temur | 5th International Symposium on Symbolic Computation in Software Science | Konferenzband Proceedings | 2013 |
| 15 | | Kovacs, Laura ; Kutsia, Temur | Special Issue on Automated Speci cation and Veri cation of Web Systems | Buch Book | 2012 |
| 16 | | Bjørner, Nikolaj ; Kovacs, Laura | Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops | Buch Book | 2012 |
| 17 | | Kovacs, Laura ; Pugliese, Rosario ; Tiezzi, Francesco | Proceedings of the 7th International Workshop on Automated Specification and Verification of Web Systems | Konferenzband Proceedings | 2011 |
| 18 | | Knoop, Jens | Compiler Construction | Konferenzband Proceedings | 2011 |
| 19 | | Šešum-Čavić, Vesna ; Kühn, Eva | Chapter 8 Self-Organized Load Balancing through Swarm Intelligence | Buchbeitrag Book Contribution | 2011 |
| 20 | | Mordinyi, Richard ; Kühn, Eva | Coordination Mechanisms in Complex Software Systems | Buchbeitrag Book Contribution | 2011 |
