Follow
Slawomir Lasota
Slawomir Lasota
University of Warsaw, prof. of computer science
Verified email at mimuw.edu.pl
Title
Cited by
Cited by
Year
The reachability problem for Petri nets is not elementary
W Czerwiński, S Lasota, R Lazić, J Leroux, F Mazowiecki
Journal of the ACM (JACM) 68 (1), 1-28, 2020
1542020
Automata theory in nominal sets
M Bojańczyk, B Klin, S Lasota
Logical Methods in Computer Science 10, 2014
1492014
Alternating timed automata
S Lasota, I Walukiewicz
ACM Transactions on Computational Logic (TOCL) 9 (2), 1-27, 2008
1312008
Automata with group actions
M Bojanczyk, B Klin, S Lasota
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 355-364, 2011
1092011
Logical relations for monadic types
J Goubault-Larrecq, S Lasota, D Nowak
Mathematical Structures in Computer Science 18 (6), 1169-1217, 2008
81*2008
Towards nominal computation
M Bojanczyk, L Braud, B Klin, S Lasota
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles ofá…, 2012
692012
Turing machines with atoms
M Bojanczyk, B Klin, S Lasota, S Torunczyk
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 183-192, 2013
622013
Modelling the efficacy of hyperthermia treatment
M Rybiński, Z Szymańska, S Lasota, A Gambin
Journal of The Royal Society Interface 10 (88), 20130527, 2013
602013
An extension of data automata that captures XPath
M Bojańczyk, S Lasota
Logical Methods in Computer Science 8, 2012
562012
A machine-independent characterization of timed languages
M Bojańczyk, S Lasota
International Colloquium on Automata, Languages, and Programming, 92-103, 2012
442012
Relating timed and register automata
D Figueira, P Hofman, S Lasota
Mathematical Structures in Computer Science 26 (6), 993-1021, 2016
402016
Diversity and structure of PIF/Harbinger-like elements in the genome of Medicago truncatula
D Grzebelus, S Lasota, T Gambin, G Kucherov, A Gambin
BMC genomics 8 (1), 1-14, 2007
402007
Timed pushdown automata revisited
L Clemente, S Lasota
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 738-749, 2015
382015
On subset seeds for protein alignment
M Roytberg, A Gambin, L NoÚ, S Lasota, E Furletova, E Szczurek, ...
IEEE/ACM Transactions on Computational Biology and Bioinformatics 6 (3), 483-494, 2009
302009
Faster algorithm for bisimulation equivalence of normed context-free processes
S Lasota, W Rytter
International Symposium on Mathematical Foundations of Computer Science, 646-657, 2006
282006
Automata with group actions
M Bojańczyk, B Klin, S Lasota
Proc. LICS 2011, 355-364, 2011
272011
Regular separability of one counter automata
W Czerwiński, S Lasota
Logical Methods in Computer Science 15, 2019
252019
Decidability border for Petri nets with data: WQO dichotomy conjecture
S Lasota
International Conference on Applications and Theory of Petri Nets andá…, 2016
252016
Coverability trees for Petri nets with unordered data
P Hofman, S Lasota, R Lazić, J Leroux, S Schmitz, P Totzke
International Conference on Foundations of Software Science and Computationá…, 2016
232016
Decidability of branching bisimulation on normed commutative context-free processes
W Czerwiński, P Hofman, S Lasota
International Conference on Concurrency Theory, 528-542, 2011
222011
The system can't perform the operation now. Try again later.
Articles 1–20