Wykaz publikacji wybranego autora

Michał Wypych, mgr inż.

asystent

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


[poprzednia klasyfikacja] obszar nauk technicznych / dziedzina nauk technicznych / informatyka


Identyfikatory Autora

ORCID: 0000-0002-6239-2949 połącz konto z ORCID

ResearcherID: brak

Scopus: 56005385500

PBN: 5e7092ae878c28a04739a9ef



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

typ publikacji
rocznikl. publ.książkifragm.referatyartykułypatentymapyred. czas.inne
ogółem13193
202211
2018211
2017321
2016321
201522
201322
język publikacji
rocznikrazempolskojęzyczneanglojęzycznepozostałe języki
ogółem13112
202211
201822
201733
201633
201522
201322
kraj wydania
rocznikrazempubl. krajowepubl. zagraniczne
ogółem1367
202211
201822
2017312
2016321
201522
201322
Lista Filadelfijska
rocznikrazempubl. z LFpubl. pozostałe
ogółem13211
202211
2018211
201733
2016312
201522
201322
punktacja MNiSW
rocznikrazempubl. z pkt. MNiSWpubl. pozostałe
ogółem13121
202211
201822
201733
201633
201522
2013211
publikacje recenzowane
rocznikrazempubl. recenzowanepubl. nierecenzowane
ogółem13121
202211
201822
201733
201633
201522
2013211



1
2
  • Alvis language with time dependence
3
  • Communication between agents in Alvis language
4
  • Discrete-time systems modeling and verification with Alvis language and tools
5
  • Extension of Alvis Compiler front-end
6
  • Generation of Java code from Alvis model
7
  • Generation of labelled transition systems for Alvis models using Haskell model representation
8
  • Hierarchical communication diagrams
9
  • Język modelowania Alvis
10
  • Modelling and verification of real-time systems with Alvis
11
  • Priority management in Alvis language
12
  • Simulation of multi-agent systems with Alvis Toolkit
13
  • Supporting BPMN process models with UML sequence diagrams for representing time issues and testing models