The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Patrick Cégielski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Patrick Cégielski, Irène Guessarian, Yury Lifshits, Yuri Matiyasevich
    Window Subsequence Problems for Compressed Texts. [Citation Graph (0, 0)][DBLP]
    CSR, 2006, pp:127-136 [Conf]
  2. Luc Boasson, Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich
    Window-Accumulated Subsequence Matching Problem is Linear. [Citation Graph (0, 16)][DBLP]
    PODS, 1999, pp:327-336 [Conf]
  3. Patrick Cégielski
    Definability, Decidability, Complexity. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:16, n:, pp:311-341 [Journal]
  4. Patrick Cégielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie
    Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1997, v:89, n:1, pp:1- [Journal]
  5. Luc Boasson, Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich
    Window-accumulated subsequence matching problem is linear. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2001, v:113, n:1-3, pp:59-80 [Journal]
  6. Ruy J. G. B. de Queiroz, Patrick Cégielski
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:123, n:, pp:1-3 [Journal]
  7. Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich
    Multiple serial episodes matching. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2006, v:98, n:6, pp:211-218 [Journal]
  8. Patrick Cégielski, Yuri Matiyasevich, Denis Richard
    Definability and Decidability Issues in Extensions of the Integers with the Divisibility Predicate. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:2, pp:515-540 [Journal]
  9. Patrick Cégielski
    The Elementary Theory of the Natural Lattice Is Finitely Axiomatizable. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1989, v:30, n:1, pp:138-150 [Journal]
  10. 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. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:1, n:303, pp:53-62 [Journal]
  11. Patrick Cégielski, Malika More
    Foreword. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:322, n:1, pp:1-3 [Journal]
  12. Patrick Cégielski, Denis Richard
    Decidability of the theory of the natural integers with the cantor pairing function and the successor. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:257, n:1-2, pp:51-77 [Journal]
  13. Patrick Cégielski, Denis Richard
    On Arithmetical First-Order Theories Allowing Encoding and Decoding of Lists. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:222, n:1-2, pp:55-75 [Journal]
  14. Ruy J. G. B. de Queiroz, Patrick Cégielski
    Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:364, n:2, pp:143-145 [Journal]
  15. Patrick Cégielski, Irène Guessarian, Yuri Matiyasevich
    Multiple serial episode matching [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  16. Normalization of Some Extended Abstract State Machines. [Citation Graph (, )][DBLP]


Search in 0.014secs, Finished in 0.015secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002