| 2007 |
|---|
| 16 | EE | Patrick Cégielski,
Denis Richard,
Maxim Vsemirnov:
On the Additive Theory of Prime Numbers.
Fundam. Inform. 81(1-3): 83-96 (2007) |
| 2006 |
|---|
| 15 | EE | Patrick Cégielski,
Irène Guessarian,
Yury Lifshits,
Yuri Matiyasevich:
Window Subsequence Problems for Compressed Texts.
CSR 2006: 127-136 |
| 14 | EE | Patrick Cégielski,
Irène Guessarian,
Yuri Matiyasevich:
Multiple serial episode matching
CoRR abs/cs/0603050: (2006) |
| 13 | EE | Patrick Cégielski,
Irène Guessarian,
Yuri Matiyasevich:
Multiple serial episodes matching.
Inf. Process. Lett. 98(6): 211-218 (2006) |
| 12 | EE | Ruy J. G. B. de Queiroz,
Patrick Cégielski:
Preface.
Theor. Comput. Sci. 364(2): 143-145 (2006) |
| 2005 |
|---|
| 11 | EE | Ruy J. G. B. de Queiroz,
Patrick Cégielski:
Preface.
Electr. Notes Theor. Comput. Sci. 123: 1-3 (2005) |
| 2004 |
|---|
| 10 | EE | Patrick Cégielski,
Malika More:
Foreword.
Theor. Comput. Sci. 322(1): 1-3 (2004) |
| 2003 |
|---|
| 9 | EE | Patrick Cégielski,
François Heroult,
Denis Richard:
On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity.
Theor. Comput. Sci. 1(303): 53-62 (2003) |
| 2001 |
|---|
| 8 | | Luc Boasson,
Patrick Cégielski,
Irène Guessarian,
Yuri Matiyasevich:
Window-accumulated subsequence matching problem is linear.
Ann. Pure Appl. Logic 113(1-3): 59-80 (2001) |
| 7 | EE | Patrick Cégielski,
Denis Richard:
Decidability of the theory of the natural integers with the cantor pairing function and the successor.
Theor. Comput. Sci. 257(1-2): 51-77 (2001) |
| 1999 |
|---|
| 6 | EE | Luc Boasson,
Patrick Cégielski,
Irène Guessarian,
Yuri Matiyasevich:
Window-Accumulated Subsequence Matching Problem is Linear.
PODS 1999: 327-336 |
| 5 | EE | Patrick Cégielski,
Denis Richard:
On Arithmetical First-Order Theories Allowing Encoding and Decoding of Lists.
Theor. Comput. Sci. 222(1-2): 55-75 (1999) |
| 1997 |
|---|
| 4 | | Patrick Cégielski,
Leszek Pacholski,
Denis Richard,
Jerzy Tomasik,
Alex Wilkie:
Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France.
Ann. Pure Appl. Logic 89(1): 1 (1997) |
| 1996 |
|---|
| 3 | | Patrick Cégielski:
Definability, Decidability, Complexity.
Ann. Math. Artif. Intell. 16: 311-341 (1996) |
| 2 | | Patrick Cégielski,
Yuri Matiyasevich,
Denis Richard:
Definability and Decidability Issues in Extensions of the Integers with the Divisibility Predicate.
J. Symb. Log. 61(2): 515-540 (1996) |
| 1989 |
|---|
| 1 | | Patrick Cégielski:
The Elementary Theory of the Natural Lattice Is Finitely Axiomatizable.
Notre Dame Journal of Formal Logic 30(1): 138-150 (1989) |
