W. Czerwiński, I. Jecker, S. Lasota, J. Leroux, Ł. Orlikowski,
New Lower Bounds for Reachability in Vector Addition Systems. FSTTCS'23.
[ on-line version ][ arXiv report ]
A. Ghosh, P. Hofman, S. Lasota,
Orbit-finite linear programming. LICS'23.
LICS DISTINGUISHED PAPER
[ on-line version ][ arXiv report ]
A. Ghosh, P. Hofman, S. Lasota,
Solvability of orbit-finite systems of linear equations. LICS'22.
[ on-line version ][ arXiv report ]
L. Clemente, S. Lasota, R. Piórkowski,
Determinisability of register and timed automata. Logical Methods in Computer Science 18(2), 2022.
[ on-line version ][ arXiv report ]
S. Lasota,
Improved Ackermannian lower bound for the Petri nets reachability problem. STACS'22.
[ on-line version ][ arXiv report ]
S. Lasota, M. Pattathurajan,
Parikh images of register automata. FSTTCS'21.
[ on-line version ]
W. Czerwiński, S. Lasota, Ł. Orlikowski,
Improved lower bounds for reachability in vector addition systems. ICALP'21.
[ on-line version ]
P. Hofman, M. Juzepczuk, S. Lasota, M. Pattathurajan,
Parikh’s theorem for infinite alphabets. LICS'21.
[ arXiv report ]
B. Klin, S. Lasota, Sz. Toruńczyk,
Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages. FOSSACS'21.
BEST PAPER AWARD
[ PDF ]
L. Clemente, S. Lasota,
Reachability relations of timed pushdown automata. Journal of Computer and System Sciences 117, 2021.
[ on-line version ][ arXiv report ] @Elsevier
M. Englert, P.Hofman, S. Lasota, R. Lazic, J. Leroux, J. Straszyński,
A lower bound for the coverability problem in acyclic pushdown VAS. Information Processing Letters 167, 2021.
[ on-line version ] @Elsevier
W. Czerwiński, S. Lasota, R. Lazic, J. Leroux, F. Mazowiecki,
The Reachability Problem for Petri Nets is Not Elementary. Journal of the ACM 68(1), 2021.
[ on-line version ][ PDF ]
L. Clemente, S. Lasota, R. Piórkowski,
Determinizability of one-clock timed automata. CONCUR'20.
[ on-line version ][ arXiv report ]
W. Czerwiński, S. Lasota, R. Lazic, J. Leroux, F. Mazowiecki,
Reachability in fixed dimension vector addition systems with states. CONCUR'20.
[ on-line version ][ arXiv report ]
L. Clemente, S. Lasota, R. Piórkowski,
Timed games and deterministic separability. ICALP'20.
[ on-line version ][ arXiv report ]
S. Lasota, R. Piórkowski,
WQO dichotomy for 3-graphs. Information and Computation 275, 2020.
[ on-line version ][ arXiv report ]
K. Keshvardoost, B.Klin, S.Lasota, J.Ochremiak, Sz. Toruńczyk,
Definable isomorphism problem. Logical Methods in Computer Science 15(4), 2019.
[ on-line version ][ arXiv report ]
W. Czerwiński, S. Lasota, C. Löding, R. Piórkowski,
New Pumping Technique for 2-Dimensional VASS. MFCS'19.
[ on-line version ][ arXiv report ]
W. Czerwiński, S. Lasota, R. Lazic, J. Leroux, F. Mazowiecki,
The Reachability Problem for Petri Nets is Not Elementary. STOC'19.
BEST PAPER AWARD
[ PDF ][ arXiv report ]
L. Clemente, S. Lasota, R. Lazic, F. Mazowiecki,
Binary reachability of timed-register pushdown automata, and branching vector addition systems. ACM Transactions on Computational Logic 20(3), 2019.
[ PDF ]
W. Czerwiński, S. Lasota,
Regular separability of one counter automata. Logical Methods in Computer Science 15(2), 2019.
[ on-line version ][ arXiv report ]
S. Lasota,
VASS reachability in three steps. [ arXiv report ]
W. Czerwiński, S. Lasota, R. Meyer, S. Muskalla, K Narayan Kumar, P. Saivasan,
Regular Separability of Well Structured Transition Systems. CONCUR'18.
[ on-line version ][ arXiv report ]
L. Clemente, S. Lasota,
Binary reachability of timed pushdown automata via quantifier elimination and cyclic order atoms. ICALP'18.
[ on-line version ][ arXiv report ]
S. Lasota, R. Piórkowski,
WQO dichotomy for 3-graphs. FOSSACS'18.
[ PDF ][ arXiv report ]
L. Clemente, W. Czerwiński, S. Lasota, C. Paperman,
Regular Separability of Parikh Automata. ICALP'17.
[ PDF ][ arXiv report ]
W. Czerwiński, S. Lasota,
Regular separability of one counter automata. LICS'17.
[ PDF ][ arXiv report ]
L. Clemente, S. Lasota, R. Lazic, F. Mazowiecki,
Timed pushdown automata and branching vector addition systems. LICS'17.
[ PDF ]
L. Clemente, W. Czerwiński, S. Lasota, C. Paperman,
Separability of Reachability Sets of Vector Addition Systems. STACS'17.
[ PDF ][ arXiv report ]
B. Klin, S. Lasota, J. Ochremiak, Sz. Toruńczyk,
Homomorphism problems for first-order definable structures. FSTTCS'16.
[ PDF ]
S. Lasota,
Equivariant algorithms for constraint satisfaction problems over coset templates. Information Processing Letters 118, 2017.
[ arXiv report ][ on-line version ] @Elsevier
S. Lasota,
Decidability border for Petri nets with data: WQO dichotomy conjecture.
Petri Nets'16.
[ PDF ]
P. Hofman, S. Lasota, R. Mayr, P. Totzke,
Simulation Problems Over One-Counter Nets. Logical Methods in Computer Science 12(1), 2016.
[ BibTex entry ][ arXiv report ]
Lasota, S., Poturalski, M.,
Undecidability of performance equivalence of Petri nets. Theoretical Computer Science 655 (part B), 2016.
[ BibTex entry ][ on-line version ] @Elsevier
P. Hofman, S. Lasota, R. Lazic, J. Leroux, S. Schmitz, P. Totzke,
Coverability Trees for Petri Nets with Unordered Data. FOSSACS'16.
[ PDF ][ BibTex entry ][ full version ]
L. Clemente, S. Lasota,
Reachability analysis of first-order definable pushdown systems. CSL'15.
[ PDF ][ BibTex entry ][ arXiv report ]
B. Klin, S. Lasota, J. Ochremiak, Sz. Toruńczyk,
Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity. CSL/LICS'14.
[ PDF ][ BibTex entry ]
G. Anielak, G. Jakacki, S. Lasota,
Incremental Test Case Generation Using Bounded Model Checking: an Application to Automatic Rating. International Journal on Software Tools for Technology Transfer 17:339-349, 2015.
[ PDF ][ BibTex entry ][ on-line version ]
W. Czerwiński, P. Hofman, S. Lasota,
Decidability of bisimulation on normed commutative context-free processes with silent moves. Theory of Computing Systems 55(1):136-169, 2014.
[ PDF ][ BibTex entry ][ on-line version ]
M. Bojańczyk, B. Klin, S. Lasota,
Automata theory in nominal sets. Logical Methods in Computer Science 10 (3:4), 2014.
[ PDF ][ BibTex entry ][ on-line version ]
P. Hofman, S. Lasota, R. Mayr, P. Totzke,
Simulation Over One-counter Nets is PSPACE-Complete. FSTTCS'13.
[ arXiv report ][ BibTex entry ]
M. Bojańczyk, B. Klin, S. Lasota, Sz. Toruńczyk,
Turing machines with atoms. LICS'13.
[ PDF ][ BibTex entry ]
A. Gambin, S. Lasota, M. Rybiński, Z. Szymańska,
Modelling the efficacy of hyperthermia treatment. Journal of the Royal Society Interface, 10(88):20130527, 2013.
[ on-line version ][ BibTex entry ]
W. Czerwiński, P. Hofman, S. Lasota,
Reachability problem for weak multi-pushdown automata. Logical Methods in Computer Science 9 (3:13), 2013.
[ PDF ][ BibTex entry ]
M. Bojańczyk, S. Lasota,
Fraenkel-Mostowski sets with non-homogeneous atoms. RP'12.
[ PDF ][ BibTex entry ]
P. Banasik, A. Gambin, S. Lasota, M. Lula, M. Rybiński,
Tav4SB: integrating tools for analysis of kinetic models of biological systems. BMC Systems Biology 6:25, 2012.
[ on-line version ][ BibTex entry ]
M. Startek, S. Lasota, M. Sykulski, A. Bulak, L. Noe, G. Kucherov, A. Gambin,
Efficient alternatives to PSI-BLAST. Bulletin of the Polish Academy of Sciences: Technical Sciences, 60(3):495-505, 2012.
[ PDF ]
W. Czerwiński, S. Froeschle, S. Lasota,
Partially-commutative context-free processes: expressibility and tractability. Information and Computation 209:782-798, 2011.
[ BibTex entry ][on-line version ] @Elsevier
M. Rybiński, M. Lula, S. Lasota, A. Gambin,
Tav4SB: grid environment for analysis of kinetic models of biological systems. ISBRA'11 Short Abstract.
[ PDF ][ BibTex entry ] @Springer-Verlag
M. Bojańczyk, B. Klin, S. Lasota,
Automata with group actions. LICS'11.
[ PDF ][ BibTex entry ]
A. Gambin, G. Kucherov, S. Lasota, L. Noe, M. Startek, M. Sykulski,
Subset seed extension to protein BLAST. Bioinformatics'11.
[ BibTex entry ][ on-line version ]
S. Froeschle, P. Jancar, S. Lasota, Z.Sawa,
Non-Interleaving Bisimulation Equivalences on Basic Parallel Processes. Information and Computation 208(1):42-62, 2010.
[ BibTex entry ][ on-line version ] @Elsevier
S. Lasota,
EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system. Information Processing Letters 109:850-855, 2009.
[ PDF ][ BibTex entry ][ on-line version ] @Elsevier
E. Furletova, A. Gambin, G. Kucherov, S. Lasota, L. Noe, M. Roytberg, E. Szczurek,
On subset seeds for protein alignment. IEEE/ACM Transactions on Computational Biology and Bioinformatics 6(3):483-494, 2009.
[ BibTex entry ][ on-line version ] @IEEE
E. Furletova, A. Gambin, G. Kucherov, S. Lasota, L. Noe, M. Roytberg, E. Szczurek.
Efficient seeding techniques for protein similarity search.
Bioinformatics Research and Development (BIRD'08), Communications in Computer and Information Science.
[ PDF ][ BibTex entry ][ on-line version ] @Springer-Verlag
Grzebelus, D., Lasota, S., Gambin, T., Kucherov, G., Gambin A.
Diversity and structure of PIF/Harbinger-like elements in the genome of Medicago truncatula. BMC Genomics 8:409, 2007.
[ on-line version ] @BioMed Central Ltd
Lasota, S.
Decidability of Performance Equivalence for Basic Parallel Processes. Theoretical Computer Science 360:172-192, 2006.
[ BibTex entry ] @Elsevier
Gambin A., Lasota, S., Rutkowski, M.
Analyzing stationary states of gene regulatory network using Petri nets. In Silico Biology 6, 0010, 2006.
[ BibTex entry ][ on-line version ]
Koronacki, J., Lasota, S., Niemiro, W.
Position Emission Tomography by Markov Chain Monte Carlo with Auxiliary Variables. Pattern Recognition 38(2):241-250, 2005.
[ BibTex entry ][ on-line version ] @Elsevier
Gambin, A., Hidders, J., Kwaśnikowska, N., Lasota, S., Sroka, J., Tyszkiewicz, J., Van den Bussche, J.
Well Constructed Workflows in Bioinformatics. Workshop on Database Issues in Biological Databases (DBiBD 2005).
Lasota, S., Niemiro, W.
A Version of the Swandsen-Wang Algorithm for Restoration of Images Degraded by Poisson Noise. Pattern Recognition 36(4):931-941, 2003.
[ BibTex entry ][ on-line version ] @Elsevier
Gambin, A., Lasota, S., Szklarczyk, R., Tiuryn, J., Tyszkiewicz, J.
Contextual Alignment of Biological Sequences.
Proc. ECCB'02, Bioinformatics 18:116-127, Oxford University Press, 2002.
[ gzipped postscript ][ BibTex entry ]
Dietzfelbinger, M., Gambin, A., Lasota, S.
On Different Models for Packet Flow in Multistage Interconnection Networks. Fundamenta Informaticae 46(4):287-314, 2001.
P. Hofman, S. Lasota, R. Lazić, J. Leroux, S. Schmitz, P. Totzke,
Coverability Trees for Petri Nets with Unordered Data.
HAL report hal-01252674, 2016.
Froeschle, S., Lasota, S.
Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP.
The full version.
Technical Report 280, Institute of Informatics, Warsaw University, 2005.
[ postscript ]
Jean Goubault-Larrecq, S. Lasota, David Nowak
Logical Relations for Monadic Types. The full version.
Research Report LSV-04-13, Lab. Specification and Verification, ENS Cachan, France, June 2004.
[ postscript ]
Jean Goubault-Larrecq, S. Lasota, David Nowak, Yu Zhang
Complete lax logical relations for cryptographic lambda-calculi.
Research Report LSV-04-4, Lab. Specification and Verification, ENS Cachan, France, February 2004.
[ postscript ]
S. Lasota.
A polynomial-time algorithm for deciding true concurrency equivalences of Basic Parallel Processes.
Research Report LSV-02-13, Lab. Specification and Verification, ENS Cachan,
France, September 2002.
[ gzipped postscript ]
Koronacki, J., Lasota, S., Niemiro, W.
Position Emission Tomography by Markov Chain Monte Carlo with Auxiliary Variables: A Basic Algorithm.
Technical Report 884 IPI PAN, 1999.
Dietzfelbinger, M., Gambin, A., Lasota, S.
On Different Models for Packet Flow in Multistage Interconnection Networks.
Technical report 97-11(248), Institute of Informatics, Warsaw University, 1997.
[ gzipped postscript ]
Lasota, S.
Open Maps as a Bridge between Algebraic Observational Equivalence and
Bisimilarity. The full version.
Technical report 97-12(249), Institute of Informatics,
Warsaw University, 1997.
[ gzipped postscript ]