default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRadoslaw Klimek
Person information
- affiliation: AGH University of Science and Technology, Krakow, Poland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j6]Radoslaw Klimek
:
Ambient-aware continuous aid for mountain rescue activities. Inf. Sci. 653: 119772 (2024)- 2020
- [j5]Radoslaw Klimek:
Sensor-Enabled Context-Aware and Pro-Active Queue Management Systems in Intelligent Environments. Sensors 20(20): 5837 (2020) - 2019
- [j4]Radoslaw Klimek:
Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models. J. Log. Algebraic Methods Program. 104: 201-226 (2019) - 2018
- [j3]Radoslaw Klimek:
Exploration of Human Activities Using Message Streaming Brokers and Automated Logical Reasoning for Ambient-Assisted Services. IEEE Access 6: 27127-27155 (2018) - 2014
- [j2]Radoslaw Klimek:
A system for deduction-based formal verification of workflow-oriented software models. Int. J. Appl. Math. Comput. Sci. 24(4): 941-956 (2014) - 2010
- [j1]Radoslaw Klimek, Piotr Szwed:
Formal Analysis of Use Case Diagrams. Comput. Sci. 11: 115- (2010)
Conference and Workshop Papers
- 2024
- [c32]Radoslaw Klimek:
System For Monitoring Forests with Context-Aware Capabilities. ISD 2024 - [c31]Radoslaw Klimek:
Improving Smart Contract Code with LLMs. ISD 2024 - [c30]Radoslaw Klimek, Julia Witek:
Automatic Generation of Logical Specifications for Behavioural Models. ASE Workshops 2024: 1-7 - [c29]Radoslaw Klimek:
Logical square-driven and state-oriented generation of behavioural models. ASE Workshops 2024: 72-81 - 2022
- [c28]Radoslaw Klimek:
Police Interventions as a Context-aware System. A Case of a Contextual Data Modelling. ISD 2022 - [c27]Radoslaw Klimek:
Weight matching via pairwise comparison for MaxSAT. KES 2022: 2658-2666 - 2021
- [c26]Radoslaw Klimek, Arkadiusz Olesek:
Profile-Driven Synthetic Trajectories Generation to Enhance Smart System Solutions. ICCS (4) 2021: 623-630 - 2020
- [c25]Radoslaw Klimek:
Modelling Contextual Data for Smart Environments. Case Study of a System to Support Mountain Rescuers. ICCS (5) 2020: 273-287 - 2018
- [c24]Radoslaw Klimek:
Visualization of logical formulas. FedCSIS 2018: 419-424 - [c23]Radoslaw Klimek:
System for Building and Analyzing Preference Models Based on Social Networking Data and SAT Solvers. ICAISC (2) 2018: 387-397 - [c22]Radoslaw Klimek, Zuzanna Drwila, Patrycja Dzienisik:
Proposal of a Smart Gun System Supporting Police Interventions. ICAISC (2) 2018: 677-688 - 2017
- [c21]Radoslaw Klimek:
Context-aware and pro-active queue management systems in intelligent environments. FedCSIS 2017: 1077-1084 - [c20]Radoslaw Klimek:
Proposal of a Multi-agent System for a Smart Outdoor Lighting Environment. ICAISC (2) 2017: 255-266 - [c19]Radoslaw Klimek:
Understanding Human Behavior in Intelligent Environments: A Context-Aware System Supporting Mountain Rescuers. ICAISC (2) 2017: 267-279 - 2016
- [c18]Radoslaw Klimek:
Mapping Population and Mobile Pervasive Datasets into Individual Behaviours for Urban Ecosystems. ICAISC (1) 2016: 683-694 - 2015
- [c17]Radoslaw Klimek, Leszek Kotulski:
Towards a Better Understanding and Behavior Recognition of Inhabitants in Smart Cities. A Public Transport Case. ICAISC 2015: 237-246 - [c16]Radoslaw Klimek, Grzegorz Rogus:
Proposal of a Context-Aware Smart Home Ecosystem. ICAISC 2015: 412-423 - [c15]Radoslaw Klimek:
Behavior Recognition and Analysis in Smart Environments for Context-Aware Applications. SMC 2015: 1949-1955 - 2014
- [c14]Radoslaw Klimek, Grzegorz Rogus:
Modeling Context-Aware and Agent-Ready Systems for the Outdoor Smart Lighting. ICAISC (2) 2014: 257-268 - [c13]Radoslaw Klimek, Leszek Kotulski:
Proposal of a multiagent-based smart environment for the IoT. Intelligent Environments (Workshops) 2014: 37-44 - 2013
- [c12]Radoslaw Klimek, Lukasz Faber, Marek Kisiel-Dorohinicki:
Verifying data integration agents with deduction-based models. FedCSIS 2013: 1029-1035 - [c11]Radoslaw Klimek, Piotr Szwed:
Verification of ArchiMate process specifications based on deductive temporal reasoning. FedCSIS 2013: 1103-1110 - [c10]Radoslaw Klimek:
Towards deductive-based support for software development processes. FedCSIS 2013: 1377-1380 - [c9]Radoslaw Klimek, Igor Wojnicki, Sebastian Ernst:
State-Space Reduction through Preference Modeling. ICAISC (2) 2013: 363-374 - [c8]Radoslaw Klimek:
Preference Models and Their Elicitation and Analysis for Context-Aware Applications. ICMMI 2013: 353-360 - [c7]Radoslaw Klimek, Lukasz Faber, Marek Kisiel-Dorohinicki:
Deduction-Based Modelling and Verification of Agent-Based Systems for Data Integration. ICMMI 2013: 361-368 - [c6]Radoslaw Klimek:
A Deduction-based System for Formal Verification of Agent-ready Web Services. KES-AMSTA 2013: 203-212 - [c5]Radoslaw Klimek:
Temporal Preference Models and their Deduction-based Analysis for Pervasive Applications. PECCS 2013: 131-134 - [c4]Radoslaw Klimek:
From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models. SEFM 2013: 61-75 - 2012
- [c3]Radoslaw Klimek:
Proposal to Improve the Requirements Process through Formal Verification using Deductive Approach. ENASE 2012: 105-114 - [c2]Radoslaw Klimek:
Deduction-Based Formal Verification of Requirements Models with Automatic Generation of Logical Specifications. ENASE (Selected Papers) 2012: 157-171 - [c1]Radoslaw Klimek:
Towards Formal and Deduction-based Analysis of Business Models for SOA Processes. ICAART (2) 2012: 325-330
Parts in Books or Collections
- 2017
- [p2]Radoslaw Klimek, Leszek Kotulski, Adam Sedziwy:
Behavioural Patterns from Cellular Data Streams and Outdoor Lighting as Strong Allies for Smart Urban Ecosystems. State of the Art in AI Applied to Ambient Intelligence 2017: 109-121 - 2005
- [p1]Radoslaw Klimek, Pawel Skrzynski, Michal Turek:
On some Problems with Modelling of Exceptions in UML. Software Engineering: Evolution and Emerging Technologies 2005: 87-98
Informal and Other Publications
- 2015
- [i7]Radoslaw Klimek, Leszek Kotulski:
Towards a better understanding and behavior recognition of inhabitants in smart cities. A public transport case. CoRR abs/1504.06044 (2015) - 2014
- [i6]Radoslaw Klimek:
A System for Deduction-based Formal Verification of Workflow-oriented Software Models. CoRR abs/1402.1978 (2014) - [i5]Radoslaw Klimek:
Generating Logical Specifications from Requirements Models for Deduction-based Formal Verification. CoRR abs/1402.1985 (2014) - [i4]Radoslaw Klimek:
Automatic generation of logical specifications for context-aware systems. CoRR abs/1403.0185 (2014) - [i3]Radoslaw Klimek, Leszek Kotulski:
Proposal of a multiagent-based smart environment for the IoT. CoRR abs/1404.1621 (2014) - [i2]Radoslaw Klimek:
Towards a Pattern-based Automatic Generation of Logical Specifications for Software Models. CoRR abs/1406.7000 (2014) - [i1]Radoslaw Klimek, Leszek Kotulski:
Context-awareness of the IoT through the on-the-fly preference modeling. CoRR abs/1408.1776 (2014)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-20 21:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
