Zur JKU Startseite
Institut für Mathematische Methoden in Medizin und Datenbasierter Modellierung
Was ist das?

Institute, Schools und andere Einrichtungen oder Angebote haben einen Webauftritt mit eigenen Inhalten und Menüs.

Um die Navigation zu erleichtern, ist hier erkennbar, wo man sich gerade befindet.

FoDok Einträge zu Bert Lindenhovius.

Händisch kuratierte Liste an Publikationen

Veröffentlichungen in Fachzeitschriften mit Peer-Review

[J1] A.J. Lindenhovius, Classifying finite-dimensional C*-algebras by posets
of their commutative C*-subalgebras, International Journal of Theoret-
ical Physics, Volume 54, Issue 12, 4615-4635 (2015) DOI 10.1007/s10773-
015-2817-6
[J2] J. Harding, C. Heunen, B. Lindenhovius, M. Navara, Boolean Subalge-
bras of Orthoalgebras, Order, Volume 36, Issue 3, pp 563–609, (2019)
DOI 10.1007/s11083-019-09483-6
[J3] C. Heunen, B. Lindenhovius, Domains of commutative C*-subalgebras,
Mathematical Structures in Computer Science, 29(7):972–1006, (2019).
DOI 10.1017/S0960129518000464
[J4] B. Lindenhovius, M. Mislove, V. Zamdzhiev, LNL-FPC: The Linear/Non-
linear Fixpoint Calculus, Logical Methods in Computer Science, Vol.
17, Issue 2, Pages 9:1 – 9:61 (2021) DOI 10.23638/LMCS-17(2:9)2021
[J5] A. Kornell, B. Lindenhovius, M. Mislove, A category of quantum posets,
Indagationes Mathematicae, to appear (2022) DOI 10.1016/j.indag.2022.07.001
[J6] J. Harding, B. Lindenhovius, Orthogeometries and AW*-algebras, Hous-
ton Journal of Mathematics, to appear (2022).
Moreover, the following paper is under review.
[J7] X. Jia, B. Lindenhovius, M. Mislove and V. Zamdzhiev, Commutative
Monads for Probabilistic Programming Languages, submitted. arxiv:
2102.00510
Finally, the following contributions only exist as preprints:
[J8] B. Lindenhovius, Grothendieck topologies on a poset, arXiv:1405.4408
(2014)
[J9] B. Lindenhovius, Th. Vetterlein, A characterisation of orthomodular
spaces by Sasaki maps, arXiv:2207.09148 (2022).

Buchkapitel

[B1] K. Landsman, B. Lindenhovius, Symmetries in Exact Bohrification,
in: Ozawa M., Butterfield J., Halvorson H., Rédei M., Kitajima Y.,
Buscemi F. (eds) Reality and Measurement in Algebraic Quantum The-
ory. NWW 2015. Springer Proceedings in Mathematics & Statistics,
vol 261. Springer, (2018) 97-118 ISBN 978-981-13-2486-4
[B2] B. Lindenhovius, V. Zamdzhiev, M. Mislove, Semantics for a Lambda
Calculus for String Diagrams, in: Outstanding Contributions to Logic
(Volume for Samson Abramsky), to appear.

Veröffentlichungen in Konferenzbänden seit 2014

[P1] C. Heunen, B. Lindenhovius, Domains of commutative C*-subalgebras,
Proceedings of the 30th annual ACM/IEEE symposium on Logic in
Computer Science 450-461 (2015) DOI 10.1109/LICS.2015.49
[P2] B. Lindenhovius, M. Mislove, V. Zamdzhiev, Enriching a Linear/Non-
linear Lambda Calculus: A Programming Language for String Dia-
grams, Proceeding LICS ’18 Proceedings of the 33rd Annual ACM/IEEE
Symposium on Logic in Computer Science Pages 659-668 (2018) DOI
10.1145/3209108.3209196
[P3] B. Lindenhovius, M. Mislove, V. Zamdzhiev, Mixed linear and non-
linear recursive types, Proceedings of the ACM on Programming Lan-
guages archive Volume 3 Issue ICFP, Article No. 111 (2019) DOI
10.1145/3341715
[P4] A. Kornell, B. Lindenhovius, M. Mislove, Quantum CPOs, Proceedings
of the 17th International Conference on Quantum Physics and Logic
174–187 (2020) DOI 10.4204/EPTCS.340.9
[P5] X. Jia, B. Lindenhovius, M. Mislove and V. Zamdzhiev, Commuta-
tive Monads for Probabilistic Programming Languages, 36th Annual
ACM/IEEE Symposium on Logic in Computer Science (LICS), pp.
1-14 (2021) DOI 10.1109/LICS52264.2021.9470611
[P6] X. Jia, A. Kornell, B. Lindenhovius, M. Mislove, V. Zamdzhiev, Seman-
tics for variational Quantum programming, Proceedings of the ACM on
Programming Languages, Volume 6, Issue POPL, Article No. 26 (2022)
1–31 DOI 10.1145/3498687

Berts händisch kuratierte Liste von Veröffentlichungen

Veröffentlichungen in Fachzeitschriften mit Peer-Review

[J1] A.J. Lindenhovius, Classifying finite-dimensional C*-algebras by posets
of their commutative C*-subalgebras, International Journal of Theoret-
ical Physics, Volume 54, Issue 12, 4615-4635 (2015) DOI 10.1007/s10773-
015-2817-6
[J2] J. Harding, C. Heunen, B. Lindenhovius, M. Navara, Boolean Subalge-
bras of Orthoalgebras, Order, Volume 36, Issue 3, pp 563–609, (2019)
DOI 10.1007/s11083-019-09483-6
[J3] C. Heunen, B. Lindenhovius, Domains of commutative C*-subalgebras,
Mathematical Structures in Computer Science, 29(7):972–1006, (2019).
DOI 10.1017/S0960129518000464
[J4] B. Lindenhovius, M. Mislove, V. Zamdzhiev, LNL-FPC: The Linear/Non-
linear Fixpoint Calculus, Logical Methods in Computer Science, Vol.
17, Issue 2, Pages 9:1 – 9:61 (2021) DOI 10.23638/LMCS-17(2:9)2021
[J5] A. Kornell, B. Lindenhovius, M. Mislove, A category of quantum posets,
Indagationes Mathematicae, to appear (2022) DOI 10.1016/j.indag.2022.07.001
[J6] J. Harding, B. Lindenhovius, Orthogeometries and AW*-algebras, Hous-
ton Journal of Mathematics, to appear (2022).
Moreover, the following paper is under review.
[J7] X. Jia, B. Lindenhovius, M. Mislove and V. Zamdzhiev, Commutative
Monads for Probabilistic Programming Languages, submitted. arxiv:
2102.00510
Finally, the following contributions only exist as preprints:
[J8] B. Lindenhovius, Grothendieck topologies on a poset, arXiv:1405.4408
(2014)
[J9] B. Lindenhovius, Th. Vetterlein, A characterisation of orthomodular
spaces by Sasaki maps, arXiv:2207.09148 (2022).

Buchkapitel

[B1] K. Landsman, B. Lindenhovius, Symmetries in Exact Bohrification,
in: Ozawa M., Butterfield J., Halvorson H., Rédei M., Kitajima Y.,
Buscemi F. (eds) Reality and Measurement in Algebraic Quantum The-
ory. NWW 2015. Springer Proceedings in Mathematics & Statistics,
vol 261. Springer, (2018) 97-118 ISBN 978-981-13-2486-4
[B2] B. Lindenhovius, V. Zamdzhiev, M. Mislove, Semantics for a Lambda
Calculus for String Diagrams, in: Outstanding Contributions to Logic
(Volume for Samson Abramsky), to appear.

Veröffentlichungen in Konferenzbänden seit 2014

[P1] C. Heunen, B. Lindenhovius, Domains of commutative C*-subalgebras,
Proceedings of the 30th annual ACM/IEEE symposium on Logic in
Computer Science 450-461 (2015) DOI 10.1109/LICS.2015.49
[P2] B. Lindenhovius, M. Mislove, V. Zamdzhiev, Enriching a Linear/Non-
linear Lambda Calculus: A Programming Language for String Dia-
grams, Proceeding LICS ’18 Proceedings of the 33rd Annual ACM/IEEE
Symposium on Logic in Computer Science Pages 659-668 (2018) DOI
10.1145/3209108.3209196
[P3] B. Lindenhovius, M. Mislove, V. Zamdzhiev, Mixed linear and non-
linear recursive types, Proceedings of the ACM on Programming Lan-
guages archive Volume 3 Issue ICFP, Article No. 111 (2019) DOI
10.1145/3341715
[P4] A. Kornell, B. Lindenhovius, M. Mislove, Quantum CPOs, Proceedings
of the 17th International Conference on Quantum Physics and Logic
174–187 (2020) DOI 10.4204/EPTCS.340.9
[P5] X. Jia, B. Lindenhovius, M. Mislove and V. Zamdzhiev, Commuta-
tive Monads for Probabilistic Programming Languages, 36th Annual
ACM/IEEE Symposium on Logic in Computer Science (LICS), pp.
1-14 (2021) DOI 10.1109/LICS52264.2021.9470611
[P6] X. Jia, A. Kornell, B. Lindenhovius, M. Mislove, V. Zamdzhiev, Seman-
tics for variational Quantum programming, Proceedings of the ACM on
Programming Languages, Volume 6, Issue POPL, Article No. 26 (2022)
1–31 DOI 10.1145/3498687