|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Ertl, M. Anton | 41st EuroForth Conference | Proceedings Tagungsband | Dec-2025 |
| 2 |  | Ertl, M. Anton | Multi-precision integer arithmetics | Inproceedings Konferenzbeitrag   | Dec-2025 |
| 3 | | Freitag, Florian ; Halder, Linus ; Huber, Benedikt ; Kasper, Benjamin ; Nestler, Michael ; Per, Kevin ; Raschhofer, Matthias ; Ripar, Alexander ; Zottele, Johannes ; Krall, Andreas | OpenVADL: An Open Source Implementation of the Vienna Architecture Description Language | Inproceedings Konferenzbeitrag  | 23-Oct-2025 |
| 4 |  | Ertl, M. Anton | What is a character? UTF-8, Unicode, and the Xchar wordset | Presentation Vortrag | 14-Sep-2025 |
| 5 | | Krall, Andreas | OpenVADL: An open source implementation of the Vienna Architecture Description Language | Presentation Vortrag | 22-Jul-2025 |
| 6 | | Huber, Benedikt ; Krall, Andreas | Pattern Matching, Transformation and Code Replacement on a Polyhedral Representation of Nested Loops | Inproceedings Konferenzbeitrag | 4-Jul-2025 |
| 7 |  | Freitag, Florian ; Halder, Linus ; Huber, Benedikt ; Kasper, Benjamin ; Nestler, Michael ; Per, Kevin ; Raschhofer, Matthias ; Ripar, Alexander ; Zottele, Johannes ; Komar, Benjamin ; Rathbauer, Jakob ; Resch, Martin ; Schlosser, Kevin ; Krall, Andreas | OpenVADL: An open source implementation of the Vienna Architecture Description Language | Presentation Vortrag | 2-Jul-2025 |
| 8 |  | Ertl, M. Anton | Automatisierung in der Gforth-Dokumentation | Presentation Vortrag | 26-Apr-2025 |
| 9 |  | Ertl, M. Anton | Wie effizient sind Gforth und SwiftForth und warum? | Presentation Vortrag | 25-Apr-2025 |
| 10 |  | Ertl, Martin | Fix Spectre in Hardware! Why and How | Inproceedings Konferenzbeitrag | Jan-2025 |
| 11 |  | Ertl, M. Anton | How to Implement Words (Efficiently) | Inproceedings Konferenzbeitrag | 2025 |
| 12 |  | Kuehn, Eva Maria | A new business model in the fine arts realm based on NFT certificates and pearl codes | Article Artikel | Dec-2024 |
| 13 |  | Šešum-Čavić, Vesna ; Kühn, Eva ; Toifl, Laura | An Innovative Application of Swarm‐Based Algorithms for Peer Clustering | Article Artikel | 12-Nov-2024 |
| 14 | | Ertl, M. Anton | The new Gforth Decompiler | Presentation Vortrag | 25-Sep-2024 |
| 15 | | Ertl, M. Anton ; Paysan, Bernd | The Performance Effects of Virtual-Machine Instruction Pointer Updates | Inproceedings Konferenzbeitrag | 12-Sep-2024 |
| 16 |  | Ertl, M. Anton | Interpreter vs. Compiler Performance at Run-Time | Inproceedings Konferenzbeitrag | Sep-2024 |
| 17 |  | Himmelbauer, Simon ; Hochrainer, Christoph ; Huber, Benedikt Lukas ; Mischkulnig, Niklas ; Paulweber, Philipp ; Schwarzinger, Tobias ; Krall, Andreas | The Vienna Architecture Description Language | Preprint Preprint | 14-Feb-2024 |
| 18 |  | Ertl, M. Anton | 40th EuroForth Conference | Proceedings Tagungsband | 6-Jan-2024 |
| 19 |  | Ertl, M. Anton ; Paysan, Bernd | The Performance Effects of Virtual-Machine Instruction Pointer Updates | Inproceedings Konferenzbeitrag | 2024 |
| 20 | | Nassar, Ebtehal ; Craß, Stefan ; Udokwu, Chibuzor ; Sesum-Cavic, Vesna ; Kühn, Eva | Design Patterns For Sharing Economy Within Blockchain-based Community Systems | Inproceedings Konferenzbeitrag | 2024 |
| 21 | | Maroun, Emad Jacob ; Dengler, Eva ; Dietrich, Christian ; Hepp, Stefan ; Herzog, Henriette ; Huber, Benedikt ; Knoop, Jens ; Wiltsche-Prokesch, Daniel ; Puschner, Peter ; Raffeck, Phillip ; Schoeberl, Martin ; Schuster, Simon ; Wägemann, Peter | The Platin Multi-Target Worst-Case Analysis Tool | Inproceedings Konferenzbeitrag | 2024 |
| 22 |  | Hochrainer, Christoph ; Krall, Andreas | A pred-LL(*) parsable typed higher-order macro system for architecture description languages | Inproceedings Konferenzbeitrag | Oct-2023 |
| 23 |  | Ertl, M. Anton | Fix Spectre in hardware! Why and how | Inproceedings Konferenzbeitrag | Sep-2023 |
| 24 | | Ertl, M. Anton | Das magische Sechseck, Constraints, und Ausführungshäufigkeiten | Presentation Vortrag | 6-May-2023 |
| 25 |  | Ertl, M. Anton | See-code und Codeerzeugung in Gforth 1.0 | Presentation Vortrag | May-2023 |
| 26 |  | Ertl, M. Anton | Memory Safety Without Tagging nor Static Type Checking | Inproceedings Konferenzbeitrag | Feb-2023 |
| 27 |  | Ertl, M. Anton | Are locals inevitably slow? | Inproceedings Konferenzbeitrag | Feb-2023 |
| 28 |  | Ertl, M. Anton ; Hofmann, Ulrich ; Koch, Matthias ; Pöial, Jaanus ; Rodriguez, Bradford ; Stoddart, Bill ; Reuben, Thomas | 38th EuroForth Conference | Proceedings Tagungsband | Feb-2023 |
| 29 |  | Ertl, Martin | 39th EuroForth Conference | Proceedings Tagungsband | 2023 |
| 30 |  | Ertl, M. Anton | The Performance Effects of Virtual-Machine Instruction Pointer Updates | Inproceedings Konferenzbeitrag | 2023 |
| 31 | | Kühn, Eva | The Peer-Model tool-chain | Article Artikel | 1-Nov-2022 |
| 32 |  | Ertl, M. Anton | Kernspaltung : Zurück in die Zukunft? | Presentation Vortrag | 6-May-2022 |
| 33 | | Ertl, M. Anton | Managed Forth | Presentation Vortrag | May-2022 |
| 34 |  | Ertl, Martin | Kernfusion - Zurück in die Zukunft II? | Presentation Vortrag | May-2022 |
| 35 | | Kühn, Eva ; Šešum-Čavić, Vesna | A Framework-Based Approach for Flexible Evaluation of Swarm-Intelligent Algorithms | Book Contribution Buchbeitrag | 2022 |
| 36 | | Ebner, Dietmar ; Krall, Andreas ; Scholz, Bernhard | Instruction Code Selection | Book Contribution Buchbeitrag | 2022 |
| 37 |  | Hajdu, Márton ; Hozzová, Petra ; Kovács, Laura ; Voronkov, Andrei | Induction with Recursive Definitions in Superposition | Konferenzbeitrag Inproceedings | Oct-2021 |
| 38 |  | Ertl, Martin | Copying Bytes | Presentation Vortrag | Sep-2021 |
| 39 |  | Ertl, Martin Anton | Practical Considerations in a Static Stack Checker | Inproceedings Konferenzbeitrag | Sep-2021 |
| 40 | | Ertl, Martin Anton | Warum ergibt 1 chars den Wert 1? | Spezialbeitrag Special Contribution | 2021 |
| 41 | | Kuehn, Eva Maria | A Practical Tool-Chain for the Development of Coordination Scenarios | Konferenzbeitrag Inproceedings | 2021 |
| 42 | | Ertl, Martin Anton | The Essence of Closures---A language design perspective | Konferenzbeitrag Inproceedings | 2021 |
| 43 | | Moosbrugger, Marcel ; Bartocci, Ezio ; Katoen, Joost-Pieter ; Kovács, Laura | Automated Termination Analysis of Polynomial Probabilistic Programs | Konferenzbeitrag Inproceedings | 2021 |
| 44 | | Ertl, Martin Anton | Division durch (Quasi-)Konstanten | Präsentation Presentation | 2020 |
| 45 | | Ertl, Martin Anton | Von Groß- und Kleinbuchstaben | Spezialbeitrag Special Contribution | 2020 |
| 46 | | Ertl, Martin Anton | Forth-200X-Treffen auf der EuroForth 2020 | Spezialbeitrag Special Contribution | 2020 |
| 47 | | Soteropoulos, Aggelos ; Mitteregger, Mathias ; Berger, Martin ; Zwirchmayr, Jakob | Automated drivability: Toward an assessment of the spatial deployment of level 4 automated vehicles | Artikel Article | 2020 |
| 48 | | Sesum-Cavic, Vesna ; Kühn, Eva ; Fleischhacker, Lukas | Efficient Search and Lookup in Unstructured P2P Overlay Networks Inspired by Swarm Intelligence | Artikel Article | 2020 |
| 49 | | Paysan, Bernd ; Ertl, Martin Anton | The Grand Recognizer Unification | Konferenzbeitrag Inproceedings | 2020 |
| 50 | | Ertl, Martin Anton | Testen (insbesondere Fuzz Testing) | Präsentation Presentation | 2020 |
| 51 | | Ertl, Martin Anton | Forth and IDEs | Konferenzbeitrag Inproceedings | 2020 |
| 52 | | Raab, Markus ; Denner, Bernhard ; Hahnenberg, Stefan ; Cito, Jürgen | Unified Configuration Setting Access in Configuration Management Systems | Konferenzbeitrag Inproceedings | 2020 |
| 53 | | Ertl, Martin Anton ; Paysan, Bernd | Der neue Gforth-Header | Präsentation Presentation | 2019 |
| 54 | | Ertl, Martin Anton | Interactive multiline #gtR R#gt in Gforth | Präsentation Presentation | 2019 |
| 55 | | Ertl, Martin Anton | Forth-Quellcode im Flash | Präsentation Presentation | 2019 |
| 56 | | Ertl, Martin Anton | Integer Division by Multiplying with the Double-Width Reciprocal | Konferenzbeitrag Inproceedings | 2019 |
| 57 | | Paysan, Bernd ; Ertl, Martin Anton | The new Gforth Header | Konferenzbeitrag Inproceedings | 2019 |
| 58 | | Kühn, Eva ; Craß, Stefan ; Binder, Johann ; Šešum-Čavić, Vesna | XVSM Micro-Room Process Modeler | Artikel Article | 2019 |
| 59 | | Kuehn, Eva Maria | A Distributed Ledger Technology Based on Shared Write-Once Objects | Konferenzbeitrag Inproceedings | 2019 |
| 60 | | Saghafi, Saiedeh ; Haghi-Danaloo, Nikoo ; Becker, Klaus ; Sabdyusheva, Inna ; Foroughipour, Massih ; Hahn, Christian ; Pende, Marko ; Wanis, Martina ; Bergmann, Michael ; Stift, Judith ; Hegedus, Balazs ; Dome, Balazs ; Dodt, Hans-Ulrich | Reshaping a multimode laser beam into a constructed Gaussian beam for generating a thin light sheet | Artikel Article | Jun-2018 |
| 61 | | Kühn, Eva ; Radschek, Sophie Therese ; Elaraby, Nahla | Distributed Coordination Runtime Assertions for the Peer Model | Konferenzbeitrag Inproceedings | 2018 |
| 62 | | Thier, Patrick ; Ertl, M. Anton ; Krall, Andreas | Fast and flexible instruction selection with constraints | Konferenzbeitrag Inproceedings | 2018 |
| 63 | | Ertl, M. Anton | Software vector chaining | Konferenzbeitrag Inproceedings | 2018 |
| 64 | | Ertl, Martin Anton | Forth-200X-Treffen auf der EuroForth 2017 | Spezialbeitrag Special Contribution | 2018 |
| 65 | | 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 |
| 66 | | Kühn, Eva ; Radschek, Sophie Therese | An Initial User Study Comparing the Readability of a Graphical Coordination Model with Event-B Notation | Konferenzbeitrag Inproceedings | 2018 |
| 67 | | Kühn, Eva ; Craß, Stefan | Coordination Pattern-Based Approach for Auto-Scaling in Multi-clouds | Konferenzbeitrag Inproceedings | 2018 |
| 68 | | Ertl, Martin Anton ; Paysan, Bernd | Closures - the Forth way | Konferenzbeitrag Inproceedings | 2018 |
| 69 | | Ertl, Martin Anton | Software Vector Chaining | Konferenzbeitrag Inproceedings | 2018 |
| 70 | | Elaraby, Nahla ; Kühn, Eva ; Messinger, Anita ; Radschek, Sophie Therese | Towards a Hybrid Verification Approach | Konferenzbeitrag Inproceedings | 2018 |
| 71 | | Ertl, Martin Anton | Verallgemeinerung von locals | Konferenzbeitrag Inproceedings | 2018 |
| 72 | | Knoop, Jens ; Karl, Wolfgang ; Schulz, Martin ; Inoue, Koji ; Pionteck, Thilo | Architecture of Computing Systems - ARCS 2017 | Buch Book | 2017 |
| 73 | | Ertl, Martin Anton | SIMD and Vectors | Konferenzbeitrag Inproceedings | 2017 |
| 74 | | Ertl, Martin Anton | Statische Typüberprüfung | Konferenzbeitrag Inproceedings | 2017 |
| 75 | | Messinger, Anita ; Kühn, Eva | Discussion: No S without Q ⇒ No E without Q? | Konferenzbeitrag Inproceedings | 2017 |
| 76 | | Raab, Markus ; Barany, Gergö | Introducing Context Awareness in Unmodified, Context-unaware Software | Konferenzbeitrag Inproceedings | 2017 |
| 77 | | Ertl, Martin Anton | The Intended Meaning of Undefined Behaviour in C Programs | Konferenzbeitrag Inproceedings | 2017 |
| 78 | | Raab, Markus ; Barany, Gergö | Challenges in Validating FLOSS Configuration | Konferenzbeitrag Inproceedings | 2017 |
| 79 | | Kühn, Eva | Flexible Transactional Coordination in the Peer Model | Konferenzbeitrag Inproceedings | 2017 |
| 80 | | Craß, Stefan ; Kühn, Eva ; Sesum-Cavic, Vesna ; Watzke, Harald | An Open Event-Driven Architecture for Reactive Programming and Lifecycle Management in Space-Based Middleware | Konferenzbeitrag Inproceedings | 2017 |
| 81 | | Raab, Markus | Unanticipated Context Awareness for Software Configuration Access Using the getenv API | Buchbeitrag Book Contribution | 2016 |
| 82 | | Ertl, Martin Anton | Forth-2012: Der neue Standard | Spezialbeitrag Special Contribution | 2016 |
| 83 | | Raab, Markus | Elektra: universal framework to access configuration parameters | Artikel Article | 2016 |
| 84 | | Šešum-Čavić, Vesna ; Kühn, Eva ; Kanev, Daniel | Bio-inspired search algorithms for unstructured P2P overlay networks | Artikel Article | 2016 |
| 85 | | Kühn, Eva | Reusable Coordination Components: Reliable Development of Cooperative Information Systems | Artikel Article | 2016 |
| 86 | | Knoop, Jens ; Zdun, Uwe | Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik | Buch Book | 2016 |
| 87 | | de Nicola, Rocco ; Kühn, Eva | Software Engineering and Formal Methods | Konferenzband Proceedings | 2016 |
| 88 | | 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 |
| 89 | | Ertl, Martin Anton | Sicheres Forth | Präsentation Presentation | 2016 |
| 90 | | Ertl, Martin Anton | Security | Präsentation Presentation | 2016 |
| 91 | | Ertl, Martin Anton | Gedanken zu SIMD und Vektorisierung | Präsentation Presentation | 2016 |
| 92 | | Ertl, Martin Anton | Sections | Konferenzbeitrag Inproceedings | 2016 |
| 93 | | Raab, Markus | Persistent contextual values as inter-process layers | Konferenzbeitrag Inproceedings | 2016 |
| 94 | | Plangger, Richard ; Krall, Andreas | Vectorization in PyPy's Tracing Just-In-Time Compiler | Konferenzbeitrag Inproceedings | 2016 |
| 95 | | Do, Ba Lam ; Wetz, Peter ; Kiesling, Elmar ; Aryan, Peb Ruswono ; Trinh, Tuan Dat ; Tjoa, A Min | StatSpace: A Unified Platform for Statistical Data Exploration | Konferenzbeitrag Inproceedings | 2016 |
| 96 | | Raab, Markus | Improving system integration using a modular configuration specification language | Konferenzbeitrag Inproceedings | 2016 |
| 97 | | Ertl, Martin Anton | Recognizers: Arguments and Design Decisions | Konferenzbeitrag Inproceedings | 2016 |
| 98 | | Barisits, Martin ; Kühn, Eva ; Lassnig, Mario | A Hybrid Simulation Model for Data Grids | Konferenzbeitrag Inproceedings | 2016 |
| 99 | | Knoop, Jens ; Schreiner, Dietmar | Electronic Visual Analysis: High-Performance Computing in a Heterogeneous Environment | Präsentation Presentation | 2016 |
| 100 | | Prokesch, Daniel ; Hepp, Stefan ; Puschner, Peter | A Generator for Time-Predictable Code | Konferenzbeitrag Inproceedings | 1-Jan-2015 |
