缅北禁地

Skip to main content
School of Computing
Search for something
Search...

Staff Profile

Emeritus Professor Maciej Koutny

Professor of Computing Science

  • Telephone: +44 (0) 191 208 7982
Background

I am a Professor of Computing Science in the School of Computing at 缅北禁地. I am also an Adjunct Professor at McMaster University, Canada. I received my MSc (1982) and PhD (1984) in Applied Mathematics from the Warsaw University of Technology, Poland. In 1985 I joined the then Computing Laboratory of the University of 缅北禁地 upon Tyne to work as a Research Associate. In 1986 I became a Lecturer in Computing Science at 缅北禁地, and from 1994 to 2000 I held an established Readership at 缅北禁地.

I am a member of the editorial boards of Natural Computing, Le Matematiche, and Scientific Annals of Computer Science. I am also a board member of EATCS-Springer book series: Monographs in Theoretical Computer Science and Texts in Theoretical Computer Science, as well as an advisory board member of Springer book series: Natural Computing.

In 2011 I held the Pascal Chair at Leiden University, The Netherlands. I have been a Visiting Professor at Xidian University, China; University of Evry, France; Nicolaus Copernicus University, Torun, Poland; and University Paris 12, France. 

Research

My research interests centre on the theory of distributed and concurrent systems, including both theoretical aspects of their semantics and application of formal techniques to the modelling, synthesis and verification of such systems. I have also investigated non-interleaving semantics of priority systems, and the relationship between temporal logic and process algebras. I have been working on the development of a formal model combining Petri nets and process algebras as well as on Petri net based behavioural models of membrane systems and reaction systems.

 

Publications

  • Articles

    • Meski A, Koutny M, Mikulski L, Petre I, Penczek W, Piatkowski M. . Natural Computing 2025, 24, 1101-1117.
    • Koutny M, Mikulski L. . Natural Computing 2026, 25, 8.
    • Meski A, Koutny M, Mikulski L, Penczek W. . Natural Computing 2024, 23, 323-343.
    • Jha DN, Li Y, Wen Z, Morgan G, Jayaraman PP, Koutny M, Rana OF, Ranjan R. . IEEE Transactions on Parallel and Distributed Systems 2024, 35(12), 2361-2374.
    • Ahmed A, Koutny M, Pietkiewicz-Koutny M. . Theoretical Computer Science 2022, 908, 123-140.
    • de Frutos Escrig M, Koutny M, Mikulski L. . Fundamenta Informaticae 2022, 183(1), 67-96.
    • Janicki R, Kleijn J, Koutny M, Mikulski L. . Theoretical Computer Science 2021, 862, 174-192.
    • Zeng W, Koutny M. . IEEE Transactions on Cloud Computing 2021, 9(3), 1210-1219.
    • Koutny M, Pietkiewicz-Koutny M, Yakovlev A. . Theoretical Computer Science 2021, 881, 97-110.
    • Kleijn HCM, Koutny M, Mikulski L. . Fundamenta Informaticae 2020, 171(1-4), 261-277.
    • Kleijn J, Koutny M, Rozenberg G. . Theoretical Computer Science 2020, 834, 26-42.
    • Qian B, Jie S, Wen Z, Jha D, Li Y, Guan Y, Puthal D, James P, Yang R, Zomaya A, Rana O, Wang L, Koutny M, Ranjan R. . ACM Computing Surveys 2020, 53(4), 1-47.
    • Janicki R, Koutny M. . Fundamenta Informaticae 2019, 169(1-2), 31-55.
    • Zeng W, Koutny M. . Journal of Information Security and Applications 2019, 49, 102385.
    • Klaudel H, Koutny M, Duan Z, Moszkowski B. . Fundamenta Informaticae 2019, 167(4), 323-354.
    • Janicki R, Kleijn J, Koutny M, Mikulski L. . Journal of Computer and System Sciences 2019, 104, 297-322.
    • Barylska K, Erofeev E, Koutny M, Mikulski L, Piatkowski M. . Fundamenta Informaticae 2018, 157(4), 341-357.
    • Barylska K, Koutny M, Mikulski L, Piatkowski M. . Science of Computer Programming 2018, 151, 48-60.
    • Meski A, Koutny M, Penczek W. . Fundamenta Informaticae 2017, 154(1-4), 289-306.
    • Kleijn J, Koutny M, Pietkiewicz-Koutny M. . Theoretical Computer Science 2017, 701, 132-145.
    • Janicki R, Kleijn J, Koutny M, Mikulski L. . Fundamenta Informaticae 2017, 155(1-2), 1-29.
    • Ehrenfeucht A, Kleijn J, Koutny M, Rozenberg G. . Theoretical Computer Science 2017, 682, 79-99.
    • Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G. . Theoretical Computer Science 2017, 658(Part A), 205-215.
    • Koutny M, Mikulski L, Pietkiewicz-Koutny M. . Information Sciences 2017, 394-395, 299-314.
    • Janicki R, Kleijn J, Koutny M, Mikulski L. . Fundamenta Informaticae 2017, 154(1-4), 207-224.
    • Kleijn J, Koutny M, Pietkiewicz-Koutny M. . Scientific Annals of Computer Science 2017, XXVII(2), 177-212.
    • Janicki R, Kleijn J, Koutny M, Mikulski L. . Acta Informatica 2016, 51(1), 35-65.
    • Bertens L, Kleijn J, Hille S, Heiner M, Koutny M, Verbeek F. . Natural Computing 2016, 15(4), 665-675.
    • Zeng W, Koutny M, Watson P, Germanos V. . Journal of Information Security and Applications 2016, 27-28, 103-116.
    • Ciobanu G, Koutny M, Steggles J. . Formal Aspects of Computing 2015, 27(3), 525-549.
    • Ciobanu G, Koutny M. . The Computer Journal 2015, 58(5), 1041-1060.
    • Fernandes J, Koutny M, Mikulski L, Pietkiewicz-Koutny M, Sokolov D, Yakovlev A. . Fundamenta Informaticae 2015, 137(1), 143-170.
    • Janicki R, Kleijn J, Koutny M, Mikulski Ł. . Fundamenta Informaticae 2015, 139(1), 21-42.
    • Mikulski L, Koutny M. . Information Processing Letters 2014, 114(4), 208-216.
    • Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G. . Acta Informatica 2013, 50(1), 15-39.
    • Kleijn J, Koutny M. . Fundamenta Informaticae 2013, 122(1-2), 119-146.
    • Duan Z, Klaudel H, Koutny M. . The Journal of Logic and Algebraic Programming 2013, 82(2), 95-110.
    • Duan Z, Zhang N, Koutny M. . Theoretical Computer Science 2013, 497, 84-107.
    • Koutny M, Pietkiewicz-Koutny M. . Lecture Notes in Computer Science 2012, 6900, 160-180.
    • Kleijn J, Koutny M. . Science of Computer Programming 2012, 77(7-8), 955-967.
    • Kleijn J, Koutny M, Pietkiewicz-Koutny M. . Theoretical Computer Science 2012, 454, 189-198.
    • Kleijn J, Koutny M. . Theoretical Computer Science 2012, 429, 185–192.
    • Ciobanu G, Koutny M. . Journal of Logic and Algebraic Programming 2011, 80(7), 377-391.
    • Kleijn J, Koutny M, Rozenberg G. . Scientific Annals of Computer Science 2011, 21, 199-225.
    • Kleijn J, Koutny M. . Fundamenta Informaticae 2011, 110(1-4), 217-230.
    • Klaudel H, Koutny M, Pelz E, Pommereau F. . Scientific Annals of Computer Science 2010, 20, 131-157.
    • Koutny M, Pietkiewicz-Koutny M. . Fundamenta Informaticae 2010, 101(1-2), 45-58.
    • Koutny M, Pietkiewicz-Koutny M. . Scientific Annals of Computer Science 2009, 19, 1-23.
    • Darondeau P, Koutny M, Pietkiewicz-Koutny M, Yakovlev A. . Fundamenta Informaticae 2009, 94(3-4), 275-303.
    • Koutny M, Randell B. . Fundamenta Informaticae 2009, 97(1-2), 41-91.
    • Kleijn J, Koutny M. . Natural Computing 2009, 8(4), 781-796.
    • Koutny M, Pietkiewicz-Koutny M. . Fundamenta Informaticae 2008, 88(3), 307-328.
    • Kleijn J, Koutny M. . Theoretical Computer Science 2008, 404(1-2), 112-126.
    • Bryans JW, Koutny M, Mazaré L, Ryan PYA. . International Journal of Information Security 2008, 7(6), 421-435.
    • Duan Z, Yang X, Koutny M. . Science of Computer Programming 2008, 70(1), 31-61.
    • Koutny M, Pappalardo G, Pietkiewicz-Koutny M. . IADIS International Journal on Computer Science and Information Systems 2008, 3(1), 71-85.
    • Devillers R, Klaudel H, Koutny M. . Formal Aspects of Computing 2008, 20(4-5), 429-450.
    • Khomenko V, Koutny M. . Formal Methods in System Design 2007, 30(2), 143-176.
    • Kleijn J, Koutny M. . Fundamenta Informaticae 2007, 80(1-3), 199-219.
    • Kleijn J, Koutny M, Rozenberg G. . Journal of Automata, Languages and Combinatorics 2006, 11(3), 321-340.
    • Devillers R, Klaudel H, Koutny M. . Fundamenta Informaticae 2006, 70(3), 203-226.
    • Khomenko V, Kondratyev A, Koutny M, Vogler W. . Acta Informatica 2006, 43(5), 307-330.
    • Khomenko V, Koutny M, Yakovlev A. . Fundamenta Informaticae 2006, 70(1-2), 49-73.
    • Devillers R, Klaudel H, Koutny M. . Electronic Notes in Theoretical Computer Science 2006, 154(3), 71-94.
    • Bryans J, Koutny M, Ryan PYA. . Electronic Notes in Theoretical Computer Science 2005, 121, 101-115.
    • Burton J, Koutny M, Pappalardo G. . Fundamenta Informaticae 2004, 59(1), 1-37.
    • Kleijn HCM, Koutny M. . Information and Computation 2004, 190(1), 18-69.
    • Khomenko V, Koutny M, Yakovlev A. . Fundamenta Informaticae 2004, 62(2), 221-241.
    • Duan Z, Koutny M. . Journal of Computer Science and Technology 2004, 19(3), 341-351.
    • Khomenko V, Koutny M, Vogler W. . Acta Informatica 2003, 40(2), 95-118.
    • Devillers R, Klaudel H, Koutny M, Pommereau F. . Fundamenta Informaticae 2003, 54(4), 295-344.
    • Best E, Devillers R, Koutny M. . Information and Computation 2002, 178(1), 44-100.
    • Burns A, Wellings AJ, Burns FP et al. . International Journal of Computer Systems Science and Engineering.Special Issue: International Workshop on Software Engineering and Petri Nets (SEPN) 2001, 16(3), 173-182.
    • Best E, Devillers R, Koutny M. . Acta Informatica 2001, 37(11-12), 781-829.
    • Burns A, Wellings AJ, Koelmans AM, Koutny M, Romanovsky A, Yakovlev A. . ACM SIGAda Ada Letters 2001, 21(1), 48-55.
    • Koutny M, Pappalardo G. . Fundamenta Informaticae 2001, 48(1), 21-54.
    • Koutny M. . Fundamenta Informaticae 1999, 40(2-3), 103-107.
    • Koutny M, Best E. . Theoretical Computer Science 1999, 211(1-2), 1-83.
    • Koutny MS, Janicki R. . Fundamenta Informaticae 1999, 38(3), 223-255.
    • Janicki R, Koutny M. . Fundamenta Informaticae 1999, 38(3), 223-255.
    • Koutny M, Mancini LV, Pappalardo G. . Formal Aspects of Computing 1997, 9(2), 119-148.
    • Janicki R, Koutny M. . Acta Informatica 1997, 34(5), 367-388.
    • Janicki R, Koutny M. . Information and Computation 1995, 123(1), 1-16.
    • Janicki R, Koutny M. . Journal of Information Processing and Cybernetics EIK 1994, 30(3), 161-168.
    • Janicki R, Koutny M. . Theoretical Computer Science 1993, 112(1), 5-52.
    • Best E, Koutny M. . Theoretical Computer Science 1992, 96(1), 175-215.
    • Koutny M. . Theoretical Computer Science 1992, 94(1), 141-158.
    • Koutny M. . Fundamenta Informaticae 1991, 14(2), 235-253.
    • Koutny M, Mancini LV. . Journal of Systems and Software 1989, 9(3), 183-190.
    • Koutny M. . Acta Informatica 1986, 23(4), 429-463.
    • Devillers R, Janicki R, Koutny M, Lauer PE. . Theoretical Computer Science 1986, 43, 213-238.
    • Koutny M, Zakowski W. . International Journal of Man-Machine Studies 1985, 22(5), 581-587.

  • Authored Books

    • Janicki R, Kleijn J, Koutny M, Mikulski L. Paradigms of Concurrency: Observations, Behaviours, and Systems - a Petri Net View -. Springer-Verlag GmbH, 2021. Submitted.
    • Best E, Devillers R, Koutny M. . Berlin; New York: Springer-Verlag, 2001.

  • Book Chapters

    • Burns A, Jones CB. . In: The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. Cham: Springer, 2024, pp.22-42.
    • Freitas L, Buhagiar AJ, Scott III WE. . In: Ana Cavalcanti, James Baxter, ed. The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I. Cham: Springer, 2024, pp.131-152.
    • Jones CB. . In: Simon Foster, Augusto Sampaio, ed. The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement. Cham: Springer, 2024, pp.43-70.
    • Bhattacharyya A, Koutny M. . In: Transactions on Petri Nets and Other Models of Concurrency. Berlin: Springer, 2023, pp.212-245.
    • Kleijn J, Koutny M, Mikulski L, Rozenberg G. . In: Bockenhauer, H-J; Komm, D; Unger, W, ed. Adventures Between Lower Bounds and Higher Altitudes: Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday. Cham: Springer, 2018, pp.63-84.
    • Jones C, Wang J, Zhan N. . In: Jones, Cliff; Wang, Ji; Zhan, Naijun, ed. Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday. Springer Verlag, 2018.
    • Jones CB. . In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cambridge, UK: Springer Verlag, 2018, pp.26-43.
    • Kleijn J, Koutny M. . In: M.Gheorghe, I.Petre, M.J.Perez-Jimenez, G.Rozenberg, A.Salomaa, ed. Multidisciplinary Creativity. Homage to Gheorghe Paun on His 65th Birthday. Bucharest, Romania: Spandugino, 2015, pp.334-334.
    • Kleijn J, Koutny M, Pietkiewicz-Koutny M. . In: Transactions on Petri Nets and Other Models of Concurrency IX. Springer, 2014, pp.124-146.
    • Kleijn J, Koutny M. . In: Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf, ed. Transactions on Petri Nets and Other Models of Concurrency VII. Berlin: Springer, 2013, pp.225-254.
    • Ehrenfeucht A, Kleijn J, Koutny M, Rozenberg G. . In: Henning Bordihn, Martin Kutrib and Bianca Truthe, ed. Languages Alive - Essays Dedicated to Juergen Dassow on the Occasion of His 65th Birthday. Berlin: Springer, 2012, pp.44-55.
    • Kleijn K, Koutny M, Rozenberg G. . In: Katz, E, ed. Biomolecular Information Processing: From Logic Systems to Smart Sensors and Actuators. Weinheim, Germany: Wiley-VCH, 2012, pp.303-322.
    • Ehrenfeucht A, Kleijn J, Koutny M, Rozenberg G. . In: Priami, C., Petre, I., de Vink, E, ed. Transactions on Computational Systems Biology XIV. New York: Springer, 2012, pp.102-122.
    • Kleijn J, Koutny M. . In: Jones, C.B., Lloyd, J.L, ed. Dependable and Historic Computing. Berlin and New York: Springer, 2011, pp.283-297.
    • Janicki R, Kleijn J, Koutny M. . In: Martín-Vide, C, ed. Scientific Applications of Language Methods. London, UK: Inperial College Press, 2010, pp.313-386.
    • Koutny M, Donatelli S. . In: Jensen, K., Donatelli, S., Koutny, M, ed. Transactions on Petri Nets and Other Models of Concurrency IV. Berlin; New York: Springer, 2010, pp.xi-xiii.
    • Kleijn J, Koutny M. . In: Paun, G., Rozenberg, G., Salomaa, A, ed. The Oxford Handbook of Membrane Computing. Oxford, UK: Oxford University Press, 2010, pp.389-412.
    • Kleijn J, Koutny M. . In: Lodaya, K., Mukund, M., Ramanujam, R, ed. Perspectives in Concurrency Theory. Hyderabad, India: Universities Press (India) Pvt. Ltd, 2009, pp.264-295.
    • Billington J, Koutny M. . In: Jensen, K., Billington, J. and Koutny., M, ed. Transactions on Petri Nets and Other Models of Concurrency III. Berlin: Springer-Verlag, 2009, pp.xi-xiii.
    • Kleijn J, Koutny M. . In: New Developments in Formal Languages and Applications. Berlin: Springer, 2008, pp.125-182.
    • Best E, Koutny M. . In: Desel, J., Reisig, W., Rozenberg, G, ed. Lectures on Concurrency and Petri Nets. Berlin: Springer, 2004, pp.180-209.
    • Devillers R, Klaudel H, Koutny M. . In: Formal Techniques for Networked and Distributed Systems – FORTE 2004. Berlin: Springer, 2004, pp.309-325.
    • Burton J, Koutny M, Pappalardo G, Pietkiewicz-Koutny M. . In: Ezhilchelvan, P., Romanovsky, A, ed. Concurrency in Dependable Computing. Boston: Kluwer Academic Publishers, 2002, pp.3-22.
    • Best E, Devillers R, Koutny M. . In: Bergstra, J., Ponse, A., Smolka, S, ed. Handbook of Process Algebra. Netherlands: Elsevier Science, 2001, pp.873-944.
    • Best E, Devillers R, Koutny M. . In: Reisig, W. and Rozenberg, G, ed. Lectures on Petri Nets II: Applications, Advances in Petri Nets. Berlin: Springer-Verlag, 1998, pp.1-84.
    • Koutny M. . In: Rozenberg, G, ed. Advances in Petri Nets. Berlin; New York: Springer-Verlag, 1992, pp.251-266.
    • Janicki R, Koutny M. . In: Rozenberg, G, ed. Advances in Petri Nets. Berlin; New York: Springer-Verlag, 1991, pp.205-226.
    • Janicki R, Koutny M. . In: Rozenberg, G, ed. Advances in Petri Nets 1986. Berlin; New York: Springer-Verlag, 1987, pp.179-190.

  • Conference Proceedings (inc. Abstracts)

    • Koutny M, Mikulski L, Pietkiewicz-Koutny M. . In: CEUR Workshop Proceedings. 2025, Paris, France: CEUR-WS.
    • Khomenko V, Koutny M, Yakovlev A. . In: 46th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2025). 2025, Paris: Springer.
    • Koutny M, Pietkiewicz-Koutny M. . In: International Workshop on Petri Nets and Software Engineering (PNSE 2024). 2024, Geneva, Switzerland: CEUR-WS.
    • Janicki R, Kleijn J, Koutny M, Mikulski L. . In: 45th International Conference on Theory and Application of Petri Nets and Concurrency. 2024, Geneva, Switzerland: Springer Cham.
    • Janicki R, Koutny M, Mikulski L. . In: 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023). 2023, Caparica, Lisbon: Springer.
    • Khomenko V, Koutny M, Yakovlev A. . In: 33rd International Conference on Concurrency Theory (CONCUR). 2022, Warsaw, Poland: Dagstuhl.
    • Khomenko V, Koutny M, Yakovlev A. . In: 43rd International Conference on the Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022). 2022, Bergen, Norway: Springer.
    • Almutairi N, Koutny M. . In: International Workshop on Petri Nets and Software Engineering (PNSE 2021). 2021, Paris (virtual conference): CEUR Workshop Proceedings.
    • de Frutos Escrig D, Koutny M, Mikulski L. . In: PETRI NETS 2019: Application and Theory of Petri Nets and Concurrency. 2019, Aachen: Springer, Cham.
    • Alharbi T, Koutny M. . In: Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019). 2019, Aachen, Germany: CEUR-WS.
    • Alharbi T, Koutny M. . In: PNSE 2018. 2018, Bratislava, Slovakia: CEUR-WS.
    • Pimentel JFN, Missier P, Murta L, Braganholo V. . In: 7th International Provenance and Annotation Workshop, IPAW 2018. 2018, London, UK: Springer Verlag.
    • Li B, Randell B, Bhattacharyya A, Alharbi T, Koutny M. . In: 18th International Conference on Application of Concurrency to System Design. 2018, Bratislava, Slovakia: IEEE.
    • Meski A, Koutny M, Penczek W. Reaction Mining for Reaction Systems. In: 17th International Conference on Unconventional Computation and Natural Computation. 2018, Fontainebleau, France: Springer. In Preparation.
    • Meski A, Koutny M, Penczek W. . In: 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018). 2018, Fontainebleau, France: Springer Verlag.
    • Cala J, Missier P. . In: 7th International Provenance and Annotation Workshop, IPAW 2018. 2018, London, UK: Springer Verlag.
    • Khomenko V, Roux OH. . In: 39th International Conference on Applications and Theory of Petri Nets and Concurrency (PETRI NETS 2018). 2018, Bratislava, Slovakia: Springer Verlag.
    • Ezhilchelvan P, Mitrani I, Webber J. . In: 15th European Performance Engineering Workshop (EPEW 2018). 2018, Paris, France: Springer Verlag.
    • Iliasov A, Taylor D, Laibinis L, Romanovsky A. . In: SAFECOMP 2018 International Conference on Computer Safety, Reliability and Security. 2018, Vasteras, Sweden: Springer Verlag.
    • Harrison MD, Masci P, Campos JC. . In: Software Technologies: Applications and Foundations. STAF 2018. 2018, Toulouse, France: Springer.
    • deFrutosEscrig D, Koutny M, Mikulski L. An Efficient Characterization of Petri Net Solvable Binary Words. In: 39th International Conference on Applications and Theory of Petri Nets and Concurrency. 2018, Bratislava, Slovakia. In Preparation.
    • de Frutos Escrig D, Koutny M, Mikulski L. . In: 39th International Conference on Applications and Theory of Petri Nets and Concurrency (PETRI NETS 2018). 2018, Bratislava, Slovakia: Springer Verlag.
    • Freitas L, Modesti P, Emms M. . In: 21st Brazilian Symposium on Formal Methods (SBMF 2018). 2018, Salvador, Brazil: Springer Verlag.
    • Jones CB. . In: 13th Conference on Computability in Europe (CiE 2017). 2017, Turku, Finland: Springer Verlag.
    • Martin L, Romanovsky A. . In: International Workshop on Software Engineering for Resilient Systems (SERENE 2017). 2017, Geneva, Switzerland: Springer Verlag.
    • Osorio C, Wilson R, Papagiannidis S. . In: International Conference on Social Informatics (SocInfo 2017). 2017, Oxford, UK: Springer Verlag.
    • McCorry P, Shahandashti SF, Hao F. . In: 20th International Conference on Financial Cryptography and Data Security (FC 2016). 2017, Barbados: Springer Verlag.
    • Squillero G, Sim K, Ascheid G, Bacardit J, Brabazon A, Burelli P, Cagnoni S, Coler M, Cotta C, D'Andreagiovanni F, Divina F, Esparcia-Alcazar AI, de Vega FF, Glette K, Haasdijk E, Heinerman J, Hidalgo JI, Hu T, Iacca G, Kampouridis M, Kaufmann P, Mavrovouniotis M, Mora Garcia AM, Schaefer R, Silva S, Tarantino E, Nguyen TT, Tonda A, Urquhart N, Zhang M. . In: Applications of Evolutionary Computation: 20th European Conference (EvoApplications 2017). 2017, Amsterdam, The Netherlands: Springer Verlag.
    • Fantechi A, Lecomte T, Romanovsky A. . In: Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification: Second International Conference (RSSRail 2017). 2017, Pistoia, Italy: Springer Verlag.
    • Janicki R, Kleijn J, Koutny M, Mikulski L. . In: ATAED 2017. 2017, Zaragoza, Spain: CEUR.
    • Ezhilchelvan P, Mitrani I. . In: International Conference on Quantitative Evaluation of Systems (QEST 2017). 2017, Berlin, Germany: Springer Verlag.
    • Gensh R, Rafiev A, Xia F, Romanovsky A, Yakovlev A. . In: 9th International Workshop on Software Engineering for Resilient Systems (SERENE 2017). 2017, Geneva, Switzerland: Springer Verlag.
    • Alrajeh O, Forshaw M, Thomas N. . In: 14th European Workshop on Performance Engineering (EPEW). 2017, Berlin, Germany: Springer Verlag.
    • Jones CB, Velykis A, Yatapanage N. . In: 3rd International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA). 2017, Changsha, China: Springer Verlag.
    • Clarke D, Ali ST. . In: Security Protocols 2017: Security Protocols XXV. 2017, Cambridge, UK: Springer Verlag.
    • Metere R, Dong C. . In: 7th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security. 2017, Warsaw, Poland: Springer Verlag.
    • Mace JC, Thekkummal N, Morisset C, Van Moorsel A. . In: 14th European Workshop on Performance Engineering (EPEW 2017). 2017, Berlin, Germany: Springer Verlag.
    • McCorry P, Shahandashti SF, Hao F. . In: FC: International Conference on Financial Cryptography and Data Security 21st International Conference, FC 2017. 2017, Sliema, Malta: Springer Verlag.
    • Koutny M, Kleijn J, Penczek W. . In: 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. 2016, Toruń, Poland: Springer Verlag.
    • Meski A, Koutny M, Penczek P. . In: 15th International Conference, UCNC 2016. 2016, Manchester, UK: Springer.
    • Kleijn J, Koutny M, Pietkiewicz-Koutny M. . In: International Colloquium on Theoretical Aspects of Computing. 2016, Taipei, Taiwan: Springer.
    • Barylska K, Koutny M, Mikulski L, Piatkowski M. . In: 8th Conference on Reversible Computation. 2016, Bologna, Italy: Springer.
    • Klaudel H, Koutny M, Moszkowski B. . In: 16th International Conference on Application of Concurrency to System Design (ACSD). 2016, Torun, Poland: IEEE.
    • Li B, Koutny M. . In: PNSE 2015 Petri Nets and Software Engineering. 2015, Brussels, Belgium: CEUR-WS.
    • Cuevas-Vicenttin V, Ludascher B, Missier P. . In: 5th International Provenance and Annotation of Data and Processes (IPAW 2014). 2015, Cologne, Germany: Springer Verlag.
    • Janicki R, Kleijn J, Koutny M, Mikulski L. . In: LATA 2015 - Language and Automata Theory and Applications. 2015, Nice, France: Springer International Publishing.
    • Zeng W, Koutny M, Watson P. . In: 8th International Conference on Service-Oriented Computing and Applications (SOCA). 2015, Rome, Italy: IEEE.
    • Chatain T, Haar S, Koutny M, Schwoon S. . In: 36th International Conference on Application and Theory of Petri Nets and Concurrency. 2015, Brussels, Belgium: Springer International Publishing.
    • Ponce-de-León H, Mokhov A. . In: 9th International Conference on Language and Automata Theory and Applications (LATA 2015). 2015, Nice, France: Springer Verlag.
    • Li B, Koutny M. . In: PNSE@Petri Nets. 2015, Brussels, Belgium.
    • Zeng W, Koutny M, Watson P. . In: IEEE 6th International Conference on Cloud Computing Technology and Science (CloudCom). 2014, Singapore: IEEE.
    • Hao F, Shahandashti SF. . In: Security Standardisation Research : First International Conference, SSR 2014. 2014, London, UK: Springer Verlag.
    • Sharp C, Blewitt W, Morgan G. . In: European Conference on Parallel Processing. 2014, Porto, Portugal: Springer Verlag.
    • Ciancia V, Martinelli F, Ilaria M, Morisset C. . In: 6th International Symposium on Foundations and Practice of Security (FPS 2013). 2014, La Rochelle, France: Springer.
    • Iliasov A, Lopatkin I, Romanovsky A. . In: 19th Ada-Europe International Conference on Reliable Software Technologies. 2014, Paris, France: Springer.
    • Zeng W, Koutny M, van Moorsel A. . In: 14th IEEE International Conference on Computer and Information Technology (CIT 2014). 2014, Xi'an: IEEE.
    • Satvat K, Forshaw M, Hao F, Toreini E. . In: 8th International Workshop on Data Privacy Management and Autonomous Spontaneous Security (DPM 2013). 2014, Egham, UK: Springer.
    • Morisset C, Gross T, van Moorsel A, Yevseyeva I. . In: Second International Conference on Human Aspects of Information Security, Privacy, and Trust (HAS 2014). 2014, Crete, Greece: Springer.
    • Crampton J, Morisset C. . In: 10th International Workshop on Security and Trust Management (STM 2014). 2014, Wroclaw, Poland: Springer Verlag.
    • Coopamootoo KPL, Gross T. . In: Second International Conference on Human Aspects of Information Security, Privacy, and Trust (HAS 2014). 2014, Crete, Greece: Springer Verlag.
    • Sinmai K, Andras P. . In: 20th International Conference on Collaboration and Technology (CRIWG 2014). 2014, Santiago, Chile: Springer Verlag.
    • Osorio C, Papagiannidis S. . In: First International Conference on HCI in Business (HCIB 2014). 2014, Crete, Greece: Springer Verlag.
    • Klaudel H, Koutny M, Duan Z. . In: Language and Automata Theory and Applications. 2014, Madrid: Springer.
    • Modesti P. . In: 10th International Workshop on Security and Trust Management (STM). 2014, Switzerland: Springer, Cham.
    • Zeng W, Koutny M. . In: 8th International Symposium on Theoretical Aspects of Software Engineering. 2014, Changsha, China: IEEE.
    • Freitas L, Jones CB, Velykis A, Whiteside I. . In: VSTTE 2014: Verified Software: Theories, Tools and Experiments. 2014, Vienna, Austria: Springer, Cham.
    • Zeng W, Mu C, Koutny M, Watson P. . In: Engineering Dependable Systems of Systems (EDSoS). 2014, 缅北禁地 upon Tyne, UK: EDSoS / EDCC.
    • Hao F. . In: Cambridge International Workshop on Security Protocols. 2013, Cambridge, UK: Springer Verlag.
    • Hao F, Clarke D, Shepherd C. . In: Cambridge International Workshop on Security Protocols. 2013, Cambridge, UK: Springer Verlag.
    • Van Schaik P, Zeng Y, Spears I. . In: 9th International Workshop ADMI 2013: International Workshop on Agents and Data Mining Interaction. 2013, Saint Paul, MN: Springer Verlag.
    • Bryans JW, Koutny M, Mu C. . In: Trustworthy Global Computing - 7th International Symposium, TGC 2012. 2013, 缅北禁地 upon Tyne, UK: Springer.
    • Kleijn J, Koutny M, Pietkiewicz-Koutny M. . In: Transactions on Petri Nets and Other Models of Concurrency IX. 2013, Springer Verlag.
    • Kleijn J, Koutny M, Pietkiewicz-Koutny M. . In: 3rd Workshop on Application of Region Theory (ART). 2013, Barcelona, Spain.
    • Fernandes J, Koutny M, Pietkiewicz-Koutny M, Sokolov D, Yakovlev A. . In: Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013. 2013, Milan, Italy: Springer.
    • Dietrich D, Whiteside I, Aspinall D. . In: LPAR: International Conference on Logic for Programming Artificial Intelligence and Reasoning. 2013, Stellenbosch, South Africa: Springer.
    • Zeng W, Liu K, Koutny M. . In: 46th Annual Simulation Symposium. 2013, San Diego, CA, USA: SCS/ACM.
    • Janicki R, Kleijn J, Koutny M, Mikulski L. . In: 22nd International Workshop on Concurrency, Specification and Programming, CS&P. 2013, Warsaw, Poland: CEUR-WS.org.
    • Koutny M, Mikulski L, Pietkiewicz-Koutny M. . In: Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013. 2013, Milan, Italy: Springer.
    • Koutny M, Pietkiewicz-Koutny M. . In: Recent Advances in Petri Nets and Concurrency (RAPNeC-2010). 2012, Braga, Portugal: CEUR Workshop Proceedings.
    • Missier P, Randell B, Koutny M. . In: Provenance and Annotation of Data and Processes - 4th International Provenance and Annotation Workshop, IPAW 2012. 2012, Santa Barbara, CA, USA: Springer.
    • Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G. . In: 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC). 2012, 缅北禁地 upon Tyne, UK: Cornell University Library.
    • Mikulski L, Koutny M. . In: 12th International Conference on Application of Concurrency to System Design, ACSD 2012. 2012, Hamburg, Germany: IEEE.
    • Aman B, Ciobanu G, Koutny M. . In: Formal Techniques for Distributed Systems International Conference (FMOODS/FORTE). 2012, Stockholm, Sweden: Springer.
    • Ciobanu G, Koutny M, Steggles LJ. . In: Software Engineering and Formal Methods: 10th International Conference, SEFM 2012. 2012, Thessaloniki, Greece: Springer.
    • Ciobanu G, Koutny M. . In: Formal Methods: 17th International Symposium on Formal Methods. 2011, Limerick, Ireland: Springer.
    • Kleijn J, Koutny M. . In: Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011. 2011, 缅北禁地 upon Tyne: Springer.
    • Kleijn J, Koutny M, Rozenberg G. . In: BioPPN-2011, 2nd International Workshop on Biological Processes & Petri Nets. 2011, 缅北禁地 upon Tyne: CEUR-WS, RWTH Aachen University.
    • Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G. . In: ART-2011, Applications of Region Theory. 2011, 缅北禁地 upon Tyne: CEUR-WS, RWTH Aachen University.
    • Dong L, Di H, Tao L, Xu G, Olivier P. . In: The Ninth Asian Conference on Computer Vision. 2010, Xi'an, China: Springer.
    • Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Vaisanen P, Ilic D, Latvala T. . In: 29th International Conference on Computer Safety, Reliability and Security (SAFECOMP). 2010, Vienna, Austria: Springer.
    • Shang DL, Xia F, Golubcovs S, Yakovlev A. . In: 19th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS 2009). 2010, Delft, Netherlands: Springer.
    • Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A, Varpaaniemi K, Ilic D, Latvala T. . In: Abstract State Machines, Alloy, B and Z: Second International Conference (ABZ). 2010, Orford, QC, Canada: Springer.
    • Kleijn J, Koutny M. . In: Applications and Theory of Petri Nets, 31st International Conference (PETRI NETS). 2010, Braga, Portugal: Springer.
    • Bertens LMF, Kleijn J, Koutny M, Verbeek FJ. . In: International Workshop on Biological Processes & Petri Nets (BioPPN). 2010, Braga, Portugal.
    • Kleijn J, Koutny M. . In: Fundamentals of Software Engineering: Third IPM International Conference (FSEN). 2010, Kish Island, Iran: Springer.
    • Koutny M, Pietkiewicz-Koutny M. . In: Proceedings of the International Workshop on Petri Nets and Software Engineering, PNSE'09. 2009, Paris, France: University of Hamburg, Department of Informatics.
    • Dotti F, Iliasov A, Ribeiro L, Romanovsky A. . In: Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods (ICFEM). 2009, Springer.
    • Koutny M, Pietkiewicz-Koutny M. . In: Workshop on Concurrency, Specification, and Programming (CS&P). 2009, Kraków-Przegorzały, Poland: Warsaw University.
    • Mazzucco M, Morgan G, Panzieri F, Sharp C. . In: On the Move to Meaningful Internet Systems. 2009, Springer.
    • Klaudel H, Koutny M, Pelz E, Pommereau F. . In: 24th International Symposium on Computer and Information Sciences. 2009, Middle East Technical University, North Cyprus Campus: IEEE.
    • Klaudel H, Koutny M, Pelz E, Pommereau F. . In: 5th International Colloquium on Theoretical Aspects of Computing (ICTAC). 2008, Istanbul, Turkey: Springer-Verlag.
    • Darondeau P, Koutny M, Pietkiewicz-Koutny M, Yakovlev A. . In: Applications and Theory of Petri Nets: 29th International Conference. 2008, Xi'an, China: Springer-Verlag.
    • Ciobanu G, Koutny M. . In: Fundamental Approaches to Software Engineering: 11th International Conference (FASE). Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS). 2008, Budapest, Hungary: Springer- Verlag.
    • Iliasov A, Koutny M. . In: Proceedings of the IASTED International Conference on Software Engineering (SE). 2008, Innsbruck, Austria.
    • Koutny M, Pietkiewicz-Koutny M. . In: Fundamenta Informaticae: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007). 2007, Siedlce, Poland: IOS Press.
    • Koutny M, Pietkiewicz-Koutny M. . In: 28th International Conference on Petri Nets and Other Models of Concurrency (ICATPN). 2007, Siedlce, Poland: Springer-Verlag.
    • Devillers R, Klaudel H, Koutny M. . In: Seventh International Conference on Application of Concurrency to System Design (ACSD). 2007, Bratislava, Slovak Republic: IEEE Computer Society.
    • Randell B, Koutny M. . In: Theoretical Aspects of Computing: 4th International Colloquium (ICTAC). 2007, Macao, China: Springer-Verlag.
    • Koutny M, Pappalardo G, Pietkiewicz-Koutny M. . In: Proceedings of the International Multiconference on Computer Science and Information Technology. 2007, Wisla, Poland: Polish Information Processing Society.
    • Koutny M, Pietkiewicz-Koutny M. . In: Concurrency Theory: 17th International Conference (CONCUR). 2006, Bonn, Germany: Springer.
    • Koutny M, Pappalardo G, Pietkiewicz-Koutny M. . In: Sixth International Conference on Application of Concurrency to System Design (ACSD). 2006, Turku, Finland: IEEE Computer Society.
    • Kleijn JHCM, Koutny M, Rozenberg G. . In: 6th International Workshop on Membrane Computing. 2006, Vienna, Austria: Springer.
    • Kleijn J, Koutny M. . In: Membrane Computing: 7th International Workshop (WMC). 2006, Leiden, The Netherlands: Springer.
    • Bryans JW, Koutny M, Mazare L, Ryan PYA. . In: Formal Aspects in Security and Trust: 3rd International Workshop on Formal Aspects in Security and Trust. 2006, 缅北禁地 upon Tyne, UK: Springer.
    • Kleijn HCM, Koutny M. . In: Petri Nets and Other Models of Concurrency: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN). 2006, Turku, Finland: Springer.
    • Khomenko V, Koutny M, Niaouris A. . In: Fourth International Workshop on Modelling of Objects, Components and Agents (MOCA'06). 2006, Turku, Finland: Universität Hamburg, Department Informatik.
    • Devillers R, Klaudel H, Koutny M. . In: Theoretical Aspects of Computing: 3rd International Colloquium (ICTAC). 2006, Tunis, Tunisia: Springer.
    • Duan Z, Yang X, Koutny M. . In: Logic Programming. 21st International Conference, ICLP 2005. 2005, Sitges, Spain: Springer.
    • Duan ZH, Yang XX, Koutny M. . In: Logic Programming: 21st International Conference (ICLP). 2005, Sitges, Spain: Springer.
    • Iliasov A, Khomenko V, Koutny M, Romanovsky A. . In: Rigorous Engineering of Fault Tolerant Systems (REFT). 2005, 缅北禁地 upon Tyne: Springer.
    • Bryans JW, Koutny M, Ryan PYA. . In: 2nd International Workshop on Formal Aspects in Security and Trust held at the 18th World Computer Congress. 2005, Toulouse, France: Springer.
    • Khomenko V, Kondratyev A, Koutny M, Vogler W. . In: Concurrency Theory: 16th International Conference (CONCUR). 2005, San Francisco, CA, USA: Springer.
    • Devillers R, Klaudel H, Koutny M. . In: Formal Techniques for Networked and Distributed Systems (FORTE). 2004, Madrid, Spain: Springer.
    • Devillers R, Klaudel H, Koutny M. . In: Formal Techniques for Networked and Distributed Systems – FORTE 2004. FORTE. 2004, Madrid, Spain: Springer, Berlin, Heidelberg.
    • Khomenko V, Koutny M, Yakovlev A. . In: 4th International Conference on Application of Concurrency to System Design (ACSD 2004). 2004, Hamilton, Canada: Fundamenta Informaticae: IOS Press.
    • Khomenko V, Koutny M, Yakovlev A. . In: 4th International Conference on Application of Concurrency to System Design (ACSD 2004). 2004, Hamilton, Ontario, Canada: IEEE.
    • Devillers R, Klaudel H, Koutny M. . In: Proceedings - Fourth International Conference on Application of Concurrency to System Design (ACSD). 2004, Hamilton, Ontario, Canada: IEEE.
    • Devillers R, Klaudel H, Koutny M. . In: Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD. 2004, Hamilton, ON, Canada: IEEE.
    • Khomenko V, Koutny M, Yakovlev A. . In: 3rd International Conference on Application of Concurrency to System Design (ACSD 2003). 2003, Guimaraes, Portugal: IEEE Computer Society.
    • Khomenko V, Koutny M. . In: Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference (TACAS). 2003, Warsaw, Poland: Springer.
    • Bystrov A, Yakovlev A, Koutny MS. . In: Design, Automation and Test in Europe Conference and Exposition (DATE 2002). 2002, Paris, France: IEEE Computer Society.
    • Heljanko K, Khomenko V, Koutny M. . In: Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference (TACAS). 2002, Grenoble, France: Springer.
    • Devillers R, Klaudel H, Koutny M, Pelz E, Pommereau F. . In: High Performance Computing Symposium (HPC). 2002, San Diego, CA, USA: Society for Computer Simulation.
    • Khomenko V, Koutny M, Yakovlev A. . In: Design, Automation and Test in Europe Conference and Exposition (DATE). 2002, Paris, France: IEEE Computer Society Press.
    • Kleijn HCM, Koutny M. . In: 13th International Conference on Concurrency Theory (CONCUR). 2002, Brno, Czech Republic: Springer-Verlag.
    • Khomenko VV, Koutny MS, Vogler W. . In: 14th International Conference on Computer Aided Verification (CAV 2002). 2002, Copenhagen, Denmark: Springer-Verlag.
    • Devillers R, Klaudel H, Koutny M, Pommereau F. . In: 9th International Conference on Algebraic Methodology and Software Technology (AMAST). 2002, Saint-Gilles-les-Bains, Reunion Island, France: Springer-Verlag.
    • Burton J, Koutny M, Pappalardo G. . In: International Symposium of Formal Methods Europe, FME 2001: Formal Methods for Increasing Software Productivity. 2001, Berlin, Germany: Springer-Verlag.
    • Khomenko V, Koutny M. . In: 12th International Conference on Concurrency Theory (CONCUR). 2001, Aalborg, Denmark: Springer-Verlag.
    • Burns A, Wellings AJ, Burns F, Koelmans AM, Koutny M, Romanovsky A, Yakovlev A. . In: 21st International Workshop on Software Engineering and Petri Nets (SEPN). 2001, Aarhus, Denmark: CRL Publishing.
    • Burton J, Koutny M, Pappalardo G. . In: 2nd International Conference on Application of Concurrency to System Design (ACSD). 2001, 缅北禁地 upon Tyne, UK: IEEE Computer Society Press.
    • Burns A, Wellings AJ, Burns FP, Koutny M, Romanovsky A. . In: DAIMIPB: International Workshop on Software Engineering and Petri Nets (SEPN 2000) (in conjunction with the 21st International Conference on Application and Theory of Petri Nets (ICATPN). 2000, Aarhus, Denmark: Aarhus Universitet, Datalogisk Afdeling.
    • Kleijn J, Koutny M. . In: Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000. 2000, Aarhus, Denmark: Springer-Verlag.
    • Khomenko V, Koutny M. . In: 11th International Conference on Concurrency Theory (CONCUR). 2000, University Park, Pennsylvania, USA: Springer-Verlag.
    • Koutny M. . In: Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000. 2000, Aarhus, Denmark: Springer-Verlag.
    • Best E, Devillers R, Koutny M. . In: 20th Conference on Application and Theory of Petri Nets (ICATPN). 1999, Williamsburg, VA, USA: Springer-Verlag.
    • Koutny M, Pappalardo G. . In: 16th Annual Symposium on Theoretical Aspects of Computer Science (STACS). 1999, Trier, Germany: Springer-Verlag.
    • Koutny M, Pappalardo G. . In: 16th Annual Symposium on Theoretical Aspects of Computer Science. 1999, Trier, Germany: Springer.
    • Devillers R, Koutny M. . In: 1st International Conference on Application of Concurrency to System Design (CSD). 1998, Fukushima, Japan: IEEE Computer Society Press.
    • Hesketh M, Koutny M. . In: 19th International Conference on Application and Theory of Petri Nets (ICATPN). 1998, Lisbon, Portugal: Springer-Verlag.
    • Best E, Koutny M. . In: 22nd International Colloquium on Automata, Languages and Programming (ICALP). 1995, Szeged, Hungary: Springer-Verlag.
    • Anisimov N, Koutny M. . In: 15th IFIP TC 6 WG 6.1 International Symposium on Protocol Specification, Testing and Verification (PSTV). 1995, Warsaw, Poland: Chapman & Hall.
    • Best E, Koutny M. . In: 16th International Conference on Application and Theory of Petri Nets (APN). 1995, Turin, Italy: Springer.
    • Duan Z, Koutny M, Holt CM. . In: 5th International Conference on Logic Programming and Automated Reasoning. 1994, Kiev, Ukraine: Springer-Verlag.
    • Koutny M. . In: 15th International Conference on Application and Theory of Petri Nets (APN). 1994, Zaragoza, Spain: Springer-Verlag.
    • Koutny M, Esparza J, Best E. . In: 5th International Conference on Concurrency Theory (CONCUR). 1994, Uppsala, Sweden: Springer-Verlag.
    • Janicki R, Koutny M. . In: 6th International PARLE Conference on Parallel Architectures and Languages Europe (PARLE). 1994, Athens, Greece: Springer-Verlag.
    • Janicki R, Koutny M. . In: 13th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS). 1993, Bombay, India: Springer-Verlag.
    • Koutny M, Mancini L, Pappalardo G. . In: 5th International PARLE Conference on Parallel Architectures and Languages Europe (PARLE). 1993, Munich, Germany: Springer-Verlag.
    • Janicki R, Koutny M. . In: 2nd International Conference on Algebraic Methodology and Software Technology (AMAST). 1992, Iowa City, USA: Springer-Verlag.
    • Janicki R, Koutny M. . In: Future Generation Computer Systems: Papers from the Workshop on Parallel and distributed workstation systems. 1992, Florence, Italy: Elsevier Science Publishers BV.
    • Janicki R, Koutny M. . In: 2nd International Workshop on Computer Aided Verification (CAV). 1991, New Brunswick, New Jersey, USA: Springer-Verlag.
    • Janicki R, Koutny M. . In: Advances in Petri Nets 1991. ICATPN 1990. 11th International Conference on Applications and Theory of Petri Nets (APN). 1991, Paris, France: Springer Berlin, Heidelberg.
    • Janicki R, Koutny M. . In: 2nd Workshop on Computer-Aided Verification (CAV). 1991, Center for Discrete Mathematics and Theoretical Computer Science, Rutgers University, NJ, USA: American Mathematical Society.
    • Janicki R, Koutny M. . In: 3rd International Conference on Parallel Architectures and Languages Europe (PARLE). 1991, Eindhoven, The Netherlands: Springer-Verlag.
    • Janicki R, Koutny M. . In: 2nd International Conference on Concurrency Theory (CONCUR). 1991, Amsterdam, The Netherlands: Springer-Verlag.
    • Janicki R, Koutny M. . In: Workshop on Real-Time Systems: Theory and Applications. 1990, Horsholm, Denmark: Elsevier Science Publishers B.V.
    • Saeed A, Anderson T, Koutny M. . In: International Conference on Computer Safety, Reliability and Security (SAFECOMP). 1990, London, UK: Elsevier Science.
    • Janicki R, Koutny M. . In: 2nd International Symposium on Parallel Architectures and Languages Europe (PARLE). 1989, Eindhoven, Netherlands: Springer-Verlag.
    • Koutny M, Hopkins RP. . In: 1st International Conference on Computing and Information (ICCI). 1989, Toronto, Canada: Elsevier Science Publishers BV.
    • Koutny M. . In: International Conference on Concurrency (Concurrency). 1988, Hamburg, Germany: Springer-Verlag.
    • Hopkins RP, Koutny M. . In: 11th Annual International Computer Software and Applications Conference (COMPSAC). 1987, Tokyo, Japan: IEEE Computer Society Press.
    • Janicki R, Koutny M. . In: 7th European Workshop on Applications and Theory of Petri Nets (APN). 1986, Oxford, UK: Springer-Verlag.
    • Koutny M, Mancini L. . In: 14th Annual ACM Computer Science Conference (CSC). 1986, Cincinnati, Ohio, USA: ACM Press, New York.
    • Koutny M. . In: 8th ACM International Computing Symposium (ICS): Computing 85: A Broad Perspective of Current Developments. 1985, Florence, Italy: North-Holland.
    • Koutny M. . In: 6th International Symposium on Programming. 1984, Toulouse, France: Springer-Verlag.

  • Edited Books

    • Nicosia G, Ojha V, Malfa EL, Malfa GL, Jansen G, Pardalos P, Giuffrida G, Umeton R, ed. . Cham: Springer, 2022.
    • Nicosia G, Ojha V, Malfa EL, Malfa GL, Jansen G, Pardalos P, Giuffrida G, Umeton R, ed. . Cham: Springer, 2022.
    • Koutny M, Kristensen LM, Penczek W, ed. . Berlin: Springer, 2018.
    • Thomas N, Forshaw M, ed. . Springer, 2017.
    • Koutny M, Desel J, Haddad S, ed. . Heidelberg: Springer Verlag, 2015.
    • Koutny M, Haddad S, Yakovlev A, ed. . Heidelberg: Springer Verlag, 2014.
    • Koutny M, van-der-Aalst WMP, Yakovlev A, ed. . Germany: Springer, 2013.
    • Koutny M, Ulidowski I, ed. . Berlin: Springer, 2012.
    • Billington J, Duan Z, Koutny M, ed. . Los Alamitos, California, USA: IEEE Press, 2008.
    • Colom J-M, Koutny M, ed. . Berlin: Springer-Verlag, 2001.

  • Editorials

    • Ter Beek M, Koutny M, Rozenberg G. . Fundamenta Informaticae 2020, 175(1-4), V-VIII.
    • Sim K, Kaufmann P, Ascheid G, Bacardit J, Cagnoni S, Cotta C, D'Andreagiovanni F, Divina F, Esparcia-Alcazar AI, Vega FFD, Glette K, Hubert J, Hidalgo JI, Iacca G, Kampouridis M, Kramer O, Mavrovouniotis M, Mora Garcia AM, Nguyen TT, Otero F, Schaefer R, Silva S, Tonda A, Urquhart N, Zhang M. . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2018, 10784 LNCS, VII-VIII.
    • Aman B, Kleijn J, Koutny M, Lucanu D. . Fundamenta Informaticae 2017, 153(1-2), v-vi.
    • Koutny M. . Transaction on Petri Nets and Others Models of Concurrency XI 2016, 9930 LNCS.
    • Ciobanu G, Koutny M. . Theoretical Computer Science 2012, 431, 2-3.
    • Ciobanu G, Koutny M. . Electronic proceedings in Theoretical Computer Science (EPTCS) 2010, 40, 1-1.
    • Janicki R, Koutny M, Billington J. . Fundamenta Informaticae 2009, 95(1), i-iv.

  • Reports

    • Meski A, Koutny M, Penczek W. . 缅北禁地 upon Tyne: School of Computing, 缅北禁地, 2019. School of Computing Technical Report Series 1526.
    • Bhattacharyya A, Koutny M, Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2017. School of Computing Science Technical Report Series 1506.
    • Li B, Koutny M, Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2016. School of Computing Science Technical Report Series 1493.
    • Li B, Koutny M. . University of 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2015. School of Computing Science Technical Report Series 1463.
    • Li B, Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2015. School of Computing Science Technical Report Series 1448.
    • Janicki R, Kleijn J, Koutny M, Mikulski L. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2014. School of Computing Science Technical Report Series 1437.
    • Janicki R, Kleijn J, Koutny M, Mikulski L. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2014. School of Computing Science Technical Report Series 1436.
    • Fernandes J, Koutny M, Mikulski L, Pietkiewicz-Kounty M, Sokolov D, Yakovlev A. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2013. School of Computing Science Technical Report Series 1400.
    • Konios A, Pietkiewicz-Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2013. School of Computing Science Technical Report Series 1377.
    • Bertens L, Kleijn J, Hille S, Koutny M, Heiner M, Verbeek F. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2013. School of Computing Science Technical Report Series 1379.
    • Mikulski L, Piatkowski M, Smyczynski S. . 缅北禁地 upon Tyne: 缅北禁地, 2013. School of Computing Science Technical Report Series 1365.
    • Klaudel H, Koutny M, Duan Z. . 缅北禁地 upon Tyne: 缅北禁地, 2013. School of Computing Science Technical Report Series 1373.
    • Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2013. School of Computing Science Technical Report Series 1384.
    • Janicki R, Kleijn J, Koutny M, Mikulski L. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2013. School of Computing Science Technical Report Series 1378.
    • Zeng W, Mu C, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2013. School of Computing Science Technical Report Series 1387.
    • Fernandes J, Koutny M, Pietkiewicz-Koutny M, Sokolov D, Yakovlev A. . 缅北禁地 upon Tyne: 缅北禁地, 2012. School of Computing Science Technical Report Series 1349.
    • Missier P, Randell B, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2012. School of Computing Science Technical Report Series 1326.
    • Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G. . 缅北禁地 upon Tyne: 缅北禁地, 2012. School of Computing Science Technical Report Series 1356.
    • Mikulski L, Koutny M. . 缅北禁地 upon Tyne: 缅北禁地, 2012. School of Computing Science Technical Report Series 1357.
    • Ciobanu G, Koutny M, Steggles J. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2012. School of Computing Science Technical Report Series 1341.
    • Koutny M, Mikulski L, Pietkiewicz-Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2012. School of Computing Science Technical Report Series 1361.
    • Bryans J, Koutny M, Mu C. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1304.
    • Ciobanu G, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1292.
    • Ciobanu G, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1291.
    • Kleijn J, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1289.
    • Koutny M, Pietkiewicz-Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1288.
    • Kleijn J, Koutny M, Pietkiewicz-Koutny M, Rozenberg G. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1298.
    • Ehrenfeucht A, Kleijn J, Koutny M, Rozenberg G. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1295.
    • Kleijn J, Koutny M, Pietkiewicz-Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1297.
    • Ehrenfeucht A, Kleijn J, Koutny M, Rozenberg G. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1305.
    • Kleijn J, Koutny M, Rozenberg G. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1284.
    • Ciobanu G, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1303.
    • Kleijn J, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1286.
    • Kleijn J, Koutny M, Rozenberg G. . 缅北禁地 upon Tyne: School of Computing Science, 缅北禁地, 2011. School of Computing Science Technical Report Series 1244.
    • Kleijn J, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1287.
    • Kleijn J, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1285.
    • Duan Z, Klaudel H, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1296.
    • Mikulski L, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1301.
    • van der Vlugt S, Kleijn J, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1293.
    • Kleijn J, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1290.
    • Kleijn J, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1294.
    • Mokhov A, Khomenko V, Alekseyev A, Yakovlev A. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1307.
    • Koutny M, Pietkiewicz-Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2010. School of Computing Science Technical Report Series 1195.
    • Koutny M, Pietkiewicz-Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2009. School of Computing Science Technical Report Series 1141.
    • Koutny M, Pietkiewicz-Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2009. School of Computing Science Technical Report Series 1142.
    • Randell B, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2009. School of Computing Science Technical Report Series 1170.
    • Randell B, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2009. School of Computing Science Technical Report Series 1162.
    • Kleijn J, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2009. School of Computing Science Technical Report Series 1134.
    • Darondeau P, Koutny M, Pietkiewicz-Koutny M, Yakovlev A. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2008. School of Computing Science Technical Report Series 1080.
    • Koutny M, Randell B. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2008. School of Computing Science Technical Report Series 1120.
    • Kleijn J, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2008. School of Computing Science Technical Report Series 1118.
    • Kleijn J, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2008. School of Computing Science Technical Report Series 1117.
    • Kleijn J, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2008. School of Computing Science Technical Report Series 1102.
    • Kleijn J, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2008. School of Computing Science Technical Report Series 1119.
    • Koutny M, Pietkiewicz-Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2007. School of Computing Science Technical Report Series 1000.
    • Kleijn J, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2007. School of Computing Science Technical Report Series 1049.
    • Koutny M, Pietkiewicz-Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2006. School of Computing Science Technical Report Series 948.
    • Koutny M, Pappalardo G, Pietkiewicz-Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2006. School of Computing Science Technical Report Series 949.
    • Kleijn HCM, Koutny M, Rozenberg G. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2006. School of Computing Science Technical Report Series 941.
    • Kleijn J, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2006. School of Computing Science Technical Report Series 985.
    • Kleijn J, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2006. School of Computing Science Technical Report Series 986.
    • Randell B, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2006. School of Computing Science Technical Report Series 994.
    • Khomenko V, Koutny M, Niaouris A. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2006. School of Computing Science Technical Report Series 953.
    • Kleijn HCM, Koutny M, Rozenberg G. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2005. School of Computing Science Technical Report Series 919.
    • Khomenko V, Kondratyev A, Koutny M, Vogler W. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2005. School of Computing Science Technical Report Series 884.
    • Kleijn HCM, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2005. School of Computing Science Technical Report Series 932.
    • Niaouris A, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2005. School of Computing Science Technical Report Series 895.
    • Devillers R, Klaudel H, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2005. School of Computing Science Technical Report Series 887.
    • Devillers R, Klaudel H, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2005. School of Computing Science Technical Report Series 912.
    • Devillers R, Klaudel H, Koutny M. . Unviersity of 缅北禁地 upon Tyne: School of Computing Science, 2004. Technical Report Series CS-TR-846.
    • Devillers R, Klaudel H, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2004. School of Computing Science Technical Report Series 846.
    • Bryans JW, Koutny M, Mazare L, Ryan PYA. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2004. School of Computing Science Technical Report Series 868.
    • Bryans J, Koutny M, Ryan P. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2004. School of Computing Science Technical Report Series 840.
    • Bryans JW, Koutny M, Ryan PYA. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2004. School of Computing Science Technical Report Series 855.
    • Khomenko V, Koutny M, Yakovlev A. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2003. School of Computing Science Technical Report Series 813.
    • Burton J, Koutny M, Pappalardo G. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2002. Department of Computing Science Technical Report Series 757.
    • Kleijn HCM, Koutny M. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2002. Department of Computing Science Technical Report Series 769.
    • Khomenko V, Koutny M, Yakovlev A. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2002. Department of Computing Science Technical Report Series 778.
    • Khomenko V, Koutny M. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2002. Department of Computing Science Technical Report Series 763.
    • Devillers R, Klaudel M, Koutny M, Pommereau F. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2002. Department of Computing Science Technical Report Series 759.
    • Bystrov A, Koutny M, Yakovlev A. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2001. Department of Computing Science Technical Report Series 744.
    • Heljanko K, Khomenko V, Koutny M. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2001. Department of Computing Science Technical Report Series 733.
    • Khomenko V, Koutny M, Yakovlev A. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2001. Department of Computing Science Technical Report Series 736.
    • Burton J, Koutny M, Pappalardo G, Pietkiewicz-Koutny M. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2001. Department of Computing Science Technical Report Series 752.
    • Khomenko V, Koutny M, Vogler W. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2001. Department of Computing Science Technical Report Series 741.
    • Koutny M, Khomenko V. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2001. Department of Computing Science Technical Report Series 726.
    • Khomenko V, Koutny M. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2000. Department of Computing Science Technical Report Series 711.
    • Burns A, Wellings AJ, Burns F, Koelmans AM, Koutny M, Romanovsky A, Yakovlev A. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2000. Department of Computing Science Technical Report Series 700.
    • Burns A, Wellings AJ, Koelmans AM, Koutny M. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2000. Department of Computing Science Technical Report Series 706.
    • Burton J, Koutny M, Pappalardo G. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2000. Department of Computing Science Technical Report Series 696.
    • Koutny M, Khomenko V. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 2000. Department of Computing Science Technical Report Series 695.
    • Koutny M, Pappalardo G. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1998. Department of Computing Science Technical Report Series 636.
    • Anisimov N, Koutny M. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1997. Department of Computing Science Technical Report Series 575.
    • Hesketh M, Koutny M. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1997. Department of Computing Science Technical Report Series 585.
    • Koutny M, Pietkiewicz-Koutny M. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1995. Department of Computing Science Technical Report Series 495.
    • Koutny M, Mancini LV, Pappalardo G. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1994. Department of Computing Science Technical Report Series 491.
    • Duan Z, Koutny M, Holt CM. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1993. Department of Computing Science Technical Report Series 452.
    • Janicki R, Koutny M. . 缅北禁地 upon Tyne: Department of Computing Science, University of 缅北禁地 upon Tyne, 1993. Department of Computing Science Technical Report Series 425.
    • Koutny M, Mancini LV, Pappalardo G. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1992. Computing Laboratory Technical Report Series 378.
    • Koutny M, Mancini LV, Pappalardo G. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1991. Computing Laboratory Technical Report Series 351.
    • Koutny M, Janicki R. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1991. Computing Laboratory Technical Report Series 367.
    • Koutny M. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1991. Computing Laboratory Technical Report Series 353.
    • Janicki R, Koutny M. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1991. Computing Laboratory Technical Report Series 355.
    • Janicki R, Koutny M. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1990. Computing Laboratory Technical Report Series 312.
    • Koutny M. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1990. Computing Laboratory Technical Report Series 313.
    • Hopkins RP, Koutny M. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1989. Computing Laboratory Technical Report Series 282.
    • Hopkins RP, Koutny M. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1989. Computing Laboratory Technical Report Series 287.
    • Koutny M. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1988. Computing Laboratory Technical Report Series 270.
    • Koutny M, Mancini LV. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1987. Computing Laboratory Technical Report Series 237.
    • Janicki R, Koutny M. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1987. Computing Laboratory Technical Report Series 234.
    • Hopkins RP, Koutny M. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1987. Computing Laboratory Technical Report Series 239.
    • Mancini LV, Koutny M. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1986. Computing Laboratory Technical Report Series 213.
    • Koutny M. . 缅北禁地 upon Tyne: Computing Laboratory, University of 缅北禁地 upon Tyne, 1985. Computing Laboratory Technical Report Series 205.