Wykaz publikacji wybranego autora

Radosław Klimek, dr hab. inż., prof. AGH

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

2018
[dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja

Identyfikatory Autora	Informacje o Autorze w systemach zewnętrznych
ORCID: 0000-0002-9061-561X ResearcherID: ABI-5629-2020 Scopus: 55250240200 PBN: 5e70922b878c28a04739115a	OPI Nauka Polska System Informacyjny AGH (SkOs)

Identyfikatory Autora

Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-9061-561X orcid iD

ResearcherID: ABI-5629-2020

Scopus: 55250240200

PBN: 5e70922b878c28a04739115a

sortowanie:

1

Tytuł	Collective decision making in dynamic vehicle routing problem
Autorzy	Edyta KUCHARSKA, Katarzyna GROBLER-DĘBSKA, Radosław KLIMEK
Źródło	MATEC Web of Conferences [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2019 vol. 252, art. no. 03003, s. 1–6. — tekst: https://www.matec-conferences.org/articles/matecconf/pdf/2019/01/matecconf_cmes2018_03003.pdf

brak zdefiniowanych słów kluczowych

Zobacz pełny wykaz publikacji Autora/Autorów: Edyta Kucharska, Katarzyna Grobler-Dębska

cyfrowy identyfikator dokumentu: 10.1051/matecconf/201925203003

2

Tytuł	Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models
Autorzy	Radosław KLIMEK
Źródło	Journal of Logical and Algebraic Methods in Programming. — 2019 vol. 104, s. 201–226. — tekst: https://www-1sciencedirect-1com-1000027p300b9.wbg2.bg.agh.edu.pl/science/article/pii/S2352220818300889/pdfft?md5=fffc7210409013f0b7d89f0dae97623c&pid=1-s2.0-S2352220818300889-main.pdf

- słowa kluczowe
- DOI
keywords: temporal logic, generating logical specification, software development, workflow pattern, logical primitive, compositionality

cyfrowy identyfikator dokumentu: 10.1016/j.jlamp.2019.02.005

3

Tytuł	System for automatic generation of logical formulas
Autorzy	Radosław KLIMEK, Katarzyna GROBLER-DĘBSKA, Edyta KUCHARSKA
Źródło	MATEC Web of Conferences [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2019 vol. 252, art. no. 03005, s. 1–5. — tekst: https://www.matec-conferences.org/articles/matecconf/pdf/2019/01/matecconf_cmes2018_03005.pdf

brak zdefiniowanych słów kluczowych

Zobacz pełny wykaz publikacji Autora/Autorów: Edyta Kucharska, Katarzyna Grobler-Dębska

cyfrowy identyfikator dokumentu: 10.1051/matecconf/201925203005

4

Tytuł	Towards recognising individual behaviours from pervasive mobile datasets in urban spaces
Autorzy	Radosław KLIMEK
Źródło	Sustainability [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2019 vol. 11 iss. 6 art. no. 1563, s. 1–25. — tekst: https://www-1mdpi-1com-12vzsev9201c9.wbg2.bg.agh.edu.pl/2071-1050/11/6/1563/pdf

- słowa kluczowe
- DOI
keywords: multi-agent system, pervasive dataset, mobile phone network, urban ecosystem, tourist movement, algorithmization, individual trajectory construction

cyfrowy identyfikator dokumentu: 10.3390/su11061563

5

Tytuł	Using medium-cost sensors to estimate air quality in remote locations : case study of Niedzica, southern Poland
Autorzy	Ewa ADAMIEC, Jacek DAJDA, Agnieszka GRUSZECKA-KOSOWSKA, Edeltrauda HELIOS-RYBICKA, Marek KISIEL-DOROHINICKI, Radosław KLIMEK, Dariusz PAŁKA, Jarosław WĄS
Źródło	Atmosphere [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2019 vol. 10 iss. 7 art. no. 393, s. 1–13. — tekst: https://www.mdpi.com/2073-4433/10/7/393/pdf

keywords: air quality, medium-cost sensor, CAQI index, air quality assessment tool

Zobacz pełny wykaz publikacji Autora/Autorów: Marek Kisiel-Dorohinicki, Edeltrauda Helios-Rybicka, Ewa Adamiec, Jarosław Wąs, Jacek Dajda, Agnieszka Gruszecka-Kosowska, Dariusz Pałka

cyfrowy identyfikator dokumentu: 10.3390/atmos10070393