dr Michał Horodelski

Wydział Nauk Przyrodniczych i Technicznych - Instytut Matematyki, Informatyki i Architektury Krajobrazu
Katedra Informatyki Stosowanej
Stanowisko: Adiunkt posiadający stopień naukowy dr

2020


Rozdział w recenzowanej książce naukowej

  • Modelowanie i automatyczna weryfikacja systemu kryptowalutowego

2019


Artykuł naukowy w czasopiśmie recenzowany

  • A Representative Fragment Method of Analyzing Complex Systems of Smart Contract
    [Metoda analizy reprezentatywnego fragmentu zachowania złożonego systemu inteligentnych kontraktów]
    [w:] Advances In Cyber-Physical Systems

2018

  • Modelowanie procesów mnogich/masowych PRM przy wykorzystaniu czasowej sieci Petriego
    [w:] Roczniki Kolegium Analiz Ekonomicznych
  • Blockchain w zdecentralizowanej autoryzacji transakcji barterowych
    [w:] PRACE NAUKOWE UNIWERSYTETU EKONOMICZNEGO WE WROCŁAWIU

    • 2017


    Wygłoszenie referatu na konferencji krajowej

    • Wygłoszenie referatu pt. "Modelowanie procesów mnogich/masowych PRM przy wykorzystaniu czasowej sieci Petriego"

    Prezentacja na konferencji krajowej

    • Modelling of rational agent on the electronic service market
      [Modelowanie racjonalnego agenta na rynku usług elektronicznych]

    2016


    Artykuł naukowy w czasopiśmie recenzowany

    • Symulacje algorytmu ratowania życia z wykorzystaniem synchronizacji danych
      [w:] Roczniki Kolegium Analiz Ekonomicznych

    2015

  • Zastosowanie KBS do szybkiej identyfikacji częstotliwości z EEG
    [w:] Roczniki Kolegium Analiz Ekonomicznych

    • 2014

  • Zastosowanie rozproszonej platformy modelowania i symulacji do analizy informacji medycznych na bieżąco
    [w:] Roczniki Kolegium Analiz Ekonomicznych
  • Intelligent medical system for paramedics
    [Inteligentny system ratownictwa medycznego]
    [w:] Polski Przegląd Medycyny i Psychologii Lotniczej

    • 2013


    Członkostwo w krajowej organizacji o charakterze naukowym

    • Członkostwo w stowarzyszeniu Europejskie Centrum Technologii Społeczeństwa Informacyjnego

    2012


    Artykuł nierecenzowany w czasopiśmie

    • Technologie społeczeństwa informacyjnego (2): Model bazy wiedzy do celów eksperymentalnych
      [w:] Przegląd Techniczny
    • Technologie społeczeństwa informacyjnego (2): Modele decyzyjne i ich modyfikacje
      [w:] Przegląd Techniczny

    Kierownictwo złożonego projektu finansowanego przez NCN

    • Metodologia opisu zachowań systemu w środowisku algebraicznym

    2011


    Rozdział w recenzowanej książce naukowej

    • LabTSI(TM) – Platforma modelowania i symulacji: Narzędzie modelowania i symulacji Scilab