E-LIB Suche - Ergebnisse für: Hölzl, Johannes

1

Towards a beneficial management of personal health records:

Kop, Christian ; Leitner, Gerhard ; Schartner, Peter...
Procedia Computer Science. 219 (2023) - p. 1145-1152 , 2023

2

Feasibility study for the use of hydrodynamic plain bearing..:

Rolink, Amadeus ; Schröder, Tim ; Jacobs, Georg...
Journal of Physics: Conference Series. 1618 (2020) 5 - p. 052002 , 2020

Link: https://doi.org/10.1088/..

3

Simulating the photon stream of a real thermal light source:

Schneider, Raimund ; Biernoth, Christoph ; Hölzl, Johannes..
Applied Optics. 57 (2018) 24 - p. 7076 , 2018

Link: https://doi.org/10.1364/..

4

Markov processes in Isabelle/HOL:

, In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs,

Hölzl, Johannes - p. 100-111 , 2017

Link: https://dl.acm.org/doi/1..

5

A Formally Verified Proof of the Central Limit Theorem:

Avigad, Jeremy ; Hölzl, Johannes ; Serafin, Luke
Journal of Automated Reasoning. 59 (2017) 4 - p. 389-423 , 2017

Link: https://doi.org/10.1007/..

6

Markov Chains and Markov Decision Processes in Isabelle/HOL:

Hölzl, Johannes
Journal of Automated Reasoning. 59 (2016) 3 - p. 345-387 , 2016

Link: https://doi.org/10.1007/..

7

Construction and stochastic applications of measure spaces ..:

Hölzl, Johannes , 2013

Link: http://nbn-resolving.de/..

8

Specifying and verifying sparse matrix codes:

Arnold, Gilad ; Hölzl, Johannes ; Köksal, Ali Sinan..
ACM SIGPLAN Notices. 45 (2010) 9 - p. 249-260 , 2010

Link: https://doi.org/10.1145/..

9

Specifying and verifying sparse matrix codes:

, In: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming,

Arnold, Gilad ; Hölzl, Johannes ; Köksal, Ali Sinan.. - p. 249-260 , 2010

Link: https://dl.acm.org/doi/1..

10

Reibungsdämpfung in ausgedehnten, verschraubten Fügestellen:

Hölzl, Johannes Sebastian ; Sextro, Walter
PAMM. 10 (2010) 1 - p. 247-248 , 2010

Link: https://doi.org/10.1002/..

11

Feasibility study for the use of hydrodynamic plain bearing..:

Rolink, Amadeus Franziskus ; Schröder, Tim ; Jacobs, Georg...
info:eu-repo/semantics/altIdentifier/issn/1742-6596. , 2020

Link: https://publications.rwt..

12

Innovative Lagerkonzepte und neue Gleitlagerwerkstoffe für ..:

Hölzl, Johannes ; Schröder, Tim ; Rolink, Amadeus Franziskus
info:eu-repo/semantics/altIdentifier/doi/10.18154/RWTH-2019-01707. , 2019

Link: https://publications.rwt..

13

Formalizing the Solution to the Cap Set Problem:

Dahmen, Sander R ; Hölzl, Johannes ; Lewis, Robert Y
Is Part Of LIPIcs, Volume 141, 10th International Conference on Interactive Theorem Proving (ITP 2019). , 2019

Link: https://doi.org/10.4230/..

14

Formalizing the Solution to the Cap Set Problem:

Dahmen, Sander R ; Hölzl, Johannes ; Lewis, Robert Y
http://arxiv.org/abs/1907.01449. , 2019

Link: http://arxiv.org/abs/190..

15

Foundational (Co)datatypes and (Co)recursion for Higher-Ord..:

Biendarra, Julian ; Blanchette, Jasmin ; Bouzy, Aymeric...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-66167-4_1. , 2017

Link: https://hal.inria.fr/hal..