Nombre de documents

50


Article dans une revue27 documents

  • Irene Guessarian, Patrick Cégielski, Serge Grigorieff. Newton representation of functions over natural integers having integral difference ratios. International Journal of Number Theory, World Scientific Publishing, 2015, 11 (7), pp.2109-2139. 〈http://www.worldscientific.com/doi/pdf/10.1142/S179304211550092X〉. 〈hal-01260277〉
  • Patrick Cégielski, Serge Grigorieff, Guessarian Irene. On Lattices of Regular Sets of Natural Integers Closed under Decrementation. Information Processing Letters, Elsevier, 2014, 114, pp.197-202. 〈hal-01259673〉
  • Irene Guessarian, Patrick Cégielski, Yuri Matiyasevich. Tree inclusion problems. RAIRO - Theoretical Informatics and Applications (RAIRO: ITA), EDP Sciences, 2008, 42 (1), pp.5-20. 〈http://www.rairo-ita.org/articles/ita/abs/2008/01/ita07048/ita07048.html〉. 〈10.1051/ita:2007052〉. 〈hal-01260272〉
  • Patrick Cegielski, Irène Guessarian, Yuri Lifshits, Yuri Matiyasevich. Window Subsequence Problem for Compressed Texts. Lecture notes in computer science, springer, 2006, 3697, pp.127-136. 〈hal-00095714〉
  • Irene Guessarian, Patrick Cegielski, Yuri Matiyasevich. Multiple serial episodes matching. Information Processing Letters, Elsevier, 2006, 98/6, pp.211-218. 〈hal-00023320〉
  • Patrick Cegielski, Ruy De Queiroz. Proceedings of the 11th Workshop on Logic, Language, Information and Computation (WoLLIC 04). Electronic Notes in Theoretical Computer Science, Elsevier, 2005, 123, pp.240. 〈hal-00097613〉
  • Patrick Cegielski. Decidability and p-destinies. Journal of Mathematical Sciences, Springer Verlag (Germany), 2005, 130, pp.4620-4623. 〈hal-00095704〉
  • Patrick Cegielski, Malika More. Foreword – Weak Arithmetics. Theoretical Computer Science, Elsevier, 2004, 322, pp.1-3. 〈hal-00097609〉
  • Patrick Cegielski. Il faut revenir aux sources !. L'informatique professionnelle, Gartner ISSN 0750-1080, 2004, 229, pp.11-15. 〈hal-00096773〉
  • Patrick Cégielski, François Heroult, Denis Richard. On the amplitude of intervals of natural numbers whose every element is coprime with no extremity. Theoretical Computer Science, Elsevier, 2003, 303, pp.53-62. 〈hal-00005600〉
  • Irene Guessarian, Luc Boasson, Patrick Cegielski, Yuri Matiyasevich. Window Accumulated Subsequence Matching is linear. Annals of Pure and Applied Logic, Elsevier Masson, 2001, 113, pp.59-80. 〈hal-00020677〉
  • Patrick Cegielski, Denis Richard. Decidability of natural integers equipped with Cantor pairing function and successor. Theoretical Computer Science, Elsevier, 2001, 257, pp.51-77. 〈hal-00095681〉
  • Patrick Cegielski, Serge Grigorieff, Denis Richard. La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 2000, 331, pp.107-110. 〈hal-00095677〉
  • Patrick Cegielski, Denis Richard. On arithmetical first-order theories allowing encoding and decoding of lists. Theoretical Computer Science, Elsevier, 1999, 222, pp.55-75. 〈hal-00095676〉
  • Patrick Cegielski. Definability, decidability and complexity. Annals of Mathematics and Artificial Intelligence, Springer Verlag, 1996, 111, pp.311-341. 〈hal-00095667〉
  • Patrick Cegielski, Jean-Pierre Raoult, Denis Richard. Colloque National sur les Recherches en IUT. Quadrature, EDP Sciences, 1996, 24, pp.120. 〈hal-00097626〉
  • Patrick Cegielski. C'est é-lé-mentaire. Quadrature, EDP Sciences, 1996, 24, pp.13-17. 〈hal-00096771〉
  • Patrick Cegielski, Yuri Matiyasevich, Denis Richard. Definability and decidability issues in extensions of the integers with the divisibility predicate. The Journal of Symbolic Logic, 1996, 61, pp.515-540. 〈hal-00095673〉
  • Patrick Cegielski, Denis Richard. Indécidabilité de la théorie des entiers naturels munis d'une énumération des premiers et de la divisibilité. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1992, 315, pp.1431-1434. 〈hal-00095664〉
  • Patrick Cegielski. La théorie des corps réels-clos inductifs est une extension conservative de l'arithmétique de Peano. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1990, 310, pp.239-242. 〈hal-00095655〉
  • Patrick Cegielski. La théorie des corps inductifs archimédiens rationnellement complets. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1990, 311, pp.847-850. 〈hal-00095659〉
  • Patrick Cegielski. The Elementary Theory of the Natural Lattice is Finitely Axiomatizable. Notre Dame Journal of Formal Logic, University of Notre Dame, 1989, 30, pp.138-150. 〈hal-00095651〉
  • Patrick Cegielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie. Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France. Annals of Pure and Applied Logic, Elsevier Masson, 1987, 89, pp.1-3. 〈hal-00097607〉
  • Patrick Cegielski. La théorie élémentaire de la divisibilité est finiment axiomatisable. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1984, 299, pp.367-369. 〈hal-00095646〉
  • Patrick Cegielski. La théorie élémentaire de la multiplication. Lecture Notes in Mathematics, Springer-Verlag Heidelberg, 1981, 890, pp.44-89. 〈hal-00096746〉
  • Patrick Cegielski. La théorie élémentaire de la multiplication est conséquence d'un nombre fini d'axiomes de ISigmaZéro. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1981, 293, pp.351-352. 〈hal-00095642〉
  • Patrick Cegielski. La théorie élémentaire de la multiplication. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1980, 290, pp.935-938. 〈hal-00095636〉

Communication dans un congrès4 documents

  • Patrick Cegielski, Irene Guessarian, Yuri Matiyasevich. Multiple serial episode matching. Y. Shoukourian. 2005, The National Academy of Sciences of Armenia Publishers, pp.26-38, 2005. 〈hal-00020564〉
  • Patrick Cegielski, Denis Richard, Maxim Vsemirnov. On the additive theory of prime numbers II. Yuri Shoukourian. 2005, The National Academy of Sciences of Armenia Publishers, pp.39-47, 2005. 〈hal-00096769〉
  • Patrick Cegielski, Denis Richard, Maxim Vsemirnov. On the additive theory of prime numbers I. Yuri Shoukourian. 2003, The National Academy of Sciences of Armenia Publishers, pp.90-99, 2003. 〈hal-00096752〉
  • Irene Guessarian, Luc Boasson, Patrick Cegielski, Yuri Matiyasevich. Window Accumulated Subsequence Matching is linear. 1999, acm, pp.327-336, 1999. 〈hal-00020684〉

Ouvrage (y compris édition critique et traduction)4 documents

  • Gilles Dowek, Jean-Pierre Archambault, Emmanuel Baccelli, Sylvie Boldo, Denis Bouhineau, et al.. Une introduction à la science informatique pour les enseignants de la discipline en lycée. Gilles Dowek. CRDP Paris, pp.376, 2011, Repères pour agir (RPA disciplines & compétences), Christine Moulin, 978-2-86631-188-9. 〈hal-00765226〉
  • Patrick Cegielski. Conception des systèmes d'exploitation : Le cas linux. Deuxième édition.. Eyrolles, pp.XIII+680, 2004. 〈hal-00097619〉
  • Patrick Cégielski. Comprendre les systèmes d'exploitation: le cas linux. Eyrolles, 2003. 〈hal-00005606〉
  • Patrick Cegielski. Modélisation et simulation : actes du CNRIUT98. L'Harmattan, pp.592, 1998. 〈hal-00097628〉

Chapitre d'ouvrage8 documents

  • Irene Guessarian, Patrick Cégielski, Serge Grigorieff. Arithmetical Congruence Preservation: from Finite to Infinite. Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich, 9300, pp.210-225, 2015, LNCS. 〈hal-01260281〉
  • Patrick Cégielski, Serge Grigorieff, Irene Guessarian. Integral Difference Ratio Functions on Integers. Computing with new resouces, 8808, pp.210-225, 2014, Lecture Notes in Computer Science, 〈10.1007/978-3-319-13350-8_21〉. 〈hal-01259852〉
  • Irene Guessarian, Patrick Cégielski. Normal form of Some extended Abstract State Machines. Fields of Logic and Computation, pp.165-180, 2010, 978-3-642-15025-8. 〈10.1007/978-3-642-15025-8〉. 〈hal-01260275〉
  • Patrick Cegielski, François Heroult, Denis Richard. Théorie des nombres et informatique. CNR'IUT 2001, Presses Universitaires de Saint-Étienne, pp.249-256, 2001. 〈hal-00097601〉
  • Patrick Cegielski. Comment vérifier l'accès à une page Web. CNR'IUT 2000, tome 1, ISBN 2.913454-06-2, Presses Universitaires d'Orléans, pp.249-256, 2000. 〈hal-00097595〉
  • Patrick Cegielski. Un fondement des Mathématiques. Michel Serfati. La recherche de la vérité, ACL-éditions (Paris), pp.177-209, 1999. 〈hal-00096777〉
  • Patrick Cegielski. Historique de la théorie élémentaire des ensembles. Fragments d'histoire des mathématiques II, APMEP (Association des Professeurs de Mathématiques de l'Enseignement Public), pp.161-210, 1987. 〈hal-00096775〉
  • Patrick Cegielski, Kenneth Mc Aloon, George Wilmers. Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels. D. van Dalen. Logic colloquium 80, North-Holland, pp.57-68, 1982. 〈hal-00096748〉

Pré-publication, Document de travail7 documents

  • Serge Grigorieff, Irene Guessarian, Patrick Cégielski. CHARACTERIZING CONGRUENCE PRESERVING FUNCTIONS Z/nZ → Z/mZ VIA RATIONAL POLYNOMIALS. 2016. 〈hal-01260934〉
  • Patrick Cegielski, Serge Grigorieff. Newton representation of functions over natural integers having integral difference ratios. 2013. 〈hal-00870168〉
  • Patrick Cegielski, Serge Grigorieff, Irene Guessarian. On Lattices of Regular Sets of Natural Integers Closed under Decrementation. 2013. 〈hal-00870130〉
  • Patrick Cegielski, Irene Guessarian, Yuri Matiyasevich. Tree inclusion problems. 2007. 〈hal-00159125〉
  • Patrick Cegielski, Irene Guessarian. Tree inclusions in windows and slices. 2007. 〈hal-00159127〉
  • Alexis Bès, Patrick Cégielski. Weakly Maximal Decidable Structures. Rapport interne LACL 2007-06. 2007. 〈hal-00155281〉
  • Alexis Bès, Patrick Cégielski. Non-Maximal Decidable Structures. Rapport interne LACL 2007-06. 2007. 〈hal-00155282〉