Edit Profile (opens in new tab) Genitrini, Antoine Co-Author Distance Author ID: genitrini.antoine Published as: Genitrini, Antoine; Genitrini, A. External Links: MGP Documents Indexed: 43 Publications since 2007, including 2 Additional arXiv Preprints Co-Authors: 23 Co-Authors with 42 Joint Publications 335 Co-Co-Authors all top 5 Co-Authors 1 single-authored 19 Bodini, Olivier 11 Peschanski, Frédéric 10 Gittenberger, Bernhard 8 Mailler, Cécile 7 Dien, Matthieu 5 Fournier, Hervé 5 Gardy, Danièle 5 Naima, Mehdi 4 Kozik, Jakub 3 Rolin, Nicolas 3 Zaionc, Marek 2 Clément, Julien 2 Kraus, Veronika 2 Pépin, Martin 1 Daxner, Veronika 1 Fontaine, Xavier 1 Hwang, Hsien-Kuei 1 Kauers, Manuel 1 Larcher, Isabella 1 Matecki, Grzegorz 1 Singh, Alexandros 1 Viola, Alfredo 1 Wallner, Michael all top 5 Serials 2 Theoretical Computer Science 2 Random Structures & Algorithms 2 The Electronic Journal of Combinatorics 1 Discrete Mathematics 1 Journal of Combinatorial Theory. Series A 1 Advances in Applied Mathematics 1 Annals of Pure and Applied Logic 1 Algorithmica 1 PU.M.A. Pure Mathematics and Applications 1 Mathematical Logic Quarterly (MLQ) 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Applicable Analysis and Discrete Mathematics all top 5 Fields 24 Computer science (68-XX) 19 Combinatorics (05-XX) 11 Order, lattices, ordered algebraic structures (06-XX) 10 Probability theory and stochastic processes (60-XX) 9 Mathematical logic and foundations (03-XX) 2 Biology and other natural sciences (92-XX) 2 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 34 Publications have been cited 105 times in 47 Documents Cited by ▼ Year ▼ Classical and intuitionistic logic are asymptotically identical. Zbl 1179.03015 Fournier, Hervé; Gardy, Danièle; Genitrini, Antoine; Zaionc, Marek 11 2007 Intuitionistic vs. classical tautologies, quantitative comparison. Zbl 1138.03309 Genitrini, Antoine; Kozik, Jakub; Zaionc, Marek 8 2008 A quantitative study of pure parallel processes. Zbl 1329.05066 Bodini, O.; Genitrini, A.; Peschanski, F. 6 2016 The combinatorics of non-determinism. Zbl 1359.68080 Bodini, Olivier; Genitrini, Antoine; Peschanski, Frédéric 6 2013 The fraction of large random trees representing a given Boolean function in implicational logic. Zbl 1239.03004 Fournier, Hervé; Gardy, Danièle; Genitrini, Antoine; Gittenberger, Bernhard 5 2012 Increasing diamonds. Zbl 1417.05005 Bodini, Olivier; Dien, Matthieu; Fontaine, Xavier; Genitrini, Antoine; Hwang, Hsien-Kuei 5 2016 Pointed versus singular Boltzmann samplers: a comparative analysis. Zbl 1374.68346 Bodini, Olivier; Genitrini, Antoine; Rolin, Nicolas 4 2015 Entropic uniform sampling of linear extensions in series-parallel posets. Zbl 1489.68174 Bodini, Olivier; Dien, Matthieu; Genitrini, Antoine; Peschanski, Frédéric 4 2017 The ordered and colored products in analytic combinatorics: application to the quantitative study of synchronizations in concurrent processes. Zbl 1429.68145 Bodini, Olivier; Dien, Matthieu; Genitrini, Antoine; Peschanski, Frédéric 4 2017 Ranked Schröder trees. Zbl 1435.92042 Bodini, Olivier; Genitrini, Antoine; Naima, Mehdi 4 2019 Asymptotic enumeration of compacted binary trees of bounded right height. Zbl 1433.05154 Genitrini, Antoine; Gittenberger, Bernhard; Kauers, Manuel; Wallner, Michael 4 2020 In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid. Zbl 1248.03013 Genitrini, Antoine; Kozik, Jakub 3 2012 Probabilities of Boolean functions given by random implicational formulas. Zbl 1243.03011 Genitrini, Antoine; Gittenberger, Bernhard; Kraus, Veronika; Mailler, Cécile 3 2012 Associative and commutative tree representations for Boolean functions. Zbl 1314.94120 Genitrini, Antoine; Gittenberger, Bernhard; Kraus, Veronika; Mailler, Cécile 3 2015 No Shannon effect on probability distributions on Boolean functions induced by random expressions. Zbl 1355.68119 Genitrini, Antoine; Gittenberger, Bernhard 3 2010 Balanced and/or trees and linear threshold functions. Zbl 1430.68165 Fournier, Hervé; Gardy, Danièle; Genitrini, Antoine 3 2009 Tautologies over implication with negative literals. Zbl 1196.03012 Fournier, Hervé; Gardy, Danièle; Genitrini, Antoine; Zaionc, Marek 3 2010 On the number of increasing trees with label repetitions. Zbl 1441.05047 Bodini, Olivier; Genitrini, Antoine; Gittenberger, Bernhard; Wagner, Stephan 3 2020 Quantitative comparison of intuitionistic and classical logics – full propositional system. Zbl 1211.03020 Genitrini, Antoine; Kozik, Jakub 2 2009 Enumeration and random generation of concurrent computations. Zbl 1296.68101 Bodini, Olivier; Genitrini, Antoine; Peschanski, Frédéric 2 2012 Generalised and quotient models for random and/or trees and application to satisfiability. Zbl 1355.68199 Genitrini, Antoine; Mailler, Cécile 2 2016 Strict monotonic trees arising from evolutionary processes: combinatorial and probabilistic study. Zbl 1478.05132 Bodini, Olivier; Genitrini, Antoine; Mailler, Cécile; Naima, Mehdi 2 2022 Full asymptotic expansion for Pólya structures. Zbl 1409.05053 Genitrini, Antoine 2 2016 Cuts in increasing trees. Zbl 1429.68181 Bodini, Olivier; Genitrini, Antoine 2 2015 Beyond series-parallel concurrent systems: the case of arch processes. Zbl 1478.68187 Bodini, Olivier; Dien, Matthieu; Genitrini, Antoine; Viola, Alfredo 2 2018 Complexity and limiting ratio of Boolean functions over implication. Zbl 1173.03301 Fournier, Hervé; Gardy, Danièle; Genitrini, Antoine; Gittenberger, Bernhard 1 2008 No Shannon effect induced by and/or trees. Zbl 1352.94097 Genitrini, Antoine; Gittenberger, Bernhard; Mailler, Cécile 1 2014 Associativity for binary parallel processes: a quantitative study. Zbl 1432.68155 Bodini, Olivier; Genitrini, Antoine; Peschanski, Frédéric; Rolin, Nicolas 1 2015 The relation between tree size complexity and probability for Boolean functions generated by uniform random trees. Zbl 1461.05178 Daxner, Veronika; Genitrini, Antoine; Gittenberger, Bernhard; Mailler, Cécile 1 2016 On the density and the structure of the Peirce-like formulae. Zbl 1355.03009 Genitrini, Antoine; Kozik, Jakub; Matecki, Grzegorz 1 2008 Compaction for two models of logarithmic-depth trees: analysis and experiments. Zbl 1522.05031 Bodini, Olivier; Genitrini, Antoine; Gittenberger, Bernhard; Larcher, Isabella; Naima, Mehdi 1 2022 Quantitative and algorithmic aspects of barrier synchronization in concurrency. Zbl 07524075 Bodini, Olivier; Dien, Matthieu; Genitrini, Antoine; Peschanski, Frédéric 1 2021 Statistical analysis of non-deterministic fork-join processes. Zbl 07369984 Genitrini, Antoine; Pépin, Martin; Peschanski, Frédéric 1 2020 Equivalence classes of random Boolean trees and application to the Catalan satisfiability problem. Zbl 1351.68191 Genitrini, Antoine; Mailler, Cécile 1 2014 Strict monotonic trees arising from evolutionary processes: combinatorial and probabilistic study. Zbl 1478.05132 Bodini, Olivier; Genitrini, Antoine; Mailler, Cécile; Naima, Mehdi 2 2022 Compaction for two models of logarithmic-depth trees: analysis and experiments. Zbl 1522.05031 Bodini, Olivier; Genitrini, Antoine; Gittenberger, Bernhard; Larcher, Isabella; Naima, Mehdi 1 2022 Quantitative and algorithmic aspects of barrier synchronization in concurrency. Zbl 07524075 Bodini, Olivier; Dien, Matthieu; Genitrini, Antoine; Peschanski, Frédéric 1 2021 Asymptotic enumeration of compacted binary trees of bounded right height. Zbl 1433.05154 Genitrini, Antoine; Gittenberger, Bernhard; Kauers, Manuel; Wallner, Michael 4 2020 On the number of increasing trees with label repetitions. Zbl 1441.05047 Bodini, Olivier; Genitrini, Antoine; Gittenberger, Bernhard; Wagner, Stephan 3 2020 Statistical analysis of non-deterministic fork-join processes. Zbl 07369984 Genitrini, Antoine; Pépin, Martin; Peschanski, Frédéric 1 2020 Ranked Schröder trees. Zbl 1435.92042 Bodini, Olivier; Genitrini, Antoine; Naima, Mehdi 4 2019 Beyond series-parallel concurrent systems: the case of arch processes. Zbl 1478.68187 Bodini, Olivier; Dien, Matthieu; Genitrini, Antoine; Viola, Alfredo 2 2018 Entropic uniform sampling of linear extensions in series-parallel posets. Zbl 1489.68174 Bodini, Olivier; Dien, Matthieu; Genitrini, Antoine; Peschanski, Frédéric 4 2017 The ordered and colored products in analytic combinatorics: application to the quantitative study of synchronizations in concurrent processes. Zbl 1429.68145 Bodini, Olivier; Dien, Matthieu; Genitrini, Antoine; Peschanski, Frédéric 4 2017 A quantitative study of pure parallel processes. Zbl 1329.05066 Bodini, O.; Genitrini, A.; Peschanski, F. 6 2016 Increasing diamonds. Zbl 1417.05005 Bodini, Olivier; Dien, Matthieu; Fontaine, Xavier; Genitrini, Antoine; Hwang, Hsien-Kuei 5 2016 Generalised and quotient models for random and/or trees and application to satisfiability. Zbl 1355.68199 Genitrini, Antoine; Mailler, Cécile 2 2016 Full asymptotic expansion for Pólya structures. Zbl 1409.05053 Genitrini, Antoine 2 2016 The relation between tree size complexity and probability for Boolean functions generated by uniform random trees. Zbl 1461.05178 Daxner, Veronika; Genitrini, Antoine; Gittenberger, Bernhard; Mailler, Cécile 1 2016 Pointed versus singular Boltzmann samplers: a comparative analysis. Zbl 1374.68346 Bodini, Olivier; Genitrini, Antoine; Rolin, Nicolas 4 2015 Associative and commutative tree representations for Boolean functions. Zbl 1314.94120 Genitrini, Antoine; Gittenberger, Bernhard; Kraus, Veronika; Mailler, Cécile 3 2015 Cuts in increasing trees. Zbl 1429.68181 Bodini, Olivier; Genitrini, Antoine 2 2015 Associativity for binary parallel processes: a quantitative study. Zbl 1432.68155 Bodini, Olivier; Genitrini, Antoine; Peschanski, Frédéric; Rolin, Nicolas 1 2015 No Shannon effect induced by and/or trees. Zbl 1352.94097 Genitrini, Antoine; Gittenberger, Bernhard; Mailler, Cécile 1 2014 Equivalence classes of random Boolean trees and application to the Catalan satisfiability problem. Zbl 1351.68191 Genitrini, Antoine; Mailler, Cécile 1 2014 The combinatorics of non-determinism. Zbl 1359.68080 Bodini, Olivier; Genitrini, Antoine; Peschanski, Frédéric 6 2013 The fraction of large random trees representing a given Boolean function in implicational logic. Zbl 1239.03004 Fournier, Hervé; Gardy, Danièle; Genitrini, Antoine; Gittenberger, Bernhard 5 2012 In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid. Zbl 1248.03013 Genitrini, Antoine; Kozik, Jakub 3 2012 Probabilities of Boolean functions given by random implicational formulas. Zbl 1243.03011 Genitrini, Antoine; Gittenberger, Bernhard; Kraus, Veronika; Mailler, Cécile 3 2012 Enumeration and random generation of concurrent computations. Zbl 1296.68101 Bodini, Olivier; Genitrini, Antoine; Peschanski, Frédéric 2 2012 No Shannon effect on probability distributions on Boolean functions induced by random expressions. Zbl 1355.68119 Genitrini, Antoine; Gittenberger, Bernhard 3 2010 Tautologies over implication with negative literals. Zbl 1196.03012 Fournier, Hervé; Gardy, Danièle; Genitrini, Antoine; Zaionc, Marek 3 2010 Balanced and/or trees and linear threshold functions. Zbl 1430.68165 Fournier, Hervé; Gardy, Danièle; Genitrini, Antoine 3 2009 Quantitative comparison of intuitionistic and classical logics – full propositional system. Zbl 1211.03020 Genitrini, Antoine; Kozik, Jakub 2 2009 Intuitionistic vs. classical tautologies, quantitative comparison. Zbl 1138.03309 Genitrini, Antoine; Kozik, Jakub; Zaionc, Marek 8 2008 Complexity and limiting ratio of Boolean functions over implication. Zbl 1173.03301 Fournier, Hervé; Gardy, Danièle; Genitrini, Antoine; Gittenberger, Bernhard 1 2008 On the density and the structure of the Peirce-like formulae. Zbl 1355.03009 Genitrini, Antoine; Kozik, Jakub; Matecki, Grzegorz 1 2008 Classical and intuitionistic logic are asymptotically identical. Zbl 1179.03015 Fournier, Hervé; Gardy, Danièle; Genitrini, Antoine; Zaionc, Marek 11 2007 all cited Publications top 5 cited Publications all top 5 Cited by 62 Authors 21 Genitrini, Antoine 15 Bodini, Olivier 9 Gittenberger, Bernhard 7 Gardy, Danièle 6 Peschanski, Frédéric 4 Bendkowski, Maciej 4 Dien, Matthieu 4 Mailler, Cécile 4 Naima, Mehdi 3 Fournier, Hervé 3 Kozik, Jakub 3 Kuba, Markus F. 3 Wallner, Michael 3 Zaionc, Marek 2 Dovgal, Sergey 2 Gołȩbiewski, Zbigniew 2 Grygiel, Katarzyna 2 Mairesse, Jean 2 Panholzer, Alois 2 Tarau, Paul 1 Abbes, Samy 1 Basset, Nicolas 1 Bassino, Frédérique 1 Benkner, Louisa Seelbach 1 Bouvel, Mathilde 1 Chauvin, Brigitte 1 Curtarolo, Stefano 1 de Paiva, Valeria 1 de Panafieu, Elie 1 Fang, Wenjie 1 Féray, Valentin 1 Forcade, Rodney W. 1 Gasull, Armengol 1 Gerin, Lucas 1 Guillamon, Antoni 1 Hart, Gus L. W. 1 Jacquot, Alice 1 Kauers, Manuel 1 Koechlin, Florent 1 Kraus, Veronika 1 Larcher, Isabella 1 Lescanne, Pierre 1 Lin, Zhicong 1 Lindenstrauss, Naomi 1 Ma, Jun 1 Ma, Shi-Mei 1 Maazoun, Mickaël 1 Mañosa, Víctor 1 Morgan, Wiley S. 1 Nicaud, Cyril 1 Pépin, Martin 1 Pierrot, Adeline 1 Price, Andrew Elvey 1 Rolin, Nicolas 1 Rosenbrock, Conrad W. 1 Rotondo, Pablo 1 Singh, Alexandros 1 Soria, Michèle 1 Talagrand, Michel 1 Wirtz, Johannes 1 Zhou, Yanghongbo 1 Zubkov, Andreĭ Mikhaĭlovich all top 5 Cited in 19 Serials 5 Random Structures & Algorithms 4 Theoretical Computer Science 3 Algorithmica 2 Discrete Mathematics 2 Journal of Combinatorial Theory. Series A 2 Advances in Applied Mathematics 2 Combinatorics, Probability and Computing 2 The Electronic Journal of Combinatorics 1 Discrete Applied Mathematics 1 Annals of Pure and Applied Logic 1 Mathematical Logic Quarterly (MLQ) 1 Buletinul Academiei de Științe a Republicii Moldova. Matematica 1 Annals of Combinatorics 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Theory and Practice of Logic Programming 1 ACM Journal of Experimental Algorithmics 1 RAIRO. Theoretical Informatics and Applications 1 The Art of Discrete and Applied Mathematics 1 Matematicheskie Voprosy Kriptografii all top 5 Cited in 13 Fields 26 Combinatorics (05-XX) 24 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 10 Order, lattices, ordered algebraic structures (06-XX) 7 Probability theory and stochastic processes (60-XX) 3 Number theory (11-XX) 2 Information and communication theory, circuits (94-XX) 1 Group theory and generalizations (20-XX) 1 Ordinary differential equations (34-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Statistics (62-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) Citations by Year