| Alternating timed automata S Lasota, I Walukiewicz ACM Transactions on Computational Logic (TOCL) 9 (2), 1-27, 2008 | 123 | 2008 |
| Automata with group actions M Bojanczyk, B Klin, S Lasota 2011 IEEE 26th Annual Symposium on Logic in Computer Science, 355-364, 2011 | 117 | 2011 |
| Automata theory in nominal sets M Bojańczyk, B Klin, S Lasota arXiv preprint arXiv:1402.0897, 2014 | 107 | 2014 |
| 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 | 102 | 2018 |
| 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 | 72 | 2019 |
| Logical relations for monadic types J Goubault-Larrecq, S Lasota, D Nowak arXiv preprint cs/0511006, 2005 | 69 | 2005 |
| Towards nominal computation M Bojanczyk, L Braud, B Klin, S Lasota Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012 | 64 | 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 | 55 | 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 | 52 | 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 | 47 | 2013 |
| A machine-independent characterization of timed languages M Bojańczyk, S Lasota International Colloquium on Automata, Languages, and Programming, 92-103, 2012 | 40 | 2012 |
| Timed pushdown automata revisited L Clemente, S Lasota 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 738-749, 2015 | 37 | 2015 |
| Relating timed and register automata D Figueira, P Hofman, S Lasota arXiv preprint arXiv:1011.6432, 2010 | 37 | 2010 |
| 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 | 34 | 2017 |
| 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 | 34 | 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 | 29 | 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 | 28 | 2009 |
| 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 | 27 | 2006 |
| Contextual alignment of biological sequences A Gambin, S Lasota, R Szklarczyk, J Tiuryn, J Tyszkiewicz Bioinformatics 18 (suppl_2), S116-S127, 2002 | 23 | 2002 |
| 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 | 22 | 2011 |
