Wykaz publikacji wybranego autora

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

profesor nadzwyczajny

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 orcid iD

ResearcherID: ABI-5629-2020

Scopus: 55250240200

PBN: 5e70922b878c28a04739115a

OPI Nauka Polska

System Informacyjny AGH (SkOs)



Statystyka obejmuje publikacje afiliowane AGH od 2008 roku włącznie

typ publikacji
rocznikl. publ.książkifragm.referatyartykułypatentymapyred. czas.inne
ogółem785114220
202411
202322
20223111
2021321
2020211
201955
2018431
2017413
201611
201533
2014541
201311182
201222
2011413
2010101414
2005514
2004211
200211
2001211
20005113
1999312
język publikacji
rocznikrazempolskojęzyczneanglojęzycznepozostałe języki
ogółem7825521
202411
202322
2022312
202133
202022
201955
201844
201744
201611
201533
201455
201311110
201222
201144
20101064
2005523
200422
200211
2001211
2000541
199933
kraj wydania
rocznikrazempubl. krajowepubl. zagraniczne
ogółem784038
202411
202322
2022312
2021312
202022
2019514
201844
201744
201611
201533
2014514
20131165
201222
201144
20101010
2005541
200422
200211
200122
2000541
199933
Lista Filadelfijska
rocznikrazempubl. z LFpubl. pozostałe
ogółem78771
202411
202322
202233
2021312
2020211
2019532
2018413
201744
201611
201533
2014514
20131111
201222
201144
20101010
200555
200422
200211
200122
200055
199933
punktacja MNiSW
rocznikrazempubl. z pkt. MNiSWpubl. pozostałe
ogółem785622
202411
202322
202233
2021321
202022
201955
201844
201744
201611
201533
201455
201311101
2012211
201144
20101091
200555
200422
200211
200122
200055
199933
publikacje recenzowane
rocznikrazempubl. recenzowanepubl. nierecenzowane
ogółem785721
202411
202322
202233
202133
202022
201955
201844
201744
201611
201533
201455
201311101
2012211
2011431
20101091
2005514
200422
200211
200122
200055
199933



1
  • A deduction-based system for formal verification of agent-ready Web services
2
  • A method of a systematic system analysis using temporal logic
3
  • A system for deduction-based formal verification of workflow-oriented software models
4
5
  • Analiza diagramów języka UML w kontekście metody FPA
6
  • Analiza, klasyfikacja i ocena wybranych problemów i rozwiązań reprezentacji i weryfikacji danych i wiedzy
7
  • Analiza mechanizmów języka UML 2.0 do modelowania oprogramowania systemów czasu rzeczywistego
8
  • Analiza możliwości formalnej weryfikacji problemów planowania w kontekście procesów biznesowych
9
  • Application of deductive reasoning to the verification of ArchiMate behavioral elements
10
  • Automatyczna weryfikacja modelu na etapie analizy wymagań
11
  • Behavior recognition and analysis in smart environments for context-aware applications
12
  • Behavioural patterns from cellular data streams and outdoor lighting as strong allies for smart urban ecosystems
13
  • Business process formal verification approach based on deductive reasoning
14
  • Business process formal verification approach based on deductive reasoning
15
  • Collective decision making in dynamic vehicle routing problem
16
  • Context-aware and pro-active queue management systems in intelligent environments
17
  • Deduction based verification of business models
18
  • Deduction-based formal verification of requirements models with automatic generation of logical specifications
19
  • Deduction-based modelling and verification of agent-based systems for data integration
20
  • Exploration of human activities using message streaming brokers and automated logical reasoning for ambient-assisted services
21
  • Forest protection as a context-aware system
22
  • Formal analysis of use case diagrams
23
  • Formalna analiza poprawności modeli usług sieciowych
24
  • From extraction of logical specifications to deduction-based formal verification of requirements models
25
  • From workflow design patterns to logical specifications