Serge Grigorieff

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 5

Top Topics

Logical Theories

Uniform Distribution

Topological Spaces

Conceptual Spaces

Top Venues

Math. Struct. Comput. Sci.

Fields of Logic and Computation II

Computing with New Resources

Publications

Verónica Becher, Serge Grigorieff
Randomness and uniform distribution modulo one. Inf. Comput. 285 (Part) (2022)
André Arnold, Patrick Cégielski, Serge Grigorieff, Irène Guessarian
The algebra of binary trees is affine complete. Discret. Math. Theor. Comput. Sci. 23 (2) (2021)
André Arnold, Patrick Cégielski, Serge Grigorieff, Irène Guessarian
The algebra of binary trees is affine complete. CoRR (2020)
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
Congruence Preservation, Lattices and Recognizability. CoRR (2020)
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
Characterizing Congruence Preserving Functions Z/nZ → Z/mZ Via Rational Polynomials. Integers 16 (2016)
Christian Choffrut, Serge Grigorieff
Logical Theory of the Monoid of Languages over a Non Tally Alphabet. Fundam. Informaticae 138 (1-2) (2015)
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
Arithmetical Congruence Preservation: From Finite to Infinite. Fields of Logic and Computation II (2015)
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
Characterizing congruence preserving functions $Z/nZ\to Z/mZ$ via rational polynomials. CoRR (2015)
Verónica Becher, Serge Grigorieff
Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization. Math. Struct. Comput. Sci. 25 (7) (2015)
Verónica Becher, Serge Grigorieff
Wadge hardness in Scott spaces and its effectivization. Math. Struct. Comput. Sci. 25 (7) (2015)
Christian Choffrut, Serge Grigorieff
Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations. Fields of Logic and Computation II (2015)
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
On lattices of regular sets of natural integers closed under decrementation. Inf. Process. Lett. 114 (4) (2014)
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
Integral Difference Ratio Functions on Integers. Computing with New Resources (2014)
Verónica Becher, Serge Grigorieff
Wadge Hardness in Scott Spaces and Its Effectivization. CoRR (2013)
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
Newton representation of functions over natural integers having integral difference ratios. CoRR (2013)
Patrick Cégielski, Serge Grigorieff, Irène Guessarian
On Lattices of Regular Sets of Natural Integers Closed under Decrementation. CoRR (2013)
Verónica Becher, Serge Grigorieff
Borel and Hausdorff Hierarchies in Topological Spaces of Choquet Games and Their Effectivization. CoRR (2013)
Serge Grigorieff, Pierre Valarcher
Classes of Algorithms: Formalization and Comparison. Bull. EATCS 107 (2012)
Christian Choffrut, Serge Grigorieff
Rational relations having a rational trace on each finite intersection of rational relations. Theor. Comput. Sci. 454 (2012)
Serge Grigorieff, Pierre Valarcher
Functionals Using Bounded Information and the Dynamics of Algorithms. LICS (2012)
Serge Grigorieff, Pierre Valarcher
Evolving Multialgebras Unify All Usual Sequential Computation Models. STACS (2010)
Marie Ferbus-Zanda, Serge Grigorieff
Kolmogorov Complexity in perspective. Part I: Information Theory and Randomnes CoRR (2010)
Marie Ferbus-Zanda, Serge Grigorieff
ASMs and Operational Algorithmic Completeness of Lambda Calculus. Fields of Logic and Computation (2010)
Marie Ferbus-Zanda, Serge Grigorieff
ASMs and Operational Algorithmic Completeness of Lambda Calculus CoRR (2010)
Serge Grigorieff, Pierre Valarcher
Evolving MultiAlgebras unify all usual sequential computation models CoRR (2010)
Mai Gehrke, Serge Grigorieff, Jean-Eric Pin
A Topological Approach to Recognition. ICALP (2) (2010)
Christian Choffrut, Serge Grigorieff
Finite n-tape automata over possibly infinite alphabets: Extending a theorem of Eilenberg et al. Theor. Comput. Sci. 410 (1) (2009)
Verónica Becher, Serge Grigorieff
: random reals and possibly infinite computations. Part II. J. Symb. Log. 74 (1) (2009)
Christian Choffrut, Serge Grigorieff
The "equal last letter" predicate for words on infinite alphabets and classes of multitape automata. Theor. Comput. Sci. 410 (30-32) (2009)
Marie Ferbus-Zanda, Serge Grigorieff
Refinment of the "up to a constant" ordering using contructive co-immunity and alike. Application to the Min/Max hierarchy of Kolmogorov complexities CoRR (2008)
Marie Ferbus-Zanda, Serge Grigorieff
Set theoretical Representations of Integers, I CoRR (2008)
Marie Ferbus-Zanda, Serge Grigorieff
Is Randomness "Native" to Computer Science? CoRR (2008)
Marie Ferbus-Zanda, Serge Grigorieff
Church, Cardinal and Ordinal Representations of Integers and Kolmogorov complexity CoRR (2008)
Marie Ferbus-Zanda, Serge Grigorieff
Kolmogorov complexity in perspective CoRR (2008)
Marie Ferbus-Zanda, Serge Grigorieff
Kolmogorov complexities Kmax, Kmin on computable partially ordered sets CoRR (2008)
Mai Gehrke, Serge Grigorieff, Jean-Eric Pin
Duality and Equational Theory of Regular Languages. ICALP (2) (2008)
Verónica Becher, Serge Grigorieff
Random reals à la Chaitin with or without prefix-freeness. Theor. Comput. Sci. 385 (1-3) (2007)
Olivier Carton, Christian Choffrut, Serge Grigorieff
Decision problems among the main subfamilies of rational relations. RAIRO Theor. Informatics Appl. 40 (2) (2006)
Serge Grigorieff
). Theor. Comput. Sci. 356 (1-2) (2006)
Marie Ferbus-Zanda, Serge Grigorieff
on computable partially ordered sets. Theor. Comput. Sci. 352 (1-3) (2006)
Verónica Becher, Santiago Figueira, Serge Grigorieff, Joseph S. Miller
Randomness and halting probabilities. J. Symb. Log. 71 (4) (2006)
Marie Ferbus-Zanda, Serge Grigorieff
Kolmogorov complexity and set theoretical representations of integers. Math. Log. Q. 52 (4) (2006)
Christian Choffrut, Serge Grigorieff
by recognizable relations is decidable. Inf. Process. Lett. 99 (1) (2006)
Verónica Becher, Serge Grigorieff
Random reals and possibly infinite computations Part I: Randomness in ∅'. J. Symb. Log. 70 (3) (2005)
Verónica Becher, Serge Grigorieff
Recursion and topology on 2<=omega for possibly infinite computations. Theor. Comput. Sci. 322 (1) (2004)
Serge Grigorieff, Maurice Margenstern
Register Cellular Automata in the Hyperbolic Plane. Fundam. Informaticae 61 (1) (2004)
Serge Grigorieff, Jean-Yves Marion
Kolmogorov complexity and non-determinism. Theor. Comput. Sci. 271 (1-2) (2002)
Serge Grigorieff
Modelization of deterministic rational relations. Theor. Comput. Sci. 281 (1-2) (2002)
Marie Ferbus-Zanda, Serge Grigorieff
Is Randomness "Native" to Computer Science? Bull. EATCS 74 (2001)
Loïc Colson, Serge Grigorieff
Syntactical Truth Predicates For Second Order Arithmetic. J. Symb. Log. 66 (1) (2001)
Christian Choffrut, Serge Grigorieff
The Theory of Rational Relations on Transfinite Strings. Words, Languages & Combinatorics (2000)
Christian Choffrut, Serge Grigorieff
Uniformization of Rational Relations. Jewels are Forever (1999)
Serge Grigorieff
Every Recursive Linear Ordering Has a Copy in DTIME-SPACE(n, log(n)). J. Symb. Log. 55 (1) (1990)