×
Author ID: genitrini.antoine Recent zbMATH articles by "Genitrini, Antoine"
Published as: Genitrini, Antoine; Genitrini, A.
External Links: MGP

Publications by Year

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

Citations by Year