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