Janina Mincer-Daszkiewicz, Ph.D.



Senior Lecturer 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. "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.
  2. "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.
  3. "Dobór oprogramowania dla uczelni wyższych", Trzynaste Forum Teleinformatyki, Panel dyskusyjny "Neutralność technologiczna i byty pokrewne", Legionowo, 27.09.2007, pp. 6-16.
  4. "Na studia z KReM-em", Forum Akademickie nr 7-8, pp. 67-69, 2007.
  5. "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.
  6. "Jak USOS z IRK-ą i CUS-iem radzą sobie na uczelniach wyższych", Dzień Dobry Informatyku nr 9, 2006, p.4.
  7. "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.
  8. "Dla kogo jest KReM? O systemie automatycznej kwalifikacji kandydatów na studia", Forum Akademickie nr 6, pp. 48-49, 2006.
  9. "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.
  10. "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).
  11. "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.
  12. "Przez Internet na studia", Forum Akademickie, No. 3, 2005, pp. 41-43 (co-author: S. Jackowski).
  13. "Dyplomy w sieci", Uniwersytet Warszawski, pismo uczelni, No. 4 (20), pp. 41-43, September 2004 (co-author: S. Jackowski).
  14. "Elektroniczna immatrykulacja", Uniwersytet Warszawski, pismo uczelni, No. 3 (19), June 2004 (co-author: S. Jackowski).
  15. "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.
  16. "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ń).
  17. "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).
  18. "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.
  19. "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.
  20. "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.
  21. "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.
  22. "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.
  23. "Tworzenie produkcyjnego oprogramowania w środowisku akademickim", III Krajowa Konferencja Inżynierii Oprogramowania - KKIO'2001, 17-20 października 2001, Otwock, Poland, pp. 225-236.
  24. "Formalna weryfikacja modułów programistycznych w podejściu funkcyjnym", II Krajowa Konferencja Inżynierii Oprogramowania - KKIO'2000, 18-20 października 2000, Zakopane.
  25. "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).
  26. "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).
  27. "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).
  28. "Generating PVS Proof Obligations for TAM Specifications", Proceedings of the CS&P'97 Workshop, Warsaw, 1997, (co-authors: M.Engel, M.Iglewski).
  29. "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).
  30. "Internal Design of Modules Specified in The Trace Assertion Method", Science of Computer Programming, 28, 1997, pp.139-170, (co-author: M.Iglewski).
  31. "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).
  32. "Case Study in Trace Specification of Non-deterministic Modules", Proceedings of the CSP'95 Workshop, Warsaw, 1995, (co-authors: M.Iglewski, K.Stencel).
  33. "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).
  34. "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).
  35. "Program I/O behavior: models and their applications", The Journal of Systems and Software, 1991, pp.51-62.
  36. "Queueing Systems Modeling and Performance Evaluation Using Evalnet", Warsaw, 1991, manuscript of a textbook, (co-authors: T.Gruzlewski, K.Grygiel, Z.Weiss).
  37. "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).
  38. "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).
  39. "Reference String Sampling Method with Dynamically Changing Parameters", Performance Evaluation, 5(4), 1985, pp.257-269, (co-author: Z.Weiss).
  40. "An approach to program I/O reference behavior modeling", Performance Evaluation, 4(4), 1984, pp.261-273, (co-author: Z.Weiss).

Teaching: