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)

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

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.

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.

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

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.

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.

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

Generowanie kodu oraz wykonywalnych aplikacji z modelu w UML 2.0 — Code and executable application generation from UML 2.0 model / Paweł SKRZYŃSKI, Michał TUREK // Automatyka : półrocznik Akademii Górniczo-Hutniczej im. Stanisława Staszica w Krakowie ; ISSN 1429-3447. — 2005 t. 9 z. 3, s. 773–782. — Bibliogr. s. 782, Streszcz., Summ.. — tekst: http://journals-1bg-1agh-1edu-1pl-1ftlf1r4g0861.wbg2.bg.agh.edu.pl/AUTOMATYKA/2005-03/Auto49.pdf

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.

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

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.

Modelowanie systemów złożonych w teorii i praktyce — Modeling of complex systems in theory and practice / Jarosł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 // W: Nauka – technika – technologia : seria wydawnicza AGH, T. 4. — Kraków : Wydawnictwa AGH, 2022. — Materiały z konferencji naukowej "Wydział Elektryczny AGH – Wczoraj, Dziś i Jutro" : 23 czerwca 2022, Kraków. — ISBN: 978-83-66727-88-5 ; e-ISBN: 978-83-66727-89-2. — S. 117–134. — Bibliogr. s. 130–134, Streszcz., Abstr.. — tekst: https://winntbg.bg.agh.edu.pl/skrypty4/0601/NTT_tom4_117.pdf

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

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

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.

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

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.

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.

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

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.

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

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

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.

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.