Â鶹´«Ã½

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

Staff Profile

Dr Lukasz Mikulski

Visiting Researcher

Background

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.

Publications
  • 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.