Slawomir Lasota
Slawomir Lasota
University of Warsaw, prof. of computer science
Потвърден имейл адрес: mimuw.edu.pl
Заглавие
Позовавания
Позовавания
Година
Alternating timed automata
S Lasota, I Walukiewicz
ACM Transactions on Computational Logic (TOCL) 9 (2), 1-27, 2008
1172008
Automata with group actions
M Bojanczyk, B Klin, S Lasota
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 355-364, 2011
1142011
Automata theory in nominal sets
M Bojańczyk, B Klin, S Lasota
arXiv preprint arXiv:1402.0897, 2014
962014
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
742018
Towards nominal computation
M Bojanczyk, L Braud, B Klin, S Lasota
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
642012
Logical relations for monadic types
J Goubault-Larrecq, SŁ Lasota, D Nowak
Mathematical Structures in Computer Science 18 (6), 1169-1217, 2008
64*2008
The reachability problem for Petri nets is not elementary
W Czerwiński, S Lasota, R Lazić, J Leroux, F Mazowiecki
Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing …, 2019
532019
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
522013
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
482010
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
422013
A machine-independent characterization of timed languages
M Bojańczyk, S Lasota
International Colloquium on Automata, Languages, and Programming, 92-103, 2012
382012
Timed pushdown automata revisited
L Clemente, S Lasota
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 738-749, 2015
332015
Relating timed and register automata
D Figueira, P Hofman, S Lasota
arXiv preprint arXiv:1011.6432, 2010
332010
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), 409, 2007
332007
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
302017
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
272006
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
262013
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
262009
Contextual alignment of biological sequences
A Gambin, S Lasota, R Szklarczyk, J Tiuryn, J Tyszkiewicz
Bioinformatics 18 (suppl_2), S116-S127, 2002
232002
Analyzing stationary states of gene regulatory network using Petri nets
A Gambin, S Lasota, M Rutkowski
In silico biology 6 (1, 2), 93-109, 2006
222006
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20