Piotr Szwed

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== Selected publications ======


===== 2014 =====
  *Piotr Szwed, Video Event Recognition with Fuzzy Semantic Petri Nets, Man-Machine Interactions 3 Advances in Intelligent Systems and Computing, Volume 242, 2014, pp 431-439, [[http://link.springer.com/chapter/10.1007%2F978-3-319-02309-0_47]], {{:papers:icmmi-fspn-event-recognition-draft.pdf|PDF}}

===== 2013 =====
  *Piotr Szwed and Mateusz Komórkiewicz,  Object tracking and video event recognition with Fuzzy Semantic Petri Nets,   FedCSIS : Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland [[https://fedcsis.org/proceedings/2013/pliks/54.pdf|PDF‎]], [[http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=6643993&url=http%3A%2F%2Fieeexplore.ieee.org%2F%3Farnumber%3D6643993|IEEE Xplore]]

  *Piotr Szwed, Modeling and recognition of video events with Fuzzy Semantic Petri Nets. 8th International Conference on Knowledge, Information and Creativity Support Systems : Kraków, Poland, November 7–9, 2013,  ed. Andrzej M. J. Skulimowski (Advances in Decision Sciences and Future Studies ; vol. 2) pp. 611–622 {{:papers:kicss-fspn-draft.pdf|PDF}}





  *Piotr Szwed, Paweł Skrzyński, Grzegorz Rogus, Jan Werewka, Ontology of architectural decisions supporting ATAM based assessment of SOA architectures,FedCSIS: Federated Conference on Computer Science and Information Systems : September 8–11, 2013, Kraków, Poland, [[https://fedcsis.org/proceedings/2013/pliks/70.pdf|PDF]] [[http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=6644014&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D6644014|IEEE Xplore]]


  * Szwed, P.: //Application of Fuzzy Ontological Reasoning in an 
Implementation of Medical Guidelines//. HSI'13 6th International Conference on Human System Interaction, Gdańsk, Poland, 6-8 June 2013 [[http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6577845|PDF]]  {{:papers:swop-fuzzy-slides.pdf| Presentation PDF}} 

  * Piotr Szwed, Mariusz Duplaga, An Approach to Guidelines Implementation in an E-health System Supporting Chronic Care, Automatyka/Automatics Vol. 17 No. 2 (2013), 241-252 [[http://journals.bg.agh.edu.pl/AUTOMAT/2013.17.2/automat.2013.17.2.241.pdf|PDF]]


  * Szwed, P., Wojnicki, I., Ernst, S., Głowacz, A., //Application of New ATAM Tools to Evaluation of the Dynamic Map Architecture// In: Multimedia communications, services and security : 6th international conference, MCSS 2013 : Krakow, Poland, June 6-7, 2012 : proceedings / eds. Andrzej Dziech, Andrzej Czyżewski. — Berlin ; Heidelberg : Springer-Verlag, 2013. — (Communications in Computer and Information Science ;  248-261 {{:papers:mcss13-insigma-atam.pdf|PDF}} 

  * Piotr Szwed, Igor Wojnicki, Sebastian Ernst, Andrzej Głowacz Evaluation of a Dynamic Map Architecture with ATAM Automatyka/Automatics Vol. 17 No. 1 (2013), 127-139 [[http://journals.bg.agh.edu.pl/AUTOMAT/2013.17.1/automat.2013.17.1.127.pdf|PDF]]


  *Radosław Klimek, Piotr Szwed, Verification of ArchiMate process specifications based on deductive temporal reasoning  FedCSIS: Federated Conference on Computer Science and Information Systems: September 8–11, 2013, Kraków, Poland [[https://fedcsis.org/proceedings/2013/pliks/183.pdf‎|PDF]] [[http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=6644153&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D6644153|IEEE Xplore]]

  *Radosław Klimek, Piotr Szwed, Stanisław Jędrusik, Application of deductive reasoning to the verification of archimate behavioral elements,  Research Papers of Wrocław University of Economics,  Business Informatics, 2013 vol 3, s. 76–97 [[http://www.ceeol.com/aspx/issuedetails.aspx?issueid=c6e33975-f939-4852-bcf9-1e4f37ad06a2&articleId=792272b6-ff0a-4fe2-bfdf-4cf43f5054ba|Business Informatics]]]


<!--
  * Szwed, P.: //Application of fuzzy cognitive maps to analysis of development scenarios of academic units// (presented at SCR'12 conference [[http://www.scr.agh.edu.pl/dokuwiki/konferencja]]. To appear in Automatyka/Automatics, 2013) {{:papers:fcm-academic-units-evaluation.pdf|PDF}} {{:papers:fcm-ocena-jednostek-slides.pdf| Presentation (in Polish)}} 

-->
  * Piotr Szwed, Wojciech Chmiel, Stanisław Jędrusik, Piotr Kadłuczka, Business Processes in a Distributed Surveillance System Integrated Through Workflow, Automatyka/Automatics Vol. 17 No. 1 (2013), 115-126 [[http://journals.bg.agh.edu.pl/AUTOMAT/2013.17.1/automat.2013.17.1.115.pdf|PDF]] 

  *Piotr Szwed, Application of Fuzzy Cognitive Maps to Analysis of Development Scenarios for Academic Units, Automatyka/Automatics Vol. 17 No. 2 (2013), 229-239, [[http://journals.bg.agh.edu.pl/AUTOMAT/2013.17.2/automat.2013.17.2.229.pdf|PDF]]  {{:papers:fcm-ocena-jednostek-slides.pdf| Presentation (in Polish) PDF}}

===== 2012 =====

  * Szwed, P., Kadłuczka P., Chmiel, W., Głowacz, A., Śliwa, J.:  //Ontology based integration and decision support in the Insigma Route Planning Subsystem// In FedCSIS [Dokument elektroniczny] : proceedings of the Federated Conference on Computer Science and Information Systems 2012 : September 9–12, 2012 Wrocław, Poland. p 141–148 {{:papers:insigma-route-planning.pdf|PDF}} {{:papers:fedcsis-insigma-route-planning-v02.pdf|Presentation: PDF}} 

  * Wojnicki, I., Szwed, P., Chmiel, W., Ernst, S.: //Ontology oriented storage, retrieval and interpretation for a dynamic map system// In: Multimedia communications, services and security : 5th international conference, MCSS 2012 : Krakow, Poland, May 31–June 1, 2012 : proceedings / eds. Andrzej Dziech, Andrzej Czyżewski. — Berlin ; Heidelberg : Springer-Verlag, 2012. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 287). — ISBN 978-3-642-30720-1. — S. 380–391. [[http://ai.ia.agh.edu.pl/wiki/_media/pl:dydaktyka:ztb:2012:projekty:ontologie:mcss12-repo.pdf|PDF]]

  * Szwed, P.,  Rogus, G.,  Skrzyński, P.,  Turek, M.,  Werewka, J.: //Towards an ontology approach to ATAM based assessment of service oriented architectures// Automatyka/Automatics, 2012, Vol. 16, no. 2, 175--186 [[http://journals.bg.agh.edu.pl/AUTOMAT/2012.16.2/automat.2012.16.2.175.pdf|PDF]] 
===== 2011 =====

  * Śliwa, J., Gleba, K., Chmiel, W., Szwed, P., Glowacz, A.: //IOEM – ontology engineering methodology for large systems// In: Computational collective intelligence : technologies and applications : third international conference, ICCCI 2011 : Gdynia, Poland, September 21–23, 2011 : proceedings, Part 1 / eds. Piotr Jędrzejowicz, Ngoc Thanh Nguyen, Kiem Hoang. — Berlin ; Heidelberg : Springer-Verlag, cop. 2011. — (Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence ; ISSN 0302-9743 ; LNAI 6922). — ISBN 978-3-642-23934-2. — 602–611. {{:papers:ioem_iccci_2011.pdf|PDF}}
  
  * Śliwa, J., Gleba, K., Chmiel, W., Szwed, P., Glowacz, A.: //Ontology engineering methodology for intelligent system for global monitoring, detection and identification of threats//In: Military communications and information technology: a comprehensive approach enabler / ed. Marek Amanowicz ; Military University of Technology. — Warsaw : MUT, 2011.  ISBN 978-83-62954-20-9. — p. 133–144 {{:papers:ontology_engineering_methodology.pdf|PDF}}

  * Szwed, P., Chmiel, W., Jędrusik, S., Dańda, J.: //D6.4 Ontology and Automatic Reasoning In Crisis Management – Definitions and Concepts// Indect deliverable, INDECT Consortium – www.indect-project.eu [[http://www.indect-project.eu/files/deliverables/public/d6.4/view]]

  * Szwed, P., Chmiel, W.: //D9.11 Ontology and Automatic Reasoning In Crisis Management – Definitions and Concepts// Indect deliverable, INDECT Consortium – www.indect-project.eu [[http://www.indect-project.eu/files/deliverables/public/deliverable-9.11/view]]
===== 2010 =====
  * Szwed, P.: //XQPN – colored Petri nets for processing XML data with XQuery language// Electrical Review  Stowarzyszenie Elektryków Polskich ; ISSN 0033-2097. — 2010 R. 86 nr 9 s. 221–225 {{:papers:xqpn-draft-2010.pdf|PDF}}

  * Werewka, J., Szwed, P., Rogus, G.: //Integration of classical and agile project management methodologies based on ontological models// In: Production engineering in making / ed. Piotr Łebkowski. — Kraków : AGH University of Science and Technology Press, 2010. — ISBN 978-83-7464-370-2. — S. 7–28 {{:papers:wydzzarz2010enl_w25final.pdf|PDF}}

  * Szwed, P., Werewka, J.,  Rogus, G.: //Ontology based alignment of classic and agile project managment for an IT enterprise// Gdansk University of Technology Faculty of ETI Annals; vol. 19. Seria: Technologie Informacyjne ; ISSN 1732-1166. — 2010 nr 8, 345–350. {{:papers:pm-alignment-szwed-werewka-rogus-icit2010.pdf|PDF}} {{:papers:poster-alignment.pdf|Presentation: PDF}} 

  * Klimek, R., Szwed, P.: //Formal analysis of use case diagrams// Computer Science : rocznik Akademii Górniczo-Hutniczej imienia Stanisława Staszica w Krakowie ; ISSN 1508-2806. — 2010 vol. 11 s. 115–131 [[http://journals.agh.edu.pl/csci/article/view/117/66]]

  
    
===== 2009 =====

  * Szwed, P., Wadowski, D., Paździora, K.: //A framework for testing Web services based on XQPN Petri nets// In IFIP 2009: Software Engineering Techniques in Progress : the 4th IFIP TC2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009 : Kraków, Poland, October 12–14, 2009 / eds. Zbigniew Huzar, Jerzy Nawrocki, Marcin Szpyrka. — Kraków : AGH University of Science and Technology Press, 2009. — ISBN 978-83-7464-259-0. —  53–66. {{:papers:pszwed-framework-for-testing.pdf|PDF}}  {{:papers:fvwa-cee-set.ppt|Presentation: PPT}}


===== 2005 =====

  * Szwed, P.: //Verification of relative correctness of Petri nets// In: CMS'05. Vol. 2, Regular sessions : Computer Methods and Systems : V conference : 14–16 November 2005, Kraków, Poland / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. — p. 295–300. {{papers:szwed-relative-corr-petri.pdf|PDF}}

  * Szwed, P.: //Verification of the correctness of Real Time systems specified with timed Petri nets// In CMS'05. Vol. 2, Regular sessions : Computer Methods and Systems = Metody i systemy komputerowe : V konferencja : 14–16 November 2005, Kraków, Poland / eds. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology. — Kraków : Oprogramowanie Naukowo-Techniczne, 2005. 289–294. {{:papers:szwed-verif-rt-petri.pdf|PDF}} 

  * Szwed, P., Ligęza, A.: //Application of OBDD diagrams in verification of tabular rule systems.// Schedae Informaticae ISSN 1732-3916. — 2005 vol. 14 February p. 75–94 [[http://www.ii.uj.edu.pl/Schedae/szwed.pdf|PDF]]
Piotr Szwed

User Tools

Site Tools

Page Tools
