Wykaz publikacji wybranego autora

Michał Turek, dr hab., prof. AGH

profesor nadzwyczajny

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


  • 2018

    [dyscyplina 1] 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-0002-6676-0219 połącz konto z ORCID

ResearcherID: N-4182-2014

Scopus: 56622553300

PBN: 5e70922c878c28a047391215

OPI Nauka Polska

System Informacyjny AGH (SkOs)





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


1
  • Architektura zdecentralizowanego systemu ekspertowego zgodna ze standardem FIPA[FIPA-compliant decentralized architekture for expert systems] / Marek KISIEL-DOROHINICKI, Bartłomiej ŚNIEŻYŃSKI ; oprac. zespół w składzie: Paweł SKRZYŃSKI, Michał TUREK pod kier. Marka KISIEL-DOROHINICKIEGO. — Kraków : AGH WEAIiE, 2002. — 32 s.. — (Raport / Akademia Górniczo-Hutnicza. Wydział Elektrotechniki, Automatyki, Informatyki i Elektroniki. Katedra Informatyki ; nr 5/2002)

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

2
  • Assessment of software system presentation layers based on an ECORAM reference architecture model / Michał TUREK, Jan WEREWKA, Kamil Sztandera, Grzegorz ROGUS // W: FedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 13-16, 2015, Łódź, Poland. — [Piscataway : IEEE], [2015]. — W bazie Web of Science seria: ACSIS-Annals of Computer Science and Information Systems ; ISSN 2300-5963 ; vol. 5. — Opis częśc. wg okł.. — ISBN: 978-8-3608-1066-8. — S. 74–75. — Publikacja dostępna w części: 8\textsuperscript{th} International Symposium on Multimedia Applications and Processing. — Pełny tekst na dołączonym Dysku Flash. — S. 913-918. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 918, Abstr.. — W bazie Web of Science zakres stron: 901–906

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.15439/2015F131

3
  • Automatyczna weryfikacja modelu na etapie analizy wymagańAutomatic verification of the model at the stage of requirements analysis / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // W: Inżynieria oprogramowania w procesach integracji systemów informatycznych / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2010. — (Automatyka i Informatyka : Technologie Informacyjne, Zarządzanie / ed. serii Zdzisław Kowalczuk). — ISBN: 978-83-926806-5-9. — S. 209–216. — Bibliogr. s. 216, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • Automatyczne generowanie kodu na podstawie modeli UML[Code generation from UML models] / Paweł SKRZYŃSKI, Michał TUREK, Piotr MATYASIK // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : IV krajowa konferencja : Kraków 26–28 listopada 2003 : materiały konferencyjne / red. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza, Politechnika Krakowska, Uniwersytet Jagielloński. — Kraków : Oprogramowanie Naukowo-Techniczne, 2003. — ISBN10: 8391642011. — S. 811–816. — Bibliogr. s. 816, Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5
  • Automatyczne pozyskiwanie wiedzy i jej przetwarzanie na bazie wykrywania analogiiAutomated knowledge mining with cause-result analysis performed using analogies detection / Michał TUREK, Paweł SKRZYŃSKI // W: Selected problems of computer science : PD FCCS'2005 : proceedings of the 1\textsuperscript{st} Polish and international PD Forum-Conference on Computer Science : April 11–14, 2005, Łódź, Bronisławów, Poland / eds. Danuta Rutkowska [et al.] ; Academy of Humanities and Economics. — cop. Łódź ; Warsaw : AHE ; Academic Publishing House EXIT, 2005. — (Problemy Współczesnej Nauki, Teoria i Zastosowania. Informatyka / ed. serii Leonard Bolc). — S. 464–474. — Bibliogr. s. 474, Abstr.. — Toż na dołączonym CD-ROM-ie. — Streszczenie w: PD FCCS'2005 : 1\textsuperscript{st} Polish and international PD Forum-Conference on Computer Science : April 11–14, 2005, Łódź – Bronisławów, Poland : program / Academy of Humanities and Economics in Łódź. — [Łódź : AHE], [2005]. — Opis wg okł. — S. 15

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

6
  • Computer science PhD program evaluation proposal based on domain and non-domain characteristics / Jan WEREWKA, Michał TUREK // W: ISAT 2015 : Information Systems Architecture and Technology: proceedings of 36th international conference on information systems architecture and technology, Pt. 3 / eds. Jerzy Świątek, [et al.]. — Switzerland : Springer International Publishing, cop. 2016. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 431). — ISBN: 978-3-319-28562-7 ; e-ISBN: 978-3-319-28564-1. — S. 177–187

  • keywords: software architecture, education, computer science, IT architecture, PhD studies

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-28564-1_15

7
  • Deduction based verification of business modelsWeryfikacja modeli biznesowych metodą dedukcyjną / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // W: Advanced information technologies for management : AITM 2010 / eds. Jerzy Korczak, Helena Dudycz, Mirosław Dyczkowski. — Wrocław : Publishing House of Wrocław University of Economics, 2010. — (Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu = Research Papers of Wrocław University of Economics ; ISSN 1899-3192 ; nr 147). — ISBN: 978-83-7695-083-9. — S. 173–188. — Bibliogr. s. 187–188, Abstr., Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

8
  • Extreme programming – przegląd i porównanie wybranych narzędzi wspomagających testy jednostkowe[Extreme programming – review and comparison of tools for unit testing] / Paweł SKRZYŃSKI, Michał TUREK, Piotr MATYASIK // W: Metody i systemy komputerowe w badaniach naukowych i projektowaniu inżynierskim : IV krajowa konferencja : Kraków 26–28 listopada 2003 : materiały konferencyjne / red. Ryszard Tadeusiewicz, Antoni Ligęza, Maciej Szymkat ; Akademia Górniczo-Hutnicza, Politechnika Krakowska, Uniwersytet Jagielloński. — Kraków : Oprogramowanie Naukowo-Techniczne, 2003. — ISBN10: 8391642011. — S. 799–804. — Bibliogr. s. 804, Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

9
  • FIPA compliant agent-based decentralised expert system / Paweł SKRZYŃSKI, Michał TUREK, Bartłomiej ŚNIEŻYŃSKI, Marek KISIEL-DOROHINICKI // W: Intelligent Information Systems 2002 : proceeedings of the IIS' 2002 symposium : Sopot, Poland, June 3–6, 2002 / eds. Mieczysław A. Kłopotek, Sławomir T. Wierzchoń, Maciej Michalewicz ; Institute of Computer Science of Polish Academy of Sciences. — Heidelberg ; New York : Physica-Verlag, 2002. — (Advances in Soft Computing ; ISSN 1615-3871 ; 17). — ISBN10: 3-7908-1509-8. — S. 455–464. — Bibliogr. s. 463–464, Abstr.

  • keywords: multi-agent systems, expert systems, agent standards

    cyfrowy identyfikator dokumentu:

10
  • FIPA compliant distributed expert system / Paweł SKRZYŃSKI, Michał TUREK // W: MMAR 2004 : proceedings of the 10th IEEE international conference on Methods and Models in Automation and Robotics : 30 August – 2 September 2004, Międzyzdroje, Poland. Vol. 2 of 2, Robotics, Indentifacation, Expert systems and scheduling problems, Artificial intelligence / eds. S. Domek, R. Kaszyński ; IEEE, IEEE Robotics & Automation Society, IEEE Control Systems Society. — Szczecin : Wydawnictwo Uczelniane Politechniki Szczecińskiej, 2004. — IEEE Conference Number ; 9195. — Opis częśc. wg okł.. — S. 1125–1130. — Bibliogr. s. 1129–1130, Abstr.. — Toż na CD-ROMie

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

11
12
  • Integration of image analysis component with industrial workflow management system / Wojciech CHMIEL, Stanisław JĘDRUSIK, Piotr KADŁUCZKA, Joanna KWIECIEŃ, Zbigniew MIKRUT, Dariusz PAŁKA, Michał TUREK // W: Multimedia Communications, Services and Security : 11th international conference, MCSS 2022 : Kraków, Poland, November 3–4, 2022 : proceedings / eds. Andrzej Dziech, Wim Mees, Marcin Niemiec. — Cham : Springer Nature Switzerland, cop. 2022. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; vol. 1689). — ISBN: 978-3-031-20214-8 ; e-ISBN: 978-3-031-20215-5. — S. 80–93. — Bibliogr., Abstr.. — Publikacja dostępna online od: 2022-10-15

  • keywords: workflow, vision system, image recognition, INRED, communication devices

    cyfrowy identyfikator dokumentu: 10.1007/978-3-031-20215-5_7

13
  • ISMESDaD – a Synergetic Methodology for Enterprise Software Development and Deployment / Grzegorz ROGUS, Paweł SKRZYŃSKI, Piotr SZWED, Michał TUREK, Jan WEREWKA // W: Aspects of production engineering and management / ed. Piotr Łebkowski. — Kraków : AGH University of Science and Technology Press, 2011. — ISBN: 978-83-7464-478-5. — S. 41–61. — Bibliogr. s. 60–61, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

14
  • Light-reflection analysis method for 3D surface damage identification / Michał TUREK, Dariusz PAŁKA // W: Information Systems Architecture and Technology: proceedings of 37th international conference on Information Systems Architecture and Technology – ISAT 2016 : [September 18–20, 2016, Karpacz, Poland], Pt. 3 / eds. Jerzy Świątek, [et al.]. — [Cham] : Springer International Publishing, cop. 2017. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 523). — ISBN: 978-3-319-46588-3 ; e-ISBN: 978-3-319-46589-0. — S. 79–87. — Bibliogr. s. 86–87, Abstr.. — Toż na CD

  • keywords: surface damage identification, 3D mesh analysis, light reflection rendering

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-46589-0_7

15
  • Metoda opisu brył przestrzennych z użyciem regułowej reprezentacji wiedzyRule-based knowledge approach for polygon mesh siplification / Michał TUREK // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2006 t. 10 z. 3, s. 571–578. — Bibliogr. s. 578, Streszcz., Summ.. — tekst: https://goo.gl/DNS3j6

  • słowa kluczowe: transformacje 3D, przetwarzanie wiedzy, wiedza regułowa, redukcja wielokątów w siatkach 3D, przetwarzanie siatek 3D, analiza kształtów, gramatyki kształtów

    keywords: 3D transformations, shape analysis, knowledge processing, rule based knowledge, mesh simplification, mesh polygon reduction, 3D polygon mesh processing, shape grammars

    cyfrowy identyfikator dokumentu:

16
  • Modelling exception handling in UML – statechart diagrams approach / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // W: System Modelling Control – 2005 : proceedings of the 11th international conference : Zakopane, Poland, October 17–19, 2005 / eds. Liliana Byczkowska-Lipińska, Piotr S. Szczepaniak, Hanna Niedźwiedzińska. — Warszawa : Akademicka Oficyna Wydawnicza EXIT, 2005. — (Problemy Współczesnej Nauki, Teoria i Zastosowania. Informatyka / ed. serii Leonard Bolc). — ISBN10: 838767494X. — S. 141–147. — Bibliogr. s. 147, Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

17
18
  • Motivation modeling and metrics evaluation of IT architect certification programs / Michał TUREK, Jan WEREWKA // W: Beyond Databases, Architectures and Structures : 11th international conference, BDAS 2015 : Ustroń, Poland, May 26–29, 2015 : proceedings / eds. Stanisław Kozielski, [et al.]. — Switzerland : Springer International Publishing, cop. 2015. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; 521). — ISBN: 978-3-319-18421-0 ; e-ISBN: 978-3-319-18422-7. — S. 463–472. — Bibliogr. s. 471–472, Abstr.

  • keywords: data mining, IT architect, software architect, certificate programs

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-18422-7_41

19
  • Multi-project scrum methodology for projects using software product lines / Michał TUREK, Jan WEREWKA // W: ISAT 2015 : Information Systems Architecture and Technology: proceedings of 36th international conference on information systems architecture and technology, Pt. 3 / eds. Jerzy Świątek, [et al.]. — Switzerland : Springer International Publishing, cop. 2016. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 431). — ISBN: 978-3-319-28562-7 ; e-ISBN: 978-3-319-28564-1. — S. 189–199

  • keywords: UAV, Scrum, software development, agile, software product lines

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-28564-1_16

20
  • On some problems with modelling of exceptions in UML / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // W: Software engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — (Frontiers in Artificial Intelligence and Applications ; ISSN 0922-6389 ; vol. 130). — ISBN: 978-1-58603-559-4. — S. 87–98. — Bibliogr. s. 98, Abstr.

  • keywords: exception handling, exceptions, interrupts, software robustness, UML 2.0, statechart diagrams, Telelogic Tau G2

    cyfrowy identyfikator dokumentu:

21
  • Optymalizacja skanowanych rotacyjnie siatek 3D prowadzona na potrzeby szybkiego renderowania w czasie rzeczywistym3D rotary scanned mesh optimization for fast real-time rendering / Michał TUREK // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2009 t. 13 z. 3 [cz.] 2, s. 1469–1480. — Bibliogr. s. 1480, Streszcz., Summ.. — tekst: https://journals.bg.agh.edu.pl/AUTOMATYKA/2009-03/Auto65.pdf

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

22
  • Podstawy programowania komputerów[Basics of computer's software] / Jan WEREWKA, Paweł SKRZYŃSKI, Michał TUREK. — Kraków : AGH Uczelniane Wydawnictwa Naukowo-Dydaktyczne, 2008. — 457, [1] s.. — (Wydawnictwa Naukowe / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie ; KU 0279). — Bibliogr. s. 449–454. — ISBN: 978-83-7464-147-0

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

23
  • Przegląd współczesnych narzędzi CASE pod kątem generowania kodu na podstawie modelu UML[Code generation from UML model – comparison of modern CASE tools] / Paweł SKRZYŃSKI, Michał TUREK, Piotr MATYASIK // W: Inżynieria oprogramowania : nowe wyzwania : VI Krajowa Konferencja Inżynierii Oprogramowania KKIO'2004 : Gdańsk, 5–8 października 2004 / red. Janusz Górski, Andrzej Wardziński ; Polskie Towarzystwo Informatyczne. — Warszawa : Wydawnictwa Naukowo-Techniczne, 2004. — Opis częśc. wg okł.. — S. 301–314. — Bibliogr. s. 313–314, Streszcz.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

24
  • Rozszerzenie języka BPQL na potrzeby interaktywnego modelowania i formalnej weryfikacji diagramów aktywności UMLA BPQL language extension for interactive modeling and formal validation of UML activity diagrams / Radosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2010 t. 14 z. 3/2, s. 915–924. — Bibliogr. s. 924, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto22.pdf

  • słowa kluczowe: logika temporalna, weryfikacja, architektura SOA, diagramy UML, przypadki użycia, narzędzia UML, translacja diagramów UML

    keywords: temporal logic, verification, SOA architecture, UML diagrams, use-case, UML tools, UML diagram translation

    cyfrowy identyfikator dokumentu:

25
  • SMESDaD – synergetyczna metodyka rozwijania i wdrażania oprogramowania korporacyjnegoSMESDaD – synergetic methodology for enterprise software development and deployment / Grzegorz ROGUS, Paweł SKRZYŃSKI, Piotr SZWED, Michał TUREK, Jan WEREWKA // PAR Pomiary Automatyka Robotyka ; ISSN 1427-9126. — 2011 R. 15 nr 12, s. 196–209. — Bibliogr. s. 208, Streszcz., Abstr.

  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: