Volgen
Radosław Klimek
Radosław Klimek
Geverifieerd e-mailadres voor agh.edu.pl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Formal analysis of use case diagrams
R Klimek, P Szwed
Computer Science 11, 115-131, 2010
492010
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
202013
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
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
152015
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
152014
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
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
Exploration of human activities using message streaming brokers and automated logical reasoning for ambient-assisted services
R Klimek
IEEE Access 6, 27127-27155, 2018
132018
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
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
122014
Proposal of a context-aware smart home ecosystem
R Klimek, G Rogus
Artificial Intelligence and Soft Computing: 14th International Conference …, 2015
92015
Metody formalne w inżynierii oprogramowania systemów czasu rzeczywistego
T Szmuc, M Szpyrka, R Klimek, W Naukowo-Techniczne
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
Preference models and their elicitation and analysis for context-aware applications
R Klimek
Man-Machine Interactions 3, 353-360, 2014
82014
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
62021
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
International Conference on Evaluation of Novel Approaches to Software …, 2012
62012
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20