|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Schwayer, Matthias | Towards a visual design and development environment for the peer model | Thesis Hochschulschrift   | 2020 |
| 2 |  | Schwaiger, René | Parsing of configuration files | Thesis Hochschulschrift | 2020 |
| 3 |  | Cejka, Stephan | Enabling scalable collaboration by introducing platform-independent communication for the Peer Model | Thesis Hochschulschrift | 2019 |
| 4 |  | Ymeri, Ardit | Automated generation of analytic calculi for involutive logics | Thesis Hochschulschrift | 2019 |
| 5 |  | Okulmus, Cem | Implementierung und Vergleich von Quantoren-Fuzzifikationsmechanismen | Thesis Hochschulschrift | 2018 |
| 6 |  | Lettmayer, Matthias | A Public resource computing application based on the secure peer model | Thesis Hochschulschrift | 2018 |
| 7 |  | Rohner, Andreas | State-of-the-Art garbage collection policies for NILFS2 | Thesis Hochschulschrift | 2018 |
| 8 |  | Ghete, Mihai Calin | Extending bison with attribute grammars | Thesis Hochschulschrift | 2018 |
| 9 |  | Oliveira da Costa, Ana Alexandra | Rätselhafte Ignoranz : ein Rundgang durch epistemische Logik : a modal epistemic tour | Thesis Hochschulschrift | 2018 |
| 10 |  | Fraller, Benjamin | Analyse von Lambda-Ausdrücken in Java | Thesis Hochschulschrift | 2018 |
| 11 |  | Grill, Andreas | Pluggable design and implementation of the XVSM framework core for .NET | Thesis Hochschulschrift | 2018 |
| 12 |  | Wurzinger, Armin | Developing a type system for a configuration specification language | Thesis Hochschulschrift | 2018 |
| 13 |  | Swoboda, Sylvia | Making Object-Z Perfect : Verifaktion von Object-Z Spezifikationen unter Verwendung von Perfect Developer | Thesis Hochschulschrift | 2017 |
| 14 |  | Binder, Johann | Evaluating process modeling capabilities of the XVSM micro-room framework | Thesis Hochschulschrift | 2017 |
| 15 |  | Raab, Markus | Context-aware configuration | Thesis Hochschulschrift | 2017 |
| 16 |  | Tillian, Peter | Mobile peer model : a mobile peer-to-peer communication and coordination framework - with focus on mobile design constraints | Thesis Hochschulschrift | 2017 |
| 17 |  | Barisits, Martin-Stefan | Hybrid simulation models for data-intensive systems | Thesis Hochschulschrift | 2017 |
| 18 | | Steyrer, Bernhard | Konzeption und Entwicklung einer prototypischen Software-Applikation zur Unterstützung der Qualitätssicherung von patientenbezogener Strahlenbelastung bei digitalen Röntgenaufnahmen | Thesis Hochschulschrift | 2017 |
| 19 |  | Steiner, Konrad | Smart food sharing across smart cities: concepts, processes and infrastructure | Thesis Hochschulschrift | 2017 |
| 20 |  | Lanzinger, Matthias Paul | Mehrwertige Logiken für Spiele | Thesis Hochschulschrift | 2017 |
| 21 |  | Schoba, Jörg | Mobile peer model : a mobile peer-to-peer communication and coordination framework - with focus on scalability and security | Thesis Hochschulschrift | 2017 |
| 22 |  | Zischka, Stefan | A coordination-based framework for routing algorithms in unstructured peer-to-peer networks | Thesis Hochschulschrift | 2017 |
| 23 |  | Kucera, Gernot | Programmanalyse und Verifikation von SPS-Programmen | Thesis Hochschulschrift | 2017 |
| 24 |  | Riener, Martin | Applications of higher-order cut-elimination | Thesis Hochschulschrift | 2017 |
| 25 |  | Schurr, Hans Jörg | Preprocessing in higher-order reasoning : learning from QBF solving | Thesis Hochschulschrift | 2017 |
| 26 |  | Koltraka, Ardian | Reasoning capabilities for a cognitive-assistive assembly system | Thesis Hochschulschrift | 2017 |
| 27 | | Ackermann, Thomas | Rendering knowledge in information security tangible : state of the art and trends in education | Thesis Hochschulschrift | 2017 |
| 28 | | Özdemir, Mevlüt | Entwurf und Entwicklung eines webbasierten Workflow-Systems zur Abbildung von Prozessen der Bildungsmobilität | Thesis Hochschulschrift | 2017 |
| 29 | | Wöss, Christoph | Sicherheit, Usability und Vertrauen: Der Raum der Nutzerpräferenzen und Entscheidungskriterien bei der Auswahl von mobilen Messaging-Apps | Thesis Hochschulschrift | 2016 |
| 30 |  | Pona, Nika | Schnittelimination in funktionaler Logik höherer Stufe | Thesis Hochschulschrift | 2016 |
| 31 |  | Drenjanac, Domagoj | Space-based task allocation in robotic fleets with adaptive autonomy | Thesis Hochschulschrift | 2016 |
| 32 |  | Schmitt, Manuel | Evaluierung von Open-Source-Lösungen zur Umsetzung eines Softwaresystems für eine elektronische Registrierkasse | Thesis Hochschulschrift | 2016 |
| 33 |  | Altschach, Marion Sandra | Classification of space based computing systems | Thesis Hochschulschrift | 2016 |
| 34 |  | Dissauer, Gerald | Formal ontology-based quantum security requirements engineering by Petri nets | Thesis Hochschulschrift | 2016 |
| 35 |  | Scherer, Markus | Parallelizing the commutation property for functions over small domains | Thesis Hochschulschrift | 2016 |
| 36 | | Blumberger, Stefan | Entwurf eines Infrarot-3D-Scannersystems zur dreidimensionalen bildgebenden Diagnostik | Thesis Hochschulschrift | 2016 |
| 37 |  | Mertl, Manuel | Comparision and evaluation of JavaScript preprocessing languages | Thesis Hochschulschrift | 2016 |
| 38 | | Condoluci, Andrea | CERES in aussagenlogischen Beweisschemata | Thesis Hochschulschrift | 2016 |
| 39 | | Holasek, Georg | Reliable and delay-bounded data transmission in industrial and safety-critical applications | Thesis Hochschulschrift | 2016 |
| 40 | | Jungwirth, Florian | Design-Empfehlungen für die sichere Übermittlung von Nachrichten auf mobilen Plattformen | Thesis Hochschulschrift | 2016 |
| 41 |  | Niszl, Michael | A cryptographic concept for the secure storage and transmission of medical images on iOS devices | Thesis Hochschulschrift | 2016 |
| 42 |  | Siehs, Christian | Simulation in metabolic networks | Thesis Hochschulschrift | 28-Sep-2015 |
| 43 |  | Plangger, Richard | PyPy's number crunching optimization : just-in-time superword parallelism | Thesis Hochschulschrift | 2015 |
| 44 |  | Eizinger, Benjamin | On the impact of classical program optimization on the WCET-behaviour | Thesis Hochschulschrift | 2015 |
| 45 | | Hengl, Andreas | Engineering eines Cockpits für die dynamische und interaktive Visualisierung des Betriebes eines landesweiten NFC-Bezahlsystems | Thesis Hochschulschrift | 2015 |
| 46 | | Nasseri, Dorna | Konzeption eines KIS für ein iranisches Krankenhaus | Thesis Hochschulschrift | 2015 |
| 47 |  | Watzke, Harald | Lifecycle and memory management for extensible virtual shared memory (XVSM) | Thesis Hochschulschrift | 2015 |
| 48 |  | Baldi, Paolo | Standard completeness : proof-theoretic and algebraic methods | Thesis Hochschulschrift | 2015 |
| 49 |  | Bräutigam, Klaus | Expedient logging for C++ using reflection | Thesis Hochschulschrift | 2015 |
| 50 |  | Kühmayer, Christian | Instruction selection for the CACAO VM | Thesis Hochschulschrift | 2015 |
| 51 |  | Dragan, Ioan-Dumitru | First-order theorem proving for program analysis and theory reasoning | Thesis Hochschulschrift | 2015 |
| 52 | | Görlich, Gerhard | Agile software development principles as means of teaching for students projects | Thesis Hochschulschrift | 2015 |
| 53 |  | Riegler, Gregor | Evaluation and implementation of an optional, pluggable type system for Forth | Thesis Hochschulschrift | 2015 |
| 54 | | Guttenberger, Thomas | Development of a m-health strategy for the field of mechanically ventilated patients | Thesis Hochschulschrift | 2015 |
| 55 |  | Spörk, Christoph Wolfgang | Algorithms for quantified cut-introduction | Thesis Hochschulschrift | 2015 |
| 56 | | Alani, Russol | Skills und Ausbildungsprofile für Testmanager in großen IT-Projekten | Thesis Hochschulschrift | 2015 |
| 57 |  | Wilhelm, Jakob | Migrating IBM HLASM to C | Thesis Hochschulschrift | 2015 |
| 58 |  | Bárány, Gergö | Integrated code motion and register allocation | Thesis Hochschulschrift | 2015 |
| 59 |  | Hamböck, Thomas | Towards a toolchain for asynchronous embedded programming based on the peer-model | Thesis Hochschulschrift | 2015 |
| 60 |  | Kollarits, Natalie | SmartMaut | Thesis Hochschulschrift | 2015 |
| 61 |  | Bitter, Lukas | Design and implementation of a security model for the PeerSpace.NET | Thesis Hochschulschrift | 2015 |
| 62 |  | Atesman, Necdet Can | PURGE design and implementation of a high-level graphics engine | Thesis Hochschulschrift | 2015 |
| 63 |  | Cerna, David Michael | Advances in schematic cut elimination | Thesis Hochschulschrift | 2015 |
| 64 | | Melcher, Helmuth | Evaluation of equity models for tournament poker | Thesis Hochschulschrift | 2015 |
| 65 | | Lechner, Lukas | Konzipierung und prototypische Implementierung eines Continuous Integration-Systems zur Steigerung der Softwarequalität im heterogenen Umfeld der Herstellung von mikroprozessorgesteuerten Prothesen | Thesis Hochschulschrift | 2015 |
| 66 | | Wunderer, Thomas | Identification and handling of typical implementation problems of hospital information systems in large-scale hospitals | Thesis Hochschulschrift | 2015 |
| 67 | | Dimchev Kanev, Daniel | Decentralized unstructured flat P2P network with streaming content delivery method and user collaboration | Thesis Hochschulschrift | 2015 |
| 68 |  | Wolfsteiner, Simon Peter | Structural analysis of cut-elimination | Thesis Hochschulschrift | 2015 |
| 69 |  | Pucher, Michael | Ein Hidden-Markov-Modell (HMM) basiertes Operngesangssynthesesystem für Deutsch | Thesis Hochschulschrift | 2015 |
| 70 |  | Spendier, Lara Katharina | Tools for the investigation of sustructural, intermediate and paraconsistent logics | Thesis Hochschulschrift | 2015 |
| 71 | | Oberhumer, Dominik | Entwicklung einer E-Partizipations-Plattform für Jugendliche innerhalb des sozialen Netzwerks Facebook | Thesis Hochschulschrift | 2015 |
| 72 |  | Hernàdi, Gàbor Miklos | Interactive class-diagram generation and abstraction | Thesis Hochschulschrift | 2015 |
| 73 |  | Mildner, Rudolf | An actor constraint prototype : verifying event order | Thesis Hochschulschrift | 2015 |
| 74 |  | Lolić, Anela | Herbrand Sequente und die skolemisierungs-freie CERES Methode | Thesis Hochschulschrift | 2015 |
| 75 | | Kogler, Marian | Didaktik der theoretischen Informatik | Thesis Hochschulschrift | 2015 |
| 76 | | Banke, Maria-Stephanie | 'Gehirnmonopole' als Risiko des Wissensmanagements bei wissensgestützten Unternehmen | Thesis Hochschulschrift | 2015 |
| 77 | | Schröder, Michael | Durability and contention in software transactional memory | Thesis Hochschulschrift | 2015 |
| 78 | | Yasemi, Behna | Empirische Studie zur Motivation und Einsatz von Web 2.0/Gamification im Gesundheitsbereich | Thesis Hochschulschrift | 2015 |
| 79 |  | Borg, Annemarie | Realizing negative introspection into justification logic : proof-theoretic approach | Thesis Hochschulschrift | 2015 |
| 80 | | Deißenberger, Walter | Erhebung zum Informatikunterricht im sekundären und postsekundären Bildungsbereich für die Anwendungsgebiete im Weinbau, in Önologie und in der Weinwirtschaft | Thesis Hochschulschrift | 2015 |
| 81 | | Komarek, Alexander | Vorgehensmodelle für die Software-Entwicklung im Game Development: Erarbeitung eines Best Practice-Konzepts | Thesis Hochschulschrift | 2015 |
| 82 |  | Csuk, Maximilian Alexander | Developing an interactive, visual monitoring software for the peer model approach | Thesis Hochschulschrift | 2014 |
| 83 | | Grabher, Simon | Erarbeitung eines Vorgehensmodells zur organischen Evolution von IT-Startups | Thesis Hochschulschrift | 2014 |
| 84 |  | Jordan, Alexander | On worst-case execution time analysis and optimization | Thesis Hochschulschrift | 2014 |
| 85 |  | Gruber, Fabian | Invokedynamic for the CACAO JVM | Thesis Hochschulschrift | 2014 |
| 86 |  | Aigner, Christoph | Prototypical implementation of an Animal Health Record (AHR) for livestock management | Thesis Hochschulschrift | 2014 |
| 87 | | Schamberger, Rainer | Konzepte, Rahmen-Architektur und Organisationsszenarien für die mobile Operation von geldwertigen Transaktionen | Thesis Hochschulschrift | 2014 |
| 88 |  | Machado Nogueira Reis, Giselle | Cut-elimination by resolution in intuitionistic logic | Thesis Hochschulschrift | 2014 |
| 89 | | Lachner, Clemens Michael | Analyse der Navigation und Steuerung von 3D-Bewegungen via Brain-Computer-Interface | Thesis Hochschulschrift | 2014 |
| 90 | | Binder, Dennis Matthias | Analyse, Design und prototypische Entwicklung eines Serious Games zur Motivationssteigerung und Erhöhung der körperlichen Aktivität | Thesis Hochschulschrift | 2014 |
| 91 |  | Scheller, Thomas | An automated measurement method for the usability of APIs : and its application in the area of middleware | Thesis Hochschulschrift | 2014 |
| 92 | | El Kebir, Sana | Analysis and framework for the civil register of an emergent north-african country | Thesis Hochschulschrift | 2014 |
| 93 |  | Nourzad, Ricco | Analyse, Evaluierung und prototypische Entwicklung einer Online-Plattform für den normierten Leistungsvergleich im Laufsport | Thesis Hochschulschrift | 2014 |
| 94 |  | Kragl, Bernhard | Reasoning in first-order theories with extensionality | Thesis Hochschulschrift | 2014 |
| 95 |  | Roschger, Christoph | Analyzing fuzzy and contextual approaches to vagueness by semantic games | Thesis Hochschulschrift | 2014 |
| 96 |  | Aigner, Andreas | Measuring personality types in software project teams | Thesis Hochschulschrift | 2014 |
| 97 |  | Lezuo, Roland | Scalable translation validation : tools, techniques and framework | Thesis Hochschulschrift | 2014 |
| 98 |  | Reisecker, Franz Florian | Analyse, Konzeption und prototypische Entwicklung eines mobilen Serious Game zur Unterstützung des Rehabilitationsprozesses bei Handgelenksverletzungen | Thesis Hochschulschrift | 2014 |
| 99 | | Ratzinger, Manuel | Evaluierung und Optimierung eines Studiensystems zur objektiven Bewertung von Hautrötungen im Umfeld klinischer Studien am Beispiel einer Medikamentenstudie im Bereich der Brustkrebstherapie | Thesis Hochschulschrift | 2014 |
| 100 |  | Benkö, Peter | Visualization of quality of life on a digital urban map | Thesis Hochschulschrift | 2014 |
