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

  • 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

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

    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

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

    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

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

    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

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

    cyfrowy identyfikator dokumentu:

5

  • Automatyczne pozyskiwanie wiedzy i jej przetwarzanie na bazie wykrywania analogii — Automated 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

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

    cyfrowy identyfikator dokumentu:

6

  • 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:

7

  • 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

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

    cyfrowy identyfikator dokumentu:

8

  • 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

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

    cyfrowy identyfikator dokumentu:

9
10

  • 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:

11

  • 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:

12

  • 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

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

    cyfrowy identyfikator dokumentu:

13
14

  • 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:

15

  • 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:

16

  • 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

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

    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

  • 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:

20

  • 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:

21

  • Tworzenie oprogramowania z wykorzystaniem UML 2.0 oraz Telelogic TauG2 — [Software development with UML 2.0 and Telelogic Tau G2] / Paweł SKRZYŃSKI, Michał TUREK // W: CMS'05 : Computer Methods and Systems : V konferencja : 14–16 November 2005, Kraków, Poland. Vol. 2, Regular sessions = CMS'05 : metody i systemy komputerowe / 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. — S. 449–454. — Bibliogr. s. 454, Streszcz.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

22

  • 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:

23

  • 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:

24

  • Wykorzystanie sieci neuronowych do predykcji PKB — Neural network approach to GDP prediction / Joanna KWIECIEŃ, Paweł SKRZYŃSKI, Michał TUREK // W: Ph. D. FCCS'2005 [Dokument elektroniczny] : proc. of 1\textsuperscript{st} Polish and international PD Forum-Conference on Computer Science : Łódź–Bronisławów, Poland, April 11 – 14, 2005 / Academy of Humanities and Economics in Łódź. — Wersja do Windows. — Dane tekstowe. — [Łódź : AHE], [2005]. — 1 dysk optyczny. — Opis częśc. wg obwoluty. — S. 1–8. — Wymagania systemowe: Adobe Reader ; napęd CD. — Bibliogr. s. 7, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu:

25

  • Wykorzystanie sieci neuronowych do predykcji PKB — Neural network approach to GDP prediction / Joanna KWIECIEŃ, Paweł SKRZYŃSKI, Michał TUREK // 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. 530–537. — Bibliogr. s. 536, Abstr.

  • brak zdefiniowanych słów kluczowych

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

    cyfrowy identyfikator dokumentu: