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
2
  • [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
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu: 10.15439/2015F131

3
  • [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
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

4
  • [referat, 2003]
  • TytułAutomatyczne generowanie kodu na podstawie modeli UML
    AutorzyPaweł SKRZYŃSKI, Michał TUREK, Piotr MATYASIK
    ŹródłoMetody 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. — S. 811–816
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

5
  • [referat, 2005]
  • TytułAutomatyczne pozyskiwanie wiedzy i jej przetwarzanie na bazie wykrywania analogii
    AutorzyMichał TUREK, Paweł SKRZYŃSKI
    ŹródłoSelected problems of computer science : PD FCCS'2005 : proceedings of the 1textsuperscript{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. — S. 464–474
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

6
  • [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
  • keywords: software architecture, education, computer science, IT architecture, PhD studies

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

7
  • [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
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

8
  • [referat, 2003]
  • TytułExtreme programming – przegląd i porównanie wybranych narzędzi wspomagających testy jednostkowe
    AutorzyPaweł SKRZYŃSKI, Michał TUREK, Piotr MATYASIK
    ŹródłoMetody 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. — S. 799–804
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

9
  • [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
  • keywords: multi-agent systems, expert systems, agent standards

    cyfrowy identyfikator dokumentu:

10
  • [referat, 2004]
  • TytułFIPA compliant distributed expert system
    AutorzyPaweł SKRZYŃSKI, Michał TUREK
    ŹródłoMMAR 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. — S. 1125–1130
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

11
12
13
  • [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
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

14
  • [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
  • keywords: surface damage identification, 3D mesh analysis, light reflection rendering

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

15
  • [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
  • 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
  • [referat, 2005]
  • TytułModelling exception handling in UML – statechart diagrams approach
    AutorzyRadosław KLIMEK, Paweł SKRZYŃSKI, Michał TUREK
    ŹródłoSystem 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. — S. 141–147
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

17
18
  • [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
  • keywords: data mining, IT architect, software architect, certificate programs

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

19
  • [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
  • keywords: UAV, Scrum, software development, agile, software product lines

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

20
  • [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
  • keywords: exception handling, exceptions, interrupts, software robustness, UML 2.0, statechart diagrams, Telelogic Tau G2

    cyfrowy identyfikator dokumentu:

21
  • [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
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

22
23
  • [referat, 2004]
  • TytułPrzegląd współczesnych narzędzi CASE pod kątem generowania kodu na podstawie modelu UML
    AutorzyPaweł SKRZYŃSKI, Michał TUREK, Piotr MATYASIK
    ŹródłoInż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. — S. 301–314
  • brak zdefiniowanych słów kluczowych

    cyfrowy identyfikator dokumentu:

24
  • [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
  • 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