| Issue Date | Title | Author(s) |
| 2020 | Text analysis for email multi label classification | Harsha Kadam, Sanjit; Paniskaki, Kyriaki |
| 2020 | Parallel construction of variable length Markov models for DNA sequences | Qvick, Jan Rune |
| 2020 | Frank-Wolfe Optimization for Dominant Set Clustering | Johnell, Carl |
| 2020 | Machine learning to predict enzymes’ optimal catalytic temperature | Ulfenborg, Josefin |
| 2020 | Bayesian fairness | Belfrage, Amanda; Berg Marklund, David |
| 2020 | Active Learning for Artificial Neural Network Models | Bossér, John Daniel; Sörstadius, Erik |
| 2020 | Online Learning for Energy Efficient Navigation using Contextual Information | YUNATCI, YONCA; BATIKAN UNAL, AHMET |
| 2020 | Generation and analysis of driving scenario trajectories for safety verification of Autonomous Drive | Demetriou, Andreas; Alfsvåg, Henrik |
| 2020 | Minimizing search time for finding an effective treatment: Learning a near-optimal policy using constrained algorithms, approximations, and causal inference | Håkansson, Samuel; Lindblom, Viktor |
| 2020 | Automatic classification of air tracks using raw video from a conventional surveillance radar | MILLESON, JOAKIM; STRANDBERG, ANGELICA |
| 2020 | Implementing a video decoder using Feldspar | Heurlin, Daniel; Zwierzchowski, Stanisław |
| 2020 | UnsupervisedWord-Sense Disambiguation for Product Description Texts | Dahlberg, Andreas; Olin, Oskar |
| 2020 | A Formally Verified Compiler for Programs that Deal with Cached Address Translation | Andersson, Johan |
| 2020 | Effect of individual on software development team performance Investigating individualism of software engineers and how it could affect a software development team performance | Kanhokthorn, Leadkeattiwong; Xi, Jingyi |
| 2020 | Flexible Integration of Voice Recognition Components for an Automotive Android Platform: A Design Science Research | Johansson, David; Eliasson, Marcus |
| 2020 | Using elementary disturbances for testing of machine learning models A general method for testing of machine learning models based on elementary disturbances: An evaluation with image and audio data | Hast, Arvid; Lindevall, Fredrik |
| 2020 | Data-Driven Decision Making in Requirements Engineering: How Simulated Data Can Be Used for Data-Driven Requirement Validation and Elicitation | Bergrahm, Axel; Johansson, Oscar |
| 2020 | The Effects of Identifier Characteristics on Software Product Quality | Boström, Henrik |
| 2020 | Formal Topology in Univalent Foundations | Tosun, Ayberk |
| 2020 | Formally Verifying WebAssembly with KWasm Towards an Automated Prover for Wasm Smart Contracts | Hjort, Rikard |