Exjobb på kandidatnivå i datavetenskap
Här finns exjobb utförda vid IT-institutionen, på kandidatnivå i ämnet datavetenskap och skrivna av studenter på kandidatprogrammet. Fristående examensarbeten ingår inte i denna lista.
Övriga program: DVP, civ.ing. STS, civ.ing. IT, DV master, MDI master, TB master, IS master samt hela listan.
2023
- Co-Authorship Network Analysis in Constraint Programming Research. Examensarbete, handledare: María Andreína Francisco Rodríguez, examinator: Johannes Borgström, Victoria Yantseva, IT nr 23030, 2023. (fulltext).
- A study of the usability of a customer relationship management system. Examensarbete, handledare: Sofia Ouhbi, examinator: Mats Daniels, Davide Vega D'Aurelio, IT nr 23065, 2023. (fulltext).
- Exploring GANs to generate attack-variations in IoT networks. Examensarbete, handledare: Andreas Johnsson, examinator: Johannes Borgström, Christian Rohner, IT nr 22128, 2023. (fulltext).
- Adding Basic Support for Function Pointers in TriCera. Examensarbete, handledare: Zafer Esen, examinator: Johannes Borgström, Philipp Rümmer, IT nr 23015, 2023. (fulltext).
- Expression Simplification Using E-Graphs for Interval Evaluation. Examensarbete, handledare: Eva Darulova, examinator: Johannes Borgström, Lars-Henrik Eriksson, IT nr 23091, 2023. (fulltext).
- Transitioning from on-premise computing to cloud computing A cost comparison case study on a Swedish grocery retail company. Examensarbete, handledare: Gustav Schölin, examinator: Johannes Borgström, Ben Blamey, IT nr 23012, 2023. (fulltext).
- Dynamic Shadows of Symmetric Shapes in a 2D Environment A case study in the field of Computer Graphics. Examensarbete, handledare: Emil Teurnberg, examinator: Johannes Borgström, Filip Malmberg, IT nr 23014, 2023. (fulltext).
- Efficient Traffic Monitoring in IoT Networks for Attack Detection at the Edge. Examensarbete, handledare: Nicolas Tsiftes, examinator: Johannes Borgström, Thiemo Voigt, IT nr 23063, 2023. (fulltext).
- The Sisyphean Climb Quantifying Robotic Process Automationwith Agile Methodologies. Examensarbete, handledare: Joanna Nordlund, examinator: Johannes Borgström, Per Mattsson, IT nr 23088, 2023. (fulltext).
- Analysing SSH Clients Using Protocol State Fuzzing. Examensarbete, handledare: Paul Fiterau-Brostean, examinator: Johannes Borgström, Bengt Carlsson, IT nr 23028, 2023. (fulltext).
- Evaluation of Clang Tools for Information Extraction. Examensarbete, handledare: Lars Lundstedt, examinator: Johannes Borgström, Konstantinos Sagonas, IT nr 23002, 2023. (fulltext).
- Adding Floating-point Arithmetic Support to TriCera. Examensarbete, handledare: Zafer Esen, examinator: Johannes Borgström, Philipp Rümmer, IT nr 23109, 2023. (fulltext).
- Augmenting the Therapeutic Relationship. Examensarbete, handledare: Mamduh Halawa, examinator: Johannes Borgström, IT nr 22015, 2023. (fulltext).
- An empirical analysis of GitHub Copilot. Examensarbete, handledare: Ingel Petré, examinator: Johannes Borgström, Eva Darulova, IT nr 23026, 2023. (fulltext).
- Comparison of two mixed integer solvers with real world data from combinatorial auctions. Examensarbete, handledare: Joseph Scott, examinator: Johannes Borgström, Justin Pearson, IT nr 23095, 2023. (fulltext).
- A Comparative Analysis of Multilayer Network Software. Examensarbete, handledare: Georgios Panayiotou, examinator: Johannes Borgström, Matteo Magnani, IT nr 23036, 2023. (fulltext).
- Implementation of a Python library for offline utilisation of the VirtualChemistry webserver. Examensarbete, handledare: David Van der Spoel, examinator: Johannes Borgström, Hans O. Karlsson, IT nr 23041, 2023. (fulltext).
- Clustering and Matching Student Solutions in Source Academy. Examensarbete, handledare: Eva Darulova, examinator: Johannes Borgström, Elias Castegren, IT nr 23047, 2023. (fulltext).
- Shaping Awareness Around Electric Vehicle Driver's Power Load on the Electric Grid. Examensarbete, handledare: Linnea Klingström, examinator: Johannes Borgström, Mikael Laaksoharju, IT nr 23025, 2023. (fulltext).
- Using Analytics Tools to Understand User Behavior. Examensarbete, handledare: Charly Nijm, examinator: Johannes Borgström, Karl Marklund, Aletta Nylén, IT nr 23043, 2023. (fulltext).
- Fixation and Machine Learning A new method for measuring fixation in internet users using machine learning and natural language processing. Examensarbete, handledare: Johan Fernquist, examinator: Johannes Borgström, Justin Pearson, IT nr 23011, 2023. (fulltext).
- SQL injection attacks and countermeasures in PHP, and Cross-Site Request Forgery. Examensarbete, handledare: Johan Arlmark, examinator: Olle Gällmo, Johannes Borgström, IT nr 23062, 2023. (fulltext).
- Beneath the Surface: Exploring the Dark Web and its Societal Impacts. Examensarbete, handledare: Karl Marklund, examinator: Johannes Borgström, Aletta Nylén, IT nr 23044, 2023. (fulltext).
- Parameter Inference for Stochastic Models of Gene Expression in Eukaryotic Cells. Examensarbete, handledare: Prashant Singh, examinator: Johannes Borgström, Andreas Hellander, IT nr 23021, 2023. (fulltext).
- Observability in Machine Learning based Intrusion Detection Systems for RPL-based IoT. Examensarbete, handledare: Amin Kaveh, examinator: Johannes Borgström, Christian Rohner, IT nr 23022, 2023. (fulltext).
- Cache behaviour analysis for graph algorithms. Examensarbete, handledare: Chang Hyun Park, examinator: Johannes Borgström, Niklas Wahlström, IT nr 23032, 2023. (fulltext).
- Securing Real Estate: Wireless Integration and Device Security. Examensarbete, handledare: Aletta Nylén, examinator: Johannes Borgström, Karl Marklund, IT nr 23034, 2023. (fulltext).
- Predicting Incoming Hospital Patients Using Weather Data and Neural Networks. Examensarbete, handledare: Lennart Jansson, examinator: Johannes Borgström, Olle Gällmo, IT nr 23063, 2023. (fulltext).
- Analysis and optimization of an implementation of hierarchical Tucker tensors. Examensarbete, handledare: Katharina Kormann, examinator: Johannes Borgström, Emanuel H. Rubensson, IT nr 23023, 2023. (fulltext).
2022
- The use of Microsoft Azure for high performance cloud computing – A case study. Examensarbete, handledare: Johan Pettersson, Mikael Östlund, examinator: Johan Borgström, Qin Li, IT nr 22090, 2022. (fulltext).
- Performance Analysis of the CannyFS Shim Filesystem. Examensarbete, handledare: Carl Nettelblad, examinator: Johannes Borgström, David Black-Schaffer, IT nr 22022, 2022. (fulltext).
- Combining MAL-based DSMLs for multi-domain cyber threat modelling. Examensarbete, handledare: Joar Jacobsson, examinator: Johannes Borgström, Bengt Jonsson, IT nr 22025, 2022. (fulltext).
- A Community-Oriented Approach to Network Immunisation. Examensarbete, handledare: Ciprian-Octavian Truica, examinator: Johannes Borgström, Elena-Simona Apostol, IT nr 22102, 2022. (fulltext).
- Assessing the threat posed by USB devices. Examensarbete, handledare: Linus Swälas, examinator: Johannes Borgström, Paul Fiterau-Brostean, IT nr 22141, 2022. (fulltext).
- UX for Home Mechanics Helping mechanics stay on track. Examensarbete, handledare: Tomas Törnblom, examinator: Johannes Borgström, Iordanis Kavathazopoulos, IT nr 22130, 2022. (fulltext).
- Gamification in Workforce Management Systems: A thesis researching if gamification can be implemented in a professional workplace system. Examensarbete, handledare: Tomas Johansson, examinator: Johannes Borgström, Mikael Laaksoharju, IT nr 22 117, 2022. (fulltext).
- Representing ultrasound in Augmented Reality. Examensarbete, handledare: Orcun Göksel, examinator: Johannes Borgström, Anna Klemm, IT nr 21117, 2022. (fulltext).
- Ransomware and phishing cyberattacks: analyzing the public’s perception of these attacks in Sweden. Examensarbete, handledare: Fredrik Heiding, examinator: Johannes Borgström, Christian Rohner, IT nr IT 22030, 2022. (fulltext).
- A machine learning infrastructurefor Aline using Amazon Web Services. Examensarbete, handledare: Emanuel Ländell, examinator: Johannes Borgström, Muhammad Kashif, IT nr 22 043, 2022. (fulltext).
- Headless Decisions : Exploring Headless Architecture in Leather Business Management. Examensarbete, handledare: Josefin Liljeqvist, examinator: Johannes Borgström, Lars Oestreicher, IT nr 22001, 2022. (fulltext).
- Data mining on Data sets of Products. Examensarbete, handledare: Simon Berglund, examinator: Johannes Borgström, Elena-Simona Apostol, IT nr 22135, 2022. (fulltext).
- Sentence Embeddings and Automatic Classification of Menu Items. Examensarbete, handledare: Kristofer Sundequist Blomdahl, examinator: Johannes Borgström, Justin Pearson, IT nr 22 037, 2022. (fulltext).
- Investigating post-creation port mapping of Docker containers. Examensarbete, handledare: Karl Marklund, examinator: Johannes Borgström, Aletta Nylén, IT nr 22036, 2022. (fulltext).
- A Comparative Study of Optimization Methods for a Resource Allocation in Mobile Communications. Examensarbete, handledare: Di Yuan, examinator: Johannes Borgström, Kamran Forghani, IT nr 22041, 2022. (fulltext).
- Sentiment analysis of arbitrary search resultsIdentified obstacles, mitigations strategies and effects on sentiment measurement. Examensarbete, handledare: Karl Marklund, examinator: Johannes Borgström, Aletta Nylén, IT nr 22103, 2022. (fulltext).
- Design Specifications for an Interactive Teaching Tool for Game AI using Gomoku. Examensarbete, handledare: Mikael Fridenfalk, examinator: Johannes Borgström, Ginevra Castellano, IT nr 22 080, 2022. (fulltext).
- Bayesian Neural Networks for Forecasting Restaurant Table Bookings. Examensarbete, handledare: Patrik Jungmarker, examinator: Olle Gällmo, Johannes Borgström, IT nr 22002, 2022. (fulltext).
- Implementation of a data streaming simulator for sensor embedded cutting tools. Examensarbete, handledare: Amir Parsan, examinator: Johannes Borgström, Lars-Henrik Eriksson, IT nr 22042, 2022. (fulltext).
- Implementing and evaluating variations of the Blackhole attack on RPL. Examensarbete, handledare: Andreas Johnsson, examinator: Johannes Borgström, Christian Rohner, IT nr 22 075, 2022. (fulltext).
- Ad optimisation with a collaborative multi-armed bandit algorithm. Examensarbete, handledare: Björn Karlström, examinator: Johannes Borgström, Edith Ngai, IT nr 22064, 2022. (fulltext).
- Implementation of Explanatory Algorithm for Logical Models. Examensarbete, handledare: Lars-Henrik Eriksson, examinator: Johannes Borgström, Tjark Weber, IT nr 22 05, 2022. (fulltext).
- Utilising Raw GNSS Data from Android Units to Improve Positioning. Examensarbete, handledare: Kristoffer Forsgren, Ludvig Sjöbom, examinator: Johannes Borgström, Edith Ngai, IT nr 22 073, 2022. (fulltext).
- Exploring Architectural Techniques to Improve the Efficiency of Memory Security. Examensarbete, handledare: Pavlos Aimoniotis, examinator: Johannes Borgström, Stefanos Kaxiras, IT nr 22 113, 2022. (fulltext).
- Low-code vs traditional codeApplication of low-code solution in ERP systems. Examensarbete, handledare: Carsten Heiter, examinator: Johannes Borgström, Davide Vega, IT nr 22 013, 2022. (fulltext).
- Evaluation between Google's and Microsoft's automated speech recognition services regarding performance in Swedish. Examensarbete, handledare: Jonas Olander, examinator: Johannes Borgström, Elena-Simona Apostol, IT nr 22 106, 2022. (fulltext).
2021
- Implementation of FaDO in React.js: Implementation of FaDO in React.js. Examensarbete, handledare: Kristiaan Pelckmans, examinator: Johannes Borgström, IT nr 21007, 2021. (fulltext).
- Investigating the performance of resizable arrays in the HPC job scheduler Slurm. Examensarbete, handledare: Carl Nettelblad, examinator: Johannes Borgström, Stefan Engblom, IT nr 21041, 2021. (fulltext).
- Connecting high and low: Adaption and use of tools to increase students’understanding in programming. Examensarbete, handledare: Karl Marklund, examinator: Johannes Borgström, Aletta Nylén, IT nr 21055, 2021. (fulltext).
- Implementation and performance analysis of GraphQL schema delegation. Examensarbete, handledare: Olaf Hartig, examinator: Johannes Borgström, Olaf Hartig, IT nr 21032, 2021. (fulltext).
- Hello Framework! A heuristic method for choosing front-end JavaScript frameworks. Examensarbete, handledare: Mikael Laaksoharju, Mattias Hising, examinator: Johannes Borgström, Mikael Laaksoharju, IT nr 21060, 2021. (fulltext).
- Detecting engagement from prosodic features in spoken dialog. Examensarbete, handledare: Maike Paetzel, examinator: Johannes Borgström, Ginevra Castellano, Giulia Perugia, IT nr 21083, 2021. (fulltext).
- Digitization of Swedish Caribbean Colonial History. Examensarbete, handledare: Victor Wilson, examinator: Johannes Borgström, Anders Hast, IT nr 21108, 2021. (fulltext).
- Redesigning an application forcomputational chemists to servetheir quantum-chemical database. Examensarbete, handledare: David van der Spoel, examinator: Johannes Borgström, Georgios Fakas, IT nr 21115, 2021. (fulltext).
- Comparing priority queues with support for priority updates at arbitrary indexes. Examensarbete, handledare: Stefan Engblom, examinator: Johannes Borgström, Stefan Engblom, IT nr 20056, 2021. (fulltext).
- Covid-19’s effect on the Internet. Examensarbete, handledare: Lorenzo Corneo, examinator: Johannes Borgström, Andreas Johnsson, IT nr 21072, 2021. (fulltext).
- Parameterized Verification under The Total Store Order Memory Modelis EXPTIME-Complete. Examensarbete, handledare: Parosh Abdulla, examinator: Johannes Borgström, Mohamed Faouzi Atig, IT, 2021. (fulltext).
- Improving performance of BWA alignment of short sequences with coroutines. Examensarbete, handledare: Carl Nettelblad, examinator: Johannes Borgström, Stefanos Kaxiras, IT nr 21068, 2021. (fulltext).
- Finding and evaluating the effects of improper access control in the Cloud. Examensarbete, handledare: Oscar Sandén, examinator: Johannes Borgström, Christian Rohner, IT nr 21076, 2021. (fulltext).
- Solar installations on a digital platform evaluated with a user-centered approach. Examensarbete, handledare: Thomas Lind, examinator: Johannes Borgström, Mikael Laaksoharju, IT nr 21034, 2021. (fulltext).
- Towards Embedded Implementations of Multi-Armed Bandit Algorithms for Optimised Channel Selection. Examensarbete, handledare: Konrad-Felix Krentz, examinator: Johannes Borgström, Thiemo Voigt, IT nr 21106, 2021. (fulltext).
- A digital planning tool for sales racking. Examensarbete, handledare: Clas Brännström, examinator: Johannes Borgström, Lars-Åke Nordén, IT nr 21098, 2021. (fulltext).
- Incorporating Orthogonal Moments in CNNs. Examensarbete, handledare: Ida-Maria Sintorn, examinator: Johannes Borgström, Amin Allalou, IT nr 21093, 2021. (fulltext).
- The Contrastive Tension Methodand Corpus Variety. Examensarbete, handledare: Fredrik Carlsson, examinator: Johannes Borgström, Riccardo De Masellis, IT nr 21063, 2021. (fulltext).
- Pasta, Pancakes and Power Peaks. Examensarbete, handledare: Fredrik Björklund, examinator: Johannes Borgström, Mikael Laaksoharju, IT nr 21107, 2021. (fulltext).
- Evaluating the Effectiveness of Active Learning Methods in Predicting Biochemical Properties. Examensarbete, handledare: María Andreína Francisco Rodríguez, Jonathan Alvarsson, examinator: Johannes Borgström, Olle Gällmo, IT nr 21038, 2021. (fulltext).
- Deep Reinforcement LearningA case study of AlphaZero. Examensarbete, handledare: Arne Andersson, examinator: Johannes Borgström, Per Mattsson, IT nr 21074, 2021. (fulltext).
- Implementing and Evaluating Clustering Methods for Large Probabilistic Graphs. Examensarbete, handledare: Amin Kaveh, examinator: Johannes Borgström, Matteo Magnani, IT nr 21079, 2021. (fulltext).
- CM model view transformations To support runtime forward/backward compatibility. Examensarbete, handledare: Johan Husman, examinator: Olle Gällmo, Johannes Borgström, IT nr 21011, 2021. (fulltext).
- Simple formally verified compiler in Lean. Examensarbete, handledare: Jasmin Blanchette, examinator: Johannes Borgström, Lars-Henrik Eriksson, IT nr 21097, 2021. (fulltext).
- Visualizing large page mappings: A tool to understand memory mappings of program. Examensarbete, handledare: Chang Hyun Park, examinator: Johannes Borgström, David Black-Schaffer, IT nr 21059, 2021. (fulltext).
- Semi-Supervised Learning for Predicting Biochemical Properties. Examensarbete, handledare: María Andreína Francisco Rodríguez, Jonathan Alvarsson, examinator: Johannes Borgström, Olle Gällmo, IT nr 21037, 2021. (fulltext).
- Multithreading in adaptive fast multipole methods. Examensarbete, handledare: Stefan Engblom, examinator: Johannes Borgström, Jarmo Rantakokko, IT nr 21052, 2021. (fulltext).
- Extending an In-Browser C Interpreter With an Abstracted Model of theMemory. Examensarbete, handledare: Mikael Laaksoharju, examinator: Johannes Borgström, Tobias Wrigstad, IT nr 21022, 2021. (fulltext).
- Design and Implementation of CANopen - SAE J1939 Communication Gateway. Examensarbete, handledare: Meng Liu, examinator: Johannes Borgström, Justin Pearson, IT nr 21104, 2021. (fulltext).
- Computational Analysis of Swedish Newspapers Using Topic Detection and Sentiment Analysis. Examensarbete, handledare: Davide Vega, examinator: Johannes Borgström, Davide Vega, IT nr 21016, 2021. (fulltext).
- Reinforcement Learning for Musculoskeletal Control with an OpenSim Model. Examensarbete, handledare: Orcun Göksel, examinator: Johannes Borgström, Gunilla Borgefors, IT nr 21070, 2021. (fulltext).
- Analysis of a new quaternary encoding for increased data throughput. Examensarbete, handledare: Magnus Själander, examinator: Johannes Borgström, Stefanos Kaxiras, IT nr 21043, 2021. (fulltext).
2020
- Gaze detection in human-robot interaction. Examensarbete, handledare: Maike Paetzel, examinator: Johannes Borgström, Ginevra Castellano, IT nr 20053, 2020. (fulltext).
- Assembling and programming an IoT scale sensor. Examensarbete, handledare: Per Smedsrud, examinator: Johannes Borgström, Per Gunninberg, IT nr 20027, 2020. (fulltext).
- Optimisation of card recognition routine. Examensarbete, handledare: Per Jannersten, examinator: Johannes Borgström, Anders Hast, IT nr 20041, 2020. (fulltext).
- Music from MotionA Motion-Sensing MIDI Controller as a Musical Instrument. Examensarbete, handledare: Lars Oestreicher, examinator: Johannes Borgström, Mikael Laaksoharju, IT nr 20011, 2020. (fulltext).
- Analysing Aliasing in Java Applications. Examensarbete, handledare: Stephan Brandauer, examinator: Jarmo Rantakokko, Johannes Borgström, IT nr 20048, 2020. (fulltext).
- Implementing and Evaluating sparsification methods in probabilistic networks. Examensarbete, handledare: Amin Kaveh, examinator: Johannes Borgström, Matteo Magnani, IT nr 20078, 2020. (fulltext).
- Creating a prototype with the most important features in a mobile system for real estate brokers. Examensarbete, handledare: Kenneth Ferhm, examinator: Johannes Borgström, Anders Arweström Jansson, IT nr 20028, 2020. (fulltext).
- Avoiding Out-Of-Memory Errors in ThinGC. Examensarbete, handledare: Tobias Wrigstad, examinator: Johannes Borgström, IT nr 20077, 2020. (fulltext).
- Unlimited seeking during videotranscoding. Examensarbete, handledare: Jonatan Olofsson, Niklas Carlsson, examinator: Johannes Borgström, IT nr 19079, 2020. (fulltext).
- Emerging Non-Volatile Memory and Initial Experiences with PCM Main Memory. Examensarbete, handledare: Per Ekemark, Stefanos Kaxiras, examinator: Johannes Borgström, IT nr 20 003, 2020. (fulltext).
- Targeting the zebrafish eye using deep learning-based image segmentation. Examensarbete, handledare: Hanqing Zhang, examinator: Johannes Borgström, Amin Allalou, IT nr 20029, 2020. (fulltext).
- Analysis of the online Swedishpolitical discourse Thesis report for Degree Project C in Computer Science. Examensarbete, handledare: Matteo Magnani, examinator: Johannes Borgström, IT nr 20054, 2020. (fulltext).
- Practical complexity of the Fibonacci heap in a simulation and modelling framework. Examensarbete, handledare: Stefan Engblom, examinator: Johannes Borgström, Carl Nettelblad, IT nr 20084, 2020. (fulltext).
- Investigations and solutions for safer medication in healthcare. Examensarbete, handledare: Anders Westermark, examinator: Mats Daniels, Åsa Cajander, IT nr 20075, 2020. (fulltext).
- Improving on C with Rust An analysis of Rusts preventative abilities. Examensarbete, handledare: Tobias Wrigstad, examinator: Johannes Borgström, IT nr 20 050, 2020. (fulltext).
- Renmärken som mobilapplikation. Examensarbete, handledare: Viola Walkeapää, examinator: Johannes Borgström, Anders Arweström Jansson, IT nr 20035, 2020. (fulltext).
- Dictoniary extension for topic analysis of Swedish online texts. Examensarbete, handledare: Matteo Magnani, examinator: Johannes Borgström, Davide Vega D Aurelio, IT nr 20057, 2020. (fulltext).
- Designing and assessing an interactive sunburst diagram for ICD. Examensarbete, handledare: Mikael Laaksoharju, examinator: Johannes Borgström, Anders Hast, IT nr 20021, 2020. (fulltext).
- A parallel implementation of spatially distributed stochastic chemical kinetics. Examensarbete, handledare: Stefan Engblom, examinator: Johannes Borgström, Stefan Engblom, IT nr 20038, 2020. (fulltext).
- Hand over process in a simulationenvironmentChallenges with radio network planning in simulation environments. Examensarbete, handledare: Clas Högvall, examinator: Johannes Borgström, IT nr 19033, 2020. (fulltext).
- A Heterogeneous Platform Description Model For Real-Time Scheduling Tools. Examensarbete, handledare: Morteza Mohaqeqi, examinator: Johannes Borgström, Wang Yi, IT nr 20091, 2020. (fulltext).
- Artificial Intelligence for detecting IoT data intrusions. Examensarbete, handledare: Christian Rohner, Thiemo Voigt, examinator: Johannes Borgström, IT nr 20013, 2020. (fulltext).
- Evaluation of Generative Neural Networks for Automatic Defect Detection. Examensarbete, handledare: Oskar Flordal, examinator: Johannes Borgström, Olle Gällmo, IT nr 20010, 2020. (fulltext).
- Implementation and Verification of Sorting Algorithms with the Interactive Theorem Prover HOL. Examensarbete, handledare: Arve Gengelbach, examinator: Johannes Borgström, Björn Victor, IT nr 20065, 2020. (fulltext).
- Predicting network performancein IoT environments using LSTM. Examensarbete, handledare: Andreas Johnsson, examinator: Johannes Borgström, Christian Rohner, IT nr 20087, 2020. (fulltext).
- Risks of Internet of ThingsA study of risks, consumer knowledge and behaviours regarding IoT usage and security. Examensarbete, handledare: Lars Rylander, examinator: Johannes Borgström, Lars Oestreicher, IT nr 20031, 2020. (fulltext).
- Implementation and Specification of a Simple Polygon Triangulation Algorithm in Isabelle/HOL. Examensarbete, handledare: Tjark Weber, examinator: Johannes Borgström, Lars-Henrik Eriksson, IT nr 20018, 2020. (fulltext).
- Entity resolution (ER) from multiple data sets. Examensarbete, handledare: Georgios Fakas, examinator: Johannes Borgström, Kjell Orsborn, IT nr 20019, 2020. (fulltext).
- Learning platform for training critical thinking. Examensarbete, handledare: Mikael Laaksoharju, examinator: Johannes Borgström, Iordanis Kavathazopoulos, IT nr 20023, 2020. (fulltext).
2019
- Evaluation of a data type in a Manufacturing Execution System. Examensarbete, handledare: Mikael Björn, examinator: Konstantinos Sagonas, Johannes Borgström, IT nr 19016, 2019. (fulltext).
- Redirecting player speech: Lexical entrainment to challenging words in human–computer dialogue. Examensarbete, handledare: Maike Paetzel, examinator: Ginevra Castellano, Johannes Borgström, IT nr 19056, 2019. (fulltext).
- Visual Lab Assistant: Using Augmented Reality To Aid Users In Laboratory Environments. Examensarbete, handledare: Simon Gollbo, examinator: Ingela Nyström, Johannes Borgström, IT nr 19069, 2019. (fulltext).
- Open Hardware: Initial Experiences with Synthesizing Open Cores. Examensarbete, handledare: Stefanos Kaxiras, examinator: Alexandra Jimborean, Johannes Borgström, IT nr 19045, 2019. (fulltext).
- Caching for Improved Response Times in a Distributed System. Examensarbete, handledare: Henrik Spens, examinator: Georgios J Fakas, Johannes Borgström, IT nr 19025, 2019. (fulltext).
- Monads in Haskell and Category Theory. Examensarbete, handledare: Lars-Henrik Eriksson, examinator: Justin Pearson, Johannes Borgström, IT nr 19050, 2019. (fulltext).
- A Comparison of the Capability Systems of Encore, Pony and Rust. Examensarbete, handledare: Dave Clark, examinator: Tobias Wrigstad, Olle Gällmo, IT nr 19010, 2019. (fulltext).
- eHealth - System Usability Improvement: Bridging the Gap Between Stakeholders and Nurses. Examensarbete, handledare: Diane Golay, examinator: Åsa Cajander, Johannes Borgström, IT nr 19051, 2019. (fulltext).
- Designing good healthcare: Improving ulcer monitoring in home care. Examensarbete, handledare: Hannah Svenander, examinator: Iordanis Kavathatzopoulos, Johannes Borgström, IT nr 19066, 2019. (fulltext).
- A system for GDPR-compliant collection of social media data: from legal to software requirements. Examensarbete, handledare: Davide Vega, examinator: Matteo Magnani, Johannes Borgström, IT nr 19057, 2019. (fulltext).
- An evaluation of automated methods for hate detection. Examensarbete, handledare: Lisa Kaati, examinator: Björn Victor, Johannes Borgström, IT nr 19029, 2019. (fulltext).
- A web-based application for ethical competence workshops. Examensarbete, handledare: Mikael Laaksoharju, examinator: Iordanis Kavathatzopoulos, Johannes Borgström, IT nr 19006, 2019. (fulltext).
- Text to features for Swedish text. Examensarbete, handledare: Davide Vega, examinator: Matteo Magnani, Johannes Borgström, IT nr 19038, 2019. (fulltext).
- For-Comprehension: An Encore Compiler Story. Examensarbete, handledare: Kiko Fernandez-Reyes, examinator: Tobias Wrigstad, Johannes Borgström, IT nr 19068, 2019. (fulltext).
- Security in the web development process. Examensarbete, handledare: Johannes Lundström, examinator: Karl Marklund, Johannes Borgström, IT nr 19043, 2019. (fulltext).
- Optimizing the Process of Handling Road Network Data. Examensarbete, handledare: Martin Komstadius, examinator: Parosh Abdulla, Johannes Borgström, IT nr 19037, 2019. (fulltext).
- Test Case Selection Based on Code Changes. Examensarbete, handledare: Tony Lin, examinator: Lars-Henrik Eriksson, Johannes Borgström, IT nr 19042, 2019. (fulltext).
- Using Elasticsearch for full-text searches on unstructured data. Examensarbete, handledare: Peter Falk, examinator: Sven-Olof Nystrom, Olle Gällmo, IT nr 19009, 2019. (fulltext).
- Enhancing Functionality with Assistive Error Visualisations in Encore. Examensarbete, handledare: Kiko Fernandez-Reyes, examinator: Tobias Wrigstad, Johannes Borgström, IT nr 19067, 2019. (fulltext).
- Analysis of Tabula: A PDF-Table extraction tool. Examensarbete, handledare: Kristina Essén, examinator: Lars-Henrik Eriksson, Olle Gällmo, IT nr 19012, 2019. (fulltext).
- Random Reference Models and Network Rewiring in Temporal Network Clustering. Examensarbete, handledare: Christian Rohner, examinator: Johannes Borgström, Matteo Magnani, IT nr 19055, 2019. (fulltext).
- Code Cloning Habits Of The Jupyter Notebook Community. Examensarbete, handledare: Johannes Borgström, examinator: Tobias Wrigstad, Justin Pearson, IT nr 19032, 2019. (fulltext).
- Code Cloning Habits Of The Jupyter Notebook Community: Code Cloning Habits Of The Jupyter Notebook Community. Examensarbete, handledare: Johannes Borgström, examinator: Justin Pearson, Tobias Wrigstad, IT nr 19032, 2019. (fulltext).
- Cofree Traversable Functors. Examensarbete, handledare: Justin Pearson, examinator: Tjark Weber, Johannes Borgström, IT nr 19035, 2019. (fulltext).
- Design av musikapplikation för musikintresserade. Examensarbete, handledare: Andreas Wahlberg, examinator: Mats Lind, Mats Daniels, IT nr 19003, 2019. (fulltext).
- Implementation of an Age of Information-aware Scheduler for Resource Constrained Devices. Examensarbete, handledare: Lorenzo Corneo, examinator: Per Gunningberg, Johannes Borgström, IT nr 19072, 2019. (fulltext).
- Prototyp till substansavvänjningsapplikation. Examensarbete, handledare: Niklas Eklund, examinator: Mats Lind, Mats Daniels, IT nr 19008, 2019. (fulltext).
2018
- Resursoptimering för restauranger. Examensarbete, handledare: Patrik Jungmarker, examinator: Justin Pearson, Olle Gällmo, IT nr 18070, 2018. (fulltext).
- Investigating the scaleability of analyzing and processing RDBMS datasets with Apache Spark. Examensarbete, handledare: Jonas Ahlkvist, examinator: Justin Pearson, Olle Gällmo, IT nr 18004, 2018. (fulltext).
- Authorization Tool for Usersand Media Archives in WordPress: A Role Based Authorization Plugin. Examensarbete, handledare: Oscar Engström, examinator: Tjark Weber, Olle Gällmo, IT nr 18011, 2018. (fulltext).
- Flexibla affärssystem via Contextual Design En fallstudie: Flexible business systems using Contextual Design. Examensarbete, handledare: Daniel Campeau, examinator: Olle Gällmo, Mats Lind, IT nr 18020, 2018. (fulltext).
- Comparing Methods of Text Categorization. Examensarbete, handledare: Arne Andersson, examinator: Di Yuan, Olle Gällmo, IT nr 18027, 2018. (fulltext).
- Interacting Particle Inferencefor Probabilistic Programming in Haskell. Examensarbete, handledare: Magnus Lundstedt, examinator: Olle Gällmo, Johannes Borgström, IT nr 18016, 2018. (fulltext).
- Big Data Types: Internally Parallel in an Actor Language. Examensarbete, handledare: Dave Clarke, examinator: Tobias Wrigstad, Olle Gällmo, IT nr 18041, 2018. (fulltext).
- Bit-Vector Approximations of Floating-Point Arithmetic. Examensarbete, handledare: Peter Backeman, Aleksandar Zeljic, examinator: Philipp Rümmer, Olle Gällmo, 2018. (fulltext).
- Design and evalutation of interactive density plots to explore time-series data. Examensarbete, handledare: Mikael Laaksoharju, examinator: Mats Lind, Olle Gällmo, IT nr 18034, 2018. (fulltext).
- Evaluation of IBM Bluemix (PaaS) auto-scaling service for microservices. Examensarbete, handledare: Henrik Hindbeck, examinator: Salman Toor, Olle Gällmo, IT nr 18060, 2018. (fulltext).
- Guiding Local Search using Approximations. Examensarbete, handledare: Aleksandar Zeljic, Peter Backeman, examinator: Olle Gällmo, IT nr 18030, 2018. (fulltext).
- Effective Visualization of Magnetization Dynamics.. Examensarbete, handledare: Manuel Pereiro, examinator: Gunilla Kreiss, Olle Gällmo, IT nr 18043, 2018. (fulltext).
- Evaluating and comparing tools for generating PDF files. Examensarbete, handledare: Alexander Bogardi, examinator: Olle Gällmo, Lars-Henrik Eriksson, IT nr 18001, 2018. (fulltext).
- Effects of Thread-Local Task Trees in the CHT-MPI C++ Programming Library for the Chunks and Tasks Programming Model. Examensarbete, handledare: Elias Rudberg, examinator: Emanuel H. Rubensson, Olle Gällmo, IT nr 18028, 2018. (fulltext).
- Evolutive Graphics with Linked Data. Examensarbete, handledare: Esteban Gonza?lez Guardia, examinator: Sven-Olof Nystrom, Olle Gällmo, 2018. (fulltext).
- Local Geography Educator. Examensarbete, handledare: Dave Clarke, examinator: Iordanis Kavathatzopoulos, Olle Gällmo, IT nr 18046, 2018. (fulltext).
- Enhancing the security of an audit log. Examensarbete, handledare: Johan Rydh, examinator: Lars-Henrik Eriksson, Olle Gällmo, IT nr 18042, 2018. (fulltext).
2017
- Quadratic Programming Models in Strategic Sourcing Optimization. Examensarbete, handledare: Arne Andersson, Fredrik Ygge, examinator: Di Yuan, Olle Gällmo, IT nr 17034, 2017. (fulltext).
- Decision modelling for cloud-based solutions. Examensarbete, handledare: Petter Berglund, examinator: Olle Gällmo, Sverker Holmgren, IT nr 17087, 2017. (fulltext).
- Mobility-based Key Sharing Using Visible Light Communication. Examensarbete, handledare: Kasun Hewage, examinator: Olle Gällmo, Christian Rohner, IT nr 17066, 2017. (fulltext).
- Mobile PDF Management in Web Based Applications. Examensarbete, handledare: Frida Vestman, examinator: Olle Gällmo, Mats Lind, IT nr 17064, 2017. (fulltext).
- Parallel Performance Comparison between Encore and OpenMP using Pedestrian Simulation. Examensarbete, handledare: Kiko Fernandez Reyes, examinator: Olle Gällmo, Alexandra Jimborean, IT nr 17027, 2017. (fulltext).
- Implementation and Evaluation of a Compact-Table Propagator in Gecode. Examensarbete, handledare: Mats Carlsson, examinator: Olle Gällmo, Pierre Flener, IT nr 17037, 2017. (fulltext).
- MedicReminder: Ett system för att öka patientens följsamhet till läkemedelsbehandling. Examensarbete, handledare: Lars Oestreicher, examinator: Bengt Sandblad, Olle Gällmo, IT nr 17008, 2017. (fulltext).
- System and database design for a research application to diagnostic laser-doppler instruments. Examensarbete, handledare: Gunilla Lundahll, examinator: Olle Gällmo, Lars-Åke Nordén, IT nr 17035, 2017. (fulltext).
- Interaction Design of User-SuppliedData in Health Care Systems. Examensarbete, handledare: Christian Johansen, examinator: Mats Lind, Olle Gällmo, IT nr 17061, 2017. (fulltext).
- Classification of High Content Screening Data by Deep Convolutional Neural Networks. Examensarbete, handledare: Liam O'Connor, examinator: Olle Gällmo, Carolina Wählby, IT nr 17071, 2017. (fulltext).
- Simulating Energy-Efficient Hardware The Software Out-of-order Processor. Examensarbete, handledare: Trevor E Carlsson, examinator: Olle Gällmo, Alexandra Jimborean, IT nr 17059, 2017. (fulltext).
- A Source-to-Source Transformerfor QD-locking. Examensarbete, handledare: Kjell Winblad, examinator: Olle Gällmo, Sagonas Konstantinos, IT nr 17072, 2017. (fulltext).
- Study of Bandwidth Partitioning for Co-executing GPU Kernels. Examensarbete, handledare: Johan Janzén, examinator: Olle Gällmo, Andra Ecaterina-Hugo, IT nr 17032, 2017. (fulltext).
- Design & Implementation of Separate Compilation for Encore. Examensarbete, handledare: Elias Castegren, examinator: Olle Gällmo, Tobias Wrigstad, IT nr 17038, 2017. (fulltext).
- Predicting house prices using Ensemble Learning with Cluster Aggregations. Examensarbete, handledare: Lars Erik Eriksson, examinator: Olle Gällmo, Kristiaan Pelckmans, IT nr 17091, 2017. (fulltext).
- Evaluating the 2015 SMT competition. Examensarbete, handledare: Tjark Weber, examinator: Olle Gällmo, Lars-Henrik Eriksson, IT nr 17033, 2017. (fulltext).
- Implementing GLib CollectionTypes in the Giraffe Library. Examensarbete, handledare: Tjark Weber, Lars-Henrik Eriksson, examinator: Olle Gällmo, IT nr 17028, 2017. (fulltext).
- Visualization of Music Designed for Children with Severe Disabilities. Examensarbete, handledare: Lars Oestreicher, examinator: Olle Gällmo, Mats Lind, IT nr 17010, 2017. (fulltext).
- Cloud computing: Knowledge expectation and reality: Cloud computing: Knowledge expectation and reality. Examensarbete, handledare: Lindén Björn, examinator: Gällmo Olle, Eriksson Lars-Henrik, IT nr 17017, 2017. (fulltext).
- Exceptional Actors Implementing Exception Handling for Encore. Examensarbete, handledare: Dave Clarke, examinator: Olle Gällmo, Tobias Wrigstad, IT nr 17050, 2017. (fulltext).
- Medium Data on Big Data Predicting Disk Failures in CERNs NetApp-based Data Storage System. Examensarbete, handledare: Miroslav Potocky, examinator: Olle Gällmo, Justin Pearson, IT nr 17081, 2017. (fulltext).
- An evaluation of random-walk based clustering of multiplex networks. Examensarbete, handledare: Roberto Interdonato, examinator: Olle Gällmo, Matteo Magnani, IT nr 17036, 2017. (fulltext).
- Alternative Keyboard Input In a Digitalized Trauma Journal. Examensarbete, handledare: Mats Lind, examinator: Olle Gällmo, Mikael Laaksoharju, IT nr 17021, 2017. (fulltext).
- Finding Patterns in Lock-Free Algorithms. Examensarbete, handledare: Elias Castegren, examinator: Olle Gällmo, Tobias Wrigstad, IT nr 17053, 2017. (fulltext).
- Implementing Safe Sharing Features for Encore. Examensarbete, handledare: Elias Castegren, examinator: Olle Gällmo, Tobias Wrigstad, IT nr 17039, 2017. (fulltext).
- Profiling memory accesses on the ODROID-XU4. Examensarbete, handledare: Julio Sahuquillo, examinator: Olle Gällmo, Alexandra Jimborean, IT nr 17074, 2017. (fulltext).
2016
- Klassificering av la?kemedelshandlingar med hja?lp av maskininla?rning. Examensarbete, handledare: Mikael Fredriksson, examinator: Sofia Cassel, Olle Gällmo, IT nr 16070, 2016. (fulltext).
- Improving formal analysis of computerised rail traffic control systems using domain models. Examensarbete, handledare: Olav Bandmann, examinator: Lars-Henrik Eriksson, Olle Ga?llmo, IT nr 16014, 2016. (fulltext).
- Cross-platform development with React Native. Examensarbete, handledare: Emil Paulsson, examinator: Justin Pearson, Olle Ga?llmo, IT nr 16053, 2016. (fulltext).
- Implementing Tuple Variables in Gecode. Examensarbete, handledare: Jean-Noe?l Monette, examinator: Pierre Flener, Olle Ga?llmo, IT nr 16020, 2016. (fulltext).
- A Methodology for Applying Concolic Testing. Examensarbete, handledare: Konstantinos Sagonas, examinator: Justin Pearson, Olle Ga?llmo, IT nr 16071, 2016. (fulltext).
- Explanation of Counterexamples in the Context of Formal Verification. Examensarbete, handledare: Lars-Henrik Eriksson, examinator: Bengt Jonsson, Olle Ga?llmo, IT nr 16051, 2016. (fulltext).
- Static Multi-Versioning for Efficient Prefetching. Examensarbete, handledare: Alexandra Jimborean, examinator: David Black-Schaffer, Olle Ga?llmo, IT nr 16042, 2016. (fulltext).
- Plattform för märkning. Examensarbete, handledare: Jonas Wahlström, examinator: Roland Bol, Olle Gällmo, IT nr 15084, 2016. (fulltext).
- Defining New Boundaries in QGIS Based on Existing Definitions. Examensarbete, handledare: Magnus Gunnarsson, examinator: Anders Hast, Olle Ga?llmo, IT nr 16068, 2016. (fulltext).
- Improved Visualization of Rock Carvings. Examensarbete, handledare: Filip Malmberg, examinator: Anders Hast, Olle Gällmo, IT nr 16089, 2016. (fulltext).
- Sending Location-Based Keys Using Visible Light Communication. Examensarbete, handledare: Kasun Hewage, examinator: Thiemo Voigt, Olle Ga?llmo, IT nr 16004, 2016. (fulltext).
- Hybrid Machine Translation: Choosing the best translation with Support Vector Machines. Examensarbete, handledare: Aaron Smith, examinator: Olle Ga?llmo, Justin Pearson, IT nr 16074, 2016. (fulltext).
- Multiclass Density Estimation Analysis in N-Dimensional Space featuring Delaunay Tessellation Field Estimation. Examensarbete, handledare: Michael Ashcroft, examinator: Matteo Magnani, Olle Ga?llmo, IT nr 16062, 2016. (fulltext).
- An Arduino-based MIDI Controllerfor Detecting Minimal Movementsin Severely Disabled Children. Examensarbete, handledare: Lars Oestreicher, examinator: Mikael Laaksoharju, Olle Gällmo, IT nr 2029, 2016. (fulltext).
- Pattern Matching in Encore. Examensarbete, handledare: Elias Castegren, examinator: Tobias Wrigstad, Olle Ga?llmo, IT nr 16021, 2016. (fulltext).
- A virtual Network Function Workload Simulator. Examensarbete, handledare: Viktor Leijon, examinator: Lars-Åke Nordén, IT nr 16073, 2016. (fulltext).
- Predicting the Archaeological Landscape: Archeological Density Estimation around the Ostlänken railroad corridor. Examensarbete, handledare: Daniel Löwenborg, examinator: Michael Ashcroft, Olle Gällmo, IT nr 16067, 2016. (fulltext).
- Early evaluation of branches via decoupled access-execute to enable super-block optimizations. Examensarbete, handledare: Alexandra Jimborean, examinator: Stefanos Kaxiras, Olle Ga?llmo, IT nr 16075, 2016. (fulltext).
- An Implementation of the Vat Programming Abstraction. Examensarbete, handledare: Dave Clarke, examinator: Tobias Wrigstad, Olle Gällmo, IT nr 16091, 2016. (fulltext).
- A Force Directed Placement Method Including Angular Resolution and Bond Overlap. Examensarbete, handledare: Ruben Abagyan, examinator: Carl Nettelblad, Olle Gällmo, IT nr 16002, 2016. (fulltext).
- Usability evaluations of vectorgraphic editors. Examensarbete, handledare: Oskar Nilsson, examinator: Anders Jansson, Olle Gällmo, IT nr 16088, 2016. (fulltext).
- Different screen sizes on iPhoneand iPad effect the user experience. Examensarbete, handledare: Jonatan Moritz, examinator: Lars Oestreicher, Olle Gällmo, IT nr 16028, 2016. (fulltext).
- A node-based representation of gameplay scripts. Examensarbete, handledare: Siddartha Sankar Mondal, examinator: Justin Pearson, Olle Ga?llmo, IT nr 16001, 2016. (fulltext).
- Benchmarking Parallelism and Concurrency in the Encore Programming Language. Examensarbete, handledare: Dave Clarke, examinator: Tobias Wrigstad, Olle Ga?llmo, IT nr 16081, 2016. (fulltext).
2015
- Designing a User Interface Based on a Simulator. Examensarbete, handledare: Tobias Söderman, examinator: Lars Oestreicher, Olle Gällmo, IT nr 15063, 2015. (fulltext).
- KeySafe The platform-independent password safe with external security. Examensarbete, examinator: Johannes Borgström, Olle Gällmo, IT nr 15011, 2015. (fulltext).
- Compositional Decompilation using LLVM IR. Examensarbete, handledare: Janka Chlebíková, examinator: Matthew Poole, 2015. (fulltext).
- Compressing main memory index lists. Examensarbete, handledare: Thanh Truong, examinator: Tore Risch, Olle Gällmo, IT nr 15059, 2015. (fulltext).
- Attack on the Chaos Sensor Network Protocol. Examensarbete, handledare: Kasun Hewage, examinator: Thiemo Voigt, Olle Ga?llmo, IT nr 15028, 2015. (fulltext).
- Computer aided poker playing. Examensarbete, handledare: Michael Ashcroft, examinator: Roland Bol, Olle Ga?llmo, IT nr 15057, 2015. (fulltext).
- NoSQL: Moving from MapReduce Batch Jobs to Event-Driven Data Collection. Examensarbete, handledare: Bip Thelin, examinator: Kjell Orsborn, Olle Ga?llmo, IT nr 15025, 2015. (fulltext).
- A New SAT Encoding of Earley Parsing. Examensarbete, examinator: Lars-Henrik Eriksson, Olle Gällmo, IT nr 15004, 2015. (fulltext).
- User interface for e-learning in a virtual environment. Examensarbete, handledare: Axel Danielsson, examinator: Lars Oestreicher, Olle Ga?llmo, IT nr 15054, 2015. (fulltext).
- Migrating and governing data in the jungle: A study of migrations and data governance in Seco Tools AB. Examensarbete, handledare: Anders Dahlberg, examinator: Ahmad Alzghoul, Olle Ga?llmo, IT nr 15022, 2015. (fulltext).
- Implementation and Evaluation of Smart Training Gear: Measuring and Visualizing Muscle Data in Real Time. Examensarbete, handledare: Jon Wingård, examinator: Mikael Laaksoharju, Olle Gällmo, IT nr 15065, 2015. (fulltext).
2014
- Analyzing the impact of data compression in Hive. Examensarbete, handledare: Erik Zeitler, examinator: Silvia Stefanova, Olle Ga?llmo, IT nr 14074, 2014. (fulltext).
- Email subscription utility for updates in Dyntaxa.. Examensarbete, handledare: Gunnar Nyberg, examinator: Silvia Stefanova, Olle Gällmo, IT nr 14 036, 2014. (fulltext).
- Actors and higher order functions: A Comparative Study of Parallel Programming Language Support for Bioinformatics. Examensarbete, handledare: Dave Clarke, examinator: Justin Pearson, Olle Gällmo, IT nr 14 073, 2014. (fulltext).
- The First Constraint-Based Local Search Backend for MiniZinc. Examensarbete, handledare: Jean-Noël Monette, examinator: Pierre Flener, Olle Gällmo, IT nr 14 066, 2014. (fulltext).
- Airspace Sectorisation Using Constraint-Based Local Search. Examensarbete, handledare: Pierre Flener, examinator: Jean-Noël Monette, Olle Gällmo, IT nr 14 047, 2014. (fulltext).
- GPU-Parallel simulation of rigid fibers in Stokes flow. Examensarbete, handledare: Stefan Engblom, examinator: Jarmo Rantakokko, Olle Gällmo, IT nr 14 029, 2014. (fulltext).
- An Application Tool for Visualizing Research Work on Landslides. Examensarbete, handledare: Elias Garcia-Urquia, examinator: Silvia Stefanova, Olle Gällmo, IT nr 14 067, 2014. (fulltext).
- Digital doggy bag: iPhone applikation som tar med dina mat- och dryckupplevelser. Examensarbete, handledare: Lars Oestreicher, examinator: Lars Oestreicher, Olle Gällmo, IT nr 14 010, 2014. (fulltext).
- Implementing A Network Monitoring Feature In A Multipurpose Device Control Application. Examensarbete, handledare: Martin Ansrud, examinator: Arnold Pears, Olle Gällmo, IT nr 14 038, 2014. (fulltext).
- Deployment and Profiling of L4Re on an ARM Cortex A Platform.. Examensarbete, handledare: Jonas Flodin, examinator: Kai Lampka, Olle Gällmo, IT nr 14068, 2014. (fulltext).
- Mobile audience response system. Examensarbete, handledare: Stefan Carlsson, examinator: Lars Oestreicher, Olle Gällmo, IT nr 14 020, 2014. (fulltext).
- Advanced Forms and Menus in Web Development: Extending HTML 4.01 by Framework. Examensarbete, handledare: Love Becker, examinator: Lars Oestreicher, Olle Gällmo, IT nr 14 061, 2014. (fulltext).
- Usability Analysis of SmartPaint. Examensarbete, handledare: Filip Malmberg, examinator: Mats Lind, Olle Gällmo, IT nr 14 051, 2014. (fulltext).
- 3D rendering and interaction in an augmented reality mobile system. Examensarbete, handledare: Amen Hamdan, examinator: Anders Hast, Olle Gällmo, IT nr 14 007, 2014. (fulltext).
- Profiling-Assisted Prefetching with Just-In-Time Compilation. Examensarbete, handledare: Alexandra Jimborean, examinator: Konstantinos Sagonas, Olle Gällmo, IT nr 14 051, 2014. (fulltext).
2013
- A Bird-watching Database System. Examensarbete, handledare: Silvia Stefanova, examinator: Tore Risch, Olle Gällmo, IT nr 13 087, 2013. (fulltext).
- Goal-Oriented Collision-Free Schedule. Examensarbete, handledare: Per Söderberg, examinator: Olle Gällmo, Olle Eriksson, IT nr 13 026, 2013. (fulltext).
- Platform-independent indoor positioning system. Examensarbete, handledare: Kenneth Andersson, examinator: Christian Rohner, Olle Gällmo, IT nr 13 075, 2013. (fulltext).
- Snapshot Algorithm Animation with Erlang. Examensarbete, handledare: Justin Pearson, examinator: Arnold Pears, Olle Gällmo, IT nr 13 077, 2013. (fulltext).
- Mobil lösning för intern informationsspridning. Examensarbete, handledare: Mattias Lyrén, examinator: Olle Eriksson, Olle Gällmo, IT nr 13 043, 2013. (fulltext).
- Intelligent Online Marketing: Predicting Conversion Rate Of New Keywords. Examensarbete, handledare: Anders Arpteg, examinator: Michael Ashcroft, Olle Gällmo, IT nr 13 055, 2013. (fulltext).
- En iPad-baserad ritningsbehandlare. Examensarbete, handledare: Måns Ridzén, examinator: Hast Anders, Olle Gällmo, IT nr 13 032, 2013. (fulltext).
- En studie av IT-miljön och dess användning inom förskolan. Examensarbete, handledare: Anette Löfström, examinator: Bengt Sandblad, Olle Gällmo, IT nr 13 022, 2013. (fulltext).
- Slumpmässigt genererade nivåer. Examensarbete, handledare: Simon Tschirner, examinator: Justin Person, Olle Gällmo, IT nr 13 003, 2013. (fulltext).
- Implementing dynamic allocation of user load in a distributed load testing framework. Examensarbete, handledare: Ronnie Kolehmanen, examinator: Justin Pearson, Olle Gällmo, IT nr 13 090, 2013. (fulltext).
- Designing a distributed peer-to-peer file system. Examensarbete, handledare: Justin Pearson, examinator: Karl Marklund, Olle Gällmo, IT nr 13 031, 2013. (fulltext).
- Sound and Complete Reachability Analysis under PSO. Examensarbete, handledare: Faouzi Atig Mohamed, examinator: Parosh Abdulla, Olle Gällmo, IT nr 13 086, 2013. (fulltext).
- Object recognition using the OpenCV Haar cascade-classifier on the iOS platform. Examensarbete, handledare: Amen Hamdan, examinator: Anders Hast, Olle Gällmo, IT nr 13 007, 2013. (fulltext).
- Real-Time Resource Monitoring for Poly/ML Processes. Examensarbete, handledare: Tjark Weber, examinator: Justin Pearson, Olle Gällmo, IT nr 13 015, 2013. (fulltext).
- Smartphone Application Development: Porting existing PC game for multiple platforms. Examensarbete, handledare: Peter Nordström, Mattias Johansson, examinator: Anders Jansson, Olle Gällmo, IT nr 13 078, 2013. (fulltext).
2012
- Zone-Based Reachability Analysis of Dense-Timed Pushdown Automata. Examensarbete, handledare: Mohamed Faouzi Atig, examinator: Parosh Abdulla, Olle Gällmo, IT nr 12 034, 2012. (fulltext).
- Out of Space. Creating an Interactive Visualization. Examensarbete, handledare: Mikael Laaksoharju, examinator: Iordanis Kavathatzopoulos, Olle Gällmo, IT nr 12 007, 2012. (fulltext).
- Dance quantification with Kinect: Adjusting music volume by using depth data from a Kinect sensor. Examensarbete, handledare: Bengt Sandblad, examinator: Iordanis Kavathatzopoulos, Olle Gällmo, IT nr 12 043, 2012. (fulltext).
- Pain Diary: Pain Management Platform. Examensarbete, handledare: Lars Oestreicher, examinator: Roland Bol, Olle Gällmo, IT nr 12 028, 2012. (fulltext).
- Adaptive binarization of 17th century printed text. Examensarbete, handledare: Fredrik Wahlberg, examinator: Anders Brun, Olle Gällmo, IT nr 12 055, 2012. (fulltext).
- Programmering av mikrokontroller för styrning av komponenter i ett biokemiskt analysinstrument. Examensarbete, handledare: Johan Sternberg, examinator: Karl Marklund, Olle Gällmo, IT nr 12 003, 2012. (fulltext).
- Utveckling av sociala funktioner på webbsida. Examensarbete, handledare: Tom Persson, examinator: Iordanis Kavathatzopoulos, Olle Gällmo, IT nr 12 067, 2012. (fulltext).
- Magpie: Assembly analysis using Mono.Cecil. Examensarbete, handledare: Fredrik Tjärnberg, examinator: Olle Eriksson, Olle Gällmo, IT nr 12 038, 2012. (fulltext).
- Performance Comparisons of IP Problem Formulation. Examensarbete, handledare: Arne Andersson, examinator: Pierre Flener, Olle Gällmo, IT nr 12 059, 2012. (fulltext).
- A Peer-To-Peer based chat system. Examensarbete, handledare: Justin Pearson, examinator: Karl Marklund, Olle Gällmo, IT nr 12 013, 2012. (fulltext).
- Webbokning i TeleQ 5. Examensarbete, handledare: Kristina Engdahl, examinator: Lars Oestreicher, Olle Gällmo, IT nr 12 052, 2012. (fulltext).
- Parallelization and performance in simulation of disease spread by animal transfer. Examensarbete, handledare: Stefan Engblom, examinator: Jarmo Rantakokko, Olle Gällmo, IT nr 12 002, 2012. (fulltext).
- Android Map Application. Examensarbete, handledare: Liam McNamara, examinator: Christian Rohner, Olle Gällmo, IT nr 12 032, 2012. (fulltext).
- DANE with OpenSSL: PKIX certificate authentication throughDNS using OpenSSL. Examensarbete, handledare: Staffan Hagnell, examinator: Christian Rohner, Olle Gällmo, IT nr 12 027, 2012. (fulltext).
- Designing Usability in a Customer Relationship Management System. Examensarbete, handledare: Anders Lisspers, examinator: Iordanis Kavathatzopoulos, Olle Gällmo, IT nr 12 068, 2012. (fulltext).
- Implementing verification of concurrent systems using Binary Decision Diagrams. Examensarbete, handledare: Lukas Holik, examinator: Parosh Abdulla, Olle Gällmo, IT nr 12 036, 2012. (fulltext).
- Water Retention on Magic Squares with Constraint-Based Local Search. Examensarbete, handledare: Pierre Flener, examinator: Justin Pearson, Olle Gällmo, IT nr 12 018, 2012. (fulltext).
2011
- Backbone Solver for Water Retaining Magic Squares via Constraint Baesd Local Search. Examensarbete, handledare: Pierre Flener, examinator: Justin Pearson, Anders Jansson, IT nr 11 076, 2011. (fulltext).
- Object-Oriented Development of a Smart Phone Application from an Existing Service. Examensarbete, handledare: Jonny Lundell, examinator: Olle Gällmo, Anders Jansson, IT nr 11 074, 2011. (fulltext).
- Digital Distance Functions Defined by Sequence of Weights. Examensarbete, handledare: Robin Strand, examinator: Gunilla Borgefors, Anders Jansson, IT nr 11 082, 2011. (fulltext).
- Log Search: En form av datamining. Examensarbete, handledare: Kajsa Backman, examinator: Olle Gällmo, Anders Jansson, IT nr 11 067, 2011. (fulltext).
- COMBILOG as a Basis for Visualizing Programming in a Computer-Supported Collaborative Learning Intervention. Examensarbete, handledare: Andreas Hamfelt, examinator: Lars Oestreicher, Anders Jansson, IT nr 11 038, 2011. (fulltext).
- Input Format Design and Translator Development for NJOY. Examensarbete, handledare: Gustav Wallin, examinator: Henrik Sjöstrand, Anders Jansson, IT nr 11 031, 2011. (fulltext).
- Webbaserat kanotbokningssystem: För Friluftsfrämjandet i Uppsala. Examensarbete, handledare: Mikael Schröder, examinator: Olle Gällmo, Anders Jansson, IT nr 11 086, 2011. (fulltext).
- EIGC Integration with a Web-browser: Voice Communication through a Web-browser. Examensarbete, handledare: Johan Liljeqvist, examinator: Olle Gällmo, Anders Jansson, IT nr 11 078, 2011. (fulltext).
- Design and Implementation of a MongoDB Driver for Prolog. Examensarbete, handledare: Justin Pearson, examinator: Justin Pearson, Anders Jansson, IT nr 11 056, 2011. (fulltext).
- An Android Application for Saving Ideas. Examensarbete, handledare: Johan Ekhager, examinator: Mats Daniels, Anders Jansson, IT nr 11 070, 2011. (fulltext).
- The Effect of using a Trailing Persistent Array to Embed Logic Programming into a Functional Language. Examensarbete (Kandidatprogram i datavetenskap), handledare: Rowan Davies, examinator: Konstantinos Sagonas, Anders Jansson, IT nr 11 015, 2011. (fulltext).
- Taking Notes on a Mobile Device: An Unsuccessful Agile Project. Examensarbete, handledare: Johan Ekhager, examinator: Mats Daniels, Anders Jansson, IT nr 11 087, 2011. (fulltext).
- Analysis and Refactoring of the Chat Architecture in EVE Online. Examensarbete (Kandidatprogram i datavetenskap), handledare: Christian Lönnholm, examinator: Olle Gällmo, Anders Jansson, IT nr 11 009, 2011. (fulltext).
- A Proposal for an Android-based Tablet Client used in One-to-one Computing in Teaching Environments. Examensarbete, handledare: Greg C Lee, examinator: Lars Oestreicher, Anders Jansson, IT nr 11 059, 2011. (fulltext).
- mJeliot - ICT Support for Interactive Teaching of Programming. Examensarbete, handledare: Arnold Pears, examinator: Arnold Pears, Anders Jansson, IT nr 11 058, 2011. (fulltext).
- Parallelizing a Software Framework for Radial Basis Function Methods. Examensarbete, handledare: Martin Tillenius, Elisabeth Larsson, examinator: Michael Thuné, Anders Jansson, IT nr 11 084, 2011. (fulltext).
- Implementing a Eventual Consistency Job Distribution with CouchDB. Examensarbete, handledare: Thomas Lindgren, examinator: Justin Pearson, Anders Jansson, IT nr 11 045, 2011. (fulltext).
- Enhancing the Interactivity in the Classroom via Smartphone. Examensarbete, handledare: Arnold Pears, examinator: Arnold Pears, Anders Jansson, IT nr 11 046, 2011. (fulltext).
2010
- Authentication and Authorization: Achieving Single Sign-on in an Erlang Environment. Examensarbete (Kandidatprogram i datavetenskap), handledare: Erik Stenman, examinator: Björn Victor, Anders Jansson, IT nr 10 036, 2010. (fulltext).
- Demonstrating the Effects of Power Management on a Real-time Operating System. Examensarbete (Kandidatprogram i datavetenskap), handledare: Barbro Claesson, Detlef Scholle, examinator: Karl Marklund, Anders Jansson, IT nr 10 029, 2010. (fulltext).
- Curvature based Rendering. Examensarbete (Kandidatprogram i datavetenskap), handledare: Stefan Seipel, examinator: Stefan Seipel, Anders Jansson, IT nr 10 038, 2010. (fulltext).
- Nuclei Segmentation on Bright-Field Images. Examensarbete (Kandidatprogram i datavetenskap), handledare: Amin Allalou, examinator: Amin Allalou, Anders Jansson, IT nr 10 027, 2010. (fulltext).
- Synthetic 3D Pap Smear Nucleus Generation. Examensarbete (Kandidatprogram i datavetenskap), handledare: Patrik Malm, examinator: Patrik Malm, Anders Jansson, IT nr 10 021, 2010. (fulltext).
- Evaluation of the Stream Query Language CQL. Examensarbete (Kandidatprogram i datavetenskap), handledare: Tore Risch, examinator: Tore Risch, Anders Jansson, IT nr 10 013, 2010. (fulltext).
- Querying N-triples from a Extensible Functional DBMS. Examensarbete (Kandidatprogram i datavetenskap), handledare: Silivia Stefanova, examinator: Tore Risch, Anders Jansson, IT nr 10 012, 2010. (fulltext).
- Mining Unexpeced Behaviour from Equipment Measurements. Examensarbete (Kandidatprogram i datavetenskap), handledare: Tore Risch, examinator: Tore Risch, Anders Jansson, IT nr 10 035, 2010. (fulltext).
- A Bittorrent Simulator in Erlang - continued. Examensarbete (Kandidatprogram i datavetenskap), handledare: Justin Pearson, examinator: Justin Pearson, Anders Jansson, IT nr 10 051, 2010. (fulltext).
- Design- och marknadsundersökning av en applikation för smartphone. Examensarbete (Kandidatprogram i datavetenskap), handledare: Niclas Hedenskog, examinator: Iordanis Kavathatzopoulos, Anders Jansson, IT nr 10 049, 2010. (fulltext).
2009
- CTG Carbon Calculator. Examensarbete (Kandidatprogram i datavetenskap), handledare: Hossein Shahrokni, examinator: Stefan Pålsson, IT nr 09 005, 2009. (fulltext).
2008
- Incorporating an ISO 8583-Service into an Unreliable Application. Examensarbete (Kandidatprogram i datavetenskap), handledare: Flavio Pescuma, examinator: Lars-Henrik Eriksson, IT nr 08 044, 2008. (fulltext).
- Analys och omarbetning av ett företagsnätverk. Examensarbete (Kandidatprogram i datavetenskap), handledare: Mats Brisegård, examinator: Iordanis Kavathatzopoulos, IT nr 08 033, 2008. (fulltext).
- Integration for Dummies: Searching for a Suitable Interface for E-learning. Examensarbete (Kandidatprogram i datavetenskap), handledare: Patric Ferry, examinator: Iordanis Kavathatzopoulos, IT nr 08 026, 2008. (fulltext).
- TOP - Three Ortogonal Planes: A Program for Determining the Degree of Scoliosis. Examensarbete (Kandidatprogram i datavetenskap), handledare: Örjan Smedby, examinator: Ewert Bengtsson, IT nr 08 025, 2008. (fulltext).
- An Investigation of New Distribution Forms for Traditional Media Online. Examensarbete (Kandidatprogram i datavetenskap), handledare: Daniel Byström, examinator: Mikael Pettersson, IT nr 08 046, 2008. (fulltext).
- System för registrering av automationslicenser. Examensarbete (Kandidatprogram i datavetenskap), handledare: Peter Bredal, examinator: Bengt Sandblad, IT nr 08 030, 2008. (fulltext).