Janina Mincer-Daszkiewicz, Ph.D.

Janina Mincer-Daszkiewicz

Associate Professor in Computer Science at the Faculty of Mathematics, Informatics and Mechanics, Warsaw University in Warsaw, Poland.

Main fields of research interest:

Operating systems, distributed systems, computer networks, parallel programming, performance evaluation, software engineering (formal documentation and specification methods).

Selected publications:

  1. "Informatyzacja uczelni wyższych w świetle nowej Ustawy 'Prawo o szkolnictwie wyższym'", prezentacja na XV edycji konferencji "Informatyczne wspomaganie zarządzania uczelnią", CPI, 21.02.2012, Warszawa, prezentacja, 48 stron.
  2. "How to Fight for the ECTS Label", sesja plakatowa w ramach EUNIS 2011, 15-17 June 2011, Dublin, Ireland (coauthor: Wojciech Rygielski).
  3. "The Mobility Project. Progress Report", Prezentacja na spotkaniu RS3G (Rome Student Systems and Standard Group), w ramach konferencji EUNIS 2011, 14 June 2011, Dublin, Ireland.
  4. "How to Make Paperless Mobility between Higher Education Institutions possible?", TERENA Networking Conference TNC 2011, 16-19 May, Prague, Czech Republic (presentation is available at https://tnc2011.terena.org/web/media/archive/10B - starting from app. 62:45).
  5. "The Mobility Project - Building Network of Web-servers for Exchange of Data on Student Mobility" in "University Information Systems. Selected Problems', ed. Leszek Rudak, 2010, pp. 332-341, proceedings of EUNIS 2010, The 16th International Conference of European University Information Systems, 23-25 June 2010, Warszawa, Polska.
  6. "Exchange of Data on Mobility Between Higher Education Intitutions and the National Agency for Coordination of EU Programmes in Poland" in "University Information Systems. Selected Problems', ed. Leszek Rudak, 2010, pp. 342-355, proceedings of EUNIS 2010, The 16th International Conference of European University Information Systems, 23-25 June 2010, Warszawa, Polska.
  7. "The Mobility Project. Review of the current status". Prezentacja na spotkaniu RS3G (Rome Student Systems and Standard Group), w ramach konferencji EUNIS 2010, "Moving forward - projects, standards and implementations in support of the EHEA". 23-25 June 2010, Warszawa, Polska.
  8. "Mobilni studenci czyli o wsparciu informatycznym dla krajowej i międzynarodowej wymiany studentów", Konferencja GigaCon, cykl IT w uczelniach, 23.09.2009, Warszawa, prezentacja 37 stron.
  9. "Web-services for Exchange of Data on Cooperation and Mobility between Higher Education Institutions", EUNIS 2009, The 15th International Conference of European University Information Systems, 23-26 June 2009, Santiago de Compostela, Hiszpania, abstract na stronie 76, 13 stron (coauthors: Fabio Arcella, Simone Ravaioli).
  10. "MUCI - CINECA call for participation. Web-services for Exchange of Data on Cooperation and Mobility between Higher Education Institutions". Prezentacja na spotkaniu RS3G (Rome Student Systems and Standard Group), w ramach konferencji EUNIS 2009, "Harmonizing Higher Education: 'Standard' perspectives in support of the Bologna Process toward the creation of a European Higher Education Area". 23 June 2009, Santiago de Compostela, Hiszpania (coauthors: Fabio Arcella, Simone Ravaioli).
  11. "Uniwersytecki System Obsługi Studiów. Współpraca z IBM.". Konferencja "Rozwój aplikacji na platformach IBM", Bezmiechowa Górna 17-19 czerwca 2009 (coauthors: Mariusz Czerniak - UMK, Krzysztof Sprawnik - IBM), 14 stron.
  12. "Uniwersytecki System Obsługi Studiów", wiosenna konferencja Oracle dla uczelni wyższych, 1.04.2009, Warszawa, prezentacja 61 stron.
  13. "Uczelnie polskie w Europie czyli o wsparciu informatycznym dla programów współpracy i wymiany międzynarodowej", prezentacja na IX edycji konferencji Informatyczne Wspomaganie Zarządzania Uczelnią "Zarządzanie infrastrukturą IT na uczelni wyższej", CPI, 25.02.2009, Warszawa, prezentacja 31 stron.
  14. "Wdrożenie systemu informatycznego na uczelni wyższej. Dobre praktyki i doświadczenia", Warsztaty CPI, 28.01.2009, Warszawa (coauthor: Mariusz Czerniak), prezentacja 97 stron.
  15. "Zarządzanie tożsamością w systemach internetowych uczelni wyższych", VIII edycja konferencji Informatyczne Wspomaganie Zarządzania Uczelnią "Infrastruktura IT na wyższej uczelni - czyli jak zapanować nad chaosem", 7.10.2008, Warszawa, str. 5-24.
  16. "International Cooperation and Mobility in Higher Education from IT Perspective", EUNIS 2008, The 14th International Conference of European University Information Systems, 24-27 June 2008, Aarhus, Dania, abstract na stronie 133, stron 11.
  17. "Dobór oprogramowania dla uczelni wyższych", Trzynaste Forum Teleinformatyki, Panel dyskusyjny "Neutralność technologiczna i byty pokrewne", Legionowo, 27.09.2007, pp. 6-16.
  18. "Na studia z KReM-em", Forum Akademickie nr 7-8, pp. 67-69, 2007.
  19. "Electronic Student Identity Cards at the University of Warsaw", EUNIS 2007, The 13th International Conference of European University Information Systems, 26-29 June 2007, Grenoble, Francja, abstract na stronie 34, stron 7.
  20. "Jak USOS z IRK-ą i CUS-iem radzą sobie na uczelniach wyższych", Dzień Dobry Informatyku nr 9, 2006, p.4.
  21. "Możliwości wykorzystania własnej kadry informatycznej (pracownicy, studenci) do opracowania założeń systemowych, przygotowania specyfikacji, implementacji i zarządzania systemem na uczelni wyższej", IV edycja konferencji 'Informatyczne wspomaganie zarządzania uczelnią - sposoby integracji poszczegolnych dziedzin działalności uczelni', 28 września 2006, Warszawa.
  22. "Dla kogo jest KReM? O systemie automatycznej kwalifikacji kandydatów na studia", Forum Akademickie nr 6, pp. 48-49, 2006.
  23. "Central Registry for Results of Maturity Examinations for Student Admission Systems in Poland", EUNIS 2006, The 12th International Conference of European University Information Systems, 28-30 June 2006, Tartu, Estonia, pp. 486-492.
  24. "Jak USOS współpracuje z CUS czyli o autoryzacji użytkowników w serwisach internetowych UW", Uniwersytet Warszawski, pismo uczelni, No. 4 (25), pp. 28-30, December 2005 (co-author: p. Baszkiewicz).
  25. "Computer system support for the Bologna process at Warsaw University", EUNIS 2005, The 11th International Conference of European University Information Systems, 21-24 June 2005, Manchester, United Kingdom.
  26. "Przez Internet na studia", Forum Akademickie, No. 3, 2005, pp. 41-43 (co-author: S. Jackowski).
  27. "Dyplomy w sieci", Uniwersytet Warszawski, pismo uczelni, No. 4 (20), pp. 41-43, September 2004 (co-author: S. Jackowski).
  28. "Elektroniczna immatrykulacja", Uniwersytet Warszawski, pismo uczelni, No. 3 (19), June 2004 (co-author: S. Jackowski).
  29. "Student Admission System for Warsaw University", EUNIS 2004, The Tenth International Conference of European University Information Systems, 29 June-4 July 2004, Bled, Slovenia, pp. 328-336.
  30. "New Course Registration Module for the University Study-Oriented System", EUNIS 2004, The Tenth International Conference of European University Information Systems, 29 June-4 July 2004, Bled, Slovenia, pp. 247-252 (co-authors: Krzysztof Ciebiera, Tomasz Waleń).
  31. "Uniwersytecki System Obsługi Studiów z perspektywy użytkowników", Forum Akademickie, No. 4 (part 1, pp.28-30), 5 (part 2, pp.28-29), 2004 (co-author: S. Jackowski).
  32. "Teaching Software Engineering by Developing Commodity Software", EISTA 2003, International Conference on Education and Information Systems: Technologies and Applications, July 31-August 2, Orlando, Florida, USA, pp. 449-454.
  33. "Deploying University Study-Oriented System at Polish Universities", EUNIS 2003, 9th International Conference of European University Information Systems, 2-4 July 2003, Amsterdam, the Netherlands, pp. 513-517.
  34. "USOS: Student Management Information Systems for Polish Universities", Joint International Conference on State of The Art in Administrative Computing, 18-20 November, 2002, Tartu, Estonia.
  35. "Tworzenie i wdrażanie produkcyjnego oprogramowania w środowisku akademickim", IV Krajowa Konferencja Inżynierii Oprogramowania - KKIO'2002, 15-18 października 2002, Poznań, Poland, pp. 299-314.
  36. "Student Management Information System for Polish Universities", EUNIS 2002, 8th International Conference of European University Information Systems, 19-22 June 2002, Porto, Portugal, pp. 275-281.
  37. "Tworzenie produkcyjnego oprogramowania w środowisku akademickim", III Krajowa Konferencja Inżynierii Oprogramowania - KKIO'2001, 17-20 października 2001, Otwock, Poland, pp. 225-236.
  38. "Formalna weryfikacja modułów programistycznych w podejściu funkcyjnym", II Krajowa Konferencja Inżynierii Oprogramowania - KKIO'2000, 18-20 października 2000, Zakopane.
  39. "Towards Automated Consistency Checking of Module Interface Specifications", Fundamenta Informaticae, Vol. 42, no 3-4, July 2000, pp.251-278 (co-authors: M.Engel, A.Kret).
  40. "Wspomaganie tworzenia poprawnego oprogramowania w podejściu funkcyjnym", I Krajowa Konferencja Inżynierii Oprogramowania - KKIO'99, 11-13 października 1999, Kazimierz Dolny, Poland, Informatyka Stosowana, Politechnika Lubelska, S4-99, 1999, pp. 171-184. (co-author: J.Madey).
  41. "Increasing Automation Capabilities of the PVS Theorem Prover", Proceedings of the CS&P'98 Workshop, Berlin, 28-30 September 1998, (co-authors: M.Engel, A.Kret).
  42. "Generating PVS Proof Obligations for TAM Specifications", Proceedings of the CS&P'97 Workshop, Warsaw, 1997, (co-authors: M.Engel, M.Iglewski).
  43. "TAM'97: the Trace Assertion Method of Module Interface Specification", Reference Manual, Technical Report TR 97-01 (238), Warsaw University, Institute of Informatics, Warsaw, Poland, 1997, (co-authors: M.Iglewski, M.Kubica, J.Madey, K.Stencel).
  44. "Internal Design of Modules Specified in The Trace Assertion Method", Science of Computer Programming, 28, 1997, pp.139-170, (co-author: M.Iglewski).
  45. "The Fun-Project: From Requirements Specification to Program Presentation", IIUW Technical Report, TR 95-18 (218), 1995, (co-authors: M.Iglewski, M.Kubica, J.Madey, K.Stencel).
  46. "Case Study in Trace Specification of Non-deterministic Modules", Proceedings of the CSP'95 Workshop, Warsaw, 1995, (co-authors: M.Iglewski, K.Stencel).
  47. "Some Experience with Specification of Non-deterministic Modules", Technical Report RR 94/09-7, Universite du Quebec a Hull, Canada, 1994, pp.13, (co-authors: M.Iglewski, K.Stencel).
  48. "Evalnet: a step towards an integrated environment for computer systems performance evaluation", in: G.Balbo, G.Serazzi (eds), Computer Performance Evaluation, Modelling Techniques and Tools for Computer Performance Evaluation, Proc. of the 5th Int. Conf., Torino, Italy, 1991, Elsevier, North-Holland Publ. Co. (co-authors: T.Gruzlewski, K.Grygiel, Z.Weiss).
  49. "Program I/O behavior: models and their applications", The Journal of Systems and Software, 1991, pp.51-62.
  50. "Queueing Systems Modeling and Performance Evaluation Using Evalnet", Warsaw, 1991, manuscript of a textbook, (co-authors: T.Gruzlewski, K.Grygiel, Z.Weiss).
  51. "Evalnet Package", Poster Session of the 14th IFIP Conference on System Modelling and Optimization, Leipzig, Germany, 1989, (co-authors: T.Gruzlewski, K.Grygiel, Z.Weiss).
  52. "Modelang - a structural language for queueing model description", Proc. of the Fifth Int. Conf. RELCOMEX'89 on Performance Evaluation, Reliability and Exploitation of Computer Systems, Poland, Ksiaz Castle, 1989, pp.129-136, also in Proc. of the 14th IFIP Conf. on System Modelling and Optimization, Leipzig, Germany, 1989, (co-authors: T.Gruzlewski, K.Grygiel, Z.Weiss).
  53. "Reference String Sampling Method with Dynamically Changing Parameters", Performance Evaluation, 5(4), 1985, pp.257-269, (co-author: Z.Weiss).
  54. "An approach to program I/O reference behavior modeling", Performance Evaluation, 4(4), 1984, pp.261-273, (co-author: Z.Weiss).

Teaching:

Supervised Master Thesis:

  1. Arkadiusz Wasilonek, Rezerwacja sal w Uniwersyteckim Systemie Obsługi Studiów (February 2012)
  2. Jędrzej Jabłoński, Marcin Pawłowski, Secure sandboxing solution for GNU/Linux (December 2011)
  3. Marcin Suszczyński BIRT jako narzędzie raportujace w systemie informatycznym USOS (September 2011)
  4. Karol Kański Integration of services in the Mobility Project (June 2011)
  5. Kamil Eisenbart, Integracja systemów informatycznych uczelni wyższej przy użyciu technologii ESB (June 2011)
  6. Marek Dzikiewicz, Input/output subsystem in Singularity operating system (June 2011)
  7. Bartosz Borkowski, Zastosowanie algorytmów plotkujących w grach komputerowych dla wielu graczy (June 2011)
  8. Paweł Bedyński, Andood - an Android application (June 2011)
  9. Karol Ruszczyk, Szymosz Wrzyszcz, Implementacja systemu Planista 2.0 (June 2011)
  10. Grzegorz Białek, Adam Ruka, Sara Wilczyńska, System obsługi programu Erasmus dla Fundacji Rozwoju Systemu Edukacji (December 2010)
  11. Emil Pawłowski, Architektoniczne wzorce projektowe w kontekście środowiska Windows Presentation Foundation (September 2010)
  12. Grzegorz Ziemiański, Wymiana danych studenckich między uczelniami w Polsce (September 2010)
  13. Grzegorz Chimosz, Zaawansowana kontrola i kształtowanie ruchu sieciowego w Linuksie (September 2010)
  14. Kornel Jakubczyk, Marauder disks detection (September 2010)
  15. Konrad Witkowski, Rozproszony system plików do obsługi serwisów internetowych (September 2010)
  16. Marcin Nowak-Przygodzki, Rozproszony system inteligentnego przetwarzania dokumentów tekstowych z wykorzystaniem wiedzy z Wikipedii (June 2010)
  17. Tomasz Weksej, Niezawodność w rozproszonych systemach bazodanowych (June 2010)
  18. Marcin Koziński, Internetowa Rejestracja Kandydatów na studia częściowe (June 2010)
  19. Rafał Nagrodzki, The Mobility Project (December 2009)
  20. Michał Jaszczyk, Kamil Gorlo, System nadający spersonalizowany strumień dźwiękowy (December 2009)
  21. Piotr Findeisen Multiplexer, wydajne narzędzie do komunikacji w systemach rozproszonych (September 2009)
  22. Michał Kurzydłowski Rozbudowa i refaktoryzacja Krajowego Rejestru Matur (June 2009)
  23. Michał Lewowski Serwer usług sieciowych do cyfrowego podpisywania dokumentów elektronicznych (June 2009)
  24. Łukasz Kajda Uniwersytecki System Obsługi Studiów. Rejestracja żetonowa (May 2009)
  25. Grzegorz Kukawski Uniwersytecki System Obsługi Studiów. Hurtownia danych dla systemu Statystyki (December 2008)
  26. Roman Łomowski Uniwersytecki System Obsługi Studiów. Moduł Wyjazdy (December 2008)
  27. Paweł Maćkowski, Uniwersytecki System Obsługi Studiów. Archiwum uniwersyteckie (November 2008)
  28. Michał Prządka, Ankieter - Uniwersytecki System Ankietujący (November 2008)
  29. Ha Nhat Viet, Nadawanie strumieni multimedialnych w sieciach punkt-do-punktu (November 2008)
  30. Damian Koniecki, Kompresja SMS-ów metodą kodowania arytmetycznego (October 2008)
  31. Jan Rękorajski, Urządzenie blokowe do symulowania awarii (September 2008)
  32. Maciej Wojciechowski, Border Gateway Protocol Modeling and Simulation (September 2008)
  33. Piotr Powałowski, Local view modeling for ETA in BitTorrent (September 2008)
  34. Tomasz Dobek, Efficient and Flexible Gossip Based Peer-To-Peer Network in ProActive (September 2008)
  35. Julian Krzemiński, Integration of Microsoft Compute Cluster Server with the ProActive Scheduler (September 2008)
  36. Paweł Wrzeszcz, System do uzgadniania terminów spotkań (December 2007)
  37. Wojciech Rygielski, Szybka dwukierunkowa replikacja baz danych (September 2007)
  38. Marcin Przekop, Aplikacje na urządzenia mobilne typu smartphone (September 2007)
  39. Maciej Bryński, Krzysztof Dziołak, Elektroniczne Biuro Karier dla uczelni wyższych - biurokarier.edu.pl (October 2007)
  40. Marcin Pruszczyński, USOS. Rejestracja bezpośrednia do grup zajęciowych bez żetonów (September 2007)
  41. Robert Piszczatowski, Michał Szynwelski, Elektroniczna legitymacja studencka (August 2007)
  42. Marcin Pamuła, Serwis internetowy do komunikacji wewnątrz grup (August 2007)
  43. Anna Chmielowiec, Node Isolation in Wireless Ad Hoc Networks (August 2007)
  44. Michał Mański, Archiwum dokumentów podpisanych elektronicznie (June 2007)
  45. Damian Mański, Rozbudowa systemu KReM - automatyzacja procesu przesyłania wyników matur (June 2007)
  46. Łukasz Jancewicz, Anonimowa publikacja treści w Internecie (June 2007)
  47. Marcin Krawczyński, USOS. Biuro Współpracy z Zagranicą: umowy i przyjazdy (December 2006)
  48. Cezary Bronny, USOS. Statystyki 2006 (December 2006)
  49. Ireneusz Regulski, Tomasz Kaczmarczyk, USOS. Moduł Dezyderaty (December 2006)
  50. Artur Popławski, USOS. Biuro Współpracy z Zagranica: finanse, raporty (December 2006)
  51. Marcin Semeniuk, Monitorowanie parametrów pracy urządzeń obsługujących SNMP (November 2006)
  52. Michał Ślizak, An implementation of a distributed flow control library for peer-to-peer systems (October 2006)
  53. Michał Malinowski, System ciągłej ochrony danych (October 2006)
  54. Krzysztof Sulowski, USOS. Rejestracja na egzaminy (September 2006)
  55. Dariusz Działak, Archiwum Prac Dyplomowych (September 2006)
  56. Sławomir Sadziak, Równoważenie obciążenia w systemie z rozproszoną stertą obiektów (September 2006)
  57. Sebastian Zagrodzki, Rozproszony system monitorowania sieci komputerowych (September 2006)
  58. Przemysław Strzelczak, Wizualizacja systemu rozproszonego po awarii na podstawie migawek w celu tropienia błędów (September 2006)
  59. Marcin Szlufik, Implementacja macierzy RAID z konfigurowalnym stopniem nadmiarowości dla systemu Linux (September 2006)
  60. Tomasz Kokoszka, Sprawdzanie poprawności logicznej dokumentów XML (September 2006)
  61. Paweł Hryczuk, Zarządzanie globalną historią w przeglądarce opartej na Mozilli (September 2006)
  62. Elżbieta Krępska, A Service for Reliable Execution of Grid Applications (September 2006)
  63. Maciej Przewoźnik, Mechanizmy reklamy internetowej (September 2006)
  64. Michał Ejdys, A peer-to-peer Grid monitoring system (September 2006)
  65. Michał Kaczmarczyk, Piotr Malinowski Krajowy Rejestr Matur (June 2006)
  66. Maciej Wiśniewski, USOSweb. Wybory przez Internet (June 2006)
  67. Joanna Artych, Multimedialne instrukcje obsługi dla systemu USOSweb (December 2005)
  68. Mirko Ivankovic, USOSweb. Moduł obsługi wyjazdów studenckich (December 2005)
  69. Piotr Drużcz, Internetowa Rejestracja Kandydatów IRK 2005 (December 2005)
  70. Bolesław Szewczyk, USOS. Podania. Wersja USOS 3.04 (December 2005)
  71. Andriy Yevtushenko, Stanisław Wierchoła, USOS. Biuro Współpracy z Zagranicą. Wersja USOS 3.02 (September 2005)
  72. Michał Wełnicki, Biblioteka do testowania systemów rozproszonych z symulowaniem awarii (September 2005)
  73. Andrzej Karczyński, Badanie algorytmów syntezy i przetwarzania dźwięku (September 2005)
  74. Konrad Iwanicki, Gossip-Based Dissemination of Time (September 2005)
    (II nagroda w organizowanym przez PTI, XXIII Ogólnopolskim Konkursie na najlepsze prace magisterskie z dziedziny informatyki w roku 2006)
  75. Jacek Pasternak, Wizualny edytor skryptów programu Ant (September 2005)
  76. Radomir Małaczek, Analiza statyczna kodu. Integracja z Platformą Eclipse (June 2005)
  77. Krzysztof Gołębiowski, Adam Leszczyński, Paweł Sołtysiak, Modernizacja i rozbudowa systemu Internetowej Rejestracji Kandydatów na studia (October 2004)
  78. Jakub Górski, USOS. Konfiguracja procesu migracji danych. Wersja USOS 2.06 (September 2004)
  79. Andrzej Galinow-Jordanow, USOSweb. Rozbudowa i wdrożenie podsystemu Sprawdziany. Wersja USOS 2.06 (September 2004)
  80. Tomasz Ostrowski, USOSweb. Dyplomy, Przedmioty, Grupy, Oceny. Wersja USOS 2.06 (September 2004)
  81. Andrzej Gąsienica-Samek, Prototyp platformy dla gier sieciowych opartej na mikrowątkach (September 2004)
  82. Jerzy Ziemiański, Protokół niezawodnego rozgłaszania w sieci lokalnej (September 2004)
  83. Piotr Kotarbiński, Grzegorz Nowakowski, Implementacja serwera DNS w języku O'Caml (September 2004)
  84. Łukasz Wieniatowski, USOSweb - rozbudowa i wdrożenie podsystemu Ankiety. Wersja USOS 2.05 (September 2004)
  85. Rafał Cieplak, USOS. Migracja danych. Wersja USOS 2.05 (September 2004)
  86. Jerzy Szczepkowski, Asynchroniczne wejście-wyjście w systemie Linux (September 2004)
  87. Tomasz Pylak, Gossip-based computing in the presence of node failures (September 2004)
  88. Łukasz Heldt, Klastrowanie w serwerze WWW Jakarta-Tomcat (September 2004)
  89. Mariusz Bogumił, USOS. Rejestracja bezpośrednia do grup (March 2004)
  90. Jacek Bednarz, Praktyczne aspekty integracji sieci IPV6 i IPV4 (March 2004)
  91. Michał Szafrański, Zapewnienie anonimowości ruchu HTPP w sieci Internet (December 2003)
  92. Marek Pańczyk, USOS. Suplement do dyplomu (December 2003)
  93. Rafał Łyżwa, Marek Misiowiec, USOSweb. Rejestracja do grup (September 2003)
  94. Przemysław Łupiński, USOSweb. Uwierzytelnianie. Wymagania programów studiów (September 2003)
  95. Bartosz Biskupski, Paweł Garbacki, Transparent Fault Tolerance for Parallel Java Applications (September 2003)
    (wyróżnienie w organizowanym przez PTI, XX Ogólnopolskim Konkursie na najlepsze prace magisterskie z dziedziny informatyki w roku 2003)
  96. Jan Sacha, Securely Replicated Web Documents (September 2003)
  97. Grzegorz Kozakiewicz, USOSweb - rozliczanie przedmiotów (September 2003)
  98. Marek Futrega, Internetowy serwis gier sieciowych (June 2003)
  99. Karol Bieńkowski, Standardy XPointer i XInclude (June 2003)
  100. Tomasz Dziki, System Zarządzania Błędami - BTS (March 2003)
  101. Bartłomiej Ogryczak, USOSweb - rejestracja przez Internet (March 2003)
  102. Tomasz Zieliński, WASS - prowadzenie badań w zakresie nauk społecznych przez Internet (March 2003)
  103. Dariusz Grzegórski, Mechanizmy komunikacji sieciowej w wybranych systemach operacyjnych (March 2003)
  104. Marcin Chałotowski, System zarządzania treścią (March 2003)
  105. Piotr Kozieradzki, Implementacja protokołu anonimowych płatności Wenbo Mao (January 2003)
  106. Marcin Kaszyński, Krzysztof Lorek, Dynamiczny przydział pasma (December 2002)
  107. Paweł Lenk, Język do tworzenia aplikacji WWW wykorzystujący technologię Corba (December 2002)
  108. Małgorzata Wrzesińska, A Secure Instant Messaging System (September 2002)
  109. Michał Szymaniak, A DNS-based Client Redirector for the Apache HTTP Server (September 2002)
  110. Paweł Pałucha, Zdalne sterowanie i kontrola procesu przemysłowego z wykorzystaniem technologii XML/SVG (September 2002)
  111. Sebastian Łopieński, System rejestrujący zmiany stron WWW (September 2002)
  112. Helena Lei (IIUM), Modeling Complex Systems Using UML: A Case Study (June 2002)
  113. Lo Si Iun (IIUM), Web-based Human Resources Information System (Design) (June 2002)
  114. Poon Suk Kit (IIUM), Web-based Human Resources Information System (Implementation) (June 2002)
  115. Lo Song Mei, Evelyn (IIUM), Web-Based Patient Information System for a Small Clinic (June 2002)
  116. Stanisław Paśko, Live Server Pages. Serwer aplikacji XML (June 2002)
  117. Krzysztof Lichota, Asynchroniczna biblioteka komunikacyjna bez pośredniego kopiowania (June 2002)
  118. Michał Olszewik, Jarosław Nowisz, USOSweb - moduł internetowy systemu USOS (December 2001)
  119. Marek Dębowski, Narzędzia do budowy portali internetowych z wykorzystaniem SQL-owej bazy danych (December 2001)
  120. Jarosław Kołakowski, Sławomir Mroczek, XMportal - narzędzie do budowy zaawansowanych portali internetowych (December 2001)
  121. Neena Thota Jawaharlal (IIUM), Web based application for Aircrew (December 2001)
  122. Rafał Wijata, Personalizacja operacji na plikach z poziomu użytkownika (December 2001)
  123. Maciek Grzonkowski, Marta Karbowa, Wykorzystanie kart procesorowych w systemie elektronicznej gotówki (December 2001)
  124. Grzegorz Gawron, USOSsms - internetowy moduł komunikacyjny systemu USOS (September 2001)
  125. Michał Możdżonek, System komunikacyjny dla urządzeń przenośnych oparty na przestrzeni krotek Lindy (September 2001)
  126. Adam Kieżun, Refaktoryzacja programów w języku Java (September 2001)
    (III nagroda w organizowanym przez PTI, XVIII Ogólnopolskim Konkursie na najlepsze prace magisterskie z dziedziny informatyki w roku 2001)
  127. Krzysztof Ostrowski, Wybrane zagadnienia konstrukcji klastrowych systemów składowania danych
  128. Grzegorz Całkowski, Biblioteka komunikacyjna dla wydajnych serwerów klastrowych
  129. Rafał Kapuściński, Piotr Iwanicki, Symulator protokołów sieciowych TCP/IP
  130. Borys Majewski, Monitor systemów z autoryzacją dostępu, bezpieczną komunikacją i bazą danych
  131. Adam Legięć, Wydziałowy serwis WWW - dynamiczne plany budynku
  132. Artur Zgodziński, Edytor strukturalny XML
  133. Małgorzata Górbiel, Weryfikacja specyfikacji tropowych w PVS na przykładzie uniksowego systemu plików
  134. Anna Petryk, Automatyzacja weryfikacji specyfikacji tropowych
  135. Andrzej Sawicki, System Obsługi Spraw Pracowniczych
  136. Adam Wasylewski, Rozproszona przestrzeń krotek Lindy z transakcjami
    (wyróżnienie w organizowanym przez PTI, XVII Ogólnopolskim Konkursie na najlepsze prace magisterskie z dziedziny informatyki w roku 2000)
  137. Marcin Madey, Komunikacja w sieci Norand 4000
  138. Leszek Gryz, Zastosowanie schowków w rozproszonych systemach plików
  139. Andrzej Dmoch, XML Transformator i jego zastosowania
  140. Łukasz Maśko, Implementacja maszyny typu PRAM w sieci lokalnej
  141. Wojciech Kilian, Komunikacja sieciowa w systemach klastrowych z pominięciem jądra
  142. Krzysztof Kowalewski, Rafał Żmijewski-Szmit, Analiza algorytmów replikacji danych w systemach transakcyjnych
  143. Grzegorz Marczyński, Weryfikacja poprawności projektów implementacji modułów programistycznych
  144. Paweł Kot, Zastosowanie technologii XML do realizacji serwisu giełdowego
  145. Mateusz Hauzer, System rozliczania użytkowników Internetu
  146. Rafał Wojtczuk, Libnids - biblioteka wspomagająca konstruowanie oprogramowania typu Network Intrusion Detection Systems
  147. Dionizy Boruń, ViewCode: Graficzny system wizualizacji deklaracji struktur danych
  148. Tomasz Błaszczyk, Ciekawe algorytmy w jądrze Linuksa
  149. Bogdan Korol, Program monitorujący sieć komputerową
  150. Ignacy Gajo, Program dydaktyczny symulujący protokół IP
  151. Michał Gruszczyński, ActiveCode: uniwersalny system prezentacji programów komputerowych w Internecie
  152. Artur Kret, Strategie dowodzenia specyfikacji tropowych
    (wyróżnienie w organizowanym przez PTI, XV Ogólnopolskim Konkursie na najlepsze prace magisterskie z dziedziny informatyki w roku 1998)
  153. Piotr Sosnowski, Wizualizacja topologii i wybranych elementow intersieci TCP/IP
  154. Artur Zwiegincew, ObjectAge. An Object-oriented Componentware System for Microsoft Win32
  155. Krzysztof Kwapień, System wspomagający uruchamianie aplikacji w sieci lokalnej
  156. Robert Magdziarz, DPE/Unix - system przetwarzania rozproszonego
  157. Maciej Kamiński, Implementacja systemu czasu wykonania Nexus wspierającego programowanie równoległe w systemie Amoeba
  158. Małgorzata Majewska, Paweł Kołodziejski, Specyfikacja unixowego systemu plików w metodzie tropów
mailbox e-mail: J.Mincer@mimuw.edu.pl

phone tel: (+48-22) 55-44-223
fax: (+48-22) 55-44-200