Serge Grigorieff

	2010
33		Marie Ferbus-Zanda, Serge Grigorieff: ASMs and Operational Algorithmic Completeness of Lambda Calculus. Fields of Logic and Computation 2010: 301-327
32		Mai Gehrke, Serge Grigorieff, Jean-Eric Pin: A Topological Approach to Recognition. ICALP (2) 2010: 151-162
31		Serge Grigorieff, Pierre Valarcher: Evolving Multialgebras Unify All Usual Sequential Computation Models. STACS 2010: 417-428
30		Serge Grigorieff, Pierre Valarcher: Evolving MultiAlgebras unify all usual sequential computation models CoRR abs/1001.2160: (2010)
29		Marie Ferbus-Zanda, Serge Grigorieff: ASMs and Operational Algorithmic Completeness of Lambda Calculus CoRR abs/1010.2597: (2010)
28		Marie Ferbus-Zanda, Serge Grigorieff: Kolmogorov Complexity in perspective. Part I: Information Theory and Randomnes CoRR abs/1010.3201: (2010)
	2009
27		Verónica Becher, Serge Grigorieff: From index sets to randomness in EMPTY SET n: random reals and possibly infinite computations. Part II. J. Symb. Log. 74(1): 124-156 (2009)
26		Christian Choffrut, Serge Grigorieff: Finite n-tape automata over possibly infinite alphabets: Extending a theorem of Eilenberg et al. Theor. Comput. Sci. 410(1): 16-34 (2009)
25		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): 2870-2884 (2009)
	2008
24		Mai Gehrke, Serge Grigorieff, Jean-Eric Pin: Duality and Equational Theory of Regular Languages. ICALP (2) 2008: 246-257
23		Marie Ferbus-Zanda, Serge Grigorieff: Is Randomness "Native" to Computer Science? CoRR abs/0801.0289: (2008)
22		Marie Ferbus-Zanda, Serge Grigorieff: Church, Cardinal and Ordinal Representations of Integers and Kolmogorov complexity CoRR abs/0801.0349: (2008)
21		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 abs/0801.0350: (2008)
20		Marie Ferbus-Zanda, Serge Grigorieff: Kolmogorov complexities Kmax, Kmin on computable partially ordered sets CoRR abs/0801.0351: (2008)
19		Marie Ferbus-Zanda, Serge Grigorieff: Set theoretical Representations of Integers, I CoRR abs/0801.0353: (2008)
18		Marie Ferbus-Zanda, Serge Grigorieff: Kolmogorov complexity in perspective CoRR abs/0801.0354: (2008)
	2007
17		Verónica Becher, Serge Grigorieff: Random reals à la Chaitin with or without prefix-freeness. Theor. Comput. Sci. 385(1-3): 193-201 (2007)
	2006
16		Olivier Carton, Christian Choffrut, Serge Grigorieff: Decision problems among the main subfamilies of rational relations. ITA 40(2): 255-275 (2006)
15		Christian Choffrut, Serge Grigorieff: Separability of rational relations in A* × Nm by recognizable relations is decidable. Inf. Process. Lett. 99(1): 27-32 (2006)
14		Verónica Becher, Santiago Figueira, Serge Grigorieff, Joseph S. Miller: Randomness and halting probabilities. J. Symb. Log. 71(4): 1411-1430 (2006)
13		Marie Ferbus-Zanda, Serge Grigorieff: Kolmogorov complexity and set theoretical representations of integers. Math. Log. Q. 52(4): 375-403 (2006)
12		Marie Ferbus-Zanda, Serge Grigorieff: Kolmogorov complexities Kmax, Kmin on computable partially ordered sets. Theor. Comput. Sci. 352(1-3): 159-180 (2006)
11		Serge Grigorieff: Synchronization of a bounded degree graph of cellular automata with nonuniform delays in time D floor(logm D). Theor. Comput. Sci. 356(1-2): 170-185 (2006)
	2005
10		Verónica Becher, Serge Grigorieff: Random reals and possibly infinite computations Part I: Randomness in EMPTY SET '. J. Symb. Log. 70(3): 891-913 (2005)
	2004
9		Serge Grigorieff, Maurice Margenstern: Register Cellular Automata in the Hyperbolic Plane. Fundam. Inform. 61(1): 19-27 (2004)
8		Verónica Becher, Serge Grigorieff: Recursion and topology on 2<=omega for possibly infinite computations. Theor. Comput. Sci. 322(1): 85-136 (2004)
	2002
7		Serge Grigorieff, Jean-Yves Marion: Kolmogorov complexity and non-determinism. Theor. Comput. Sci. 271(1-2): 151-180 (2002)
6		Serge Grigorieff: Modelization of deterministic rational relations. Theor. Comput. Sci. 281(1-2): 423-453 (2002)
	2001
5		Marie Ferbus-Zanda, Serge Grigorieff: Is Randomness "Native" to Computer Science? Bulletin of the EATCS 74: 78-118 (2001)
4		Loïc Colson, Serge Grigorieff: Syntactical Truth Predicates For Second Order Arithmetic. J. Symb. Log. 66(1): 225-256 (2001)
	2000
3		Christian Choffrut, Serge Grigorieff: The Theory of Rational Relations on Transfinite Strings. Words, Languages & Combinatorics 2000: 103-133
	1999
2		Christian Choffrut, Serge Grigorieff: Uniformization of Rational Relations. Jewels are Forever 1999: 59-71
	1990
1		Serge Grigorieff: Every Recursive Linear Ordering Has a Copy in DTIME-SPACE(n, log(n)). J. Symb. Log. 55(1): 260-276 (1990)

Coauthor Index

1	Verónica Becher	[8] [10] [14] [17] [27]
2	Olivier Carton	[16]
3	Christian Choffrut	[2] [3] [15] [16] [25] [26]
4	Loïc Colson	[4]
5	Marie Ferbus-Zanda	[5] [12] [13] [18] [19] [20] [21] [22] [23] [28] [29] [33]
6	Santiago Figueira	[14]
7	Mai Gehrke	[24] [32]
8	Maurice Margenstern	[9]
9	Jean-Yves Marion	[7]
10	Joseph S. Miller	[14]
11	Jean-Eric Pin	[24] [32]
12	Pierre Valarcher	[30] [31]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page