|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 16 keywords
|
|
|
|
|
Results
Found 43 publication records. Showing 43 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mikolaj Bojanczyk, Slawomir Lasota |
An extension of data automata that captures XPath  |
Logical Methods in Computer Science  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Laurent Braud, Bartek Klin, Slawomir Lasota |
Towards nominal computation. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota |
Partially-commutative context-free processes: Expressibility and tractability. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Czerwinski, Piotr Hofman, Slawomir Lasota |
Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes. |
CONCUR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Gambin, Slawomir Lasota, Michal Startek, Maciej Sykulski, Laurent Noé, Gregory Kucherov |
Subset Seed Extension to Protein BLAST. |
BIOINFORMATICS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota |
Automata with Group Actions. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sibylle B. Fröschle, Petr Jancar, Slawomir Lasota, Zdenek Sawa |
Non-interleaving bisimulation equivalences on Basic Parallel Processes. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Figueira, Piotr Hofman, Slawomir Lasota |
Relating timed and register automata |
EXPRESS'10 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolaj Bojanczyk, Slawomir Lasota |
An Extension of Data Automata that Captures XPath. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Regular XPath, data automata, register automata |
| 1 | Wojciech Czerwinski, Slawomir Lasota |
Fast equivalence-checking for normed context-free processes. |
FSTTCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Slawomir Lasota |
EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system. |
Inf. Process. Lett. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sibylle B. Fröschle, Slawomir Lasota |
Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2009 |
DBLP DOI BibTeX RDF |
subset seeds, seed alphabet, similarity search, selectivity, sensitivity, seeds, local alignment, Protein sequences, protein databases, multiple seeds |
| 1 | Wojciech Czerwinski, Sibylle B. Fröschle, Slawomir Lasota |
Partially-Commutative Context-Free Processes. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Goubault-Larrecq, Slawomir Lasota, David Nowak |
Logical relations for monadic types. |
Mathematical Structures in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Slawomir Lasota, Igor Walukiewicz |
Alternating timed automata. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
emptyness problem, timed automata, Alternation |
| 1 | Mikhail A. Roytberg, Anna Gambin, Laurent Noé, Slawomir Lasota, Eugenia Furletova, Ewa Szczurek, Gregory Kucherov |
Efficient Seeding Techniques for Protein Similarity Search. |
BIRD |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sibylle B. Fröschle, Slawomir Lasota |
Causality versus true-concurrency. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Slawomir Lasota |
Decidability of performance equivalence for basic parallel processes. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sibylle B. Fröschle, Slawomir Lasota |
Causality Versus True-Concurrency. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Slawomir Lasota, David Nowak, Yu Zhang |
On Completeness of Logical Relations for Monadic Types |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Slawomir Lasota, Wojciech Rytter |
Faster Algorithm for Bisimulation Equivalence of Normed Context-Free Processes. |
MFCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Slawomir Lasota, David Nowak, Yu Zhang |
On Completeness of Logical Relations for Monadic Types. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Goubault-Larrecq, Slawomir Lasota, David Nowak |
Logical Relations for Monadic Types |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Slawomir Lasota, Igor Walukiewicz |
Alternating Timed Automata |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jacek Koronacki, Slawomir Lasota, Wojciech Niemiro |
Positron emission tomography by Markov chain Monte Carlo with auxiliary variables. |
Pattern Recognition |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sibylle B. Fröschle, Slawomir Lasota |
Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Slawomir Lasota, Igor Walukiewicz |
Alternating Timed Automata. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Goubault-Larrecq, Slawomir Lasota, David Nowak, Yu Zhang |
Complete Lax Logical Relations for Cryptographic Lambda-Calculi. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
Cryptographic lambda-calculus, Subscone, Monads, Logical relations |
| 1 | Slawomir Lasota, Wojciech Niemiro |
A version of the Swendsen-Wang algorithm for restoration of images degraded by Poisson noise. |
Pattern Recognition |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Slawomir Lasota |
A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes. |
MFCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Slawomir Lasota |
Coalgebra morphisms subsume open maps. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Slawomir Lasota |
Decidability of Strong Bisimilarity for Timed BPP. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Gambin, Slawomir Lasota, Radoslaw Szklarczyk, Jerzy Tiuryn, Jerzy Tyszkiewicz |
Contextual alignment of biological sequences. |
ECCB |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jean Goubault-Larrecq, Slawomir Lasota, David Nowak |
Logical Relations for Monadic Types. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
semantics, monads, logical relations, typed lambda-calculus |
| 1 | Martin Dietzfelbinger, Anna Gambin, Slawomir Lasota |
On Different Models for Packet Flow in Multistage Interconnection Networks. |
Fundam. Inform. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Slawomir Lasota |
Behavioural Constructor Implementation for Regular Algebras. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
regular algebras, behavioural constructor implementation, proofs of behavioural properties, Algebraic specifications, observational equivalence |
| 1 | Slawomir Lasota |
Finitary Observations in Regular Algebras. |
SOFSEM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Slawomir Lasota |
Coalgebra morphisms subsume open maps. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Slawomir Lasota |
Partial-Congruence Factorization of Bisimilarity Induced by Open Maps. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Slawomir Lasota |
Weak Bisimilarity and Open Maps. |
SOFSEM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Slawomir Lasota |
Open maps as a bridge between algebraic observational equivalence and bisimilarity. |
WADT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Gambin, Slawomir Lasota |
On the Semantics of Multistage Interconnection Networks. |
SOFSEM |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #43 of 43 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")