| 2025 | KR | Solving Unification in the Description Logic FL_bottom. | Barbara Morawska, Dariusz Marzec |
| 2025 | MOBICOM | Poster: A Real-Time Localization System for Visible and Invisible Fiducial Markers Under Variable Lighting Conditions. | Barbara Morawska, Piotr Lipinski, Krzysztof Lichy, Maciej Stepien, Bartlomiej Gryglak, Adam Sztamborski |
| 2023 | CSIT | Ultrawideband Localization Improvement Based on LSTM Neural Networks. | Barbara Morawska, Piotr Lipinski, Krzysztof Lichy |
| 2022 | CSIT | Mobile Hand Gesture Controlled Application using Transfer Learning. | Anna Preczynska, Krzysztof Lichy, Piotr Lipinski, Barbara Morawska |
| 2021 | CSIT | Dog Breed Library with Picture-Based Search Using Neural Networks. | Adam Dabrowski, Krzysztof Lichy, Piotr Lipinski, Barbara Morawska |
| 2021 | ICCS | Improving UWB Indoor Localization Accuracy Using Sparse Fingerprinting and Transfer Learning. | Krzysztof Adamkiewicz, Piotr Koch, Barbara Morawska, Piotr Lipinski, Krzysztof Lichy, Marcin Leplawy |
| 2021 | ICCS | Static and Dynamic Comparison of Pozyx and DecaWave UWB Indoor Localization Systems with Possible Improvements. | Barbara Morawska, Piotr Lipinski, Krzysztof Lichy, Piotr Koch, Marcin Leplawy |
| 2020 | CSIT | Eco-friendly Home Automation System Implemented Using Machine Learning Algorithms. | Jakub Krymarys, Krzysztof Lichy, Piotr Lipinski, Barbara Morawska |
| 2014 | KI | Matching with Respect to General Concept Inclusions in the Description Logic | Franz Baader, Barbara Morawska |
| 2012 | AiML | Computing Minimal EL-unifiers is Hard. | Franz Baader, Stefan Borgwardt, Barbara Morawska |
| 2012 | CADE | SAT Encoding of Unification in ℇℒℋ | Franz Baader, Stefan Borgwardt, Barbara Morawska |
| 2012 | CADE | Recent Advances in Unification for the EL Family. | Franz Baader, Stefan Borgwardt, Barbara Morawska |
| 2012 | CADE | UEL: Unification Solver for the Description Logic ℇℒ - System Description. | Franz Baader, Julian Mendez, Barbara Morawska |
| 2012 | KR | Extending Unification in EL Towards General TBoxes. | Franz Baader, Stefan Borgwardt, Barbara Morawska |
| 2012 | LPAR | Finding Finite Herbrand Models. | Stefan Borgwardt, Barbara Morawska |
| 2011 | CADE | Unification in the Description Logic | Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska |
| 2010 | LPAR | SAT Encoding of Unification in | Franz Baader, Barbara Morawska |
| 2003 | LPAR | Completeness of E-Unification with Eager Variable Elimination. | Barbara Morawska |
| 2002 | CADE | Basic Syntactic Mutation. | Christopher Lynch, Barbara Morawska |
| 2002 | LICS | Automatic Decidability. | Christopher Lynch, Barbara Morawska |
| 2001 | CADE | Decidability and Complexity of Finitely Closable Linear Equational Theories. | Christopher Lynch, Barbara Morawska |
| 2001 | LPAR | Complexity of Linear Standard Theories. | Christopher Lynch, Barbara Morawska |