Radoslaw Klimek
Orcid: 0000-0002-9061-561XAffiliations:
- AGH University of Science and Technology, Krakow, Poland
According to our database1,
Radoslaw Klimek
authored at least 48 papers
between 2005 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
CoRR, June, 2025
Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025
Proceedings of the 29th Pacific Asia Conference on Information Systems, 2025
2024
Inf. Sci., January, 2024
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2024
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2024
Proceedings of the Harnessing Opportunities: Reshaping ISD in the post-COVID-19 and Generative AI Era (ISD2024 Proceedings), 2024
Proceedings of the Harnessing Opportunities: Reshaping ISD in the post-COVID-19 and Generative AI Era (ISD2024 Proceedings), 2024
2022
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022
Police Interventions as a Context-aware System. A Case of a Contextual Data Modelling.
Proceedings of the Information Systems Development: Artificial Intelligence for Information Systems Development and Operations (ISD2022 Proceedings), Cluj-Napoca, Romania, 31 August, 2022
2021
Proceedings of the Computational Science - ICCS 2021, 2021
2020
Sensor-Enabled Context-Aware and Pro-Active Queue Management Systems in Intelligent Environments.
Sensors, 2020
Modelling Contextual Data for Smart Environments. Case Study of a System to Support Mountain Rescuers.
Proceedings of the Computational Science - ICCS 2020, 2020
2019
Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models.
J. Log. Algebraic Methods Program., 2019
2018
Exploration of Human Activities Using Message Streaming Brokers and Automated Logical Reasoning for Ambient-Assisted Services.
IEEE Access, 2018
Proceedings of the Artificial Intelligence and Soft Computing, 2018
System for Building and Analyzing Preference Models Based on Social Networking Data and SAT Solvers.
Proceedings of the Artificial Intelligence and Soft Computing, 2018
Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, 2018
2017
Behavioural Patterns from Cellular Data Streams and Outdoor Lighting as Strong Allies for Smart Urban Ecosystems.
Proceedings of the State of the Art in AI Applied to Ambient Intelligence, 2017
Understanding Human Behavior in Intelligent Environments: A Context-Aware System Supporting Mountain Rescuers.
Proceedings of the Artificial Intelligence and Soft Computing, 2017
Proceedings of the Artificial Intelligence and Soft Computing, 2017
Proceedings of the 2017 Federated Conference on Computer Science and Information Systems, 2017
2016
Mapping Population and Mobile Pervasive Datasets into Individual Behaviours for Urban Ecosystems.
Proceedings of the Artificial Intelligence and Soft Computing, 2016
2015
Behavior Recognition and Analysis in Smart Environments for Context-Aware Applications.
Proceedings of the 2015 IEEE International Conference on Systems, 2015
Proceedings of the Artificial Intelligence and Soft Computing, 2015
Towards a Better Understanding and Behavior Recognition of Inhabitants in Smart Cities. A Public Transport Case.
Proceedings of the Artificial Intelligence and Soft Computing, 2015
2014
Towards a Pattern-based Automatic Generation of Logical Specifications for Software Models.
CoRR, 2014
Generating Logical Specifications from Requirements Models for Deduction-based Formal Verification.
CoRR, 2014
A system for deduction-based formal verification of workflow-oriented software models.
Int. J. Appl. Math. Comput. Sci., 2014
Proceedings of the Workshop Proceedings of the 10th International Conference on Intelligent Environments, Shanghai, China, June 30, 2014
Proceedings of the Artificial Intelligence and Soft Computing, 2014
2013
From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models.
Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013
Temporal Preference Models and their Deduction-based Analysis for Pervasive Applications.
Proceedings of the PECCS 2013, 2013
Proceedings of the Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems, 2013
Deduction-Based Modelling and Verification of Agent-Based Systems for Data Integration.
Proceedings of the Man-Machine Interactions 3, 2013
Proceedings of the Man-Machine Interactions 3, 2013
Proceedings of the Artificial Intelligence and Soft Computing, 2013
Verification of ArchiMate process specifications based on deductive temporal reasoning.
Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013
Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013
Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013
2012
Towards Formal and Deduction-based Analysis of Business Models for SOA Processes.
Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 2, 2012
Deduction-Based Formal Verification of Requirements Models with Automatic Generation of Logical Specifications.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2012
Proposal to Improve the Requirements Process through Formal Verification using Deductive Approach.
Proceedings of the ENASE 2012, 2012
2010
2005
Proceedings of the Software Engineering: Evolution and Emerging Technologies, 2005