Wykaz publikacji wybranego autora

Agnieszka Biernacka, mgr inż.

doktorant

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


Identyfikatory Autora

ORCID: brak

ResearcherID: brak

Scopus: brak



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

typ publikacji
rocznikl. publ.książkifragm.referatyartykułypatentymapyred. czas.inne
ogółem633
2016312
201522
201411
język publikacji
rocznikrazempolskojęzyczneanglojęzycznepozostałe języki
ogółem66
201633
201522
201411
kraj wydania
rocznikrazempubl. krajowepubl. zagraniczne
ogółem624
2016321
201522
201411
Lista Filadelfijska
rocznikrazempubl. z LFpubl. pozostałe
ogółem624
2016321
201522
201411
punktacja MNiSW
rocznikrazempubl. z pkt. MNiSWpubl. pozostałe
ogółem651
201633
201522
201411
publikacje recenzowane
rocznikrazempubl. recenzowanepubl. nierecenzowane
ogółem66
201633
201522
201411



1
  • Action-based verification of RTCP-nets with CADP
2
  • Hierarchical communication diagrams
3
  • Methods of translation of Petri nets to NuSMV language
4
  • Priority management in Alvis language
5
  • State-based verification of RTCP-nets with nuXmv
6
  • Tools and methods for RTCP-nets modeling and verification