Edit Profile Bienvenu, Laurent Compute Distance To: Compute Author ID: bienvenu.laurent Published as: Bienvenu, Laurent External Links: MGP · Wikidata Documents Indexed: 55 Publications since 2006, including 2 Books all top 5 Co-Authors 4 single-authored 15 Shen, Alexander 8 Merkle, Wolfgang 8 Nies, André Otfrid 6 Hölzl, Rupert 5 Downey, Rodney Graham 5 Greenberg, Noam 5 Miller, Joseph S. 4 Day, Adam R. 4 Monin, Benoît 4 Porter, Christopher P. 4 Stephan, Frank 4 Turetsky, Dan 3 Hoyrup, Mathieu 3 Kučera, Antonín 2 Desfontaines, Damien 2 Doty, David 2 Kräling, Thorsten 2 Mezhirov, Ilya 2 Muchnik, Andrej A. 2 Patey, Ludovic 2 Shafer, Paul 2 Teutsch, Jason 1 Allen, Kelty 1 Beckmann, Arnold 1 Csima, Barbara F. 1 Figueira, Santiago 1 Gacs, Peter 1 Harrison-Trainor, Matthew 1 Jonoska, Nataša 1 Kuyper, Rutger 1 Rittaud, Benoît 1 Rojas, Cristobal 1 Romashchenko, Andrei 1 Sablik, Mathieu 1 Shafer, Glenn R. 1 Slaman, Theodore A. 1 Taveneaux, Antoine 1 Verashchagin, Nikolay 1 Vereshchagin, Nikolay K. 1 Vermeeren, Stijn 1 Xiao, David all top 5 Serials 5 Theory of Computing Systems 3 Journal of Computer and System Sciences 3 The Journal of Symbolic Logic 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 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 40 Mathematical logic and foundations (03-XX) 35 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 42 Publications have been cited 195 times in 137 Documents Cited by ▼ Year ▼ Strong reductions in effective randomness. Zbl 1283.68170Bienvenu, Laurent; Porter, Christopher 13 2012 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 13 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 12 2011 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 Kolmogorov complexity and solovay functions. Zbl 1236.68108Bienvenu, Laurent; Downey, Rod 11 2009 Coherent randomness tests and computing the \(K\)-trivial sets. Zbl 1375.03049Bienvenu, Laurent; Greenberg, Noam; Kučera, Antonín; Nies, André; Turetsky, Dan 8 2016 Denjoy, Demuth and density. Zbl 1338.03088Bienvenu, Laurent; Hölzl, Rupert; Miller, Joseph S.; Nies, André 8 2014 Randomness and lowness notions via open covers. Zbl 1250.03067Bienvenu, Laurent; Miller, Joseph S. 8 2012 Continuous higher randomness. Zbl 1420.03100Bienvenu, Laurent; Greenberg, Noam; Monin, Benoit 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 Constructive dimension and Turing degrees. Zbl 1183.68281Bienvenu, Laurent; Doty, David; Stephan, Frank 6 2009 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 6 2007 Diagonally non-computable functions and fireworks. Zbl 1423.03141Bienvenu, Laurent; Patey, Ludovic 5 2017 From bi-immunity to absolute undecidability. Zbl 1349.03044Bienvenu, Laurent; Day, Adam R.; Hölzl, Rupert 5 2013 Solovay functions and \(K\)-triviality. Zbl 1230.68117Bienvenu, Laurent; Merkle, Wolfgang; Nies, André 5 2011 On zeros of Martin-Löf random Brownian motion. Zbl 1346.03044Bienvenu, Laurent; Allen, Kelty; Slaman, Theodore A. 4 2014 Limit complexities revisited. Zbl 1206.68154Bienvenu, Laurent; Muchnik, Andrej; Shen, Alexander; Vereshchagin, Nikolay 4 2010 How powerful are integer-valued martingales? Zbl 1286.03139Bienvenu, Laurent; Stephan, Frank; Teutsch, Jason 4 2010 Ergodic-type characterizations of algorithmic randomness. Zbl 1286.03138Bienvenu, Laurent; Day, Adam; Mezhirov, Ilya; Shen, Alexander 4 2010 Constructive equivalence relations on computable probability measures. Zbl 1201.03028Bienvenu, Laurent; Merkle, Wolfgang 4 2009 On the history of martingales in the study of randomness. Zbl 1170.01366Bienvenu, Laurent; Shafer, Glenn; Shen, Alexander 4 2009 On the logical strengths of partial solutions to mathematical problems. Zbl 06873419Bienvenu, Laurent; Patey, Ludovic; Shafer, Paul 3 2017 Deep \(\Pi_1^0\) classes. Zbl 1401.03077Bienvenu, Laurent; Porter, Christopher P. 3 2016 Solovay functions and their applications in algorithmic randomness. Zbl 1335.03038Bienvenu, Laurent; Downey, Rod; Nies, André; Merkle, Wolfgang 3 2015 Algorithmic identification of probabilities is hard. Zbl 1432.68204Bienvenu, Laurent; Monin, Benoît; Shen, Alexander 3 2014 Random semicomputable reals revisited. Zbl 1353.03051Bienvenu, Laurent; Shen, Alexander 3 2012 Algorithmic identification of probabilities is hard. Zbl 1390.68360Bienvenu, Laurent; Figueira, Santiago; Monin, Benoit; Shen, Alexander 2 2018 Layerwise computability and image randomness. Zbl 1395.68159Bienvenu, Laurent; Hoyrup, Mathieu; Shen, Alexander 2 2017 Von Neumann’s biased coin revisited. Zbl 1364.03059Bienvenu, Laurent; Monin, Benoît 2 2012 The Denjoy alternative for computable functions. Zbl 1254.03081Bienvenu, Laurent; Hölzl, Rupert; Miller, Joseph S.; Nies, André 2 2012 Effective randomness for computable probability measures. Zbl 1262.03064Bienvenu, Laurent; Merkle, Wolfgang 2 2007 Randomness and semimeasures. Zbl 1417.03242Bienvenu, Laurent; Hölzl, Rupert; Porter, Christopher P.; Shafer, Paul 1 2017 What percentage of programs halt? Zbl 1440.03057Bienvenu, Laurent; Desfontaines, Damien; Shen, Alexander 1 2015 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 Separations of non-monotonic randomness notions. Zbl 1316.03021Bienvenu, Laurent; Hölzl, Rupert; Kräling, Thorsten; Merkle, Wolfgang 1 2012 Kolmogorov-Loveland stochasticity and Kolmogorov complexity. Zbl 1204.68110Bienvenu, Laurent 1 2010 A simple proof of Miller-Yu theorem. Zbl 1147.68030Bienvenu, Laurent; Merkle, Wolfgang; Shen, Alexander 1 2008 The dynamics of cellular automata in shift-invariant topologies. Zbl 1202.68262Bienvenu, Laurent; Sablik, Mathieu 1 2007 Kolmogorov-Loveland stochasticity and Kolmogorov complexity. Zbl 1186.68225Bienvenu, Laurent 1 2007 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 7 2017 Diagonally non-computable functions and fireworks. Zbl 1423.03141Bienvenu, Laurent; Patey, Ludovic 5 2017 On the logical strengths of partial solutions to mathematical problems. Zbl 06873419Bienvenu, 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 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 8 2016 Deep \(\Pi_1^0\) classes. Zbl 1401.03077Bienvenu, Laurent; Porter, Christopher P. 3 2016 Solovay functions and their applications in algorithmic randomness. Zbl 1335.03038Bienvenu, Laurent; Downey, Rod; Nies, André; Merkle, Wolfgang 3 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. 4 2014 Algorithmic identification of probabilities is hard. Zbl 1432.68204Bienvenu, Laurent; Monin, Benoît; Shen, Alexander 3 2014 From bi-immunity to absolute undecidability. Zbl 1349.03044Bienvenu, Laurent; Day, Adam R.; Hölzl, Rupert 5 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 Strong reductions in effective randomness. Zbl 1283.68170Bienvenu, Laurent; Porter, Christopher 13 2012 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 13 2012 Randomness and lowness notions via open covers. Zbl 1250.03067Bienvenu, Laurent; Miller, Joseph S. 8 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 3 2012 Von Neumann’s biased coin revisited. Zbl 1364.03059Bienvenu, Laurent; Monin, Benoît 2 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 1 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 12 2011 Solovay functions and \(K\)-triviality. Zbl 1230.68117Bienvenu, Laurent; Merkle, Wolfgang; Nies, André 5 2011 Limit complexities revisited. Zbl 1206.68154Bienvenu, Laurent; Muchnik, Andrej; Shen, Alexander; Vereshchagin, Nikolay 4 2010 How powerful are integer-valued martingales? Zbl 1286.03139Bienvenu, Laurent; Stephan, Frank; Teutsch, Jason 4 2010 Ergodic-type characterizations of algorithmic randomness. Zbl 1286.03138Bienvenu, Laurent; Day, Adam; Mezhirov, Ilya; Shen, Alexander 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 11 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 4 2009 On the history of martingales in the study of randomness. Zbl 1170.01366Bienvenu, Laurent; Shafer, Glenn; Shen, Alexander 4 2009 A simple proof of Miller-Yu theorem. Zbl 1147.68030Bienvenu, Laurent; Merkle, Wolfgang; Shen, Alexander 1 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 6 2007 Effective randomness for computable probability measures. Zbl 1262.03064Bienvenu, Laurent; Merkle, Wolfgang 2 2007 The dynamics of cellular automata in shift-invariant topologies. Zbl 1202.68262Bienvenu, Laurent; Sablik, Mathieu 1 2007 Kolmogorov-Loveland stochasticity and Kolmogorov complexity. Zbl 1186.68225Bienvenu, Laurent 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 127 Authors 21 Bienvenu, Laurent 15 Nies, André Otfrid 11 Greenberg, Noam 11 Shen, Alexander 9 Downey, Rodney Graham 9 Miller, Joseph S. 9 Porter, Christopher P. 8 Barmpalias, George 7 Hölzl, Rupert 7 Merkle, Wolfgang 7 Stephan, Frank 5 Hoyrup, Mathieu 5 Miyabe, Kenshi 5 Monin, Benoît 5 Rute, Jason 5 Teutsch, Jason 4 Bauwens, Bruno 4 Fang, Nan 4 Jockusch, Carl G. jun. 3 Brattka, Vasco 3 Day, Adam R. 3 Diamondstone, David E. 3 Franklin, Johanna N. Y. 3 Hirschfeldt, Denis Roman 3 Kräling, Thorsten 3 Kuyper, Rutger 3 Lewis-Pye, Andrew E. M. 3 Patey, Ludovic 3 Rojas, Cristobal 3 Schupp, Paul E. 3 Turetsky, Daniel D. 3 Yu, Liang 2 Cai, Mingzhong 2 Calude, Cristian S. 2 Cenzer, Douglas 2 Conidis, Chris J. 2 d’Auriac, Paul-Elliot Anglès 2 Doty, David 2 Hendtlass, Matthew Ralph John 2 Higuchi, Kojiro 2 Kihara, Takayuki 2 Kjos-Hanssen, Bjørn 2 Kreuzer, Alexander P. 2 Kučera, Antonín 2 Lempp, Steffen 2 McNicholl, Timothy H. 2 Melnikov, Alexander G. 2 Ng, KengMeng 2 Peretz, Ron 2 Shafer, Glenn R. 2 Simpson, Stephen G. 2 Takahashi, Hayato 2 Taveneaux, Antoine 2 Turetsky, Dan 2 Zimand, Marius 1 Allen, Kelty 1 Andreev, Mikhail 1 Andrews, Uri 1 Astor, Eric P. 1 Baartse, Martijn 1 Bavly, Gilad 1 Belot, Gordon 1 Berthé, Valérie 1 Carl, Merlin 1 Carotenuto, Gemma 1 Chalcraft, Adam 1 Chater, Nick 1 Chong, Chi Tat 1 Csima, Barbara F. 1 Davie, George 1 Desfontaines, Damien 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 Harrison-Trainor, Matthew 1 Herbert, Ian 1 Hitchcock, John M. 1 Hiura, Ken 1 Jain, Sanjay 1 Jørgensen, Palle E. T. 1 Khan, Mushfeq 1 Knight, Julia F. 1 Marcone, Alberto 1 McInerney, Michael 1 Mezhirov, Ilya 1 Moriakov, Nikita 1 Myasnikov, Alexei G. 1 Nandakumar, Satyadev 1 Normann, Dag 1 Novikov, Gleb 1 Pathak, Noopur 1 Pauly, Arno M. ...and 27 more Authors all top 5 Cited in 34 Serials 20 Theory of Computing Systems 15 Information and Computation 13 The Journal of Symbolic Logic 8 Theoretical Computer Science 6 Proceedings of the American Mathematical Society 6 Annals of Pure and Applied Logic 5 Journal of Computer and System Sciences 5 The Bulletin of Symbolic Logic 3 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 Information Processing Letters 2 Israel Journal of Mathematics 2 Mathematical Logic Quarterly (MLQ) 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 Statistical Science 1 International Journal of Approximate Reasoning 1 Games and Economic Behavior 1 Communications in Nonlinear Science and Numerical Simulation 1 Oberwolfach Reports 1 Proceedings of the Steklov Institute of Mathematics 1 Logical Methods in Computer Science 1 Journal of Logic and Analysis 1 The Review of Symbolic Logic 1 Forum of Mathematics, Sigma all top 5 Cited in 22 Fields 102 Mathematical logic and foundations (03-XX) 82 Computer science (68-XX) 15 Probability theory and stochastic processes (60-XX) 7 Dynamical systems and ergodic theory (37-XX) 7 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Measure and integration (28-XX) 5 Statistics (62-XX) 3 History and biography (01-XX) 2 Real functions (26-XX) 2 Operator theory (47-XX) 2 Numerical analysis (65-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Combinatorics (05-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Group theory and generalizations (20-XX) 1 Potential theory (31-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Abstract harmonic analysis (43-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.