Publikacje pracowników Wydziału

Katedra Informatyki Stosowanej

Piotr Beling

P.Beling, J.Walczak, Ł.Piskorski, Antymonkowe lasery typu VCSEL emitujące promieniowanie o długości fali z zakresu 2,6-2,8 µm, Elektronika: konstrukcje, technologie, zastosowania, 2016, nr 9, 43-46

P.Beling, Efektywne rozwiązanie problemu rozgrywki w otwarte karty w brydżu, Metody Matematyki Stosowanej 3/2011, 2011

Piotr Cybula

P.Cybula, A.Męski, A.Półrola, SMT-Based Reachability Checking for Bounded Time Petri Nets, Fundamenta Informaticae, 2014, tom 135 (4), 467-482

P.Cybula, A.Męski, A.Półrola, SMT-Based Reachability Checking for Bounded Time Petri nets, Proceeding of the International Workshop on Concurrency, Specification and Programming, 2013, tom 1032, 332-341

P.Cybula, K.Subieta, Decomposition of SBQL Queries for Optimal Result Caching, Proc. of Fed CSIS, IEEE Xplore Digital Library,2011, 841-848

P.Cybula, Normalization and Decomposition of SBQL Queries for Efficient Query Optimization using Result Caching, Materiały III Krajowej Konferencji Naukowej Technologie Przetwarzania Danych, Poznań, Wydawnictwa Naukowo-Techniczne, ISBN: 978-83-204-3682-2, 2010, 112-125

P.Cybula, K.Subieta, Query Optimization by Result Caching in the Stack-Based Approach, Proc. Of ICOODB 2010, Frankfurt n. Menem, Niemcy, Springer Verlag LNCS 6348, 40-54

P.Cybula, K.Subieta, Query Optimization through Cached Queries for Object-Oriented Query Language SBQL, Proc. Of SOFEM 2010, Spindleruv Mlyn, Czechy, , Springer Verlag LNCS 5901, 308-320

P.Cybula, Cached Queries as a Tool for Query Optimization in the Stack-Based Approach, Materiały I Krajowej Konferencji Naukowej „Technologie Przetwarzania Danych” (KKNTPD’05), 2005, 81-92

P.Cybula, H.Kozankiewicz, K.Stencel, K.Subieta, Optimization of Distributed Queries in Grid Via Caching On the Move to Meaningful Internet Systems 2005, Proc. of the OTM Confederated International Workshops and Posters AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, 387-396

P.Cybula, K.Subieta, Cached Queries in the Stack-Based Approach, Raport IPI PAN Nr 985, 56 stron, 2005

 

Dariusz Doliwa

D.Doliwa, M.Frydrych, W.Horzelski, Network Monitoring and Management for Company with Hybrid and Distributed Infrastructure, Information Systems in Management, 2016, tom 5, nr 3, 326-335

D.Doliwa, M.Frydrych, W.Horzelski, Weight distribution in some linear codes, Zeszyty Naukowe Wyższej Szkoły Informatyki, 2016, tom 15, nr 1, 5-16

D.Doliwa, M.Frydrych, W.Horzelski, Ocena jakościowa kodów liniowych o skończonych charakterystykach, Studia i Materiały Informatyki Stosowanej, 2014, tom 6, nr 17, 10-15

D.Doliwa, W.Horzelski, M.Jarocki, The system of planning and management of the medical services, Information Systems in Management, 2014, tom 3, zeszyt 1, 16-26

J.Czerbniak D.Doliwa, W.Horzelski, M.Jarocki, Modeling of Medical Services Using OWL, Journal of Applied Computer Science, 2013, tom 21, nr 2, 45-56

K.Bareła, D.Doliwa, W.Horzelski, M.Jarocki, Harmonogramowanie usług medycznych, Zeszyty Naukowe Wyższej Szkoły Informatyki, 2012, tom 11, nr 3, 91-99

D.Doliwa, W.Horzelski, M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, J.Skaruz, HarmonICS-a Tool for Composing Medical Services, Proceedings of the 4th Central-European Workshop on Services and their Composition (ZEUS-2012), 2012, 25-33

D.Doliwa, W.Horzelski, Aplikacja Wspomagająca Zarządzanie Adresami IP Dla Dostawcy Internetu, Studia Informatica vol. 32 (97), 2011

D.Doliwa, W.Horzelski, Automatic management of IT infrastructure, Information Systems in Management VIII, 2011

D.Doliwa, W.Horzelski, M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, A.Zbrzezny, PlanICS-A Web Service Composition Toolset, Fundamenta Informaticae 112(1), 2011, 47-71

D.Doliwa, M.Frydrych, W.Horzelski, Analiza współczynnika straty algorytmów pakowania First Fit oraz Best Fit przy ładunkach o rozkładzie Gaussa, VIII Krajowym Sympozjum Modelowanie i Symulacja Komputerowa w Technice, Łódź, 2010

D.Doliwa, W.Horzelski, Zarządzanie sprzętem i oprogramowaniem na zdalnych komputerach, Studia Informatica vol. 31 (90), Gliwice, 2010

D.Doliwa, W.Horzelski, M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, A.Zbrzezny, Web Service Composition Toolset, Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P’10), Informatik-Berichte 237(1), Humboldt University, Berlin, ISSN: 0863-095X, 2010,131-141

R.J.Pawlak, D.Doliwa, On the extension of Darboux functions (and Darboux homotopies), Atti Sem. Mat. Fis. Univ. Modena 51 (2003), no. 1, 2003, 149—162

D.Doliwa, R.J.Pawlak, On the almost continuity of the diagonal of functions, Real Analysis Exchange 23 (2), 1997/8, 459-470

 

Stanisław Goldstein

J.S.De La Fuente, S.Goldstein, J.M.F.Castillo, F.C.Sanchez, Twisting non-commutative Lp spaces, Advances in Mathematics, 2016, tom 294, 454-488

S.Goldstein, A.Paszkiewicz, Infinite Measures on von Neumann Algebras, International Journal of Theoretical Physics, 2015, tom 54, 4341-4348

S.Goldstein, L.E. Labuschagne, Composition Operators on Haagerup L-Spaces, Infinite Dimensional Analysis, Quantum Probability and Related Topics; Volume 12, Number 3 (2009); 439 – 468

S.Goldstein, Twisting of noncommutative Lp spaces, Espaces d’opérateurs, Espaces L_p non-commutatifs et Applications CIRM 25-26 juin 2007, Lumini France

S.J.Goldstein, L.E.Labuschagne, Composition Operators on Haagerup,w: $L^p$-spaces, arXiv:math/0603612v2[math.OA], 2007

S.Goldstein, L.Labuschagne, Composition operators on noncommutative Lp-spaces. Espaces d’opérateurs, Espaces L_p non-commutatifs et Applications CIRM 25-26 juin 2007, Lumini France

S.Goldstein, M.Lindsay, KMS-symmetry and Noncommutative Dirichlet Forms. Espaces d’opérateurs, Espaces L_p non-commutatifs et Applications CIRM 25-26 juin 2007, Lumini France

S.Goldstein, H.Jarchow, L.E.Labuschagne, Compactness Properties for Multiplication Operators on von Neumann Algebras and Their Predulas. Quantum Probability, Banach Center Publications, vol. 73, Institute of Mathematics Polish Academy of Sciences, 2006

W.Budzisz, M.Czarnecki, S.Goldstein, M.Pustelnik, Testy z egzaminów wstępnych na matematykę i informatykę z pełnymi rozwiązaniami, Wydział Matematyki Uniwersytetu Łódzkiego 1996-2001, 2002, 1-172

S.Goldstein, Phan Viet Thu, Lp -spaces for C*-algebras with a state, Quantum structures ’98 (Liptovský Ján), Internat. J. Theoret. Phys. 39 (3), 2000, 687–693

S.Goldstein, J.M.Lindsay, Markov semigroups KMS-symmetric for a weight, Mathematische Annalen 313, 1999, 39–67

S.Goldstein, I.F.Wilde, Independence in operator algebras, Foundations of Physics 29 (1), 1999, 79–89

S.Goldstein, Applications of noncommutative Lp-spaces, The Third Conference on Function Spaces at SIUE, 1998

S.Goldstein, J.M.Lindsay, Lp-spaces and quantum dynamical semigroups, Quantum Probability, Banach Center Publications, 43, Polish Academy of Sciences, 1998, 211-216

S.Goldstein, A.Paszkiewicz, Orthogonally additive functions on B(H), Quantum Probability and Related Topics, World Scientific, 1998

S.Goldstein, Phan Viet Thu, Lp-Spaces for UHF Algebras, International Journal of Theoretical Physics, 37 (1), 1998, 593-598

Ch.Barnett, S.Goldstein, I.S.Wilde, Quantum Stopping Times and Doob-Meyer Decomposition, J. Operator Theory 35, 1996, 85-106

S.Goldstein, Lp-Spaces for a Class of C*-Algebras, Quantum Structures, 1996

Goldstein, The Situation of Libraries in Poland, Proceedings of the First European Congress of Mathematicians, 1995

S.Goldstein, J.M.Lindsay, KMS – symmetric Markov semigroups, Math. Z. 219, nr 4, 1995, 591-608

 

Wojciech Horzelski

D.Doliwa, M.Frydrych, W.Horzelski, Network Monitoring and Management for Company with Hybrid and Distributed Infrastructure, Information Systems in Management, 2016, tom 5, nr 3, 326-335

D.Doliwa, M.Frydrych, W.Horzelski, Weight distribution in some linear codes, Zeszyty Naukowe Wyższej Szkoły Informatyki, 2016, tom 15, nr 1, 5-16

K.C.Lewandowski, A.Lewiński, E.Skowrońska-Jóźwiak, M.Stasiak, W.Horzelski, G.Brabant, Copeptin under glucagon stimulation, Endocrine, 2016, tom 2, 344-351

D.Doliwa, M.Frydrych, W.Horzelski, Ocena jakościowa kodów liniowych o skończonych charakterystykach, Studia i Materiały Informatyki Stosowanej, 2014, tom 6, nr 17, 10-15

M.Frydrych, W.Horzelski, Generator Kodów Liniowych o Skończonych Charakterystykach, Baza DBLP, 2014, arXiv:1411.2885v1 [cs.IT]

D.Doliwa, W.Horzelski, M.Jarocki, The system of planning and management of the medical services, Information Systems in Management, 2014, tom 3, zeszyt 1, 16-26

M.Grzesiak, P.Hincz, W.Horzelski, L.Podciechowski, J.Wilczyński, Epidural analgesia during labour: a retrospective cohort study on its effects on labour, delivery and neonatal outcome, Ginekologia Polska, 2014, tom 85, 922-927

K.Lewandowski, A.Lewiński, E.Skowrońska-Jóźwiak, M.Stasiak, W.Horzelski, G.Brabant, Copeptin concentrations increase during glucagon stimulation test: possible role of copeptin in assessment of anterior pituitary function, Endocrine – Abstracts, 2014, tom 35P826, DOI:10.1530/endoabs.35.P826

J.Czerbniak D.Doliwa, W.Horzelski, M.Jarocki, Modeling of Medical Services Using OWL, Journal of Applied Computer Science, 2013, tom 21, nr 2, 45-56

K.Bareła, D.Doliwa, W.Horzelski, M.Jarocki, Harmonogramowanie usług medycznych, Zeszyty Naukowe Wyższej Szkoły Informatyki, 2012, tom 11, nr 3, 91-99

D.Doliwa, W.Horzelski, M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, J.Skaruz, HarmonICS-a Tool for Composing Medical Services, Proceedings of the 4th Central-European Workshop on Services and their Composition (ZEUS-2012), 2012, 25-33

M.Frydrych, W.Horzelski, Modelowanie zapotrzebowania na zasoby sieciowe, Zeszyty Naukowe Wyższej Szkoły Informatyki, 2012, 53-61

D.Doliwa, W.Horzelski, Aplikacja Wspomagająca Zarządzanie Adresami IP Dla Dostawcy Internetu, Studia Informatica vol. 32 (97), 2011

D.Doliwa, W.Horzelski, Automatic management of IT infrastructure, Information Systems in Management VIII, 2011

D.Doliwa, W.Horzelski, M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, A.Zbrzezny, PlanICS-A Web Service Composition Toolset, Fundamenta Informaticae 112(1), 2011, 47-71

M.Frydrych, W.Horzelski, Zastosowanie Mechanizmu Cdb Do Rozwijania Aliasów Pocztowych, Studia Informatica vol.32 (97), 2011

D.Doliwa, M.Frydrych, W.Horzelski, Analiza współczynnika straty algorytmów pakowania First Fit oraz Best Fit przy ładunkach o rozkładzie Gaussa, VIII Krajowym Sympozjum Modelowanie i Symulacja Komputerowa w Technice, Łódź, 2010

D.Doliwa, W.Horzelski, Zarządzanie sprzętem i oprogramowaniem na zdalnych komputerach, Studia Informatica vol. 31 (90), Gliwice, 2010

D.Doliwa, W.Horzelski, M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, A.Zbrzezny, Web Service Composition Toolset, Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P’10), Informatik-Berichte 237(1), Humboldt University, Berlin, ISSN: 0863-095X, 2010,131-141

M.Frydrych, W.Horzelski, DBMAIL 8211; system poczty elektronicznej o architekturze bazodanowej, Studia Informatica vol. 31 (90), Gliwice 2010

P.Hincz, D.Borowski, M.Krekora, L.Podciechowski, W.Horzelski, Jan Wilczyński, Maternal obesity as a perinatal risk factor, Ginekologia Polska 5/2009 (80).

W.Horzelski, Analiza algorytmu sekwencyjnego dla zadania pakowania, Metody Informatyki Stosowanej, nr 1/2009 (18), 29 – 39

W.Horzelski, Analiza probabilistyczna wybranych sekwencyjnych algorytmów pakowania.VI Sympozjum Modelowanie i Stymulacja Komputerowa w Technice, 2008, 29-32

W.Horzelski, System rejestracji danych pacjentów dla Kliniki Medycyny Matczyno-Płodowej ICZMP w Łodzi, V Konferencja Informatyki Stosowanej, KIS’2006

W.Horzelski, Komputerowe wspomaganie procesu nauczania-uczenia się matematyki, Szkoła Zawodowa nr 7/95, 27-32

W.Horzelski, M.Jarocki, Algorytmy pakowania zadań w d-wymiarowej przestrzeni zasobowej, III Konferencja Sieci i Systemy Informatyczne, 1995, 101-107

 

Teresa Jankowska

J.A.Marciniak, T.Jankowska, B.Dudek, The computer test measuring vocational interests (CTMVI) of people with intellectual disabilities: method development, Kwartalnik pedagogiczny, 2015, tom 60 nr 1 (235)

 

Mariusz Jarocki

D.Doliwa, W.Horzelski, M.Jarocki, The system of planning and management of the medical services, Information Systems in Management, 2014, tom 3, zeszyt 1, 16-26

J.Czerbniak D.Doliwa, W.Horzelski, M.Jarocki, Modeling of Medical Services Using OWL, Journal of Applied Computer Science, 2013, tom 21, nr 2, 45-56

M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, PlanICS 2.0-a web service composition system, Advances in Software Development, 2013, tom I, 93-102

K.Bareła, D.Doliwa, W.Horzelski, M.Jarocki, Harmonogramowanie usług medycznych, Zeszyty Naukowe Wyższej Szkoły Informatyki, 2012, tom 11, nr 3, 91-99

D.Doliwa, W.Horzelski, M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, J.Skaruz, HarmonICS-a Tool for Composing Medical Services, Proceedings of the 4th Central-European Workshop on Services and their Composition (ZEUS-2012), 2012, 25-33

D.Doliwa, W.Horzelski, M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, A.Zbrzezny, PlanICS-A Web Service Composition Toolset, Fundamenta Informaticae 112(1), 2011, 47-71

D.Doliwa, W.Horzelski, M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, A.Zbrzezny, Web Service Composition Toolset, Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P’10), Informatik-Berichte 237(1), Humboldt University, Berlin, ISSN: 0863-095X, 2010,131-141

M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, A Formal Approach to Composing Abstract Scenarios of Web Services, Proc. Of the 18th Int. Conf., Intelligent Information Systems (IIS’10), ISBN: 978-83-7051-580-5, 2010, 3-22.

M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, Towards Automatic Composition of Web Services:Abstract Planning Phase, Raport IPI PAN 1017, luty 2010

M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, Towards Automatic Composition of Web Services:Abstract Planning Phase, rozdział książki SOA Infractructure Tools: Concepts and Methods, (edytorzy:S.Ambroszkiewicz, J.Brzeziński, W.Celary, A.Grzech, K.Zieliński, ISBN 978-83-7417-544-9), Poznań University of Economics Press, 2010,181-210
Jarocki, A. Niewiadomski, W. Penczek, A. Półrola, M. Szreter Składnia języków opisów ontologii oraz metody automatycznego wnioskowania i planowania, raport (część druga) dot. Programu Operacyjnego Innowacyjna Gospodarka „Nowe technologie informacyjne dla elektronicznej gospodarki i społeczeństwa informacyjnego oparte na paradygmacie SOA”, 2009

Jarocki, W. Penczek, A. Półrola, M. Szreter, Składnia języków opisów ontologii oraz metody automatycznego wnioskowania i planowania, raport (część pierwsza)dot. Programu Operacyjnego Innowacyjna Gospodarka „Nowe technologie informacyjne dla elektronicznej gospodarki i społeczeństwa informacyjnego oparte na paradygmacie SOA”, 2009
M.Frydrych, M.Jarocki,Integracja baz danych użytkowników w warunkach luźno sprzęgniętych sieci lokalnych, [w:] Bazy danych nowe technologie, Bezpieczeństwo, wybrane technologie i zastosowania, 2007, 251-256

M.Jarocki, M.Frydrych, Projekt rozproszonego repozytorium klas i obiektów w zastosowaniach akademickich, Konferencja Naukowa “Metody i narzędzia wytwarzania oprogramowania, 2007, 411-418

M.Jarocki, Narzędzia programowania sieciowego, skrypt dostępny przez Internet, 2005

M.Jarocki, Specyfikacja systemu operacyjnego PORTOS, Instytut Podstaw Informatyki Polskiej Akademii Nauk, 2000, 1-26

M.Jarocki, Projekt PORTOS – model środowiska operacyjnego zbudowanego nad systemem natywnym, VI Konferencja Sieci i Systemy Informatyczne, 1999, 229-240

W.Horzelski, M.Jarocki, Algorytmy pakowania zadań w d-wymiarowej przestrzeni zasobowej, III Konferencja Sieci i Systemy Informatyczne, 1995, 101-107

 

Maria Łuszczkiewicz-Piątek

M.Łuszczkiewicz-Piątek, Gaussian Mixture Model Based Non-Local Means Technique for Mixed Noise Suppression in Color Images, Advances in Intelligent Systems and Computing, 2015, tom 313, 75-83

M.Łuszczkiewicz-Piątek, B.Smołka, Robust Image Retrieval Based on Mixture Modeling of Weighted Spatio-color Information, Advances in Intelligent Systems and Computing, 2015, tom 313, 85-93

M.Łuszczkiewicz-Piątek, Which Color Space Should Be Chosen for Robust Color Image Retrieval Based on Mixture Modeling, Advances in Intelligent Systems and Computing, Image Processing and Communications Challenges 5, 2014, tom 233, 55-64

M.Łuszczkiewicz-Piątek, B.Smołka, Color Image Retrieval Based on Spatio-Chromatic Multichannel Gaussian Mixture Modelling, Proceedings of 8th International Symposium on Image and Signal Processing and Analysis (ISPA 2013), 2013, tom 9, 130-135

M.Łuszczkiewicz-Piątek, B.Smołka, Selective Color Image Retrieval Based on the Gaussian Mixture Model, Lecture Notes in Computer Science, 2012, 431-443

M.Łuszczkiewicz-Piątek, Cz. Pypno, Janusz Łuszczkiewicz, Efficient Method For Storage Of Long Conveyor Belts Passages Inside The Bulk Containers, Transport Problems: an International Scientific Journal 6(3), 2011, 77-85

M.Łuszczkiewicz-Piątek, B.Smolka, Color Image Retrieval Based on Mixture Approximation and Region Matching, Lecture Notes in Computer Science Volume 95, 2011, 337-345

M.Łuszczkiewicz-Piątek, B.Smolka, Effective Color Image Retrieval Based on the Gaussian Mixture Model, Lecture Notes in Computer Science Volume 6626, 2011, 199-213

M.Łuszczkiewicz-Piątek, B.Smolka, Image Retrieval Based on Gaussian Mixture Approach to Color Localization, Lecture Notes in Computer Science Volume 6978, 2011, 347-355

 

Artur Męski

P.Cybula, A.Męski, A.Półrola, SMT-Based Reachability Checking for Bounded Time Petri Nets, Fundamenta Informaticae, 2014, tom 135 (4), 467-482

M.Knapik, A.Męski, W.Penczek, Action Synthesis for Branching Time Logic: Theory and Applications, Proceedings of the International Conference on Application of Concurrency to System Design (ACSD’14), 2014, 1-10, DOI:10.1109/ACSD.2014.22

A.Męski, W.Penczek, M.Szreter, B.Woźna-Szcześniak, A.Zbrzezny, BDD-Versus SAT-based Bounded Model Checking for the Existential Fragment of Linear Temporal Logic with Knowledge: Algorithms, and their Performance, Journal of Autonomous Agents and Multi-Agent Systems, 2014, tom 28, 558–604

P.Cybula, A.Męski, A.Półrola, SMT-Based Reachability Checking for Bounded Time Petri nets, Proceeding of the International Workshop on Concurrency, Specification and Programming, 2013, tom 1032, 332-341

W.Jamroga, A.Męski, M.Szreter, Modularity and Openness in Modeling Multi-Agent Systems, Proceedings of the Fourth International Symposium on Games, Automata, Logics and Formal Verification GandALF, 2013, tom 119, 224-239

A.Męski, W.Penczek, M.Szreter, BDD-based Bounded Model Checking for LTLK over Two Variants of Interpreted Systems, Joint Proceedings of LAM 2012, WooPS 2012 and Compo Net 2012, 2012, 35-49

A.Męski, W.Penczek, M.Szreter, Bounded Model Checking for Linear Time Temporal-Epistemic Logic, Imperial College Computing Student Workshop (ICCSW 2012), 2012, 88-94

A.Męski, W.Penczek, M.Szreter, B.Woźna-Szcześniak, A.Zbrzezny, Bounded Model Checking for Knowledge and Linear Time, Proceedings of 11th International Conference on Autonomous and Multiagent Systems (AAMAS), 2012, 1447-1448

A.Męski, W.Penczek, M.Szreter, B.Woźna-Szcześniak, A.Zbrzezny, Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge, Agent and Multi-Agent Systems. Technologies and Applications-6th KES International Conference, KES-AMSTA 2012, 2012, 514-523

A.Męski, W.Penczek, A.Półrola, BDD-Based Bounded Model Checking for Temporal Properties of !-Safe Petri Nets, Fundamenta Informaticae 109(3), 2011, 305-321

A.Męski, W.Penczek, A.Półrola, B.Woźna-Szcześniak, A.Zbrzezny, Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets, Proc. of the Int. Workshop “Petri Nets and Software Engineering”(PNSE’11), 2011, 72-91

A.Męski, W.Penczek, M.Szreter, Bounded Model Checking Linear Time and Knowledge Using Decision Diagrams, Proc. of the Workshop on Concurrency, Specification and Programming (CS&P’11), 2011,363-375

A.Męski, W.Penczek, A.Półrola, BDD-Based Bounded Model Checking for Elementary Net Systems, Proc. Of the Int. Workshop on Concurrency, Specification and Programming (CS&P’10), ISSN: 0863-095X, 2010, 219-230

A.Męski, A.Półrola, Modelowanie i weryfikacja protokołu SCTP z wykorzystaniem automatów czasowych ze zmiennymi, Mat. VI Symp. ‘Modelowanie i Symulacja Komputerowa w Technice&#8217, 2008, 87-92

 

Krzysztof Miodek

K.Miodek, Rozproszona firma w oparciu o Open VPN, „Internet 2005”, tom 1, 2005, 75 –83

K.Miodek, J.Pychowski, Elastyczny system uprawnień użytkowników w systemie zarządzania bazą danych PostgreSQL., „Bazy danych – modele, technologie, narzędzia. Architektura, metody formalne, bezpieczeństwo”, 2005, 309 – 314

S.Ambroszkiewicz, K.Cetnarowicz, K.Miodek, T.Nowak, L.Rozwadowski, Semantyczna Interoperabilność w Przestrzeni Agentowej, Polski Internet Optyczny: Technologie, Usługi i Aplikacje – PIONIER 2001, 2001, 2-9

K.Miodek, Nowe podejście w zarządzaniu giełdą tekstylną w internecie – systemy agentowe, VIII Międzynarodowa Konferencja Naukowa, Wydział Organizacji i Zarządzania Politechniki Łódzkiej, 2001, 7

K.Miodek, Wykorzystanie tekstylnej giełdy towarowej w internecie jako narzędzia do zarządzania produkcją, VIII Międzynarodowa Konferencja Naukowa, Wydział Organizacji i Zarządzania Politechniki Łódzkiej, 2001, 11

 

Mariusz Nieniewski

M.Nieniewski, P.Zajączkowski, Real-Time Ultrasound Image Enhancement by Forward-Backward Diffusion Using GPU, Advances in Intelligent Systems and Computing, Image Processing and Communications Challenges 7, 2016, tom 389, 177-186

M.Nieniewski, Enhancement of Despeckled Ultrasound Images by Forward-Backward Diffusion, Lecture Notes in Computer Science, International Conference Computer Vision and Graphics, ICCVG 2014, 2014, tom 8671, 454-461

M.Nieniewski, P.Zajączkowski, Real-Time Speckle Reduction in Ultrasound Images by Means of Nonlinear Coherent Diffusion Using GPU, Lecture Notes in Computer Science, International Conference Computer Vision and Graphics, ICCVG 2014, 2014, tom 8671, 462-469

M.Bator, M.Nieniewski, Detection of Cancerous Masses in Mammograms by Template Matching: Optimization of Template Brightness Distribution by Means of Evolutionary Algorithm, Journal of Digital Imaging, 2012, 162-17

M.Bator, M.Nieniewski, Detection of Cancerous Masses in Mammograms by Template Matching: Optimization of Template Brightness Distribution by Means of Evolutionary Algorithm, Journal of Digital Imaging, 2011, 1-11 

 

Jakub Olejnik

A.Olejnik, J.Olejnik, An empirical example of spatial process of productivity growth in NUTS 2 regions, working paper (preprint), RePEc, https://ideas.repec.org/, 2015

J.Olejnik, On unconditional convergence of orthogonal fields, Acta Mathematica Hungarica, 2015, tom 145, 516–530

J.Olejnik, On a construction of majorizing measures on subsets of R^n with special metrics, Studia Math. 197 (2010), 1-12

J.Olejnik, On Paszkiewicz-type criterion for a.e. continuity of processes in Lp-spaces, Banach Center Publ. 90 (2010), 103-110

Paszkiewicz, J.Olejnik, Reinsurance-a new approch, Banach Center Publ. 90 (2010), 139-151

J.Olejnik, On a characterization of a.e. continuous processes in Lp-space, preprint WMiI UŁ, 2008/16

A Paszkiewicz, J.Olejnik, Ciągłość procesów o ograniczonych przyrostach, istnienie miar majoryzujących oraz skończoność wyceny pewnego ryzyka, X Konferencja z probabilistyki, Będlewo, 2009.

A Paszkiewicz, J.Olejnik, On continuity of stochastic processes and on models of insurance (some complete characterizations)

 

Agata Półrola

P.Cybula, A.Męski, A.Półrola, SMT-Based Reachability Checking for Bounded Time Petri Nets, Fundamenta Informaticae, 2014, tom 135 (4), 467-482

P.Cybula, A.Męski, A.Półrola, SMT-Based Reachability Checking for Bounded Time Petri nets, Proceeding of the International Workshop on Concurrency, Specification and Programming, 2013, tom 1032, 332-341

A.Janowska, W.Penczek, A.Półrola, A.Zbrzezny, Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets, LNCS Transactions on Petri Nets and Other Models of Concurrency, 2013, tom 8100, 89-105

M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, PlanICS 2.0-a web service composition system, Advances in Software Development, 2013, tom I, 93-102

A.Janowska, W.Penczek, A.Półrola, A.Zbrzezny, Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’2012), 2012, 15-31

D.Doliwa, W.Horzelski, M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, J.Skaruz, HarmonICS-a Tool for Composing Medical Services, Proceedings of the 4th Central-European Workshop on Services and their Composition (ZEUS-2012), 2012, 25-33

A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, A.Zbrzezny, Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios, Fundamenta Informaticae, 2012, 181-203

D.Doliwa, W.Horzelski, M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, A.Zbrzezny, PlanICS-A Web Service Composition Toolset, Fundamenta Informaticae 112(1), 2011, 47-71

A.Janowska, W.Penczek, A.Półrola, A.Zbrzezny, Towards Discrete-Time Verification of Time Petri Nets with Dense-Time Semantics, Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P’11), 2011, 215-228

A.Męski, W.Penczek, A.Półrola, BDD-Based Bounded Model Checking for Temporal Properties of !-Safe Petri Nets, Fundamenta Informaticae 109(3), 2011, 305-321

D.Doliwa, W.Horzelski, M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, A.Zbrzezny, Web Service Composition Toolset, Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P’10), Informatik-Berichte 237(1), Humboldt University, Berlin, ISSN: 0863-095X, 2010,131-141

M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, A Formal Approach to Composing Abstract Scenarios of Web Services, Proc. Of the 18th Int. Conf., Intelligent Information Systems (IIS’10), ISBN: 978-83-7051-580-5, 2010, 3-22.

M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, Towards Automatic Composition of Web Services:Abstract Planning Phase, Raport IPI PAN 1017, luty 2010

M.Jarocki, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, Towards Automatic Composition of Web Services:Abstract Planning Phase, rozdział książki SOA Infractructure Tools: Concepts and Methods, (edytorzy:S.Ambroszkiewicz, J.Brzeziński, W.Celary, A.Grzech, K.Zieliński, ISBN 978-83-7417-544-9), Poznań University of Economics Press, 2010,181-210

M.Knapik, W.Penczek, M.Szreter, A.Półrola, Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics, Fundamenta Informaticae 101 (1-2), IOS Press, 2010, 9-27.

A.Męski, W.Penczek, A.Półrola, BDD-Based Bounded Model Checking for Elementary Net Systems, Proc. Of the Int. Workshop on Concurrency, Specification and Programming (CS&P’10), ISSN: 0863-095X, 2010, 219-230

A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, A.Zbrzezny, Towards Automatic Composition of Web Services:SAT-Based Concretisation of Abstract Scenarios, Proc. of the Int. Workshop on Concurrency, Specification, and Programming (CS&P’10), ISSN: 0863-095X, 2010, 231-242

W.Penczek, A.Półrola, A.Zbrzezny, Towards Automatic Composition of Web Services:A SAT-Based Phase, Proc. of the 2nd Int. Workshop on Abstractions for Petri Nets and Other Models of Concurrency and of the Int. Workshop on Scalable and Usable Model Checking (APNOC’10+SUMo’10) ISBN: 978-972-8692-56-8, 2010, 76-96

B.Woźna-Szcześniak, A.Półrola, Weryfikacja modelowa, rozdział książki Metody formalne w inżynierii oprogramowania sysytemów czasu rzeczywistego, (autorzy:T.Szmuc, M.Szpyrka;ISBN 978-83-204-3669-3), WNT, 2010
Jarocki, A. Niewiadomski, W. Penczek, A. Półrola, M. Szreter Składnia języków opisów ontologii oraz metody automatycznego wnioskowania i planowania, raport (część druga) dot. Programu Operacyjnego Innowacyjna Gospodarka „Nowe technologie informacyjne dla elektronicznej gospodarki i społeczeństwa informacyjnego oparte na paradygmacie SOA”, 2009

Jarocki, W. Penczek, A. Półrola, M. Szreter, Składnia języków opisów ontologii oraz metody automatycznego wnioskowania i planowania, raport (część pierwsza)dot. Programu Operacyjnego Innowacyjna Gospodarka „Nowe technologie informacyjne dla elektronicznej gospodarki i społeczeństwa informacyjnego oparte na paradygmacie SOA”, 2009
M.Kacprzak, W. Nabiałek, A. Niewiadomski, W. Penczek, A.Półrola, M. Szreter, B. Woźna, A. Zbrzezny, VerICS 2008 – A Model Checker for Time Petri Nets and High Level Languages, Proc. Of Int. Workshop on Petri Nets and Software Engineering (PNSE’09), University of Hamburg, 2009, 119-132

M.Knapik, A. Niewiadomski, W. Penczek, A.Półrola, M. Szreter, A. Zbrzezny, Parametric Model Checking with VerICS, Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P’09), vol.2, Warsaw University, 2009, 443-454
Knapik, W. Penczek, A.Półrola, Bounded Parametric Verification for Time Petri Nets with Discrete-Time Semantics, Proc. Of the Int. Workshop on Concurrency, Specification and Programming (CS&P’09), vol.1, Warsaw University, 2009, 277-290

Penczek, A. Półrola, A. Zbrzezny, SAT-Based (Parametric) Reachability for Distributed Time Petri Nets, Proc. Of Int. Workshop on Petri Nets and Software Engineering (PNSE’09), University of Hamburg, 2009, 133-154

M.Kacprzak, W.Nabiałek, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, B.Woźna, A.Zbrzezny, VerICS 2007 – a Model Checker for Knowledge and Real-Time, Fundamenta Informaticae 85(1-4), 2008, 313-328

A.Męski, A.Półrola, Modelowanie i weryfikacja protokołu SCTP z wykorzystaniem automatów czasowych ze zmiennymi, Mat. VI Symp. ‘Modelowanie i Symulacja Komputerowa w Technice&#8217, 2008, 87-92

M.Kacprzak, W.Nabiałek, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, B.Woźna, A.Zbrzezny, VerICS 2006 – A Model Checker for Real-Time and Multi-Agent Systems, Int. Workshop on Concurrency, Specification and Programming (CS&P’07), vol. 2, 2007, 345-356

M.Kacprzak, W.Nabiałek, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, B.Woźna, A.Zbrzezny, VerICS 2006 – weryfikator dla systemów czasowych i wieloagentowych, Mat. Konferencji Systemy Czasu Rzeczywistego(SCR’07) Metody i zastosowania, 2007, 243-252

A.Zbrzezny, A.Półrola, SAT-Based Reachability Checking for Timed Automata with Discrete Data, Fundamenta Informaticae 79 (3-4), 2007, 579-593

W.Penczek, A.Półrola, Advances in Verification of Time Petri Nets and Timed Automata, Studies in Computational Intelligence 20, 2006

A.Zbrzeźny, A.Półrola,SAT-Based Reachability Checking for Timed Automata with Discrete Data, Proc. of the Int. Concurrency, Specification and Programming (CS&P’2006); Informatik-Bericht Nr 206, vol.2, 2006, 207-218

A.Półrola, Abstract Models for Time Petri Nets for TCTL Verification, abstrakt, Proc. of the Int. Workshop ‘Concurrency, Specification and Programming’ (CS&P’05), 2005, str. 420

W.Nabiałek, A.Niewiadomski, W.Penczek, A.Półrola, M.Szreter, VerICS 2004: A Model Checker for Real Time and Multi-agent Systems, Int. Workshop on Concurrency, Specification and Programming (CS&P’04), Informatik-Berichte 170(1), 2004, 88-99

W.Penczek, A.Półrola, Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata, Proc. of the 25th Int. Conf. on Application and Theory of Petri Nets (ATPN’04), LNCS, vol. 3099, 2004, 37-76

W.Penczek, A.Półrola, B.Woźna, A.Zbrzezny, Bounded Model Checking for Reachability Testing in Time Petri Nets, Int. Workshop on Concurrency, Specification and Programming (CS&P’04), Informatik-Berichte 170(1), 2004, 124-135

A.Półrola, W.Penczek, Minimization Algorithms for Time Petri Nets, Fundamenta Informaticae 60(1-4), 2004, 307-331

A.Półrola, W.Penczek, M.Szreter, Towards Efficient Partition Refinement for Checking Reachability in Timed Automata, Proc. of. the 1st Int. Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS’03), LNCS, vol. 2791, 2004, 2-17

P.Dembiński, A.Janowska, P.Janowski, W.Penczek, A.Półrola, B.Woźna, M.Szreter, A.Zbrzezny, VerICS: A Tool for Verifying Timed Automata and Estelle Specifications, Proc. of the 9th Int. Conf. on Tools and Algorithms for Construction and Analysis of Systems (TACAS’03), LNCS, vol. 2619, 2003, 278-283

P.Dembiński, A.Janowska, P.Janowski, W.Penczek, A.Półrola, B.Woźna, M.Szreter, A.Zbrzezny, VerICS: weryfikator dla automatów czasowych i specyfikacji zapisanych w języku Estelle, Mat. X Konferencji Systemy Czasu Rzeczywistego (SCR’03), 2003, 17-26

A.Półrola, W.Penczek, Minimization Algorithms for Time Petri Nets, Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P’03), vol.2, 2003, 440-455

A.Półrola, W.Penczek, M.Szreter, Reachability Analysis for Timed Automata Based on Partitioning, Raport IPI PAN 961, czerwiec 2003

A.Półrola, W.Penczek, M.Szreter, Reachability Analysis for Timed Automata Using Partitioning Algorithms, Fundamenta Informaticae 55(2), 2003, 203-221

P.Dembiński, W.Penczek, A.Półrola, Automated Verification of Infinite State Concurrent Systems: an Improvement In Model Generation, Parallel Processing and Applied Mathematics, 4th International Conference, PPAM 2001, Lecture Notes in Computer Science, vol. 2328, 2002, 247-­255

P.Dembiński, W.Penczek, A.Półrola, Verification of Timed Automata Based on Similarity, Fundamenta Informaticae 51(1-2), 2002, 59-89

W.Penczek, A.Półrola, M.Szreter, Towards refining partitioning for checking reachability in Timed Automata, Workshop Concurrency, Specification and Programming CS&P’2002, Vol. 2, Informatik-Berichte Nr. 161, 2002, 278-291

A.Półrola, Weryfikacja własności TCTL dla sieci Petriego z czasem, IX Konferencja Systemy Czasu Rzeczywistego, 2002, 141-153

P.Dembiński, W.Penczek, A.Półrola, Verification of Timed Automata based on Similarity, Proc. of the Concurrency Specification and Programming, (CS&P’2001 Workshop), 2001, 76-86

W.Penczek, A.Półrola, Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets, Proc. of the Int. Conf. on Applications and Theory of Petri Nets (ICATPN’01), Lecture Notes in Computer Science, vol. 2075, 2001, 323-342

 

Jan Pustelnik

P.Fulmański, A.Nowakowski, J.Pustelnik, Dynamic Programming Approach to Structural Optimization Problem – Numerical Algorithm, Opuscula Mathematica, 2014, tom 34, nr 4, 699-724

J.Pustelnik, Numerical Shape Optimization via Dynamic Programming, System Modeling and Optimization; IFIP AICT (Advances in Information and Communication Technology); Proceedings of the 25th IFIP TC 7 Conference, 2013, tom 391, 417-426

J.Pustelnik, Approximation of an Optimal Value of a Bolza Functional, Optimization, 2011, 1-11

J.Pustelnik, A Method for Constructing e-Value Functions for the Bolza Problem of Optimal Control, Int. J. Appl. Math. Comput. Sci., vol 2(15), 2005, 177-186

J.Pustelnik, Ś.Sobieski, Metagen – tekstowe narzędzie do generowania schematów baz danych w SQL ze związków encji. Praca zbiorowa „Bazy danych – modele, technologie, narzędzia. Architektura, metody formalne, bezpieczeństwo”, 2005, 85 – 90

J.Pustelnik, A numerical method for calculation of optimal values of functional J(u,x) in problem of optimal control in general setting, “Friction 2004, Modelling and Simulation of the Friction Phenomena in the Physical and Technical Systems”, 2004

J.Pustelnik, Practical aspects of calculating approximate values of functional J(u,x) in Bolza problem of optimal control, „Materiały XII Francusko-Polskiego Seminarium Naukowego Mechaniki”, 2004

 

Piotr Sielski

P.Sielski, On a New Type of Sufficiency in Undominated Models, Statistics: A Journal of Theoretical and Applied Statistics, 2012, 1-13

P.Sielski, Statistical Sufficiency.Preprint Wydziału Matematyki i Informatyki UŁ, nr 2008/20

 

Magdalena Stobińska

R.Vorobel, M.Stobińska, Rozszerzony model logarytmicznego przetwarzania obrazów, Automatyka, t.15, z.3

 

Paweł Zajączkowski

M.Nieniewski, P.Zajączkowski, Real-Time Ultrasound Image Enhancement by Forward-Backward Diffusion Using GPU, Advances in Intelligent Systems and Computing, Image Processing and Communications Challenges 7, 2016, tom 389, 177-186

M.Nieniewski, P.Zajączkowski, Real-Time Speckle Reduction in Ultrasound Images by Means of Nonlinear Coherent Diffusion Using GPU, Lecture Notes in Computer Science, International Conference Computer Vision and Graphics, ICCVG 2014, 2014, tom 8671, 462-469

Ś. Sobieski, P.Zajączkowski, The Concept of Internet System Supporting Process of Making decision of Study profile Choice by Candidates based on Fuzzy Logic, Prod. Of the IADIS International Conference WWW/INTERNET 2009, vol. II, Italy, ISBN: 978-972-8924-93-5, 2010, 190-194