Wykaz publikacji wybranego autora

Andrei Karatkevich, prof. dr hab. inż.

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

ResearcherID: B-1403-2015

Scopus: 8410478100

PBN: 5e70925b878c28a047394558

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ółem11155
202322
20224121
202111
202022
2019211
język publikacji
rocznikrazempolskojęzyczneanglojęzycznepozostałe języki
ogółem11110
202322
2022413
202111
202022
201922
kraj wydania
rocznikrazempubl. krajowepubl. zagraniczne
ogółem1129
202322
2022413
202111
202022
2019211
Lista Filadelfijska
rocznikrazempubl. z LFpubl. pozostałe
ogółem1156
202322
2022413
202111
202022
2019211
punktacja MNiSW
rocznikrazempubl. z pkt. MNiSWpubl. pozostałe
ogółem1111
202322
202244
202111
202022
201922
publikacje recenzowane
rocznikrazempubl. recenzowanepubl. nierecenzowane
ogółem1111
202322
202244
202111
202022
201922



1
  • A deadlock recovery policy for flexible manufacturing systems with minimized traversing within Reachability Graph
2
  • A polynomial-time algorithm to obtain state machine cover of live and safe Petri nets
3
  • A process-oriented deadlock recovery policy for flexible manufacturing systems
4
  • A quick heuristic algorithm for enforcing the liveness of $S^{3}PR$ Petri nets
5
  • Alvis approach to modeling and verification of real-time systems running on single-processor environment
6
  • Challenges in application of Petri nets in manufacturing systems
7
  • Deadlock recovery for flexible manufacturing systems with exhaustive exploration of the reachability graph
8
9
  • Determinism in cyber-physical systems specified by interpreted Petri nets
10
  • Język modelowania Alvis
11
  • Minimization of SM-covers of Petri net specifications of control systems