Slawomir Lasota

Slawomir Lasota

University of Warsaw - Warsaw / Poland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1869184
Uniwersytet Warszawski
person_outline Slawomir Lasota's MOST POPULAR ARTICLES
1-) The reachability problem for Petri nets is not elementaryW Czerwiński, S Lasota, R Lazić, J Leroux, F MazowieckiJournal of the ACM (JACM) 68 (1), 1-28, 20201422020
2-) Automata theory in nominal setsM Bojańczyk, B Klin, S LasotaLogical Methods in Computer Science 10, 20141412014
3-) Alternating timed automataS Lasota, I WalukiewiczACM Transactions on Computational Logic (TOCL) 9 (2), 1-27, 20081342008
4-) Automata with group actionsM Bojanczyk, B Klin, S Lasota2011 IEEE 26th Annual Symposium on Logic in Computer Science, 355-364, 20111242011
5-) Logical relations for monadic typesJ Goubault-Larrecq, S Lasota, D NowakMathematical Structures in Computer Science 18 (6), 1169-1217, 200886*2008