×
Compute Distance To:
Author ID: grigorieff.serge Recent zbMATH articles by "Grigorieff, Serge"
Published as: Grigorieff, Serge; Grigorieff, S.
External Links: MGP
Documents Indexed: 57 Publications since 1970
1 Contribution as Editor
Biographic References: 1 Publication
Co-Authors: 16 Co-Authors with 43 Joint Publications
433 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

43 Publications have been cited 239 times in 184 Documents Cited by Year
Duality and equational theory of regular languages. Zbl 1165.68049
Gehrke, Mai; Grigorieff, Serge; Pin, Jean-Éric
39
2008
Intermediate submodels and generic extensions in set theory. Zbl 0308.02060
Grigorieff, Serge
29
1975
Combinatorics on ideals and forcing. Zbl 0328.02041
Grigorieff, Serge
29
1971
Every recursive linear ordering has a copy in DTIME-SPACE(n,log(n)). Zbl 0708.03015
Grigorieff, Serge
23
1990
Random reals and possibly infinite computations. I: Randomness in \(\emptyset'\). Zbl 1089.03037
Becher, Verónica; Grigorieff, Serge
14
2005
A topological approach to recognition. Zbl 1288.68176
Gehrke, Mai; Grigorieff, Serge; Pin, Jean-Éric
9
2010
Randomness and halting probabilities. Zbl 1152.03038
Becher, Verónica; Figueira, Santiago; Grigorieff, Serge; Miller, Joseph S.
8
2006
Decision problems among the main subfamilies of rational relations. Zbl 1112.03008
Carton, Olivier; Choffrut, Christian; Grigorieff, Serge
8
2006
Uniformization of rational relations. Zbl 0944.68107
Choffrut, Christian; Grigorieff, Serge
7
1999
From index sets to randomness in \(\emptyset ^{n}\): Random reals and possibly infinite computations. II. Zbl 1163.03023
Becher, Verónica; Grigorieff, Serge
7
2009
Recursion and topology on \(2^{\leq\omega}\) for possibly infinite computations. Zbl 1061.03075
Becher, Verónica; Grigorieff, Serge
6
2004
Newton representation of functions over natural integers having integral difference ratios. Zbl 1395.11006
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
6
2015
Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization. Zbl 1362.54030
Becher, Verónica; Grigorieff, Serge
4
2015
Random reals à la Chaitin with or without prefix-freeness. Zbl 1124.68046
Becher, Verónica; Grigorieff, Serge
4
2007
Register cellular automata in the hyperbolic plane. Zbl 1083.68076
Grigorieff, Serge; Margenstern, Maurice
3
2004
Synchronization of a bounded degree graph of cellular automata with nonuniform delays in time \(D\lfloor \log_mD\rfloor\). Zbl 1161.68603
Grigorieff, Serge
3
2006
Wadge hardness in Scott spaces and its effectivization. Zbl 1362.54027
Becher, Verónica; Grigorieff, Serge
3
2015
Contribution à l’étude d’une conjecture de théorie des nombres par le codage ZBV. (Contribution to the study of a conjecture of number theory by ZBV coding). Zbl 0685.03039
Grigorieff, Serge; Richard, Denis
3
1989
Congruence preserving functions on free monoids. Zbl 1435.08001
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
3
2017
Kolmogorov complexity and set theoretical representations of integers. Zbl 1107.03043
Ferbus-Zanda, Marie; Grigorieff, Serge
2
2006
On lattices of regular sets of natural integers closed under decrementation. Zbl 1366.68140
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
2
2014
Evolving multialgebras unify all usual sequential computation models. Zbl 1230.68070
Grigorieff, Serge; Valarcher, Pierre
2
2010
Modelization of deterministic rational relations. Zbl 0997.68072
Grigorieff, Serge
2
2002
Separability of rational relations in \(A^* \times \mathbb N^m\) by recognizable relations is decidable. Zbl 1184.68310
Choffrut, Christian; Grigorieff, Serge
2
2006
Finite \(n\)-tape automata over possibly infinite alphabets: Extending a theorem of Eilenberg et al. Zbl 1161.03025
Choffrut, Christian; Grigorieff, Serge
2
2009
Characterizing congruence preserving functions \(\mathbb Z/n\mathbb Z \to \mathbb Z/m\mathbb Z\) via rational polynomials. Zbl 1377.11005
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
2
2016
Is randomness “native” to computer science? Zbl 1063.68592
Ferbus-Zanda, Marie; Grigorieff, Serge
1
2004
Kolmogorov complexities \(K_{\max}\), \(K_{\min}\) on computable partially ordered sets. Zbl 1087.68044
Ferbus-Zanda, Marie; Grigorieff, Serge
1
2006
Logical theory of the monoid of languages over a non tally alphabet. Zbl 1335.03036
Choffrut, Christian; Grigorieff, Serge
1
2015
The elementary theory of the Cantor pairing function is decidable. (La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable.) Zbl 0956.03006
Cégielski, Patrick; Grigorieff, Serge; Richard, Denis
1
2000
Problème de la minimalité des réels définis par “forcing” à partir d’un ultrafiltre. Zbl 0188.02003
Grigorieff, Serge
1
1970
Syntactical truth predicates for second order arithmetic. Zbl 0978.03044
Colson, Loïc; Grigorieff, Serge
1
2001
O et les injections élémentaires de L dans L. Zbl 0509.03028
Grigorieff, Serge
1
1979
La non-contradiction rélative de l’axiome de Martin. Zbl 0533.03030
Grigorieff, Serge
1
1979
ASMs and operational algorithmic completeness of lambda calculus. Zbl 1287.68045
Ferbus-Zanda, Marie; Grigorieff, Serge
1
2010
Modeles intermediaires et extensions generiques. Zbl 0258.02059
Grigorieff, Serge
1
1973
Minimalite des réels definis par ’forcing’ sur certaines familles d’arbres de suites finies d’entiers. Zbl 0316.02062
Grigorieff, Serge
1
1975
Integral difference ratio functions on integers. Zbl 1323.11002
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
1
2014
Arithmetical congruence preservation: from finite to infinite. Zbl 1465.11031
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
1
2015
Classes of algorithms: formalization and comparison. Zbl 1394.68424
Grigorieff, Serge; Valarcher, Pierre
1
2012
Logical theory of the additive monoid of subsets of natural integers. Zbl 1433.03115
Choffrut, Christian; Grigorieff, Serge
1
2015
Détermination des jeux boréliens et problèmes logiques associés (d’après D. Martin). Zbl 0359.02070
Grigorieff, Serge
1
1977
Affine completeness of the algebra of full binary trees. Zbl 1484.08001
Arnold, André; Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
1
2020
Affine completeness of the algebra of full binary trees. Zbl 1484.08001
Arnold, André; Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
1
2020
Congruence preserving functions on free monoids. Zbl 1435.08001
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
3
2017
Characterizing congruence preserving functions \(\mathbb Z/n\mathbb Z \to \mathbb Z/m\mathbb Z\) via rational polynomials. Zbl 1377.11005
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
2
2016
Newton representation of functions over natural integers having integral difference ratios. Zbl 1395.11006
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
6
2015
Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization. Zbl 1362.54030
Becher, Verónica; Grigorieff, Serge
4
2015
Wadge hardness in Scott spaces and its effectivization. Zbl 1362.54027
Becher, Verónica; Grigorieff, Serge
3
2015
Logical theory of the monoid of languages over a non tally alphabet. Zbl 1335.03036
Choffrut, Christian; Grigorieff, Serge
1
2015
Arithmetical congruence preservation: from finite to infinite. Zbl 1465.11031
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
1
2015
Logical theory of the additive monoid of subsets of natural integers. Zbl 1433.03115
Choffrut, Christian; Grigorieff, Serge
1
2015
On lattices of regular sets of natural integers closed under decrementation. Zbl 1366.68140
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
2
2014
Integral difference ratio functions on integers. Zbl 1323.11002
Cégielski, Patrick; Grigorieff, Serge; Guessarian, Irène
1
2014
Classes of algorithms: formalization and comparison. Zbl 1394.68424
Grigorieff, Serge; Valarcher, Pierre
1
2012
A topological approach to recognition. Zbl 1288.68176
Gehrke, Mai; Grigorieff, Serge; Pin, Jean-Éric
9
2010
Evolving multialgebras unify all usual sequential computation models. Zbl 1230.68070
Grigorieff, Serge; Valarcher, Pierre
2
2010
ASMs and operational algorithmic completeness of lambda calculus. Zbl 1287.68045
Ferbus-Zanda, Marie; Grigorieff, Serge
1
2010
From index sets to randomness in \(\emptyset ^{n}\): Random reals and possibly infinite computations. II. Zbl 1163.03023
Becher, Verónica; Grigorieff, Serge
7
2009
Finite \(n\)-tape automata over possibly infinite alphabets: Extending a theorem of Eilenberg et al. Zbl 1161.03025
Choffrut, Christian; Grigorieff, Serge
2
2009
Duality and equational theory of regular languages. Zbl 1165.68049
Gehrke, Mai; Grigorieff, Serge; Pin, Jean-Éric
39
2008
Random reals à la Chaitin with or without prefix-freeness. Zbl 1124.68046
Becher, Verónica; Grigorieff, Serge
4
2007
Randomness and halting probabilities. Zbl 1152.03038
Becher, Verónica; Figueira, Santiago; Grigorieff, Serge; Miller, Joseph S.
8
2006
Decision problems among the main subfamilies of rational relations. Zbl 1112.03008
Carton, Olivier; Choffrut, Christian; Grigorieff, Serge
8
2006
Synchronization of a bounded degree graph of cellular automata with nonuniform delays in time \(D\lfloor \log_mD\rfloor\). Zbl 1161.68603
Grigorieff, Serge
3
2006
Kolmogorov complexity and set theoretical representations of integers. Zbl 1107.03043
Ferbus-Zanda, Marie; Grigorieff, Serge
2
2006
Separability of rational relations in \(A^* \times \mathbb N^m\) by recognizable relations is decidable. Zbl 1184.68310
Choffrut, Christian; Grigorieff, Serge
2
2006
Kolmogorov complexities \(K_{\max}\), \(K_{\min}\) on computable partially ordered sets. Zbl 1087.68044
Ferbus-Zanda, Marie; Grigorieff, Serge
1
2006
Random reals and possibly infinite computations. I: Randomness in \(\emptyset'\). Zbl 1089.03037
Becher, Verónica; Grigorieff, Serge
14
2005
Recursion and topology on \(2^{\leq\omega}\) for possibly infinite computations. Zbl 1061.03075
Becher, Verónica; Grigorieff, Serge
6
2004
Register cellular automata in the hyperbolic plane. Zbl 1083.68076
Grigorieff, Serge; Margenstern, Maurice
3
2004
Is randomness “native” to computer science? Zbl 1063.68592
Ferbus-Zanda, Marie; Grigorieff, Serge
1
2004
Modelization of deterministic rational relations. Zbl 0997.68072
Grigorieff, Serge
2
2002
Syntactical truth predicates for second order arithmetic. Zbl 0978.03044
Colson, Loïc; Grigorieff, Serge
1
2001
The elementary theory of the Cantor pairing function is decidable. (La théorie élémentaire de la fonction de couplage de Cantor des entiers naturels est décidable.) Zbl 0956.03006
Cégielski, Patrick; Grigorieff, Serge; Richard, Denis
1
2000
Uniformization of rational relations. Zbl 0944.68107
Choffrut, Christian; Grigorieff, Serge
7
1999
Every recursive linear ordering has a copy in DTIME-SPACE(n,log(n)). Zbl 0708.03015
Grigorieff, Serge
23
1990
Contribution à l’étude d’une conjecture de théorie des nombres par le codage ZBV. (Contribution to the study of a conjecture of number theory by ZBV coding). Zbl 0685.03039
Grigorieff, Serge; Richard, Denis
3
1989
O et les injections élémentaires de L dans L. Zbl 0509.03028
Grigorieff, Serge
1
1979
La non-contradiction rélative de l’axiome de Martin. Zbl 0533.03030
Grigorieff, Serge
1
1979
Détermination des jeux boréliens et problèmes logiques associés (d’après D. Martin). Zbl 0359.02070
Grigorieff, Serge
1
1977
Intermediate submodels and generic extensions in set theory. Zbl 0308.02060
Grigorieff, Serge
29
1975
Minimalite des réels definis par ’forcing’ sur certaines familles d’arbres de suites finies d’entiers. Zbl 0316.02062
Grigorieff, Serge
1
1975
Modeles intermediaires et extensions generiques. Zbl 0258.02059
Grigorieff, Serge
1
1973
Combinatorics on ideals and forcing. Zbl 0328.02041
Grigorieff, Serge
29
1971
Problème de la minimalité des réels définis par “forcing” à partir d’un ultrafiltre. Zbl 0188.02003
Grigorieff, Serge
1
1970
all top 5

Cited by 198 Authors

17 Grigorieff, Serge
10 Gehrke, Mai
10 Melnikov, Alexander G.
8 Becher, Verónica
8 Cegielski, Patrick
7 Cenzer, Douglas
7 Choffrut, Christian
7 Downey, Rodney Graham
7 Karagila, Asaf
7 Selivanov, Viktor L’vovich
6 Guessarian, Irène
6 Kanovei, Vladimir G.
6 Lyubetsky, Vassily Aleksandrovich
6 Ng, KengMeng
6 Remmel, Jeffrey B.
5 Kalimullin, Iskander Shagitovich
5 Urbat, Henning
4 Barmpalias, George
4 Carton, Olivier
4 Finkel, Olivier
4 Milius, Stefan
4 Pin, Jean-Eric
3 Adámek, Jiří
3 Bazhenov, Nikolaĭ Alekseevich
3 Blass, Andreas Raphael
3 Chen, Liang-Ting
3 Harrison-Trainor, Matthew
3 Krebs, Andreas
3 Kwela, Adam
3 Lin, Anthony Widjaja
3 Matet, Pierre
3 Mislove, Michael W.
3 Pawlikowski, Janusz
3 Reggio, Luca
3 Sureson, Claude
3 van Gool, Samuel Jacob
2 Alaev, Pavel Evgenievich
2 Arnold, André
2 Ballester-Bolinches, Adolfo
2 Bezhanishvili, Guram
2 Bezhanishvili, Nick
2 Cosme-Llópez, Enric
2 Daviaud, Laure
2 De Brecht, Matthew
2 Figueira, Santiago
2 Friedman, Sy-David
2 Greenberg, Noam
2 Honzik, Radek
2 Jakl, Tomáš
2 Klíma, Ondřej
2 Margenstern, Maurice
2 Mclean, Brett
2 Miller, Arnold W.
2 Paperman, Charles
2 Rutten, Jan J. M. M.
2 Sin’ya, Ryoma
2 Stephan, Frank
2 Turetsky, Daniel D.
1 Adamowicz, Zofia
1 Almeida, Jorge
1 Antos, Carolin
1 Asarin, Eugene
1 Asperó, David
1 Balcar, Bohuslav
1 Barceló, Pablo
1 Birkmann, Fabian
1 Bonsangue, Marcello Maria
1 Borlido, Célia
1 Bozzelli, Laura
1 Brian, William Rea
1 Cadilhac, Michaël
1 Castiblanco, Fabiana
1 Ciesielski, Krzysztof Chris
1 Coghetto, Roland
1 Colson, Loïc
1 Costa, José Carlos
1 Czarnetzki, Silke
1 D’Alessandro, Flavio
1 David, Rene
1 De Groot, Jim
1 Dima, Cătălin
1 Dorzhieva, Marina Valerianovna
1 Doucha, Michal
1 Dowe, David L.
1 Duparc, Jacques
1 Enayat, Ali
1 Ferbus-Zanda, Marie C.
1 Figueira, Diego
1 Fijalkow, Nathanaël
1 Fuchino, Sakaé
1 Gabelaia, David
1 Gava, Frédéric
1 Ghilardi, Silvio
1 Gitman, Victoria
1 Gotou, Rin
1 Groszek, Marcia J.
1 Gutin, Gregory Z.
1 Hague, Matthew
1 Hall, Eric Joseph
1 Halpern, J. D.
...and 98 more Authors
all top 5

Cited in 48 Serials

19 The Journal of Symbolic Logic
19 Theoretical Computer Science
11 Archive for Mathematical Logic
9 Annals of Pure and Applied Logic
8 Logical Methods in Computer Science
7 Transactions of the American Mathematical Society
7 Information and Computation
6 RAIRO. Theoretical Informatics and Applications
4 Israel Journal of Mathematics
4 Algebra Universalis
4 Siberian Mathematical Journal
4 MSCS. Mathematical Structures in Computer Science
3 Journal of Pure and Applied Algebra
3 Topology and its Applications
3 The Bulletin of Symbolic Logic
2 Journal of Mathematical Analysis and Applications
2 Algebra and Logic
2 Fundamenta Mathematicae
2 Journal of Computer and System Sciences
2 Notre Dame Journal of Formal Logic
2 Journal of Mathematical Sciences (New York)
2 Theory of Computing Systems
2 Fundamenta Informaticae
2 Journal of Logical and Algebraic Methods in Programming
1 Information Processing Letters
1 Periodica Mathematica Hungarica
1 Commentationes Mathematicae Universitatis Carolinae
1 Journal of Algebra
1 Monatshefte für Mathematik
1 Proceedings of the American Mathematical Society
1 European Journal of Combinatorics
1 Acta Mathematica Hungarica
1 Order
1 Journal of Complexity
1 Journal of Logic, Language and Information
1 Finite Fields and their Applications
1 Annals of Mathematics and Artificial Intelligence
1 Journal of Applied Analysis
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Journal of Mathematical Logic
1 Lobachevskii Journal of Mathematics
1 Integers
1 Iranian Journal of Fuzzy Systems
1 International Journal of Number Theory
1 The Review of Symbolic Logic
1 Formalized Mathematics
1 RAIRO. Theoretical Informatics and Applications
1 European Journal of Mathematics

Citations by Year