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)

1

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus, Jan Werewka

    cyfrowy identyfikator dokumentu: 10.15439/2015F131

2

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek, Paweł Skrzyński

    cyfrowy identyfikator dokumentu:

3

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Jan Werewka

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

4

  • Deduction based verification of business models — Weryfikacja 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek, Paweł Skrzyński

    cyfrowy identyfikator dokumentu:

5

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Marek Kisiel-Dorohinicki, Bartłomiej Śnieżyński, Paweł Skrzyński

    cyfrowy identyfikator dokumentu:

6
7

  • 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

8

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus, Piotr Szwed, Jan Werewka, Paweł Skrzyński

    cyfrowy identyfikator dokumentu:

9

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Dariusz Pałka

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

10

  • Metoda opisu brył przestrzennych z użyciem regułowej reprezentacji wiedzy — Rule-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:

11
12

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Jan Werewka

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

13

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Jan Werewka

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

14

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek, Paweł Skrzyński

    cyfrowy identyfikator dokumentu:

15

  • Optymalizacja skanowanych rotacyjnie siatek 3D prowadzona na potrzeby szybkiego renderowania w czasie rzeczywistym — 3D 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:

16

  • 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Jan Werewka, Paweł Skrzyński

    cyfrowy identyfikator dokumentu:

17

  • Rozszerzenie języka BPQL na potrzeby interaktywnego modelowania i formalnej weryfikacji diagramów aktywności UML — A 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek, Paweł Skrzyński

    cyfrowy identyfikator dokumentu:

18

  • SMESDaD – synergetyczna metodyka rozwijania i wdrażania oprogramowania korporacyjnego — SMESDaD – 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

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus, Piotr Szwed, Jan Werewka, Paweł Skrzyński

    cyfrowy identyfikator dokumentu:

19

  • Stereoscopic 3D graph visualization for assisted data exploration and discovery / Michał TUREK, Dariusz PAŁKA, Marek ZACHARA // W: Multimedia and network information systems : proceedings of the 10th international conference MISSI 2016 / eds. Aleksander Zgrzywa, Kazimierz Choroś, Andrzej Siemiński. — Switzerland : Springer International Publishing, cop. 2017. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 506). — ISBN: 978-3-319-43981-5 ; e-ISBN: 978-3-319-43982-2. — S. 227–238. — Bibliogr. s. 237–238, Abstr.

  • keywords: visualization, data exploration, stereoscopy, graphs

    Zobacz pełny wykaz publikacji Autora/Autorów: Marek Zachara, Dariusz Pałka

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-43982-2_20

20

  • Systematyczny opis metodyki Scrum dla zespołów projektowych — Systematic description of Scrum project teams / Jan WEREWKA, Michał TUREK, Tomasz Włodarek // Studia Informatica ; ISSN 1642-0489. — Tytuł poprz.: Zeszyty Naukowe Politechniki Śląskiej. Seria Informatyka ; ISSN: 0208-7286. — 2012 vol. 33 no. 1, s. 13–46. — Bibliogr. s. 44–45, Streszcz., Summ.

  • słowa kluczowe: inżynieria oprogramowania, zwinne metodyki wytwarzania oprogramowania, Scrum

    keywords: software engineering, agile software development methodology, Scrum

    Zobacz pełny wykaz publikacji Autora/Autorów: Jan Werewka

    cyfrowy identyfikator dokumentu:

21

  • The Scrum pricing model for developing a common software framework in a multi-project environment / Michał TUREK, Jan WEREWKA, 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. 1 / eds. Leszek Borzemowski [et al.]. — [Cham] : Springer International Publishing AG, cop. 2017. — (Advances in Intelligent Systems and Computing ; ISSN 2194-5357 ; vol. 521). — ISBN: 978-3-319-46582-1 ; e-ISBN: 978-3-319-46583-8. — S. 117–132. — Bibliogr. s. 131–132, Abstr.. — Toż na dysku CD

  • keywords: Scrum, outsourcing, software development, agile software development, Scrum contracting

    Zobacz pełny wykaz publikacji Autora/Autorów: Jan Werewka, Dariusz Pałka

    cyfrowy identyfikator dokumentu: 10.1007/978-3-319-46583-8_10

22

  • Towards an ontology approach to ATAM based assessment of service oriented architectures — Ontologia dla oceny za pomocą metody ATAM architektur zorientowanych na usługi / Piotr SZWED, Grzegorz ROGUS, Paweł SKRZYŃSKI, Michał TUREK, Jan WEREWKA // Automatyka = Automatics ; ISSN 1429-3447. — Tytuł poprz.: Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2012 vol. 16 no. 2, s. 175–187. — Bibliogr. s. 186–187, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMAT/2012.16.2/automat.2012.16.2.175.pdf

  • słowa kluczowe: ocena architektury, ATAM, ontologie

    Zobacz pełny wykaz publikacji Autora/Autorów: Grzegorz Rogus, Piotr Szwed, Jan Werewka, Paweł Skrzyński

    cyfrowy identyfikator dokumentu:

23

  • Weryfikacja aktywności systemów modelowanych na bazie architektury SOA – prowadzona w oparciu o wymagania zadane diagramami przypadków użycia — Verification of activity for SOA-based systems – carried out on a use-case diagrams requirements / 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. 893–903. — Bibliogr. s. 903, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto20.pdf

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek, Paweł Skrzyński

    cyfrowy identyfikator dokumentu:

24

  • Weryfikacja procesów biznesowych metodą tablic semantycznych — Automated process verification with a semantic tables approach / 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. 905–914. — Bibliogr. s. 913–914, Streszcz., Summ.. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto21.pdf

  • brak zdefiniowanych słów kluczowych

    Zobacz pełny wykaz publikacji Autora/Autorów: Radosław Klimek, Paweł Skrzyński

    cyfrowy identyfikator dokumentu:

25

  • Workflow management system with automatic correction / Wojciech CHMIEL, Jan DERKACZ, Andrzej DZIECH, Stanisław JĘDRUSIK, Piotr KADŁUCZKA, Bogusław Laskowski, Zbigniew MIKRUT, Dariusz PAŁKA, Piotr Rajchel, Iwona SKALNA, Michał TUREK // W: Multimedia Communications, Services and Security : 10th international conference, MCSS 2020 : Kraków, Poland, October 8–9, 2020 : proceedings. — Cham : Springer Nature Switzerland, cop. 2020. — (Communications in Computer and Information Science ; ISSN 1865-0929 ; vol. 1284). — ISBN: 978-3-030-58999-8 ; e-ISBN: 978-3-030-59000-0. — s. 182-195. — Bibliogr. s. 194-195, Abstr.. — Publikacja dostępna online od: 2020-09-24

  • keywords: workflow, 3D device models, INRED, smart procedures

    cyfrowy identyfikator dokumentu: 10.1007/978-3-030-59000-0_14