Principles of Verification: Cycling the Probabilistic Landscape, Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III.

Authors: Jansen, N.

Subjects: Lecture Notes in Computer Science., Software Science.

Index Terms: Book editorial.

URL: https://hdl.handle.net/2066/315094
https://doi.org/10.1007/978-3-031-75778-5

Riding the Storm in a Probabilistic Model Checking Landscape.

Authors: Hensel, C.

Subjects: Lecture Notes in Computer Science., Software Science.

Index Terms: Part of book or chapter of book.

URL: https://hdl.handle.net/2066/316741
https://doi.org/10.1007/978-3-031-75775-4_5

L# for DFAs.

Authors: Vaandrager, F.

Subjects: Lecture Notes in Computer Science., Software Science.

Index Terms: Part of book or chapter of book.

URL: https://hdl.handle.net/2066/316736
https://doi.org/10.1007/978-3-031-75778-5_8

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet.

Authors: Suilen, M.R.

Subjects: Lecture Notes in Computer Science., Software Science.

Index Terms: Part of book or chapter of book.

URL: https://hdl.handle.net/2066/316742
https://doi.org/10.1007/978-3-031-75778-5_7

Modular Criticality Analysis for Dynamic Fault Trees.

Authors: Sher, F.

Subjects: Lecture Notes in Computer Science., Software Science.

Index Terms: Part of book or chapter of book.

URL: https://hdl.handle.net/2066/316737
https://doi.org/10.1007/978-3-031-75778-5_13

Learning Guided Automated Reasoning: A Brief Survey.

Authors: Blaauwbroek, L.

Source: Capretta, V.; Krebbers, R.; Wiedijk, F. (ed.), Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday, pp. 54-83

Subjects: Lecture notes in computer science., Software Science.

Index Terms: Part of book or chapter of book.

URL: https://repository.ubn.ru.nl/handle/2066/309003
https://doi.org/10.1007/978-3-031-61716-4_4

The Interval Domain in Homotopy Type Theory.

Authors: Weide, N.M. van der

Source: Capretta, V.; Krebbers, R.; Wiedijk, F. (ed.), Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday, pp. 241-256

Subjects: Lecture notes in computer science., Software Science.

Index Terms: Part of book or chapter of book.

URL: https://repository.ubn.ru.nl/handle/2066/309001
https://doi.org/10.1007/978-3-031-61716-4_16

A New Perspective on Conformance Testing Based on Apartness.

Authors: Vaandrager, F.

Source: Capretta, V.; Krebbers, R.; Wiedijk, F. (ed.), Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday, pp. 225-240

Subjects: Lecture notes in computer science., Software Science.

Index Terms: Part of book or chapter of book.

URL: https://repository.ubn.ru.nl/handle/2066/309004
https://doi.org/10.1007/978-3-031-61716-4_15

Some Probabilistic Riddles and Some Logical Solutions.

Authors: Jacobs, B.

Source: Capretta, V.; Krebbers, R.; Wiedijk, F. (ed.), Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday, pp. 134-149

Subjects: Lecture notes in computer science., Digital Security.

Index Terms: Part of book or chapter of book.

URL: https://repository.ubn.ru.nl/handle/2066/308845
https://doi.org/10.1007/978-3-031-61716-4_9

Constructing Morphisms for Arithmetic Subsequences of Fibonacci.

Authors: Bosma, W.

Source: Capretta, V.; Krebbers, R.; Wiedijk, F. (ed.), Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday, pp. 100-110

Subjects: Lecture Notes in Computer Science., Algebra and Topology., Mathematics., Algebra en Topologie.

Index Terms: Part of book or chapter of book.

URL: https://repository.ubn.ru.nl/handle/2066/309058
https://doi.org/10.1007/978-3-031-61716-4_6

Relating Apartness and Branching Bisimulation Games.

Authors: Rot, J.

Source: Capretta, V.; Krebbers, R.; Wiedijk, F. (ed.), Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday, pp. 203-213

Subjects: Lecture Notes in Computer Science., Software Science.

Index Terms: Part of book or chapter of book.

URL: https://repository.ubn.ru.nl/handle/2066/309007
https://doi.org/10.1007/978-3-031-61716-4_13

Fixed Point Theorems in Computability Theory.

Authors: Terwijn, S.A.

Source: Capretta, V.; Krebbers, R.; Wiedijk, F. (ed.), Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday, pp. 214-224

Subjects: Lecture notes in computer science., Algebra and Topology., Mathematics., Algebra en Topologie.

Index Terms: Part of book or chapter of book.

URL: https://repository.ubn.ru.nl/handle/2066/309059
https://doi.org/10.1007/978-3-031-61716-4_14

Progress in Cryptology - INDOCRYPT 2023: 24th International Conference on Cryptology in India, Goa, India, December 10-13, 2023, Proceedings, Part I.

Authors: Chattopadhyay, A.

Subjects: Lecture notes in computer science., Digital Security.

Index Terms: Book editorial.

URL: https://repository.ubn.ru.nl/handle/2066/306270
https://doi.org/10.1007/978-3-031-56232-7

Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday.

Authors: Capretta, V.

Subjects: Lecture notes in computer science., Software Science.

Index Terms: Book editorial.

URL: https://repository.ubn.ru.nl/handle/2066/308831
https://doi.org/10.1007/978-3-031-61716-4

Applied Cryptography and Network Security: 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5-8, 2024, Proceedings, Part III.

Authors: Pöpper, C.

Subjects: Lecture notes in computer science., Digital Security.

Index Terms: Book (monograph)

URL: https://repository.ubn.ru.nl/handle/2066/303961
https://doi.org/10.1007/978-3-031-54770-8

$$L^{\#}$$ for DFAs

Authors: Frits Vaandrager, Martijn Sanders

Contributors: Jansen, N., Junges, S., Kaminski, B.L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M., Volk, M.

Source: Lecture Notes in Computer Science ISBN: 9783031757778
Jansen, N.; Junges, S.; Kaminski, B.L. (ed.), Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III, pp. 155-172

Subject Terms: Software Science, Lecture Notes in Computer Science

Access URL: https://repository.ubn.ru.nl//bitstream/handle/2066/316736/316736.pdf
https://hdl.handle.net/2066/316736

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet

Authors: Suilen, M, Badings, T, Bovy, EM, Parker, D, Jansen, N

Contributors: Jansen, N., Stoelinga, M., Junges, S., Kaminski, B.L., Matheja, C., Noll, T., Quatmann, T., Volk, M.

Source: Lecture Notes in Computer Science ISBN: 9783031757778
Jansen, N.; Stoelinga, M. (ed.), Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III, pp. 126-154
Jansen, N.; Junges, S.; Kaminski, B.L. (ed.), Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III, pp. 126-154
In Jansen, N., et al., Principles of Verification: Cycling the Probabilistic Landscape, volume 15262 of LNCS
Lecture Notes in Computer Science, Principles of Verification: Cycling the Probabilistic Landscape

Subject Terms: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Optimization and Control (math.OC), Software Science, FOS: Mathematics, Lecture Notes in Computer Science, Mathematics - Optimization and Control

Access URL: http://arxiv.org/abs/2411.11451
https://hdl.handle.net/2066/315095
https://repository.ubn.ru.nl//bitstream/handle/2066/315095/315095.pdf
https://repository.ubn.ru.nl//bitstream/handle/2066/316742/316742.pdf
https://hdl.handle.net/2066/316742

Modular Criticality Analysis for Dynamic Fault Trees

Authors: Falak Sher, Mariëlle Stoelinga, Matthias Volk

Contributors: Jansen, N., Junges, S., Kaminski, B.L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M., Volk, M.

Source: Lecture Notes in Computer Science ISBN: 9783031757778
Jansen, N.; Junges, S.; Kaminski, B.L. (ed.), Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III, pp. 274-293

Subject Terms: Software Science, Lecture Notes in Computer Science

Access URL: https://repository.ubn.ru.nl//bitstream/handle/2066/316737/316737.pdf
https://hdl.handle.net/2066/316737

Riding the Storm in a Probabilistic Model Checking Landscape

Authors: Christian Hensel, Sebastian Junges, Tim Quatmann, Matthias Volk

Contributors: Jansen, N., Junges, S., Kaminski, B.L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M., Volk, M.

Source: Lecture Notes in Computer Science ISBN: 9783031757747
Jansen, N.; Junges, S.; Kaminski, B.L. (ed.), Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II, pp. 98-114

Subject Terms: Software Science, Lecture Notes in Computer Science

Access URL: https://research.tue.nl/en/publications/5c5548e7-5f74-47b9-a1c8-c3276100db51
https://doi.org/10.1007/978-3-031-75775-4_5
https://repository.ubn.ru.nl//bitstream/handle/2066/316741/316741.pdf
https://hdl.handle.net/2066/316741

South African research contributions to Lecture Notes in Computer Science, 1973–2022

Authors: Filistea Naude, Jan Kroeze

Subject Terms: Other information and computing sciences not elsewhere classified, authorship, Bibliometrics, Lecture Notes in Computer Science, South Africa, computer science researchers

Relation: https://figshare.com/articles/journal_contribution/South_African_research_contributions_to_Lecture_Notes_in_Computer_Science_1973_2022/28919507

Availability: https://doi.org/10.6084/m9.figshare.28919507.v1
https://figshare.com/articles/journal_contribution/South_African_research_contributions_to_Lecture_Notes_in_Computer_Science_1973_2022/28919507