Publications

Sławomir Lasota

Number of publications: 102

2024

• Łukasz Kamiński, Sławomir Lasota , Bi-Reachability in Petri Nets with Data, 35th International Conference on Concurrency Theory, Calgary, Canada, 9 September 2024 - 13 September 2024. See in PBN
• Arka Ghosh , Sławomir Lasota , Equivariant ideals of polynomials, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia, 8 July 2024 - 11 July 2024, 11 2024, p. 1-14. See in PBN

2023

• Wojciech Czerwiński , Ismaël Jecker , Sławomir Lasota , Jérôme Leroux, Łukasz Orlikowski, New Lower Bounds for Reachability in Vector Addition Systems, 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Hyderabad, India, 18 December 2023 - 20 December 2023. See in PBN
• Arka Ghosh , Piotr Hofman , Sławomir Lasota , Orbit-finite linear programming, Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science, Boston, the United States of America, 26 June 2023 - 29 June 2023. See in PBN

2022

• Bartosz Klin , Sławomir Lasota , Anca Muscholl, 33rd International Conference on Concurrency Theory (CONCUR 2022), 33rd International Conference on Concurrency Theory, Warszawa, Poland, 12 September 2022 - 16 September 2022. See in PBN
• Lorenzo Clemente , Sławomir Lasota , Radosław Piórkowski, Determinisability of register and timed automata, Logical Methods in Computer Science, 18 (2) 2022, p. 9:1–9:37. See in PBN
• Sławomir Lasota , Improved Ackermannian Lower Bound for the Petri Nets Reachability Problem, 39th International Symposium on Theoretical Aspects of Computer Science, Marseille, France, 15 April 2022 - 18 April 2022. See in PBN
• Arka Ghosh , Piotr Hofman , Sławomir Lasota , Solvability of orbit-finite systems of linear equations, 37'th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, 2 August 2022 - 5 August 2022. See in PBN

2021

• Matthias Englert, Ranko Lazić, Jérôme Leroux, Sławomir Lasota , Piotr Hofman , Juliusz Straszyński , A lower bound for the coverability problem in acyclic pushdown VAS, Information Processing Letters, 167 2021, p. 106079:1-5. See in PBN
• Wojciech Czerwiński , Sławomir Lasota , Łukasz Orlikowski, Improved Lower Bounds for Reachability in Vector Addition Systems, 48th International Colloquium on Automata, Languages and Programming, Glasgow, the United Kingdom of Great Britain and Northern Ireland, 12 July 2021 - 16 July 2021. See in PBN
• Bartosz Klin , Sławomir Lasota , Szymon Toruńczyk , Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages, 24th International Conference on Foundations of Software Science and Computation Structures, Luksemburg, Luxembourg, 27 March 2021 - 1 April 2021. See in PBN
• Sławomir Lasota , Mohnish Pattathurajan, Parikh Images of Register Automata, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Virtual, India, 14 December 2021 - 17 December 2021, 213 2021, p. 50:1--50:14. See in PBN
• Marta Juzepczuk, Mohnish Pattathurajan, Piotr Hofman , Sławomir Lasota , Parikh’s theorem for infinite alphabets, 36th Annual ACM/IEEE Symposium on Logic in Computer Science, Rome, Italy, 29 June 2021 - 2 July 2021. See in PBN
• Mikołaj Bojańczyk , Thomas Brihaye, Christoph Haase, Sławomir Lasota , Joel Ouaknine, Igor Potapov, Preface, Information and Computation, 277 2021, p. 104579. See in PBN
• Sławomir Lasota , Lorenzo Clemente , Reachability relations of timed pushdown automata, Journal of Computer and System Sciences, 117 2021, p. 202-241. See in PBN
• Wojciech Czerwiński , Sławomir Lasota , Ranko Lazić, JÉrôme Leroux, Filip Mazowiecki, The Reachability Problem for Petri Nets Is Not Elementary, JOURNAL OF THE ACM, 68 (1) 2021, p. 1-28. See in PBN

2020

• Lorenzo Clemente , Sławomir Lasota , Radosław Piórkowski, Determinisability of One-Clock Timed Automata, 31st International Conference on Concurrency Theory, Vienna, Austria, 1 September 2020 - 4 September 2020. See in PBN
• Wojciech Czerwiński , Sławomir Lasota , Ranko Lazic, Jerome Leroux, Filip Mazowiecki, Reachability in Fixed Dimension Vector Addition Systems with States, 31st International Conference on Concurrency Theory, Vienna, Austria, 1 September 2020 - 4 September 2020. See in PBN
• Lorenzo Clemente , Sławomir Lasota , Radosław Piórkowski, Timed Games and Deterministic Separability, 47th International Colloquium on Automata, Languages, and Programming, Saarbrücken, Germany, 8 July 2020 - 11 July 2020. See in PBN
• Radosław Piórkowski, Sławomir Lasota , WQO dichotomy for 3-graphs, Information and Computation, 275 2020, p. 104541. See in PBN

2019

• Lorenzo Clemente , Sławomir Lasota , Ranko Lazić, Filip Mazowiecki, Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems, ACM Transactions on Computational Logic, 20 (3) 2019, p. 1-31. See in PBN
• Khadijeh Keshvardoost, Bartosz Klin , Sławomir Lasota , Joanna Ochremiak, Szymon Toruńczyk , Definable isomorphism problem, Logical Methods in Computer Science, 15 (4) 2019, p. 14:1–14:19. See in PBN
• Wojciech Czerwiński , Sławomir Lasota , Löding, Christof, Radosław Piórkowski, New Pumping Technique for 2-Dimensional VASS, Leibniz International Proceedings in Informatics, 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, Aachen, Germany, 26 August 2019 - 30 August 2019, 138 2019, p. 62:1--62:14. See in PBN
• Wojciech Czerwiński , Sławomir Lasota , Regular Separability of One Counter Automata, Logical Methods in Computer Science, 15 (2) 2019, p. 20:1–20:27. See in PBN
• Wojciech Czerwiński , Sławomir Lasota , Ranko Lazić, Jérôme Leroux, Filip Mazowiecki, The reachability problem for Petri nets is not elementary, 51st ACM Symposium on Theory of Computing, Phoenix, the United States of America, 23 June 2019 - 26 June 2019. See in PBN

2018

• Sławomir Lasota , Lorenzo Clemente , Binary Reachability of Timed Pushdown Automata via Quantifier Elimination and Cyclic Order Atoms, 45th International Colloquium on Automata, Languages, and Programming, Praha, Czechia, 9 July 2018 - 13 July 2018. See in PBN
• Piotr Hofman , Sławomir Lasota , Linear Equations with Ordered Data, 29th International Conference on Concurrency Theory, Beijing, China, 4 September 2018 - 7 September 2018. See in PBN
• Wojciech Czerwiński , K. Narayan Kumar, Sławomir Lasota , Roland Meyer, Sebastian Muskalla, Prakash Saivasan, Regular Separability of Well-Structured Transition Systems, 29th International Conference on Concurrency Theory, Beijing, China, 4 September 2018 - 7 September 2018. See in PBN
• Anna Gambin , Sławomir Lasota , Michał Lula, Mikołaj Rybiński, Tav4SB: grid environment for analysis of kinetic models of biological systems, 2018. See in PBN
• Sławomir Lasota , Radosław Piórkowski, WQO Dichotomy for 3-Graphs, 21st International Conference on Foundations of Software Science and Computation Structures, Thessaloniki, Greece, 14 April 2018 - 20 April 2018. See in PBN

2017

• Damian Niwiński , Henryk Michalewski , Wojciech Rytter , Joost Winter, Michał Skrzypczak , Szymon Toruńczyk , Michał Pilipczuk , Eryk Kopczyński , Sławomir Lasota , Paweł Parys , Joanna Ochremiak, Wojciech Czerwiński , Bartosz Klin , Igor Walukiewicz, Szczepan Hummel, Mikołaj Bojańczyk , Piotr Hofman , Lorenzo Clemente , Filip Mazowiecki, Filip Murlak , 200 Problems in Formal Languages and Automata Theory, 2017. See in PBN
• Sławomir Lasota , Equivariant algorithms for constraint satisfaction problems over coset templates, Information Processing Letters, 118 2017, p. 44-52. See in PBN
• Wojciech Czerwiński , Sławomir Lasota , Regular separability of one counter automata, Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, Reykjavik, Iceland, 20 June 2017 - 23 June 2017. See in PBN
• Charles Paperman, Sławomir Lasota , Wojciech Czerwiński , Lorenzo Clemente , Regular Separability of Parikh Automata, 44th International Colloquium on Automata, Languages, and Programming, Warszawa, Poland, 10 July 2017 - 14 July 2017. See in PBN
• Sławomir Lasota , Charles Paperman, Wojciech Czerwiński , Lorenzo Clemente , Separability of Reachability Sets of Vector Addition Systems, 34th International Symposium on Theoretical Aspects of Computer Science, Hannover, Germany, 8 March 2017 - 11 March 2017. See in PBN
• Lorenzo Clemente , Sławomir Lasota , Ranko Lazić, Filip Mazowiecki, Timed pushdown automata and branching vector addition systems, Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science, Reykjavik, Iceland, 20 June 2017 - 23 June 2017. See in PBN

2016

• Piotr Hofman , Sławomir Lasota , Ranko Lazic, J\'er\^ome Leroux, Sylvain Schmitz, Patrick Totzke, Coverability Trees for Petri Nets with Unordered Data, Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, 2016. See in PBN
• Sławomir Lasota , Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture, Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, 19 June 2016 - 24 June 2016. See in PBN
• Bartosz Klin , Sławomir Lasota , Joanna Ochremiak, Szymon Toruńczyk , Homomorphism Problems for First-Order Definable Structures, 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Chennai, India, 13 December 2016 - 15 December 2016. See in PBN
• Sławomir Lasota , Diego Figueira, Piotr Hofman , Relating timed and register automata, Mathematical Structures in Computer Science, 2016. See in PBN
• Sławomir Lasota , Richard Mayr, Patrick Totzke, Piotr Hofman , Simulation Problems Over One-Counter Nets, Logical Methods in Computer Science, 2016. See in PBN
• Sławomir Lasota , Marcin Poturalski, Undecidability of performance equivalence of Petri nets, Theoretical Computer Science, 2016. See in PBN

2015

• Grzegorz Anielak, Grzegorz Jakacki, Sławomir Lasota , Incremental Test Case Generation Using Bounded Model Checking: an Application to Automatic Rating, International Journal on Software Tools for Technology Transfer, 17 (3) 2015, p. 339-349. See in PBN
• Sławomir Lasota , Lorenzo Clemente, Reachability analysis of first-order definable pushdown systems, 24th EACSL Annual Conference on Computer Science Logic, Berlin, Germany, 7 September 2015 - 10 September 2015. See in PBN
• Mikołaj Bojańczyk , Sławomir Lasota , Igor Potapov, Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw, Poland, September 21-23, 2015, Proceedings, Reachability Problems, Warsaw, Poland, 2015. See in PBN
• Sławomir Lasota , Lorenzo Clemente, Timed pushdown automata revisited, 30th Annual ACM/IEEE Symposium on Logic in Computer Science, Kyoto, Japan, 6 July 2015 - 10 July 2015. See in PBN

2014

• Mikołaj Bojańczyk , Bartosz Klin , Sławomir Lasota , Automata theory in nominal sets, Logical Methods in Computer Science, 2014. See in PBN
• Wojciech Czerwiński , Piotr Hofman , Sławomir Lasota , Decidability of branching bisimulation on normed commutative context-free processes, Theory of Computing Systems, 2014. See in PBN
• Bartosz Klin , Sławomir Lasota , Joanna Ochremiak, Szymon Toruńczyk , Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity, ACM/IEEE Symposium on Logic in Computer Science, 2014. See in PBN

2013

• Anna Gambin , Sławomir Lasota , Mikołaj Jakub Rybiński, Zuzanna Szymańska, Modelling the efficacy of hyperthermia treatment, Journal of the Royal Society Interface, 10 (88) 2013, p. 1-10. See in PBN
• Wojciech Czerwiński , Piotr Hofman , Sławomir Lasota , Reachability problem for weak multi-pushdown automata, Logical Methods in Computer Science, 2013. See in PBN
• Sławomir Lasota , Piotr Hofman , Richard Mayr, Patrick Totzke, Simulation Over One-counter Nets is PSPACE-Complete, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013), 2013. See in PBN
• Mikołaj Bojańczyk , Bartosz Klin , Sławomir Lasota , Szymon Toruńczyk , Turing machines with atoms, 28th Annual ACM/IEEE Symposium on Logic in Computer Science, the United States of America, 25 June 2013 - 28 June 2013. See in PBN

2012

• Sławomir Lasota , Mikołaj Bojańczyk , A machine-independent characterization of timed languages, Lecture Notes in Computer Science, International Colloquium on Automata, Languages and Programming, 2012. See in PBN
• Mikołaj Bojańczyk , Sławomir Lasota , An extension of data automata that captures XPath, Logical Methods in Computer Science, 2012. See in PBN
• Mikołaj Bojańczyk , Sławomir Lasota , Fraenkel-Mostowski Sets with Non-homogeneous Atoms, 2012. See in PBN
• Wojciech Czerwiński , Sławomir Lasota , Partially-commutative context-free languages, Electronic Proceedings in Theoretical Computer Science, 2012. See in PBN
• Wojciech Czerwiński , Piotr Hofman , Sławomir Lasota , Reachability Problem for Weak Multi-Pushdown Automata, 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, the United Kingdom of Great Britain and Northern Ireland, 4 September 2012 - 7 September 2012. See in PBN
• Paweł Banasik, Anna Gambin , Sławomir Lasota , Michał Lula, Mikołaj Rybiński, Tav4SB: integrating tools for analysis of kinetic models of biological systems, BMC Systems Biology, 6 2012, p. 25:1-11. See in PBN
• Laurent Braud, Sławomir Lasota , Bartek Klin, Mikołaj Bojańczyk , Towards nominal computation, ACM SIGPLAN NOTICES, 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Philadelphia, the United States of America, 22 January 2012 - 28 January 2012. See in PBN

2011

• Mikołaj Bojańczyk , Bartosz Klin , Sławomir Lasota , Automata with group actions, 2011. See in PBN
• Wojciech Czerwiński , Piotr Hofman , Sławomir Lasota , Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes, Lecture Notes in Computer Science, 2011. See in PBN
• Wojciech Czerwiński, Sibylle Froeschle, Sławomir Lasota , Partially-commutative context-free processes: expressibility and tractability, Information and Computation, 2011. See in PBN
• Anna Gambin , Gregory Kucherov, Sławomir Lasota , Laurent Noe, Michał Startek , Maciej Sykulski, Subset seed extension to protein BLAST, Proc. Int. Conf. on Bioinformatics Models, Methods and Algorithms Bioinformatics'11, 2011. See in PBN

2010

• Mikołaj Bojańczyk , Sławomir Lasota , An Extension of Data Automata that Captures XPath, 2010. See in PBN
• Wojciech Czerwiński , Sławomir Lasota , Fast equivalence-checking for normed context-free processes, 2010. See in PBN
• Sibylle B. Fröschle, Petr Jancar, Sławomir Lasota , Zdenek Sawa, Non-interleaving bisimulation equivalences on Basic Parallel Processes, Information and Computation, 2010. See in PBN
• Diego Figueira, Piotr Hofman , Sławomir Lasota , Relating timed and register automata, 17th International Workshop on Expressiveness in Concurrency, 2010. See in PBN

2009

• Sławomir Lasota , EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system, Information Processing Letters, 2009. See in PBN
• Sibylle B. Fröschle, Sławomir Lasota , Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences, Electronic Notes in Theoretical Computer Science, 2009. See in PBN
• Eugenia Furletova, Anna Gambin , Gregory Kucherov, Sławomir Lasota , Laurent Noé, Mikhail A. Roytberg, Ewa Szczurek , On Subset Seeds for Protein Alignment, IEEE-ACM Transactions on Computational Biology and Bioinformatics, 2009. See in PBN
• Wojciech Czerwiński , Sibylle B. Fröschle, Sławomir Lasota , Partially-Commutative Context-Free Processes, Lecture Notes in Computer Science, 2009. See in PBN

2008

• Sławomir Lasota , Igor Walukiewicz, Alternating timed automata, ACM Transactions on Computational Logic, 2008. See in PBN
• Eugenia Furletova, Anna Gambin , Gregory Kucherov, Sławomir Lasota , Laurent Noé, Mikhail A. Roytberg, Ewa Szczurek , Efficient Seeding Techniques for Protein Similarity Search, 2008. See in PBN
• Jean Goubault-Larrecq, Sławomir Lasota , David Nowak, Logical Relations for Monadic Types, Mathematical Structures in Computer Science, 2008. See in PBN

2007

• Sibylle Froeschle, Sławomir Lasota , Causality Versus True-Concurrency, Theoretical Computer Science, 2007. See in PBN
• Anna Gambin , Tomasz Gambin, Dariusz Grzebelus, Gregory Kucherov, Sławomir Lasota , Diversity and structure of PIF/Harbinger-like elements in the genome of Medicago truncatula, BMC Genomics, 2007. See in PBN
• Sławomir Lasota , David Nowak, Yu Zhang, On completeness of logical relations for monadic types, Lecture Notes in Computer Science, Advances in Computer Science - ASIAN 2006, 2007. See in PBN

2006

• Anna Gambin , Sławomir Lasota , Michal Rutkowski, Analyzing stationary states of gene regulatory network using Petri nets, In Silico Biology, 2006. See in PBN
• Sibylle Froeschle, Sławomir Lasota , Causality Versus True-Concurrency, Electronic Notes in Theoretical Computer Science, 2006. See in PBN
• Sławomir Lasota , Decidability of Performance Equivalence for Basic Parallel Processes, Theoretical Computer Science, 2006. See in PBN
• Sławomir Lasota , Wojciech Rytter , Faster algorithm for bisimulation equivalence of normed context-free processes, Lecture Notes in Computer Science, 2006. See in PBN

2005

• Sławomir Lasota , Igor Walukiewicz, Alternating Timed Automata, Lecture Notes in Computer Science, 2005. See in PBN
• Sibylle Froeschle, Sławomir Lasota , Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP, Lecture Notes in Computer Science, 2005. See in PBN
• Jan Hidders, Natalia Kwasnikowska, Sławomir Lasota , Jacek Sroka , Jerzy Tyszkiewicz , Jan Van den Bussche, Petri Net + Nested Relational Calculus = Dataflow, Lecture Notes in Computer Science, 2005. See in PBN
• Jacek Koronacki, Sławomir Lasota , Wojciech Niemiro , Position Emission Tomography by Markov Chain Monte Carlo with Auxiliary Variables, Pattern Recognition, 2005. See in PBN
• Jerzy Tyszkiewicz , Sławomir Lasota , Jan Van den Bussche, Anna Gambin , Natalia Kwaśnikowska, Jan Hidders, Jacek Sroka , Well Constructed Workflows in Bioinformatics, Workshop on Database Issues in Biological Databases (DBiBD 2005), 2005. See in PBN

2004

• Jean Goubault-Larrecq, Sławomir Lasota , David Nowak, Yu Zhang, Complete lax logical relations for cryptographic lambda-calculi, Lecture Notes in Computer Science, 2004. See in PBN

2003

• Sławomir Lasota , A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes, Lecture Notes in Computer Science, 2003. See in PBN
• Sławomir Lasota , Wojciech Niemiro , A version of the Swendsen-Wang algorithm for restoration of images degraded by Poisson noise, Pattern Recognition, 2003. See in PBN

2002

• Sławomir Lasota , Coalgebra morphisms subsume open maps, Theoretical Computer Science, 2002. See in PBN
• Anna Gambin , Sławomir Lasota , Radosław Szklarczyk, Jerzy Tiuryn , Jerzy Tyszkiewicz , Contextual Alignment of Biological Sequences, Bioinformatics, 2002. See in PBN
• Sławomir Lasota , Decidability of strong bisimilarity for timed BPP, Lecture Notes in Computer Science, 2002. See in PBN
• J. Goubault-Larrecq, Sławomir Lasota , D. Nowak, Logical Relations for Monadic Types, Lecture Notes in Computer Science, 2002. See in PBN

2001

• M Dietzfelbiner, A. Gambin, Sławomir Lasota , On different models for packet flow in Multistage Interconnection Networks, Fundamenta Informaticae, 2001. See in PBN

2000

• Sławomir Lasota , Behavioural constructor implementation for regular algebras, Lecture Notes in Computer Science, 2000. See in PBN
• Sławomir Lasota , Finitary observations in regular algebras, Lecture Notes in Computer Science, 2000. See in PBN

1999

• Sławomir Lasota , Coalgebra morphisms subsume open maps, Electronic Notes in Theoretical Computer Science, 1999. See in PBN

1998

• Sławomir Lasota , Partial-Congruence Factorization of Bisimilarity Induced by Open Maps, Lecture Notes in Computer Science, Automata, Languages and Programming, 25th International Colloquium, ICALP'98, 1998. See in PBN
• Sławomir Lasota , Weak Bisimilarity and Open Maps, Lecture Notes in Computer Science, SOFSEM '98: Theory and Practice of Informatics, 25th Conference on Current Trends in Theory and Practice of Informatics, 1998. See in PBN

1997

• Sławomir Lasota , Open maps as a bridge between algebraic observational equivalence and bisimilarity, Lecture Notes in Computer Science, Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Selected Papers, 1997. See in PBN

1996

• Anna Gambin , Sławomir Lasota , On the Semantics of Multistage Interconnection Networks, Lecture Notes in Computer Science, SOFSEM '96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, 1996. See in PBN