Login / Signup
Lars Holst
Publication Activity (10 Years)
Years Active: 1981-2015
Publications (10 Years): 0
Top Topics
Formal Proof
Conditional Probabilities
Theorem Proving
Probabilistic Approaches
Top Venues
J. Appl. Probab.
Am. Math. Mon.
</>
Publications
</>
Lars Holst
,
Takis Konstantopoulos
Runs in coin tossing: a general approach for deriving distributions for functionals.
J. Appl. Probab.
52 (3) (2015)
Lars Holst
Probabilistic Proofs of Euler Identities.
J. Appl. Probab.
50 (4) (2013)
Lars Holst
A Proof of Euler's Infinite Product for the Sine.
Am. Math. Mon.
119 (6) (2012)
Pedro Reviriego
,
Lars Holst
,
Juan Antonio Maestro
On the expected longest length probe sequence for hashing with separate chaining.
J. Discrete Algorithms
9 (3) (2011)
Lars Holst
Logarithmic Combinatorial Structures: A Probabilistic Approach, by RichardcArratia, A. D. Barbour and Simon Tavaré.
Comb. Probab. Comput.
13 (6) (2004)
James Allen Fill
,
Lars Holst
On the distribution of search cost for the move-to-front rule.
Random Struct. Algorithms
8 (3) (1996)
Lars Holst
The General Birthday Problem.
Random Struct. Algorithms
6 (2/3) (1995)
Lars Holst
On Numbers Related to Partitions of Unlike Objects and Occupancy Problems.
Eur. J. Comb.
2 (3) (1981)