Follow
Slawomir Lasota
Slawomir Lasota
University of Warsaw, prof. of computer science
Verified email at mimuw.edu.pl
Title
Cited by
Cited by
Year
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
1792018
Automata theory in nominal sets
M Bojańczyk, B Klin, S Lasota
arXiv preprint arXiv:1402.0897, 2014
1322014
Alternating timed automata
S Lasota, I Walukiewicz
ACM Transactions on Computational Logic (TOCL) 9 (2), 1-27, 2008
1292008
Automata with group actions
M Bojanczyk, B Klin, S Lasota
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 355-364, 2011
1212011
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
1192020
Logical relations for monadic types
J Goubault-Larrecq, S Lasota, D Nowak
Mathematical Structures in Computer Science 18 (6), 1169-1217, 2008
74*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
672012
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
602013
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
542013
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
542010
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
432017
A machine-independent characterization of timed languages
M Bojańczyk, S Lasota
International Colloquium on Automata, Languages, and Programming, 92-103, 2012
432012
Relating timed and register automata
D Figueira, P Hofman, S Lasota
Mathematical Structures in Computer Science 26 (6), 993-1021, 2016
412016
Timed pushdown automata revisited
L Clemente, S Lasota
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 738-749, 2015
392015
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
382007
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
322013
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
282009
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
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
242017
Decidability border for Petri nets with data: WQO dichotomy conjecture
S Lasota
International Conference on Applications and Theory of Petri Nets and …, 2016
232016
The system can't perform the operation now. Try again later.
Articles 1–20