|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | Zhukova, Olga | Algorithm selection and performance prediction for the examination timetabling problem | Thesis Hochschulschrift   | 2018 |
| 2 |  | Heinzl, Michael | In-depth evaluation of NoSQL and NewSQL database management systems | Thesis Hochschulschrift | 2018 |
| 3 |  | Pöter, Manuel Johannes | Effective memory reclamation for lock-free data structures in C++ | Thesis Hochschulschrift | 2018 |
| 4 |  | Klein, Peter | Contract definition and governance for IoT | Thesis Hochschulschrift | 2018 |
| 5 |  | Schubert, Christian | Trustworthy measurement and arbitration of service level agreements in the cloud | Thesis Hochschulschrift | 2018 |
| 6 |  | Halper, Manfred Günther | Classification and monitoring of incidents in cloud-based big data analytics | Thesis Hochschulschrift | 2018 |
| 7 |  | Karan, Matthias | Using mobile edge computing technologies for real-time cornering assistance | Thesis Hochschulschrift | 2018 |
| 8 |  | Konlechner, Rafael | Using the Internet of things and real-time data for optimizing freight streams in transportation networks | Thesis Hochschulschrift | 2018 |
| 9 |  | Knasmüller, Bernhard | Ausfallsicherheitsmechanismen in Datenstromverarbeitungssystemen | Thesis Hochschulschrift | 2018 |
| 10 |  | Zisser, Markus | Solving the #SAT problem on the GPU with dynamic programming and OpenCL | Thesis Hochschulschrift | 2018 |
| 11 | | Scharinger, Alexander | Parameterized algorithms for maximum-weight matching | Thesis Hochschulschrift | 2018 |
| 12 |  | Kletzander, Lucas | A Heuristic solver framework for the general employee scheduling problem | Thesis Hochschulschrift | 2018 |
| 13 |  | Meixner, Sebastian | Data-driven automatic deployment in edge computing | Thesis Hochschulschrift | 2018 |
| 14 |  | Blöschl, Martin | A graphical environment for creating constraint programming models | Thesis Hochschulschrift | 2017 |
| 15 |  | Ivanschitz, Bernd-Peter | Algorithm selection and runtime prediction for the two dimensional bin packing problem : analysis and characterization of instances | Thesis Hochschulschrift | 2017 |
| 16 | | Brantner, Patrick | A flexible testing framework for comparing service-based architectures | Thesis Hochschulschrift | 2017 |
| 17 |  | Bischof, Stefan | Complementary methods for the enrichment of linked data | Thesis Hochschulschrift | 2017 |
| 18 |  | Sheganaku, Gerta | Optimized auto scaling of elastic processes in the cloud using docker containers | Thesis Hochschulschrift | 2017 |
| 19 |  | Prennsberger, Alexander | A distributed approach to QoS-aware cloud resource scheduling | Thesis Hochschulschrift | 2017 |
| 20 |  | Biasion, Thomas | Ein Netzwerk-basiertes Business Model Framework für das Internets der Dinge | Thesis Hochschulschrift | 2017 |
| 21 |  | Keshavarzi Zafarghandi, Atefeh | Investigating subclasses of abstract dialectical frameworks | Thesis Hochschulschrift | 2017 |
| 22 |  | Bliem, Bernhard | Treewidth in non-ground answer set solving and alliance problems in graphs | Thesis Hochschulschrift | 2017 |
| 23 |  | Filz, Manuel | A framework for dynamic configuration of IoT nodes based on events | Thesis Hochschulschrift | 2017 |
| 24 |  | Matt, Johannes | Dynamic optimization of data object placement in the cloud | Thesis Hochschulschrift | 2017 |
| 25 |  | Eder, Peter | An infrastructure agnostic application deployment framework for the Internet of things | Thesis Hochschulschrift | 2017 |
| 26 |  | Karami, Omid | A comparison of machine learning techniques on the medical data sets | Thesis Hochschulschrift | 2017 |
| 27 |  | Amort, Jan | Evaluating the unikernel concept for the deployment of software on IoT devices | Thesis Hochschulschrift | 2017 |
| 28 |  | Hiessl, Thomas | Optimizing the placement of stream processing operators in the fog | Thesis Hochschulschrift | 2017 |
| 29 |  | Demirović, Emir | SAT-Based approaches for the general high school timetabling problem | Thesis Hochschulschrift | 2017 |
| 30 |  | Abseher, Michael | Tailored tree decompositions for efficient problem solving | Thesis Hochschulschrift | 2017 |
| 31 |  | Polberg, Sylwia | Developing the abstract dialectical framework | Thesis Hochschulschrift | 2017 |
| 32 |  | Gegendorfer, Andreas | Using Neuroevolution for physics-based character animation in two dimensions | Thesis Hochschulschrift | 2017 |
| 33 |  | Benuska, Viliam | A modular portfolio solver for planning | Thesis Hochschulschrift | 2017 |
| 34 | | Charwat, Günther | BDD-based dynamic programming on tree decompositions : towards an alternative approach for efficient QBF solving | Thesis Hochschulschrift | 2017 |
| 35 |  | Schleicher, Johannes Michael | Engineering and management of heterogenous smart city application ecosystems | Thesis Hochschulschrift | 2017 |
| 36 |  | Eckerstorfer, Florian | Machine learning approach for Web ranking identification based on visual features | Thesis Hochschulschrift | 2017 |
| 37 |  | Becker, Moritz | Distributed big data frameworks | Thesis Hochschulschrift | 2017 |
| 38 |  | Linsbichler, Thomas | Advances in abstract argumentation : expressiveness and dynamics | Thesis Hochschulschrift | 2017 |
| 39 |  | Konnov, Igor ; Widder, Josef ; Spegni, Francesco ; Spalazzi, Luca | Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms | Inproceedings Konferenzbeitrag | 2017 |
| 40 |  | Vögler, Michael | Efficient IoT application delivery and management in smart city environments | Thesis Hochschulschrift | 11-Apr-2016 |
| 41 |  | Redl, Bernhard | Erweiterung des Pheet Frameworks für Pipeline-Parallele Anwendungen | Thesis Hochschulschrift | 2016 |
| 42 |  | Zhang, Xiaolin | A human architecture implementation framework | Thesis Hochschulschrift | 2016 |
| 43 |  | Sinn, Moritz | Automated complexity analysis for imperative programs | Thesis Hochschulschrift | 2016 |
| 44 |  | Mayerhofer, Nick | Untersuchung der Implementierbarkeit eines lock-freien binären Suchbaumes | Thesis Hochschulschrift | 2016 |
| 45 |  | Demel, Harald | Autonom skalierendes, verteiltes Simulationsframework für TCAD-Anwendungen | Thesis Hochschulschrift | 2016 |
| 46 |  | Balint, Florin Bogdan | Negotiating, monitoring and recommending data contracts in IoT dataspaces | Thesis Hochschulschrift | 2016 |
| 47 |  | Šćekić, Ognjen | Automated incentive management for social computing : foundations, models, tools and algorithms | Thesis Hochschulschrift | 2016 |
| 48 |  | Heißenberger, Georg | Ein System für graphische Argumentationsformalismen | Thesis Hochschulschrift | 2016 |
| 49 |  | Widl, Magdalena | Symbolic methods for the verification of software models | Thesis Hochschulschrift | 2016 |
| 50 |  | Ambroz, Thomas ; Jusits, Andreas | Designing a system for experimental analysis and visualization of dynamic programming on tree decompositions | Thesis Hochschulschrift | 2016 |
| 51 |  | Andreşel, Medina | A compilation technique for interactive ontology-mediated data exploration | Thesis Hochschulschrift | 2016 |
| 52 |  | Rathmanner, Bernd | Decentralized run-time architecture tracking | Thesis Hochschulschrift | 2016 |
| 53 |  | Preißler, Thomas | Improving elastic testing using container-based virtualization | Thesis Hochschulschrift | 2016 |
| 54 |  | Gleiss, Bernhard | Interpolation and local proofs | Thesis Hochschulschrift | 2016 |
| 55 |  | Salcher, Fabian | Distributed computation of diagnoses for inconsistent multi-context systems | Thesis Hochschulschrift | 2016 |
| 56 |  | Gruber, Jakob | KLSM: a relaxed lock-free priority queue | Thesis Hochschulschrift | 2016 |
| 57 |  | Hanappi, Oliver | Testing idempotence and convergence of automatic configuration scripts | Thesis Hochschulschrift | 2016 |
| 58 |  | Laaber, Christoph | A domain-specific language for coordinating collaboration | Thesis Hochschulschrift | 2016 |
| 59 |  | Copil, Elena Georgiana | Cloud services elasticity control: from requirements specification to operations management | Thesis Hochschulschrift | 2016 |
| 60 |  | Leutgöb, Alexander | Development of a build system for cross-platform open-source projects | Thesis Hochschulschrift | 2016 |
| 61 |  | Mischek, Florian | Exact and heuristic approaches for a multi-stage nurse rostering problem | Thesis Hochschulschrift | 2016 |
| 62 |  | Tabaei Befrouei, Mitra | Effective error explanation techniques for concurrent software | Thesis Hochschulschrift | 2016 |
| 63 |  | Züger, Maria-Elisabeth | Large neighborhood search for break scheduling | Thesis Hochschulschrift | 2016 |
| 64 |  | Chen, Yue | Query answering through reformulation | Thesis Hochschulschrift | 2016 |
| 65 |  | Rausch, Thomas | Build failure prediction in continuous integration workflows | Thesis Hochschulschrift | 2016 |
| 66 |  | Wurl, Alexander Maximilian | Formalisms and tools to describe and monitor engineering processes | Thesis Hochschulschrift | 2016 |
| 67 |  | Nastić, Stefan | Programming, provisioning and governing IoT cloud systems | Thesis Hochschulschrift | 2016 |
| 68 |  | Winter, Felix | MaxSAT modeling and metaheuristic methods for the employee scheduling problem | Thesis Hochschulschrift | 2016 |
| 69 |  | Candra, Muhammad Zuhri Catur | Hybrid human-machine computing systems : provisioning, monitoring, and reliability analysis | Thesis Hochschulschrift | 2016 |
| 70 |  | Hohenecker, Patrick | Deep learning für das Semantic Web | Thesis Hochschulschrift | 2016 |
| 71 |  | Prybila, Christoph | Laufzeitverifikation von Geschäftsprozessen unter Verwendung der Blockchain | Thesis Hochschulschrift | 2016 |
| 72 |  | Tapolczai, Janos | Design and implementation of an agent architecture combining emotions and reasoning | Thesis Hochschulschrift | 2016 |
| 73 |  | Schauer, Gregor | Predicting scalability of standalone spplications in cloud environments | Thesis Hochschulschrift | 2016 |
| 74 |  | Tran, Thanh Hai | User-guided predicate abstraction of TLA+ specifications | Thesis Hochschulschrift | 2016 |
| 75 |  | Svozil, Alexander | Complexity of well-designed SPARQL | Thesis Hochschulschrift | 2016 |
| 76 |  | Danninger, Clemens Florian | Resource Bound-Analyse von Lisp-Programmen | Thesis Hochschulschrift | 2016 |
| 77 |  | Liptchinsky, Vitaliy | Collaboration-assisted computation | Thesis Hochschulschrift | 2016 |
| 78 |  | Bachmann, Kevin | Design and implementation of a fog computing framework | Thesis Hochschulschrift | 2016 |
| 79 | | Weissenbacher, Georg | Logical methods in automated hardware and software verification | Thesis Hochschulschrift | 2016 |
| 80 | | Kronegger, Martin | On the parameterized complexity of planning | Thesis Hochschulschrift | 2016 |
| 81 |  | Hecher, Markus | Optimizing second-level dynamic programming algorithms : the D-FLAT 2 system: encodings and experimental evaluation | Thesis Hochschulschrift | 2015 |
| 82 |  | Kalany, Martin | Efficient construction of provably optimal MPI datatype representations | Thesis Hochschulschrift | 2015 |
| 83 |  | Berger, Gerald | Provability interpretations of a many-sorted polymodal logic | Thesis Hochschulschrift | 2015 |
| 84 |  | Stifter, Nicholas Alexander | Development of an educational software tool for the topic of group communication | Thesis Hochschulschrift | 2015 |
| 85 |  | Zabolotnyi, Rostyslav | Transparent application adjustment for efficient and elastic execution in the cloud | Thesis Hochschulschrift | 2015 |
| 86 |  | Borkowski, Michael | Smart prefetching for mobile users under volatile network conditions | Thesis Hochschulschrift | 2015 |
| 87 |  | Waibel, Philipp | Architecture-driven design and configuration of messaging systems | Thesis Hochschulschrift | 2015 |
| 88 |  | Moldovan, Marius | Implementing variations of the Traveling Salesperson Problem in a declarative dynamic programming environment | Thesis Hochschulschrift | 2015 |
| 89 |  | Čik, Juraj | Software-defined elastic systems management in multi-cloud environments | Thesis Hochschulschrift | 2015 |
| 90 |  | Ehsani, Anna Parisa | Der Animationsfilm im Informationsdesign : die Eignung von narrativen Animationsfilmen zur Darstellung von komplexen Inhalten aus der Informatik | Thesis Hochschulschrift | 2015 |
| 91 |  | Kocabas, Deniz | Exact methods for shift design and break scheduling | Thesis Hochschulschrift | 2015 |
| 92 |  | Neumaier, Sebastian | Open data quality : assessment and evolution of (meta-)data quality in the open data landscape | Thesis Hochschulschrift | 2015 |
| 93 |  | Gmeiner, Annu | Parameterized model checking of fault-tolerant distributed algorithms | Thesis Hochschulschrift | 2015 |
| 94 |  | Yazicioglu, Yildiz | Die Eignung von Python für Einführungskurse in das Programmieren im Vergleich zu anderen Programmiersprachen | Thesis Hochschulschrift | 2015 |
| 95 |  | Korherr, Jakob | RESTful web applications with reactive, partial server-side processing in Java EE | Thesis Hochschulschrift | 2015 |
| 96 |  | Nickel, Bernhard | Enhanced performance testing and monitoring of JVM-based distributed data-processing applications | Thesis Hochschulschrift | 2015 |
| 97 |  | Vodep, Michael | Ansatz zur Analyse der Auswirkung von kollaborativem Nutzerverhalten mittels Simulation von Softwarearchitekturen | Thesis Hochschulschrift | 2015 |
| 98 |  | Moldovan, Daniel | On monitoring and analyzing elastic cloud systems | Thesis Hochschulschrift | 2015 |
| 99 |  | Qanbari, Soheil | Edge-to-business value chain delivery via elastic telemetry of cyber-physical systems | Thesis Hochschulschrift | 2015 |
| 100 |  | Stepanova, Daria | Inconsistencies in hybrid Knowledge Bases | Thesis Hochschulschrift | 2015 |
