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
1992018
Automata theory in nominal sets
M Bojańczyk, B Klin, S Lasota
arXiv preprint arXiv:1402.0897, 2014
1372014
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
1332020
Alternating timed automata
S Lasota, I Walukiewicz
ACM Transactions on Computational Logic (TOCL) 9 (2), 1-27, 2008
1332008
Automata with group actions
M Bojanczyk, B Klin, S Lasota
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 355-364, 2011
1222011
Logical relations for monadic types
J Goubault-Larrecq, S Lasota, D Nowak
Mathematical Structures in Computer Science 18 (6), 1169-1217, 2008
78*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
702012
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
632013
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
552010
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
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
452017
A machine-independent characterization of timed languages
M Bojańczyk, S Lasota
Automata, Languages, and Programming: 39th International Colloquium, ICALP …, 2012
442012
Relating timed and register automata
D Figueira, P Hofman, S Lasota
Mathematical Structures in Computer Science 26 (6), 993-1021, 2016
422016
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
392007
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
292009
Faster algorithm for bisimulation equivalence of normed context-free processes
S Lasota, W Rytter
Mathematical Foundations of Computer Science 2006: 31st International …, 2006
282006
Decidability border for Petri nets with data: WQO dichotomy conjecture
S Lasota
Application and Theory of Petri Nets and Concurrency: 37th International …, 2016
262016
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
252017
The system can't perform the operation now. Try again later.
Articles 1–20