Wykaz publikacji wybranego autora

Łukasz Faber, dr inż.

adiunkt

Wydział Informatyki, Elektroniki i Telekomunikacji
WIEiT-ki_, *Instytut Informatyki


  • 2022

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


  • 2018

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

    [dyscyplina 2] dziedzina nauk ścisłych i przyrodniczych / informatyka (25%)


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


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0001-5111-8082 orcid iD

ResearcherID: T-1423-2017

Scopus: 55240547300

PBN: 5e7092ae878c28a04739a9e8

OPI Nauka Polska

System Informacyjny AGH (SkOs)




1
2
3
  • Deduction-based modelling and verification of agent-based systems for data integration / Radosław KLIMEK, Łukasz FABER, Marek KISIEL-DOROHINICKI // W: Man-machine interactions 3 : [ICMMI 2013 : 3rd International Conference on Man-Machine Interactions : Brenna, October 22nd–25th, 2013] / eds. Aleksandra Gruca, Tadeusz Czachórski, Stanisław Kozielski. — Switzerland : Springer International Publishing, cop. 2014. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 242). — ISBN: 978-3-319-02308-3 ; e-ISBN: 978-3-319-02309-0. — S. 361–368. — Bibliogr. s. 368, Abstr.

  • keywords: multi-agent systems, temporal logic, formal verification, deductive reasoning, activity diagrams, workflows patterns

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-02309-0_39

4
5
  • Hybrid architecture for simulation of blood flow with foreign bodies / Łukasz FABER, Krzysztof BORYCZKO, Marek KISIEL-DOROHINICKI // W: ECMS 2014 : 28\textsuperscript{th} European Conference on Modelling and Simulation : May 27\textsuperscript{th}–30\textsuperscript{th}, 2014, Brescia, Italy / eds. Flaminio Squazzoni [et al.]. — Germany : ECMS, cop. 2014 + CD. — ISBN: 978-0-9564944-8-1 ; e-ISBN: 978-0-9564944-9-8. — S. 523–529. — Bibliogr. s. 529, Abstr.

  • keywords: dissipative particle dynamics, agent based simulation

    cyfrowy identyfikator dokumentu: