Wykaz publikacji wybranego autora

Piotr Szwed, dr inż.

adiunkt

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

[dyscyplina wiodąca] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja


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


Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0003-1231-3867

ResearcherID: C-8474-2013

Scopus: 55188460100

PBN: 909867

OPI Nauka Polska

System Informacyjny AGH (SkOs)





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


1
  • Analysis, verification and design of tabular systems
2
  • An approach to guidelines implementation in an e-heath system supporting chronic care
3
  • An incremental map-matching algorithm based on Hidden Markov Model
4
  • Application of deductive reasoning to the verification of ArchiMate behavioral elements
5
  • Application of fuzzy cognitive maps to analysis of development scenarios for academic units
6
  • Application of fuzzy ontological reasoning in an implementation of medical guidelines
7
  • Application of new ATAM tools to evaluation of the dynamic map architecture
8
  • Application of OBDD diagrams in verification of tabular rule systems
9
  • Architektury hurtowni danych
10
  • Authorship attribution for Polish texts based on part of speech tagging
11
  • A framework for testing Web services based on XQPN Petri nets
12
  • A new lightweight method for security risk assessment based on fuzzy cognitive maps
13
  • Bees algorithm for the quadratic assignment problem on CUDA platform
14
  • Belief propagation during data integration in a P2P network
15
  • Business processes in a distributed surveillance system integrated through workflow
16
  • Combining fuzzy cognitive maps and discrete random variables
17
  • Concepts extraction from unstructured Polish Texts: a rule based approach
18
  • Contribution of the INSIGMA project to the field of intelligent transportation systems
19
  • DWARM: an ontology of data warehouse architecture reference model
20
  • Efficiency of formal verification of ArchiMate business processes with NuSMV model checker
21
  • Enhancing concept extraction from Polish texts with rule management
22
  • Evaluating efficiency of ArchiMate business processes verification with NuSMV
23
  • Evaluation of a dynamic map architecture with ATAM
24
  • Formal analysis of use case diagrams
25
  • Implementacja semaforów i kolejek komunikatów w systemie CrOS