Publikacje Katedry Informatyki Stosowanej

2012

 

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-172

 

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

 

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

 

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

 

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.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

 

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

 

 

2011

 

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

 

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

 

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

 

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,

 

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

 

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

 

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

 

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

 

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

 

 

2010

 

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

 

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

 

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

 

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

 

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

 

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

 

Ś. 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

 

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

 

 

2009

 

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.

 

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.

 

M. 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

 

M. 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

 

M. 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

 

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)

 

W. 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

 

 

2008

 

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

 

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

 

P.Majewski, Syllable Based Language Model for Large Vocabulary Continuous Speech Recognition of Polish. In: P. Sojka et al. (Eds.) Proceedings of the 11th International Conference TSD 2008 LNCS vol. 5246, 2008, 397-401

 

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

 

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

 

 

2007

 

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

 

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

 

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.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

 

 

2006

 

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.Horzelski, System rejestracji danych pacjentów dla Kliniki Medycyny Matczyno-Płodowej ICZMP w Łodzi, V Konferencja Informatyki Stosowanej, KIS’2006

 

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

 

 

2005

 

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

 

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

 

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

 

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

 

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

 

2004

 

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

 

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.

 

2003

 

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

 

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

 

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

 

2002

 

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

 

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

 

 

2001

 

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

 

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

 

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

 

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

 

 

2000

 

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

 

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

 

 

1999

 

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

 

Z.Gusieva, S.Karpova, J.Kempa, A.Kryś, E.Kryś, V.S.Puchkov, The analysis of the “energetic” Halo in a X-ray calorimeters, Nuclear Physics B (Proc. Suppl.) 75A, 1999, 165–167

 

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

 

A.Kryś, E.Kryś, The mechanism of “Halo” formation in a Hadron block of X-ray calorimeters, Nuclear Physics (Proc. Suppl.) B 75A, 1999, 168–170

 

E.Kryś, A.Wasilewski, Cosmic gamma-rays and cosmic ray particles, 26th International Cosmic Ray Conference 3, 1999, 280-283

 

 

1998

 

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

 

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

 

 

1997

 

E.Kryś, Can gammas of the highest (PeV) energies from point sources be observed?, The Cosmic Ray Mass Composition, XV Cracow Summer School of Cosmology, 1997, 190-206

 

 

1996

 

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

 

 

1995

 

S. 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

 

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

 

E.Kryś, May gammas of the highest energy from point sources be observed? Towards a Major Cherenkov Light, 1995, p.87-110

 

E. Kryś, Photoproduction in gamma initiated showers, 24-th ICRC, v.1, 1995, 503-506

 

E.Kryś, A.Wasilewski, May gammas of energies 1015-1016eV from point sources be observed?, Towards a Major Atmospheric Cherenkov Detector-IV,1995, 87–115