Wykaz publikacji wybranego autora

Rafał Mrówka, dr inż.

adiunkt

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


  • 2022

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


  • 2018

    [dyscyplina 1] dziedzina nauk ścisłych i przyrodniczych / informatyka

    [dyscyplina 2] dziedzina nauk inżynieryjno-technicznych / automatyka, elektronika i elektrotechnika (25%)


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


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0001-5143-3488 połącz konto z ORCID

ResearcherID: brak

Scopus: 26029524900

PBN: 5e70922c878c28a04739119e

OPI Nauka Polska

System Informacyjny AGH (SkOs)





Liczba pozycji spełniających powyższe kryteria selekcji: 23, z ogólnej liczby 23 publikacji Autora


1
  • A novel method for fast generation of 3D objects from multiple depth sensors
2
  • Alvis approach to hexor robot controller development
3
  • Alvis approach to Hexor robot controller development
4
  • Alvis – modelling language for concurrent systems
5
  • Communication with environment in Alvis models
6
  • Comparison of wireless technologies for rotating machinery diagnostics
7
  • Comparison of wireless technologies for rotating machinery diagnostics
8
9
  • General information about the KIC innoenergy Co-Location Center
10
  • Introduction to Alvis internal language syntax [Dokument elektroniczny]
11
  • Introduction to Alvis modelling language
12
  • Introduction to Alvis modelling language
13
  • Introduction to modelling embedded systems with Alvis
14
  • Modelling of signals handling with Alvis
15
  • Modelowanie systemów wbudowanych w języku Alvis
16
  • New technologies for wireless, energy efficient machinery diagnostic systems
17
  • New technologies for wireless energy-efficient machinery diagnostic system
18
  • Nowoczesne metody wytwarzania oprogramowania systemów cyberfizycznych
19
  • Practical approach to modelling and verification of concurrent systems with Alvis
20
  • Problemy bezpieczeństwa w inteligentnych sieciach energetycznych
21
  • Specyfikacja otoczenia systemów wbudowanych modelowanych w języku Alvis
22
  • Towards efficient application of formal techniques in software development
23
  • UML Statecharts compositional semantics in LOTOS