Edit Profile (opens in new tab) Bienvenu, Laurent Co-Author Distance Author ID: bienvenu.laurent Published as: Bienvenu, Laurent External Links: MGP Documents Indexed: 63 Publications since 2006, including 1 Book and 4 Additional arXiv Preprints 1 Contribution as Editor Co-Authors: 41 Co-Authors with 60 Joint Publications 777 Co-Co-Authors all top 5 Co-Authors 4 single-authored 18 Shen, Alexander 9 Merkle, Wolfgang 8 Nies, André Otfrid 6 Greenberg, Noam 6 Hölzl, Rupert 6 Porter, Christopher P. 5 Downey, Rodney Graham 5 Miller, Joseph S. 5 Monin, Benoît 4 Day, Adam R. 4 Stephan, Frank 4 Turetsky, Dan 3 Hoyrup, Mathieu 3 Kučera, Antonín 3 Muchnik, Andrej A. 3 Shafer, Glenn Ray 3 Vereshchagin, Nikolay K. 2 Csima, Barbara F. 2 Delle Rose, Valentino 2 Desfontaines, Damien 2 Doty, David 2 Harrison-Trainor, Matthew 2 Kräling, Thorsten 2 Mezhirov, Ilya 2 Patey, Ludovic 2 Shafer, Paul 2 Teutsch, Jason 1 Allen, Kelty 1 Beckmann, Arnold 1 Figueira, Santiago 1 Gacs, Peter 1 Jonoska, Nataša 1 Kuyper, Rutger 1 Rojas, Cristobal 1 Romashchenko, Andrei 1 Sablik, Mathieu 1 Slaman, Theodore A. 1 Steifer, Tomasz 1 Taveneaux, Antoine 1 Vermeeren, Stijn 1 Xiao, David all top 5 Serials 5 Theory of Computing Systems 4 The Journal of Symbolic Logic 3 Journal of Computer and System Sciences 3 Annals of Pure and Applied Logic 2 Theoretical Computer Science 2 Information and Computation 2 Journal of Logic and Computation 2 The Bulletin of Symbolic Logic 2 Journal of Mathematical Logic 1 Israel Journal of Mathematics 1 Notre Dame Journal of Formal Logic 1 Transactions of the American Mathematical Society 1 Journal of the European Mathematical Society (JEMS) 1 Fundamenta Informaticae 1 Journal Électronique d’Histoire des Probabilités et de la Statistique 1 Lecture Notes in Computer Science 1 Proceedings of the Steklov Institute of Mathematics 1 SMF Journée Annuelle 1 Logical Methods in Computer Science 1 Journal of Logic and Analysis 1 Transactions of the London Mathematical Society all top 5 Fields 44 Mathematical logic and foundations (03-XX) 35 Computer science (68-XX) 6 Probability theory and stochastic processes (60-XX) 3 History and biography (01-XX) 2 General and overarching topics; collections (00-XX) 2 Combinatorics (05-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Numerical analysis (65-XX) 1 Number theory (11-XX) 1 Measure and integration (28-XX) 1 Statistics (62-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 46 Publications have been cited 269 times in 185 Documents Cited by ▼ Year ▼ Algorithmic tests and randomness with respect to a class of measures. Zbl 1294.03032 Bienvenu, Laurent; Gács, Peter; Hoyrup, Mathieu; Rojas, Cristobal; Shen, Alexander 20 2011 A constructive version of Birkhoff’s ergodic theorem for Martin-Löf random points. Zbl 1257.03067 Bienvenu, Laurent; Day, Adam R.; Hoyrup, Mathieu; Mezhirov, Ilya; Shen, Alexander 19 2012 Strong reductions in effective randomness. Zbl 1283.68170 Bienvenu, Laurent; Porter, Christopher 16 2012 Kolmogorov complexity and solovay functions. Zbl 1236.68108 Bienvenu, Laurent; Downey, Rod 13 2009 Computuing \(K\)-trivial sets by incomplete random sets. Zbl 1320.03074 Bienvenu, Laurent; Day, Adam R.; Greenberg, Noam; Kučera, Antonín; Miller, Joseph S.; Nies, André; Turetsky, Dan 12 2014 Randomness and lowness notions via open covers. Zbl 1250.03067 Bienvenu, Laurent; Miller, Joseph S. 11 2012 On the history of martingales in the study of randomness. Zbl 1170.01366 Bienvenu, Laurent; Shafer, Glenn; Shen, Alexander 10 2009 Continuous higher randomness. Zbl 1420.03100 Bienvenu, Laurent; Greenberg, Noam; Monin, Benoit 10 2017 Reconciling data compression and Kolmogorov complexity. Zbl 1171.68503 Bienvenu, Laurent; Merkle, Wolfgang 9 2007 Coherent randomness tests and computing the \(K\)-trivial sets. Zbl 1375.03049 Bienvenu, Laurent; Greenberg, Noam; Kučera, Antonín; Nies, André; Turetsky, Dan 9 2016 Denjoy, Demuth and density. Zbl 1338.03088 Bienvenu, Laurent; Hölzl, Rupert; Miller, Joseph S.; Nies, André 9 2014 From bi-immunity to absolute undecidability. Zbl 1349.03044 Bienvenu, Laurent; Day, Adam R.; Hölzl, Rupert 8 2013 Constructive dimension and weak truth-table degrees. Zbl 1151.03333 Bienvenu, Laurent; Doty, David; Stephan, Frank 7 2007 Limit complexities revisited. Zbl 1206.68154 Bienvenu, Laurent; Muchnik, Andrej; Shen, Alexander; Vereshchagin, Nikolay 7 2010 Diagonally non-computable functions and fireworks. Zbl 1423.03141 Bienvenu, Laurent; Patey, Ludovic 7 2017 How powerful are integer-valued martingales? Zbl 1283.68171 Bienvenu, Laurent; Stephan, Frank; Teutsch, Jason 7 2012 Ergodic-type characterizations of algorithmic randomness. Zbl 1286.03138 Bienvenu, Laurent; Day, Adam; Mezhirov, Ilya; Shen, Alexander 7 2010 On zeros of Martin-Löf random Brownian motion. Zbl 1346.03044 Bienvenu, Laurent; Allen, Kelty; Slaman, Theodore A. 6 2014 Characterizing lowness for Demuth randomness. Zbl 1338.03080 Bienvenu, Laurent; Downey, Rod; Greenberg, Noam; Nies, André; Turetsky, Dan 6 2014 Constructive dimension and Turing degrees. Zbl 1183.68281 Bienvenu, Laurent; Doty, David; Stephan, Frank 6 2009 Solovay functions and \(K\)-triviality. Zbl 1230.68117 Bienvenu, Laurent; Merkle, Wolfgang; Nies, André 5 2011 Deep \(\Pi_1^0\) classes. Zbl 1401.03077 Bienvenu, Laurent; Porter, Christopher P. 5 2016 Constructive equivalence relations on computable probability measures. Zbl 1201.03028 Bienvenu, Laurent; Merkle, Wolfgang 5 2009 Random semicomputable reals revisited. Zbl 1353.03051 Bienvenu, Laurent; Shen, Alexander 4 2012 On the logical strengths of partial solutions to mathematical problems. Zbl 1453.03002 Bienvenu, Laurent; Patey, Ludovic; Shafer, Paul 4 2017 Layerwise computability and image randomness. Zbl 1395.68159 Bienvenu, Laurent; Hoyrup, Mathieu; Shen, Alexander 4 2017 Solovay functions and their applications in algorithmic randomness. Zbl 1335.03038 Bienvenu, Laurent; Downey, Rod; Nies, André; Merkle, Wolfgang 4 2015 Von Neumann’s biased coin revisited. Zbl 1364.03059 Bienvenu, Laurent; Monin, Benoît 4 2012 How powerful are integer-valued martingales? Zbl 1286.03139 Bienvenu, Laurent; Stephan, Frank; Teutsch, Jason 4 2010 A simple proof of Miller-Yu theorem. Zbl 1147.68030 Bienvenu, Laurent; Merkle, Wolfgang; Shen, Alexander 3 2008 Algorithmic identification of probabilities is hard. Zbl 1432.68204 Bienvenu, Laurent; Monin, Benoît; Shen, Alexander 3 2014 Bad oracles in higher computability and randomness. Zbl 1473.03024 Bienvenu, Laurent; Greenberg, Noam; Monin, Benoit 3 2021 Randomness and semimeasures. Zbl 1417.03242 Bienvenu, Laurent; Hölzl, Rupert; Porter, Christopher P.; Shafer, Paul 3 2017 Effective randomness for computable probability measures. Zbl 1262.03064 Bienvenu, Laurent; Merkle, Wolfgang 3 2007 Algorithmic identification of probabilities is hard. Zbl 1390.68360 Bienvenu, Laurent; Figueira, Santiago; Monin, Benoit; Shen, Alexander 2 2018 The Denjoy alternative for computable functions. Zbl 1254.03081 Bienvenu, Laurent; Hölzl, Rupert; Miller, Joseph S.; Nies, André 2 2012 Separations of non-monotonic randomness notions. Zbl 1316.03021 Bienvenu, Laurent; Hölzl, Rupert; Kräling, Thorsten; Merkle, Wolfgang 2 2012 The axiomatic power of Kolmogorov complexity. Zbl 1351.03032 Bienvenu, Laurent; Romashchenko, Andrei; Shen, Alexander; Taveneaux, Antoine; Vermeeren, Stijn 2 2014 Constructive equivalence relations on computable probability measures. Zbl 1185.03070 Bienvenu, Laurent 1 2006 Kolmogorov-Loveland stochasticity and Kolmogorov complexity. Zbl 1186.68225 Bienvenu, Laurent 1 2007 The dynamics of cellular automata in shift-invariant topologies. Zbl 1202.68262 Bienvenu, Laurent; Sablik, Mathieu 1 2007 On low for speed oracles. Zbl 1459.03060 Bienvenu, Laurent; Downey, Rod 1 2020 What percentage of programs halt? Zbl 1440.03057 Bienvenu, Laurent; Desfontaines, Damien; Shen, Alexander 1 2015 Parallel and serial jumps of weak weak König’s lemma. Zbl 1485.03240 Bienvenu, Laurent; Kuyper, Rutger 1 2017 Joining non-low c.e. sets with diagonally non-computable functions. Zbl 1327.03033 Bienvenu, Laurent; Greenberg, Noam; Kučera, Antonín; Miller, Joseph S.; Nies, André; Turetsky, Dan 1 2013 Kolmogorov-Loveland stochasticity and Kolmogorov complexity. Zbl 1204.68110 Bienvenu, Laurent 1 2010 Bad oracles in higher computability and randomness. Zbl 1473.03024 Bienvenu, Laurent; Greenberg, Noam; Monin, Benoit 3 2021 On low for speed oracles. Zbl 1459.03060 Bienvenu, Laurent; Downey, Rod 1 2020 Algorithmic identification of probabilities is hard. Zbl 1390.68360 Bienvenu, Laurent; Figueira, Santiago; Monin, Benoit; Shen, Alexander 2 2018 Continuous higher randomness. Zbl 1420.03100 Bienvenu, Laurent; Greenberg, Noam; Monin, Benoit 10 2017 Diagonally non-computable functions and fireworks. Zbl 1423.03141 Bienvenu, Laurent; Patey, Ludovic 7 2017 On the logical strengths of partial solutions to mathematical problems. Zbl 1453.03002 Bienvenu, Laurent; Patey, Ludovic; Shafer, Paul 4 2017 Layerwise computability and image randomness. Zbl 1395.68159 Bienvenu, Laurent; Hoyrup, Mathieu; Shen, Alexander 4 2017 Randomness and semimeasures. Zbl 1417.03242 Bienvenu, Laurent; Hölzl, Rupert; Porter, Christopher P.; Shafer, Paul 3 2017 Parallel and serial jumps of weak weak König’s lemma. Zbl 1485.03240 Bienvenu, Laurent; Kuyper, Rutger 1 2017 Coherent randomness tests and computing the \(K\)-trivial sets. Zbl 1375.03049 Bienvenu, Laurent; Greenberg, Noam; Kučera, Antonín; Nies, André; Turetsky, Dan 9 2016 Deep \(\Pi_1^0\) classes. Zbl 1401.03077 Bienvenu, Laurent; Porter, Christopher P. 5 2016 Solovay functions and their applications in algorithmic randomness. Zbl 1335.03038 Bienvenu, Laurent; Downey, Rod; Nies, André; Merkle, Wolfgang 4 2015 What percentage of programs halt? Zbl 1440.03057 Bienvenu, Laurent; Desfontaines, Damien; Shen, Alexander 1 2015 Computuing \(K\)-trivial sets by incomplete random sets. Zbl 1320.03074 Bienvenu, Laurent; Day, Adam R.; Greenberg, Noam; Kučera, Antonín; Miller, Joseph S.; Nies, André; Turetsky, Dan 12 2014 Denjoy, Demuth and density. Zbl 1338.03088 Bienvenu, Laurent; Hölzl, Rupert; Miller, Joseph S.; Nies, André 9 2014 On zeros of Martin-Löf random Brownian motion. Zbl 1346.03044 Bienvenu, Laurent; Allen, Kelty; Slaman, Theodore A. 6 2014 Characterizing lowness for Demuth randomness. Zbl 1338.03080 Bienvenu, Laurent; Downey, Rod; Greenberg, Noam; Nies, André; Turetsky, Dan 6 2014 Algorithmic identification of probabilities is hard. Zbl 1432.68204 Bienvenu, Laurent; Monin, Benoît; Shen, Alexander 3 2014 The axiomatic power of Kolmogorov complexity. Zbl 1351.03032 Bienvenu, Laurent; Romashchenko, Andrei; Shen, Alexander; Taveneaux, Antoine; Vermeeren, Stijn 2 2014 From bi-immunity to absolute undecidability. Zbl 1349.03044 Bienvenu, Laurent; Day, Adam R.; Hölzl, Rupert 8 2013 Joining non-low c.e. sets with diagonally non-computable functions. Zbl 1327.03033 Bienvenu, Laurent; Greenberg, Noam; Kučera, Antonín; Miller, Joseph S.; Nies, André; Turetsky, Dan 1 2013 A constructive version of Birkhoff’s ergodic theorem for Martin-Löf random points. Zbl 1257.03067 Bienvenu, Laurent; Day, Adam R.; Hoyrup, Mathieu; Mezhirov, Ilya; Shen, Alexander 19 2012 Strong reductions in effective randomness. Zbl 1283.68170 Bienvenu, Laurent; Porter, Christopher 16 2012 Randomness and lowness notions via open covers. Zbl 1250.03067 Bienvenu, Laurent; Miller, Joseph S. 11 2012 How powerful are integer-valued martingales? Zbl 1283.68171 Bienvenu, Laurent; Stephan, Frank; Teutsch, Jason 7 2012 Random semicomputable reals revisited. Zbl 1353.03051 Bienvenu, Laurent; Shen, Alexander 4 2012 Von Neumann’s biased coin revisited. Zbl 1364.03059 Bienvenu, Laurent; Monin, Benoît 4 2012 The Denjoy alternative for computable functions. Zbl 1254.03081 Bienvenu, Laurent; Hölzl, Rupert; Miller, Joseph S.; Nies, André 2 2012 Separations of non-monotonic randomness notions. Zbl 1316.03021 Bienvenu, Laurent; Hölzl, Rupert; Kräling, Thorsten; Merkle, Wolfgang 2 2012 Algorithmic tests and randomness with respect to a class of measures. Zbl 1294.03032 Bienvenu, Laurent; Gács, Peter; Hoyrup, Mathieu; Rojas, Cristobal; Shen, Alexander 20 2011 Solovay functions and \(K\)-triviality. Zbl 1230.68117 Bienvenu, Laurent; Merkle, Wolfgang; Nies, André 5 2011 Limit complexities revisited. Zbl 1206.68154 Bienvenu, Laurent; Muchnik, Andrej; Shen, Alexander; Vereshchagin, Nikolay 7 2010 Ergodic-type characterizations of algorithmic randomness. Zbl 1286.03138 Bienvenu, Laurent; Day, Adam; Mezhirov, Ilya; Shen, Alexander 7 2010 How powerful are integer-valued martingales? Zbl 1286.03139 Bienvenu, Laurent; Stephan, Frank; Teutsch, Jason 4 2010 Kolmogorov-Loveland stochasticity and Kolmogorov complexity. Zbl 1204.68110 Bienvenu, Laurent 1 2010 Kolmogorov complexity and solovay functions. Zbl 1236.68108 Bienvenu, Laurent; Downey, Rod 13 2009 On the history of martingales in the study of randomness. Zbl 1170.01366 Bienvenu, Laurent; Shafer, Glenn; Shen, Alexander 10 2009 Constructive dimension and Turing degrees. Zbl 1183.68281 Bienvenu, Laurent; Doty, David; Stephan, Frank 6 2009 Constructive equivalence relations on computable probability measures. Zbl 1201.03028 Bienvenu, Laurent; Merkle, Wolfgang 5 2009 A simple proof of Miller-Yu theorem. Zbl 1147.68030 Bienvenu, Laurent; Merkle, Wolfgang; Shen, Alexander 3 2008 Reconciling data compression and Kolmogorov complexity. Zbl 1171.68503 Bienvenu, Laurent; Merkle, Wolfgang 9 2007 Constructive dimension and weak truth-table degrees. Zbl 1151.03333 Bienvenu, Laurent; Doty, David; Stephan, Frank 7 2007 Effective randomness for computable probability measures. Zbl 1262.03064 Bienvenu, Laurent; Merkle, Wolfgang 3 2007 Kolmogorov-Loveland stochasticity and Kolmogorov complexity. Zbl 1186.68225 Bienvenu, Laurent 1 2007 The dynamics of cellular automata in shift-invariant topologies. Zbl 1202.68262 Bienvenu, Laurent; Sablik, Mathieu 1 2007 Constructive equivalence relations on computable probability measures. Zbl 1185.03070 Bienvenu, Laurent 1 2006 all cited Publications top 5 cited Publications all top 5 Cited by 155 Authors 24 Bienvenu, Laurent 17 Nies, André Otfrid 16 Shen, Alexander 14 Porter, Christopher P. 12 Greenberg, Noam 11 Downey, Rodney Graham 11 Miller, Joseph S. 10 Barmpalias, George 9 Stephan, Frank 8 Hölzl, Rupert 8 Merkle, Wolfgang 6 Hoyrup, Mathieu 6 Kihara, Takayuki 6 Monin, Benoît 5 Calude, Cristian S. 5 Miyabe, Kenshi 5 Teutsch, Jason 4 Bauwens, Bruno 4 Brattka, Vasco 4 Cenzer, Douglas 4 Fang, Nan 4 Franklin, Johanna N. Y. 4 Jockusch, Carl G. jun. 4 Kuyper, Rutger 4 Pauly, Arno M. 4 Yu, Liang 4 Zimand, Marius 3 d’Auriac, Paul-Elliot Anglès 3 Day, Adam R. 3 De Bock, Jasper 3 de Cooman, Gert 3 Diamondstone, David E. 3 Harrison-Trainor, Matthew 3 Hirschfeldt, Denis Roman 3 Kräling, Thorsten 3 Lewis-Pye, Andrew E. M. 3 Melnikov, Alexander G. 3 Ng, KengMeng 3 Patey, Ludovic 3 Rojas, Cristobal 3 Schupp, Paul E. 3 Takahashi, Hayato 3 Turetsky, Daniel D. 2 Andreev, Mikhail 2 Andrews, Uri 2 Cai, Mingzhong 2 Conidis, Chris J. 2 Csima, Barbara F. 2 Davie, George 2 Doty, David 2 Grigorieff, Serge 2 Hendtlass, Matthew Ralph John 2 Higuchi, Kojiro 2 Jain, Sanjay 2 Kjos-Hanssen, Bjørn 2 Knight, Julia F. 2 Kreuzer, Alexander P. 2 Kučera, Antonín 2 Lempp, Steffen 2 Marcone, Alberto 2 McNicholl, Timothy H. 2 Nandakumar, Satyadev 2 Peretz, Ron 2 Persiau, Floris 2 Rute, Jason 2 Shafer, Glenn Ray 2 Simpson, Stephen G. 2 Slaman, Theodore A. 2 Steifer, Tomasz 2 Taveneaux, Antoine 2 Turetsky, Dan 2 Vereshchagin, Nikolay K. 2 Westrick, Linda Brown 1 Agüero Trejo, José Manuel 1 Allen, Kelty 1 Astor, Eric P. 1 Baartse, Martijn 1 Batyrshin, Ilnur I. 1 Bavly, Gilad 1 Becher, Verónica 1 Belot, Gordon 1 Berthé, Valérie 1 Çapuni, Ilir 1 Carl, Merlin 1 Carotenuto, Gemma 1 Case, Adam 1 Celine, Karen Frilya 1 Chalcraft, Adam 1 Chater, Nick 1 Chong, Chi Tat 1 Dȩbowski, Łukasz 1 Delle Rose, Valentino 1 Desfontaines, Damien 1 Di Biase, Fausto 1 Doi, Norihisa 1 Dougherty, Randall L. 1 Ferbus-Zanda, Marie C. 1 Fernique, Thomas 1 Figueira, Santiago 1 Fortnow, Lance J. ...and 55 more Authors all top 5 Cited in 41 Serials 22 Theory of Computing Systems 20 The Journal of Symbolic Logic 18 Information and Computation 14 Theoretical Computer Science 7 The Bulletin of Symbolic Logic 6 Journal of Computer and System Sciences 6 Proceedings of the American Mathematical Society 6 Annals of Pure and Applied Logic 5 Computability 4 Israel Journal of Mathematics 4 Notre Dame Journal of Formal Logic 3 Transactions of the American Mathematical Society 3 International Journal of Approximate Reasoning 3 Archive for Mathematical Logic 3 Journal of Mathematical Logic 2 Mathematical Logic Quarterly (MLQ) 2 Logical Methods in Computer Science 2 Journal of Logic and Analysis 2 The Review of Symbolic Logic 1 Information Processing Letters 1 Journal of Mathematical Physics 1 Journal of Statistical Physics 1 Mathematics of Computation 1 Chaos, Solitons and Fractals 1 Advances in Mathematics 1 Bulletin of the London Mathematical Society 1 Fundamenta Mathematicae 1 International Journal of Game Theory 1 Journal of Mathematical Psychology 1 Journal of Philosophical Logic 1 Statistical Science 1 Journal of the American Mathematical Society 1 The Journal of Geometric Analysis 1 Games and Economic Behavior 1 Russian Mathematics 1 Probability in the Engineering and Informational Sciences 1 ACM Transactions on Computational Logic 1 Oberwolfach Reports 1 Proceedings of the Steklov Institute of Mathematics 1 Forum of Mathematics, Sigma 1 Transactions of the American Mathematical Society. Series B all top 5 Cited in 27 Fields 141 Mathematical logic and foundations (03-XX) 105 Computer science (68-XX) 18 Probability theory and stochastic processes (60-XX) 9 Dynamical systems and ergodic theory (37-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 Measure and integration (28-XX) 5 Statistics (62-XX) 4 History and biography (01-XX) 4 Information and communication theory, circuits (94-XX) 3 Combinatorics (05-XX) 2 General and overarching topics; collections (00-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Real functions (26-XX) 2 Potential theory (31-XX) 2 Harmonic analysis on Euclidean spaces (42-XX) 2 Quantum theory (81-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Abstract harmonic analysis (43-XX) 1 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Convex and discrete geometry (52-XX) 1 General topology (54-XX) 1 Numerical analysis (65-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year