Serge Grigorieff

55 papers A* 1A 1Journal 43Unranked 8

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