Seguir
Radosław Klimek
Radosław Klimek
Dirección de correo verificada de agh.edu.pl - Página principal
Título
Citado por
Citado por
Año
Formal analysis of use case diagrams
R Klimek, P Szwed
Computer Science 11, 115-131, 2010
512010
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
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
162019
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
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
Sensor-enabled context-aware and pro-active queue management systems in intelligent environments
R Klimek
Sensors 20 (20), 5837, 2020
62020
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20