| 2025 | EASE | Re-evaluation of Logical Specification in Behavioural Verification. | Radoslaw Klimek, Jakub Semczyszyn |
| 2022 | KES | Weight matching via pairwise comparison for MaxSAT. | Radoslaw Klimek |
| 2021 | ICCS | Profile-Driven Synthetic Trajectories Generation to Enhance Smart System Solutions. | Radoslaw Klimek, Arkadiusz Olesek |
| 2020 | ICCS | Modelling Contextual Data for Smart Environments. Case Study of a System to Support Mountain Rescuers. | Radoslaw Klimek |
| 2018 | FedCSIS | Visualization of logical formulas. | Radoslaw Klimek |
| 2018 | ICAISC | System for Building and Analyzing Preference Models Based on Social Networking Data and SAT Solvers. | Radoslaw Klimek |
| 2018 | ICAISC | Proposal of a Smart Gun System Supporting Police Interventions. | Radoslaw Klimek, Zuzanna Drwila, Patrycja Dzienisik |
| 2017 | FedCSIS | Context-aware and pro-active queue management systems in intelligent environments. | Radoslaw Klimek |
| 2017 | ICAISC | Proposal of a Multi-agent System for a Smart Outdoor Lighting Environment. | Radoslaw Klimek |
| 2017 | ICAISC | Understanding Human Behavior in Intelligent Environments: A Context-Aware System Supporting Mountain Rescuers. | Radoslaw Klimek |
| 2016 | ICAISC | Mapping Population and Mobile Pervasive Datasets into Individual Behaviours for Urban Ecosystems. | Radoslaw Klimek |
| 2015 | ICAISC | Towards a Better Understanding and Behavior Recognition of Inhabitants in Smart Cities. A Public Transport Case. | Radoslaw Klimek, Leszek Kotulski |
| 2015 | ICAISC | Proposal of a Context-Aware Smart Home Ecosystem. | Radoslaw Klimek, Grzegorz Rogus |
| 2015 | SMC | Behavior Recognition and Analysis in Smart Environments for Context-Aware Applications. | Radoslaw Klimek |
| 2014 | ICAISC | Modeling Context-Aware and Agent-Ready Systems for the Outdoor Smart Lighting. | Radoslaw Klimek, Grzegorz Rogus |
| 2013 | FedCSIS | Towards deductive-based support for software development processes. | Radoslaw Klimek |
| 2013 | FedCSIS | Verifying data integration agents with deduction-based models. | Radoslaw Klimek, Lukasz Faber, Marek Kisiel-Dorohinicki |
| 2013 | FedCSIS | Verification of ArchiMate process specifications based on deductive temporal reasoning. | Radoslaw Klimek, Piotr Szwed |
| 2013 | ICAISC | State-Space Reduction through Preference Modeling. | Radoslaw Klimek, Igor Wojnicki, Sebastian Ernst |
| 2013 | SEFM | From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models. | Radoslaw Klimek |
| 2012 | ENASE | Proposal to Improve the Requirements Process through Formal Verification using Deductive Approach. | Radoslaw Klimek |
| 2012 | ENASE | Deduction-Based Formal Verification of Requirements Models with Automatic Generation of Logical Specifications. | Radoslaw Klimek |
| 2012 | ICAART | Towards Formal and Deduction-based Analysis of Business Models for SOA Processes. | Radoslaw Klimek |