Slawomir Lasota

Identifiers

• name variant Slawomir Lasota 0.60 · backfill

Papers (8)

1. The Reachability Problem for Petri Nets is Not Elementary cs.FL · 2018 · author #2
2. Simulation Over One-counter Nets is PSPACE-Complete cs.FL · 2013 · author #2
3. Undecidability of performance equivalence of Petri nets cs.CC · 2009 · author #1
4. On subset seeds for protein alignment q-bio.QM · 2009 · author #5
5. Efficient seeding techniques for protein similarity search q-bio.QM · 2008 · author #5
6. On Completeness of Logical Relations for Monadic Types cs.LO · 2006 · author #1
7. Alternating Timed Automata cs.LO · 2005 · author #1
8. Logical Relations for Monadic Types cs.LO · 2005 · author #2

Mentions

• 1310.6303 #2 · backfill · confidence 0.70 Slawomir Lasota
• 0910.5819 #1 · backfill · confidence 0.70 Slawomir Lasota
• 0901.3198 #5 · backfill · confidence 0.70 Slawomir Lasota
• 0810.5434 #5 · backfill · confidence 0.70 Slawomir Lasota

Frequent Coauthors

• Anna Gambin 2 shared papers
• David Nowak 2 shared papers
• Ewa Szczurek (MPI) 2 shared papers
• Gregory Kucherov (LIFL 2 shared papers
• INRIA Lille - Nord Europe) 2 shared papers
• Laurent No\'e (LIFL 2 shared papers
• Eugenia Furletova (IMPB) 1 shared papers
• Eugenia Furletova (IMPB-RAS) 1 shared papers
• Filip Mazowiecki 1 shared papers
• Igor Walukiewicz 1 shared papers
• Jean Goubault-Larrecq 1 shared papers
• Jerome Leroux 1 shared papers
• Marcin Poturalski 1 shared papers
• Mihkail Roytberg (IMPB-RAS) 1 shared papers
• Mikhail A. Roytberg (IMPB) 1 shared papers
• Patrick Totzke 1 shared papers
• Piotr Hofman 1 shared papers
• Ranko Lazic 1 shared papers
• Richard Mayr 1 shared papers
• Wojciech Czerwinski 1 shared papers