Follow
Radosław Klimek
Radosław Klimek
Verified email at agh.edu.pl - Homepage
Title
Cited by
Cited by
Year
Formal analysis of use case diagrams
R Klimek, P Szwed
Computer Science 11, 115-131, 2010
482010
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
212013
Towards formal and deduction-based analysis of business models for soa processes
R Klimek
ICAART (2), 325-330, 2012
202012
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
182014
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
142019
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
142015
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
142014
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
142013
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
132013
Exploration of human activities using message streaming brokers and automated logical reasoning for ambient-assisted services
R Klimek
IEEE Access 6, 27127-27155, 2018
122018
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
122015
Proposal of a multiagent-based smart environment for the IoT.
R Klimek, L Kotulski, JC Augusto, T Zhang
Intelligent Environments (Workshops), 37-44, 2014
112014
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
T Szmuc, M Szpyrka, R Klimek
Wydawnictwa Naukowo-Techniczne, 2010
92010
Context-aware and pro-active queue management systems in intelligent environments
R Klimek
2017 Federated Conference on Computer Science and Information Systems …, 2017
82017
Proposal of a context-aware smart home ecosystem
R Klimek, G Rogus
Artificial Intelligence and Soft Computing: 14th International Conference …, 2015
82015
Preference models and their elicitation and analysis for context-aware applications
R Klimek
Man-Machine Interactions 3, 353-360, 2014
82014
Collective decision making in dynamic vehicle routing problem
E Kucharska, K Grobler-Dębska, R Klimek
MATEC Web of Conferences 252, 03003, 2019
62019
State-space reduction through preference modeling
R Klimek, I Wojnicki, S Ernst
International Conference on Artificial Intelligence and Soft Computing, 363-374, 2013
62013
Proposal to Improve the Requirements Process through Formal Verification using Deductive Approach.
R Klimek
ENASE, 105-114, 2012
62012
Towards recognising individual behaviours from pervasive mobile datasets in urban spaces
R Klimek
Sustainability 11 (6), 1563, 2019
52019
The system can't perform the operation now. Try again later.
Articles 1–20