Slawomir Lasota

	2012
43		Mikolaj Bojanczyk, Laurent Braud, Bartek Klin, Slawomir Lasota: Towards nominal computation. POPL 2012: 401-412
42		Mikolaj Bojanczyk, Slawomir Lasota: An extension of data automata that captures XPath Logical Methods in Computer Science 8(1): (2012)
	2011
41		Anna Gambin, Slawomir Lasota, Michal Startek, Maciej Sykulski, Laurent Noé, Gregory Kucherov: Subset Seed Extension to Protein BLAST. BIOINFORMATICS 2011: 149-158
40		Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota: Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes. CONCUR 2011: 528-542
39		Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota: Automata with Group Actions. LICS 2011: 355-364
38		Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota: Partially-commutative context-free processes: Expressibility and tractability. Inf. Comput. 209(5): 782-798 (2011)
	2010
37		Diego Figueira, Piotr Hofman, Slawomir Lasota: Relating timed and register automata EXPRESS'10 2010: 61-75
36		Wojciech Czerwinski, Slawomir Lasota: Fast equivalence-checking for normed context-free processes. FSTTCS 2010: 260-271
35		Mikolaj Bojanczyk, Slawomir Lasota: An Extension of Data Automata that Captures XPath. LICS 2010: 243-252
34		Sibylle B. Fröschle, Petr Jancar, Slawomir Lasota, Zdenek Sawa: Non-interleaving bisimulation equivalences on Basic Parallel Processes. Inf. Comput. 208(1): 42-62 (2010)
	2009
33		Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota: Partially-Commutative Context-Free Processes. CONCUR 2009: 259-273
32		Sibylle B. Fröschle, Slawomir Lasota: Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences. Electr. Notes Theor. Comput. Sci. 239: 17-42 (2009)
31		Mikhail A. Roytberg, Anna Gambin, Laurent Noé, Slawomir Lasota, Eugenia Furletova, Ewa Szczurek, Gregory Kucherov: On Subset Seeds for Protein Alignment. IEEE/ACM Trans. Comput. Biology Bioinform. 6(3): 483-494 (2009)
30		Slawomir Lasota: EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system. Inf. Process. Lett. 109(15): 850-855 (2009)
	2008
29		Mikhail A. Roytberg, Anna Gambin, Laurent Noé, Slawomir Lasota, Eugenia Furletova, Ewa Szczurek, Gregory Kucherov: Efficient Seeding Techniques for Protein Similarity Search. BIRD 2008: 466-478
28		Slawomir Lasota, Igor Walukiewicz: Alternating timed automata. ACM Trans. Comput. Log. 9(2): (2008)
27		Jean Goubault-Larrecq, Slawomir Lasota, David Nowak: Logical relations for monadic types. Mathematical Structures in Computer Science 18(6): 1169-1217 (2008)
	2007
26		Sibylle B. Fröschle, Slawomir Lasota: Causality versus true-concurrency. Theor. Comput. Sci. 386(3): 169-187 (2007)
	2006
25		Slawomir Lasota, David Nowak, Yu Zhang: On Completeness of Logical Relations for Monadic Types. ASIAN 2006: 223-230
24		Slawomir Lasota, Wojciech Rytter: Faster Algorithm for Bisimulation Equivalence of Normed Context-Free Processes. MFCS 2006: 646-657
23		Slawomir Lasota, David Nowak, Yu Zhang: On Completeness of Logical Relations for Monadic Types CoRR abs/cs/0612106: (2006)
22		Sibylle B. Fröschle, Slawomir Lasota: Causality Versus True-Concurrency. Electr. Notes Theor. Comput. Sci. 154(3): 3-18 (2006)
21		Slawomir Lasota: Decidability of performance equivalence for basic parallel processes. Theor. Comput. Sci. 360(1-3): 172-192 (2006)
	2005
20		Sibylle B. Fröschle, Slawomir Lasota: Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP. CONCUR 2005: 263-277
19		Slawomir Lasota, Igor Walukiewicz: Alternating Timed Automata. FoSSaCS 2005: 250-265
18		Jean Goubault-Larrecq, Slawomir Lasota, David Nowak: Logical Relations for Monadic Types CoRR abs/cs/0511006: (2005)
17		Slawomir Lasota, Igor Walukiewicz: Alternating Timed Automata CoRR abs/cs/0512031: (2005)
16		Jacek Koronacki, Slawomir Lasota, Wojciech Niemiro: Positron emission tomography by Markov chain Monte Carlo with auxiliary variables. Pattern Recognition 38(2): 241-250 (2005)
	2004
15		Jean Goubault-Larrecq, Slawomir Lasota, David Nowak, Yu Zhang: Complete Lax Logical Relations for Cryptographic Lambda-Calculi. CSL 2004: 400-414
	2003
14		Slawomir Lasota: A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes. MFCS 2003: 521-530
13		Slawomir Lasota, Wojciech Niemiro: A version of the Swendsen-Wang algorithm for restoration of images degraded by Poisson noise. Pattern Recognition 36(4): 931-941 (2003)
	2002
12		Slawomir Lasota: Decidability of Strong Bisimilarity for Timed BPP. CONCUR 2002: 562-578
11		Jean Goubault-Larrecq, Slawomir Lasota, David Nowak: Logical Relations for Monadic Types. CSL 2002: 553-568
10		Anna Gambin, Slawomir Lasota, Radoslaw Szklarczyk, Jerzy Tiuryn, Jerzy Tyszkiewicz: Contextual alignment of biological sequences. ECCB 2002: 116-127
9		Slawomir Lasota: Coalgebra morphisms subsume open maps. Theor. Comput. Sci. 280(1-2): 123-135 (2002)
	2001
8		Martin Dietzfelbinger, Anna Gambin, Slawomir Lasota: On Different Models for Packet Flow in Multistage Interconnection Networks. Fundam. Inform. 46(4): 287-314 (2001)
	2000
7		Slawomir Lasota: Behavioural Constructor Implementation for Regular Algebras. LPAR 2000: 54-69
6		Slawomir Lasota: Finitary Observations in Regular Algebras. SOFSEM 2000: 402-410
	1999
5		Slawomir Lasota: Coalgebra morphisms subsume open maps. Electr. Notes Theor. Comput. Sci. 19: 23 (1999)
	1998
4		Slawomir Lasota: Partial-Congruence Factorization of Bisimilarity Induced by Open Maps. ICALP 1998: 91-102
3		Slawomir Lasota: Weak Bisimilarity and Open Maps. SOFSEM 1998: 381-388
	1997
2		Slawomir Lasota: Open maps as a bridge between algebraic observational equivalence and bisimilarity. WADT 1997: 285-299
	1996
1		Anna Gambin, Slawomir Lasota: On the Semantics of Multistage Interconnection Networks. SOFSEM 1996: 359-368

Coauthor Index

1	Mikolaj Bojanczyk	[35] [39] [42] [43]
2	Laurent Braud	[43]
3	Wojciech Czerwinski	[33] [36] [38] [40]
4	Martin Dietzfelbinger	[8]
5	Diego Figueira	[37]
6	Sibylle B. Fröschle	[20] [22] [26] [32] [33] [34] [38]
7	Eugenia Furletova	[29] [31]
8	Anna Gambin	[1] [8] [10] [29] [31] [41]
9	Jean Goubault-Larrecq (Jean Goubault)	[11] [15] [18] [27]
10	Piotr Hofman	[37] [40]
11	Petr Jancar	[34]
12	Bartek Klin	[39] [43]
13	Jacek Koronacki	[16]
14	Gregory Kucherov	[29] [31] [41]
15	Wojciech Niemiro	[13] [16]
16	Laurent Noé	[29] [31] [41]
17	David Nowak	[11] [15] [18] [23] [25] [27]
18	Mikhail A. Roytberg	[29] [31]
19	Wojciech Rytter	[24]
20	Zdenek Sawa	[34]
21	Michal Startek	[41]
22	Maciej Sykulski	[41]
23	Ewa Szczurek	[29] [31]
24	Radoslaw Szklarczyk	[10]
25	Jerzy Tiuryn	[10]
26	Jerzy Tyszkiewicz	[10]
27	Igor Walukiewicz	[17] [19] [28]
28	Yu Zhang	[15] [23] [25]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page