Patrick Cegielski
University of Paris
47 Papers
254 Citations
Patrick Cegielski is an academic researcher from University of Paris. The author has contributed to research in topics: Function (mathematics) & Congruence (geometry). The author has an hindex of 10, co-authored 46 publications.
Chat about Author
Papers
Decidability of the theory of the natural integers with the cantor pairing function and the successor
Patrick Cegielski,Denis Richard +1 more
TL;DR: It can be proved that the theory Th( N,C,X) is undecidable when X is equal either to multiplication, or coprimeness, or divisibility, or addition or natural ordering.
45
Window subsequence problems for compressed texts
Patrick Cegielski,Irène Guessarian,Yury Lifshits,Yuri Matiyasevich +3 more
- 08 Jun 2006
TL;DR: This work is searching for subsequences in a text which is compressed using Lempel-Ziv-like compression algorithms, without decompressing the text, and it would like the algorithms to be almost optimal, in the sense that they run in time O(m) where m is the size of the compressed text.
Window-accumulated subsequence matching problem is linear
Luc Boasson,Patrick Cegielski,Irène Guessarian,Yuri Matiyasevich +3 more
- 01 May 1999
TL;DR: A non-conventional kind of RAM is defined, the MP-RAMS which model more closely the microprocessor operations; an O(n) on-line algorithm for solving the subsequence matching problem on MPRAMS is designed.
24
On arithmetical first-order theories allowing encoding and decoding of lists
Patrick Cegielski,Denis Richard +1 more
TL;DR: It is proved it is possible in some structure to encode lists although neither addition nor multiplication are definable in this structure.
21
Window-accumulated subsequence matching problem is linear
TL;DR: A non-conventional kind of RAM is defined, the MP-RAMs which model more closely the microprocessor operations and an O (n) on-line algorithm is designed for solving the subsequence matching problem on MP- RAMs.
18