| ||
| 1. | An extension of data automata that captures XPath
LOGICAL METHODS IN COMPUTER SCIENCE Tom 8 Nr 1 r. 2012, str. (Artyku³) Miko³aj Bojañczyk, S³awomir Lasota | |
| 2. | Tav4SB: integrating tools for analysis of kinetic models of biological systems
BMC SYSTEMS BIOLOGY Tom 6 Nr 1 r. 2012, str. (Artyku³) Anna Gambin, Miko³aj Rybiñski, Micha³ Lula, S³awomir Lasota, Pawe³ Banasik | |
| 3. | Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes
LECTURE NOTES IN COMPUTER SCIENCE Tom 6901 r. 2011, str. 528-542 (Artyku³ konferencyjny) Wojciech Czerwiñski, Piotr Hofman, S³awomir Lasota | |
| 4. | Partially-commutative context-free processes: expressibility and tractability
INFORMATION AND COMPUTATION Tom 209 Nr 5 r. 2011, str. 782-798 (Artyku³) Wojciech Czerwiñski, Sibylle Froeschle, S³awomir Lasota | |
| 5. | Non-interleaving bisimulation equivalences on Basic Parallel Processes
INFORMATION AND COMPUTATION Tom 208 Nr 1 r. 2010, str. 42-62 (Artyku³) Sibylle B. Fröschle, Petr Jancar, S³awomir Lasota, Zdenek Sawa | |
| 6. | EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system
INFORMATION PROCESSING LETTERS Tom 109 Nr 15 r. 2009, str. 850-855 (Artyku³) S³awomir Lasota | |
| 7. | Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences
Electronic Notes in Theoretical Computer Science Tom 239 r. 2009, str. 17-42 (Artyku³) Sibylle B. Fröschle, S³awomir Lasota | |
| 8. | On Subset Seeds for Protein Alignment
IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS Tom 6 Nr 3 r. 2009, str. 483-494 (Artyku³) Mikhail A. Roytberg, Anna Gambin, Laurent Noé, S³awomir Lasota, Eugenia Furletova, Ewa Szczurek, Gregory Kucherov | |
| 9. | Partially-Commutative Context-Free Processes
LECTURE NOTES IN COMPUTER SCIENCE Tom 5710 r. 2009, str. 259-273 (Artyku³) Wojciech Czerwiñski, Sibylle B. Fröschle, S³awomir Lasota | |
| 10. | Alternating timed automata
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC Tom 9 Nr 2 r. 2008, str. (Artyku³) S³awomir Lasota, Igor Walukiewicz | |
| 11. | Logical Relations for Monadic Types
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE Tom 18 Nr 6 r. 2008, str. 1169-1217 (Artyku³) Jean Goubault-Larrecq, S³awomir Lasota, David Nowak | |
| 12. | Causality Versus True-Concurrency
THEORETICAL COMPUTER SCIENCE Tom 386 r. 2007, str. 169-187 (Artyku³) Sibylle Froeschle, S³awomir Lasota | |
| 13. | Diversity and structure of PIF/Harbinger-like elements in the genome of Medicago truncatula
BMC GENOMICS Tom 8 r. 2007, str. 409-409 (Artyku³) D. Grzebelus, S³awomir Lasota, T. Gambin, G. Kucherov, Anna Gambin | |
| 14. | Analyzing stationary states of gene regulatory network using Petri nets
IN SILICO BIOLOGY Tom 6 r. 2006, str. 10-10 (Artyku³) Anna Gambin, S³awomir Lasota, Michal Rutkowski | |
| 15. | Causality Versus True-Concurrency
Electronic Notes in Theoretical Computer Science Tom 154 Nr 3 r. 2006, str. 3-18 (Artyku³ konferencyjny) Sibylle Froeschle, S³awomir Lasota | |
| 16. | Decidability of Performance Equivalence for Basic Parallel Processes
THEORETICAL COMPUTER SCIENCE Tom 360 r. 2006, str. 172-192 (Artyku³) S³awomir Lasota | |
| 17. | Faster algorithm for bisimulation equivalence of normed context-free processes
LECTURE NOTES IN COMPUTER SCIENCE Tom 4162 r. 2006, str. 646-657 (Artyku³ konferencyjny) S³awomir Lasota, Wojciech Rytter | |
| 18. | Alternating Timed Automata
LECTURE NOTES IN COMPUTER SCIENCE Tom 3441 r. 2005, str. 250-265 (Artyku³ konferencyjny) S³awomir Lasota, Igor Walukiewicz | |
| 19. | Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP
LECTURE NOTES IN COMPUTER SCIENCE Tom 3653 r. 2005, str. 263-277 (Artyku³ konferencyjny) S³awomir Lasota, Sibylle Froeschle | |
| 20. | Petri Net + Nested Relational Calculus = Dataflow
LECTURE NOTES IN COMPUTER SCIENCE Tom 3760 r. 2005, str. 220-237 (Artyku³ konferencyjny) Jan Hidders, Natalia Kwasnikowska, S³awomir Lasota, Jacek Sroka, Jerzy Tyszkiewicz, Jan Van den Bussche | |
| 21. | Position Emission Tomography by Markov Chain Monte Carlo with Auxiliary Variables
PATTERN RECOGNITION Tom 38 Nr 2 r. 2005, str. 241-250 (Artyku³) Jacek Koronacki, S³awomir Lasota, Wojciech Niemiro | |
| 22. | Complete lax logical relations for cryptographic lambda-calculi
LECTURE NOTES IN COMPUTER SCIENCE Tom 3210 r. 2004, str. 400-414 (Artyku³ konferencyjny) Jean Goubault-Larrecq, S³awomir Lasota, David Nowak, Yu Zhang | |
| 23. | A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes
LECTURE NOTES IN COMPUTER SCIENCE Tom 2747 r. 2003, str. 521-530 (Artyku³ konferencyjny) S³awomir Lasota | |
| 24. | A version of the Swendsen-Wang algorithm for restoration of images degraded by Poisson noise
PATTERN RECOGNITION Tom 36 r. 2003, str. 931-941 (Artyku³) S³awomir Lasota, Wojciech Niemiro | |
| 25. | Coalgebra morphisms subsume open maps
THEORETICAL COMPUTER SCIENCE Tom 280 r. 2002, str. 123-135 (Artyku³) S³awomir Lasota | |