| Formal analysis of use case diagrams R Klimek, P Szwed Computer Science 11, 115-131, 2010 | 50 | 2010 |
| Towards formal and deduction-based analysis of business models for soa processes R Klimek ICAART (2), 325-330, 2012 | 20 | 2012 |
| 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 | 19 | 2013 |
| 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 |
| 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 | 16 | 2019 |
| 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 | 15 | 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 | 15 | 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 |
| Exploration of human activities using message streaming brokers and automated logical reasoning for ambient-assisted services R Klimek IEEE Access 6, 27127-27155, 2018 | 13 | 2018 |
| 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 |
| Proposal of a multiagent-based smart environment for the iot R Klimek, L Kotulski Workshop Proceedings of the 10th International Conference on Intelligent …, 2014 | 12 | 2014 |
| Proposal of a context-aware smart home ecosystem R Klimek, G Rogus Artificial Intelligence and Soft Computing: 14th International Conference …, 2015 | 9 | 2015 |
| Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego T Szmuc, M Szpyrka, R Klimek, W Naukowo-Techniczne Wydawnictwa Naukowo-Techniczne, 2010 | 9 | 2010 |
| Human health risk assessment of air pollution in the regions of unsustainable heating sources. Case study—The tourist areas of southern Poland A Gruszecka-Kosowska, J Dajda, E Adamiec, E Helios-Rybicka, ... Atmosphere 12 (5), 615, 2021 | 8 | 2021 |
| 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 |
| Sensor-enabled context-aware and pro-active queue management systems in intelligent environments R Klimek Sensors 20 (20), 5837, 2020 | 6 | 2020 |
| Collective decision making in dynamic vehicle routing problem E Kucharska, K Grobler-Dębska, R Klimek MATEC Web of Conferences 252, 03003, 2019 | 6 | 2019 |
| State-space reduction through preference modeling R Klimek, I Wojnicki, S Ernst International Conference on Artificial Intelligence and Soft Computing, 363-374, 2013 | 6 | 2013 |
