| Formal analysis of use case diagrams R Klimek, P Szwed Computer Science 11, 115-131, 2010 | 45 | 2010 |
| Verification of ArchiMate process specifications based on deductive temporal reasoning R Klimek, P Szwed 2013 Federated Conference on Computer Science and Information Systems, 1109-1116, 2013 | 21 | 2013 |
| Towards formal and deduction-based analysis of business models for soa processes R Klimek ICAART (2), 325-330, 2012 | 20 | 2012 |
| A system for deduction-based formal verification of workflow-oriented software models R Klimek International Journal of Applied Mathematics and Computer Science 24 (4 …, 2014 | 18 | 2014 |
| From extraction of logical specifications to deduction-based formal verification of requirements models R Klimek Software Engineering and Formal Methods: 11th International Conference, SEFM …, 2013 | 14 | 2013 |
| Towards a better understanding and behavior recognition of inhabitants in smart cities. A public transport case R Klimek, L Kotulski Artificial Intelligence and Soft Computing: 14th International Conference …, 2015 | 13 | 2015 |
| Verifying data integration agents with deduction-based models R Klimek, Ł Faber, M Kisiel-Dorohinicki 2013 Federated Conference on Computer Science and Information Systems, 1029-1035, 2013 | 13 | 2013 |
| Behavior recognition and analysis in smart environments for context-aware applications R Klimek 2015 IEEE International Conference on Systems, Man, and Cybernetics, 1949-1955, 2015 | 12 | 2015 |
| Modeling context-aware and agent-ready systems for the outdoor smart lighting R Klimek, G Rogus Artificial Intelligence and Soft Computing: 13th International Conference …, 2014 | 12 | 2014 |
| Exploration of human activities using message streaming brokers and automated logical reasoning for ambient-assisted services R Klimek IEEE Access 6, 27127-27155, 2018 | 11 | 2018 |
| Using Medium-Cost Sensors to estimate air quality in remote locations. Case study of Niedzica, Southern Poland E Adamiec, J Dajda, A Gruszecka-Kosowska, E Helios-Rybicka, ... Atmosphere 10 (7), 393, 2019 | 10 | 2019 |
| Proposal of a multiagent-based smart environment for the IoT. R Klimek, L Kotulski, JC Augusto, T Zhang Intelligent Environments (Workshops), 37-44, 2014 | 10 | 2014 |
| Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego T Szmuc, M Szpyrka, R Klimek Wydawnictwa Naukowo-Techniczne, 2010 | 9 | 2010 |
| Context-aware and pro-active queue management systems in intelligent environments R Klimek 2017 Federated Conference on Computer Science and Information Systems …, 2017 | 8 | 2017 |
| Preference models and their elicitation and analysis for context-aware applications R Klimek Man-Machine Interactions 3, 353-360, 2014 | 8 | 2014 |
| Proposal of a context-aware smart home ecosystem R Klimek, G Rogus Artificial Intelligence and Soft Computing: 14th International Conference …, 2015 | 7 | 2015 |
| State-space reduction through preference modeling R Klimek, I Wojnicki, S Ernst Artificial Intelligence and Soft Computing: 12th International Conference …, 2013 | 6 | 2013 |
| Proposal to Improve the Requirements Process through Formal Verification using Deductive Approach. R Klimek ENASE, 105-114, 2012 | 6 | 2012 |
| Collective decision making in dynamic vehicle routing problem E Kucharska, K Grobler-Dębska, R Klimek MATEC Web of Conferences 252, 03003, 2019 | 5 | 2019 |
| Mapping population and mobile pervasive datasets into individual behaviours for urban ecosystems R Klimek Artificial Intelligence and Soft Computing: 15th International Conference …, 2016 | 5 | 2016 |
