dr Michał Horodelski
Wydział Nauk Przyrodniczych i Technicznych - Instytut Matematyki, Informatyki i Architektury KrajobrazuKatedra 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
[w:] Roczniki Kolegium Analiz Ekonomicznych
[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
[w:] Roczniki Kolegium Analiz Ekonomicznych
2014
[w:] Roczniki Kolegium Analiz Ekonomicznych
[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