| ||
26. | Contextual Alignment of Biological Sequences
BIOINFORMATICS Tom 18 Nr 2 r. 2002, str. 116-127 (Artyku³) Anna Gambin, S³awomir Lasota, Rados³aw Szklarczyk, Jerzy Tiuryn, Jerzy Tyszkiewicz | |
27. | Decidability of strong bisimilarity for timed BPP
LECTURE NOTES IN COMPUTER SCIENCE Tom 2421 r. 2002, str. 562-578 (Artyku³ konferencyjny) S³awomir Lasota | |
28. | Logical Relations for Monadic Types
LECTURE NOTES IN COMPUTER SCIENCE Tom 2471 r. 2002, str. 553-568 (Artyku³) S³awomir Lasota, J. Goubault-Larrecq, D. Nowak | |
29. | On different models for packet flow in multistage interconnection networks
FUNDAMENTA INFORMATICAE Tom 46 Nr 4 r. 2001, str. 287-314 (Artyku³) Anna Gambin, S³awomir Lasota, M. Dietzfelbinger | |
30. | Behavioural constructor implementation for regular algebras
LECTURE NOTES IN COMPUTER SCIENCE Tom 1955 r. 2000, str. 54-69 (Artyku³) S³awomir Lasota | |
31. | Finitary observations in regular algebras
LECTURE NOTES IN COMPUTER SCIENCE Tom 1963 r. 2000, str. 400-408 (Artyku³) S³awomir Lasota | |
32. | Coalgebra morphisms subsume open maps
Electronic Notes in Theoretical Computer Science Tom 19 r. 1999, str. 23-38 (Artyku³ konferencyjny) S³awomir Lasota | |
| ||
33. | A Machine-Independent Characterization of Timed Languages
w: ICALP (2), str. 92-103, r. 2012 (Artyku³ konferencyjny) Miko³aj Bojañczyk, S³awomir Lasota | |
34. | Fraenkel-Mostowski Sets with Non-homogeneous Atoms
w: RP, str. 1-5, r. 2012 (Artyku³ konferencyjny) Miko³aj Bojañczyk, S³awomir Lasota | |
35. | Partially-commutative context-free languages
w: DCM, str. 35-48, r. 2012 (Artyku³ konferencyjny) Wojciech Czerwiñski, S³awomir Lasota | |
36. | Reachability Problem for Weak Multi-Pushdown Automata
w: CONCUR, str. 53-68, r. 2012 (Artyku³ konferencyjny) Wojciech Czerwiñski, Piotr Hofman, S³awomir Lasota | |
37. | Towards nominal computation
w: POPL, str. 401-412, r. 2012 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Laurent Braud, Bartosz Klin, S³awomir Lasota | |
38. | Automata with group actions
w: Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011), str. 355-364, IEEE Computer Society, r. 2011 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Bartosz Klin, S³awomir Lasota | |
39. | Subset seed extension to protein BLAST
w: Proc. Int. Conf. on Bioinformatics Models, Methods and Algorithms Bioinformatics'11., str. 149-158, r. 2011 (Artyku³ konferencyjny) Anna Gambin, Maciej Sykulski, S³awomir Lasota, Micha³ Startek, Gregory Kucherov, Laurent Noe | |
40. | Tav4SB: grid environment for analysis of kinetic models of biological systems
w: International Symposium on Bioinformatics Research and Applications (ISBRA), str. 92-95, r. 2011 (Artyku³ konferencyjny) Anna Gambin, S³awomir Lasota, Micha³ Lula, Miko³aj Rybiñski | |
41. | An Extension of Data Automata that Captures XPath
w: LICS, str. 243-252, r. 2010 (Artyku³ konferencyjny) Miko³aj Bojañczyk, S³awomir Lasota | |
42. | Fast equivalence-checking for normed context-free processes
w: FSTTCS, str. 260-271, r. 2010 (Artyku³ konferencyjny) Wojciech Czerwiñski, S³awomir Lasota | |
43. | Relating timed and register automata
w: EXPRESS'10, str. 61-75, r. 2010 (Artyku³ konferencyjny) Diego Figueira, Piotr Hofman, S³awomir Lasota | |
44. | Efficient Seeding Techniques for Protein Similarity Search
w: BIRD, str. 466-478, r. 2008 (Artyku³ konferencyjny) Mikhail A. Roytberg, Anna Gambin, Laurent Noé, S³awomir Lasota, Eugenia Furletova, Ewa Szczurek, Gregory Kucherov |