| 2008 |
|---|
| 7 | EE | Maxime Crochemore,
Costas S. Iliopoulos,
Marcin Kubica,
Mohammad Sohel Rahman,
Tomasz Walen:
Improved Algorithms for the Range Next Value Problem and Applications.
STACS 2008: 205-216 |
| 2007 |
|---|
| 6 | EE | Costas S. Iliopoulos,
Marcin Kubica,
M. Sohel Rahman,
Tomasz Walen:
Algorithms for Computing the Longest Parameterized Common Subsequence.
CPM 2007: 265-273 |
| 5 | EE | Sergey Bereg,
Marcin Kubica,
Tomasz Walen,
Binhai Zhu:
RNA multiple structural alignment with longest common subsequences.
J. Comb. Optim. 13(2): 179-188 (2007) |
| 2006 |
|---|
| 4 | EE | Marcin Kubica,
Romeo Rizzi,
Stéphane Vialette,
Tomasz Walen:
Approximation of RNA Multiple Structural Alignment.
CPM 2006: 211-222 |
| 2003 |
|---|
| 3 | EE | Marcin Kubica:
A Temporal Approach to Specification and Verification of Pointer Data-Structures.
FASE 2003: 231-245 |
| 1995 |
|---|
| 2 | | Michal Iglewski,
Marcin Kubica,
Jan Madey:
Trace Specifications of Non-Deterministic Multi-Object Modules.
ASIAN 1995: 381-395 |
| 1992 |
|---|
| 1 | | Marcin Engel,
Marcin Kubica,
Jan Madey,
David Lorge Parnas,
Anders P. Ravn,
A. John van Schouwen:
A Formal Approach to Computer Systems Requirements Documentation.
Hybrid Systems 1992: 452-474 |
