Slawomir Lasota
Slawomir Lasota
University of Warsaw, prof. of computer science
Verified email at
Cited by
Cited by
Induced pluripotent stem cell (iPSC)–derived extracellular vesicles are safer and more effective for cardiac repair than iPSCs
M Adamiak, G Cheng, S Bobis-Wozowicz, L Zhao, S Kedracka-Krok, ...
Circulation research 122 (2), 296-309, 2018
Automata theory in nominal sets
M Bojańczyk, B Klin, S Lasota
arXiv preprint arXiv:1402.0897, 2014
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
Alternating timed automata
S Lasota, I Walukiewicz
ACM Transactions on Computational Logic (TOCL) 9 (2), 1-27, 2008
Automata with group actions
M Bojanczyk, B Klin, S Lasota
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 355-364, 2011
Logical relations for monadic types
J Goubault-Larrecq, S Lasota, D Nowak
Mathematical Structures in Computer Science 18 (6), 1169-1217, 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
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
An extension of data automata that captures XPath
M Bojańczyk, S Lasota
2010 25th Annual IEEE Symposium on Logic in Computer Science, 243-252, 2010
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
Electric field as a potential directional cue in homing of bone marrow-derived mesenchymal stem cells to cutaneous wounds
E Zimolag, J Borowczyk-Michalowska, S Kedracka-Krok, ...
Biochimica et Biophysica Acta (BBA)-Molecular Cell Research 1864 (2), 267-279, 2017
A machine-independent characterization of timed languages
M Bojańczyk, S Lasota
Automata, Languages, and Programming: 39th International Colloquium, ICALP …, 2012
Relating timed and register automata
D Figueira, P Hofman, S Lasota
Mathematical Structures in Computer Science 26 (6), 993-1021, 2016
Timed pushdown automata revisited
L Clemente, S Lasota
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 738-749, 2015
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
Lovastatin-induced decrease of intracellular cholesterol level attenuates fibroblast-to-myofibroblast transition in bronchial fibroblasts derived from asthmatic patients
M Michalik, E Soczek, M Kosińska, M Rak, KA Wójcik, S Lasota, ...
European journal of pharmacology 704 (1-3), 23-32, 2013
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
Faster algorithm for bisimulation equivalence of normed context-free processes
S Lasota, W Rytter
Mathematical Foundations of Computer Science 2006: 31st International …, 2006
Decidability border for Petri nets with data: WQO dichotomy conjecture
S Lasota
Application and Theory of Petri Nets and Concurrency: 37th International …, 2016
Regular separability of one counter automata
W Czerwiński, S Lasota
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
The system can't perform the operation now. Try again later.
Articles 1–20