IPI PAN REPORTS - 2008

IPI PAN Reports: ISSN 0138-0648


1012. Piotr Dembiński, Gizela Jakubowska, Wojciech Penczek: Towards Scenarios of External Attacks upon Security Protocols
November 2008, 24 pp.

1011. Teresa Kowalczyk: On derivation of maximal Spearman rho and maximal Kendall tau for bivariate distributions
November 2008, 40 pp.

1010. Mirosław Kurkowski, Wojciech Penczek: Timed automata based model checking >of timed security protocols
September 2008, pp. 36

1009. Artur Niewiadomski, Wojciech Penczek, Maciej Szreter: Operational semantics of selected UML diagrams
March 2008, pp. 64

1008. Elżbieta Pleszczyńska, Krzysztof Markiewicz, Leszek Gołasz, Krzysztof Syncerz (Eds.): On a wheel-chair through World Wide Web to Europe? Part VI
February 2008, pp. 36

1007. Anna Wolińska-Welcz: An application of grade data analysis to questionnaires and clinical scale data
January 2008, pp. 12