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
  • [referat, 2015]
  • TytułAssessment of software system presentation layers based on an ECORAM reference architecture model
    AutorzyMichał TUREK, Jan WEREWKA, Kamil Sztandera, Grzegorz ROGUS
    ŹródłoFedCSIS : abstracts of the Federated Conference on Computer Science and Information Systems : September 13-16, 2015, Łódź, Poland. — [Piscataway : IEEE], [2015]. — S. 74–75
2
  • [fragment książki, 2010]
  • TytułAutomatyczna weryfikacja modelu na etapie analizy wymagań
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK
    ŹródłoInżynieria oprogramowania w procesach integracji systemów informatycznych / red. Janusz Górski, Cezary Orłowski. — Gdańsk : Pomorskie Wydawnictwo Naukowo-Techniczne PWNT, 2010. — S. 209–216
3
  • [referat, 2016]
  • TytułComputer science PhD program evaluation proposal based on domain and non-domain characteristics
    AutorzyJan WEREWKA, Michał TUREK
    ŹródłoISAT 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. — S. 177–187
4
  • [fragment książki, 2010]
  • TytułDeduction based verification of business models
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK
    ŹródłoAdvanced 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. — S. 173–188
5
  • [referat, 2002]
  • TytułFIPA compliant agent-based decentralised expert system
    AutorzyPaweł SKRZYŃSKI, Michał TUREK, Bartłomiej ŚNIEŻYŃSKI, Marek KISIEL-DOROHINICKI
    ŹródłoIntelligent 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. — S. 455–464
6
7
  • [referat, 2022]
  • TytułIntegration of image analysis component with industrial workflow management system
    AutorzyWojciech CHMIEL, Stanisław JĘDRUSIK, Piotr KADŁUCZKA, Joanna KWIECIEŃ, Zbigniew MIKRUT, Dariusz PAŁKA, Michał TUREK
    ŹródłoMultimedia 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. — S. 80–93
8
  • [fragment książki, 2011]
  • TytułISMESDaD – a Synergetic Methodology for Enterprise Software Development and Deployment
    AutorzyGrzegorz ROGUS, Paweł SKRZYŃSKI, Piotr SZWED, Michał TUREK, Jan WEREWKA
    ŹródłoAspects of production engineering and management / ed. Piotr Łebkowski. — Kraków : AGH University of Science and Technology Press, 2011. — S. 41–61
9
  • [referat, 2017]
  • TytułLight-reflection analysis method for 3D surface damage identification
    AutorzyMichał TUREK, Dariusz PAŁKA
    ŹródłoInformation 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. — S. 79–87
10
  • [artykuł w czasopiśmie, 2006]
  • TytułMetoda opisu brył przestrzennych z użyciem regułowej reprezentacji wiedzy
    AutorzyMichał TUREK
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2006 t. 10 z. 3, s. 571–578. — tekst: https://goo.gl/DNS3j6
11
  • [fragment monografii pokonferencyjnej, 2022]
  • TytułModelowanie systemów złożonych w teorii i praktyce
    AutorzyJarosław WĄS, Dariusz PAŁKA, Grzegorz BAZIOR, Robert LUBAŚ, Michał TUREK, Paweł RENC, Marek SZLACHETKA, Jędrzej BYRSKI, Janusz MILLER, Filip KAMIŃSKI, Adam DOMAGAŁA, Andrzej BIELECKI, Maciej GIERDZIEWICZ, Marek ZACHARA, Dariusz JAMRÓZ, Mirosław GAJER, Michał PIKUS
    ŹródłoNauka – technika – technologia : seria wydawnicza AGH, T. 4. — Kraków : Wydawnictwa AGH, 2022. — S. 117–134
12
  • [referat, 2015]
  • TytułMotivation modeling and metrics evaluation of IT architect certification programs
    AutorzyMichał TUREK, Jan WEREWKA
    ŹródłoBeyond 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. — S. 463–472
13
  • [referat, 2016]
  • TytułMulti-project scrum methodology for projects using software product lines
    AutorzyMichał TUREK, Jan WEREWKA
    ŹródłoISAT 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. — S. 189–199
14
  • [fragment książki, 2005]
  • TytułOn some problems with modelling of exceptions in UML
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK
    ŹródłoSoftware engineering : evolution and emerging technologies / eds. Krzysztof Zieliński, Tomasz Szmuc. — Amsterdam, [etc.] : IOS Press, 2005. — S. 87–98
15
  • [artykuł w czasopiśmie, 2009]
  • TytułOptymalizacja skanowanych rotacyjnie siatek 3D prowadzona na potrzeby szybkiego renderowania w czasie rzeczywistym
    AutorzyMichał TUREK
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2009 t. 13 z. 3 [cz.] 2, s. 1469–1480. — tekst: https://journals.bg.agh.edu.pl/AUTOMATYKA/2009-03/Auto65.pdf
16
  • [podręcznik, 2008]
  • TytułPodstawy programowania komputerów
    AutorzyJan WEREWKA, Paweł SKRZYŃSKI, Michał TUREK
    DetailsKraków : AGH Uczelniane Wydawnictwa Naukowo-Dydaktyczne, 2008. — 457, [1] s.
17
  • [artykuł w czasopiśmie, 2010]
  • TytułRozszerzenie języka BPQL na potrzeby interaktywnego modelowania i formalnej weryfikacji diagramów aktywności UML
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2010 t. 14 z. 3/2, s. 915–924. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto22.pdf
18
  • [artykuł w czasopiśmie, 2011]
  • TytułSMESDaD – synergetyczna metodyka rozwijania i wdrażania oprogramowania korporacyjnego
    AutorzyGrzegorz ROGUS, Paweł SKRZYŃSKI, Piotr SZWED, Michał TUREK, Jan WEREWKA
    ŹródłoPAR Pomiary Automatyka Robotyka. — 2011 R. 15 nr 12, s. 196–209
19
  • [referat, 2017]
  • TytułStereoscopic 3D graph visualization for assisted data exploration and discovery
    AutorzyMichał TUREK, Dariusz PAŁKA, Marek ZACHARA
    ŹródłoMultimedia 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. — S. 227–238
20
  • [artykuł w czasopiśmie, 2012]
  • TytułSystematyczny opis metodyki Scrum dla zespołów projektowych
    AutorzyJan WEREWKA, Michał TUREK, Tomasz Włodarek
    ŹródłoStudia Informatica. — 2012 vol. 33 no. 1, s. 13–46
21
  • [referat, 2017]
  • TytułThe Scrum pricing model for developing a common software framework in a multi-project environment
    AutorzyMichał TUREK, Jan WEREWKA, Dariusz PAŁKA
    ŹródłoInformation 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. — S. 117–132
22
23
  • [artykuł w czasopiśmie, 2010]
  • TytułWeryfikacja aktywności systemów modelowanych na bazie architektury SOA – prowadzona w oparciu o wymagania zadane diagramami przypadków użycia
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2010 t. 14 z. 3/2, s. 893–903. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto20.pdf
24
  • [artykuł w czasopiśmie, 2010]
  • TytułWeryfikacja procesów biznesowych metodą tablic semantycznych
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK
    ŹródłoAutomatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie. — 2010 t. 14 z. 3/2, s. 905–914. — tekst: http://journals.bg.agh.edu.pl/AUTOMATYKA/2010-03-2/Auto21.pdf
25
  • [referat, 2020]
  • TytułWorkflow management system with automatic correction
    AutorzyWojciech 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
    ŹródłoMultimedia Communications, Services and Security : 10th international conference, MCSS 2020 : Kraków, Poland, October 8–9, 2020 : proceedings. — Cham : Springer Nature Switzerland, cop. 2020. — s. 182-195