缅北禁地

Lukasz is conducting research concerning the fundamental aspects of theory of concurrent and distributed systems. Lukasz is also developing new techniques and algorithms for checking the functional correctness of concurrent and distributed systems and preparing a new application for collaborative research with 缅北禁地. The expected outcomes of Lukasz’s visit include, research papers submitted to leading Computer Science journals and the relevant professional conferences and workshops.

• 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.
• Mikulski L, Piatkowski M, Smyczynski S. . 缅北禁地 upon Tyne: 缅北禁地, 2013. School of Computing Science Technical Report Series 1365.
• 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.
• Mikulski L, Koutny M. . 缅北禁地 upon Tyne: 缅北禁地, 2012. School of Computing Science Technical Report Series 1357.
• Mikulski L, Koutny M. . In: 12th International Conference on Application of Concurrency to System Design, ACSD 2012. 2012, Hamburg, Germany: IEEE.
• Mikulski L, Koutny M. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2011. School of Computing Science Technical Report Series 1301.
• 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.
• 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.
• Barylska K, Koutny M, Mikulski L, Piatkowski M. . Science of Computer Programming 2018, 151, 48-60.
• Barylska K, Erofeev E, Koutny M, Mikulski L, Piatkowski M. . Fundamenta Informaticae 2018, 157(4), 341-357.
• Janicki R, Kleijn J, Koutny M, Mikulski L. . Fundamenta Informaticae 2017, 154(1-4), 207-224.
• Koutny M, Mikulski L, Pietkiewicz-Koutny M. . Information Sciences 2017, 394-395, 299-314.
• Janicki R, Kleijn J, Koutny M, Mikulski L. . Journal of Computer and System Sciences 2019, 104, 297-322.
• Janicki R, Kleijn J, Koutny M, Mikulski L. . Fundamenta Informaticae 2017, 155(1-2), 1-29.
• Janicki R, Kleijn J, Koutny M, Mikulski L. . In: ATAED 2017. 2017, Zaragoza, Spain: CEUR.
• Mikulski L, Mokhov A, Piatkowski M. . In: 17th International Conference on Application of Concurrency to System Design. 2017, Zaragoza, Spain: IEEE.
• Barylska K, Koutny M, Mikulski L, Piatkowski M. . In: 8th Conference on Reversible Computation. 2016, Bologna, Italy: Springer.
• Janicki R, Kleijn J, Koutny M, Mikulski L. . Acta Informatica 2016, 51(1), 35-65.
• Janicki R, Kleijn J, Koutny M, Mikulski Ł. . Fundamenta Informaticae 2015, 139(1), 21-42.
• Janicki R, Kleijn J, Koutny M, Mikulski L. . In: LATA 2015 - Language and Automata Theory and Applications. 2015, Nice, France: Springer International Publishing.
• Fernandes J, Koutny M, Mikulski L, Pietkiewicz-Koutny M, Sokolov D, Yakovlev A. . Fundamenta Informaticae 2015, 137(1), 143-170.
• Mikulski L, Koutny M. . Information Processing Letters 2014, 114(4), 208-216.
• 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.
• 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.
• Mikulski L, Piatkowski M, Rytter W. . 缅北禁地 upon Tyne: School of Computing Science, University of 缅北禁地 upon Tyne, 2014. School of Computing Science Technical Report Series 1439.
• 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.
• 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.
• 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.