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

Συγγραφείς: Jansen, N.

Θέματα: Lecture Notes in Computer Science., Software Science.

Όροι ευρετηρίου: Book editorial.

Σύνδεσμος: 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.

Συγγραφείς: Hensel, C.

Θέματα: Lecture Notes in Computer Science., Software Science.

Όροι ευρετηρίου: Part of book or chapter of book.

Σύνδεσμος: https://hdl.handle.net/2066/316741
https://doi.org/10.1007/978-3-031-75775-4_5

L# for DFAs.

Συγγραφείς: Vaandrager, F.

Θέματα: Lecture Notes in Computer Science., Software Science.

Όροι ευρετηρίου: Part of book or chapter of book.

Σύνδεσμος: 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.

Συγγραφείς: Suilen, M.R.

Θέματα: Lecture Notes in Computer Science., Software Science.

Όροι ευρετηρίου: Part of book or chapter of book.

Σύνδεσμος: https://hdl.handle.net/2066/316742
https://doi.org/10.1007/978-3-031-75778-5_7

Modular Criticality Analysis for Dynamic Fault Trees.

Συγγραφείς: Sher, F.

Θέματα: Lecture Notes in Computer Science., Software Science.

Όροι ευρετηρίου: Part of book or chapter of book.

Σύνδεσμος: https://hdl.handle.net/2066/316737
https://doi.org/10.1007/978-3-031-75778-5_13

Learning Guided Automated Reasoning: A Brief Survey.

Συγγραφείς: Blaauwbroek, L.

Πηγή: 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

Θέματα: Lecture notes in computer science., Software Science.

Όροι ευρετηρίου: Part of book or chapter of book.

Σύνδεσμος: 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.

Συγγραφείς: Weide, N.M. van der

Πηγή: 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

Θέματα: Lecture notes in computer science., Software Science.

Όροι ευρετηρίου: Part of book or chapter of book.

Σύνδεσμος: 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.

Συγγραφείς: Vaandrager, F.

Πηγή: 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

Θέματα: Lecture notes in computer science., Software Science.

Όροι ευρετηρίου: Part of book or chapter of book.

Σύνδεσμος: 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.

Συγγραφείς: Jacobs, B.

Πηγή: 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

Θέματα: Lecture notes in computer science., Digital Security.

Όροι ευρετηρίου: Part of book or chapter of book.

Σύνδεσμος: 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.

Συγγραφείς: Bosma, W.

Πηγή: 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

Θέματα: Lecture Notes in Computer Science., Algebra and Topology., Mathematics., Algebra en Topologie.

Όροι ευρετηρίου: Part of book or chapter of book.

Σύνδεσμος: 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.

Συγγραφείς: Rot, J.

Πηγή: 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

Θέματα: Lecture Notes in Computer Science., Software Science.

Όροι ευρετηρίου: Part of book or chapter of book.

Σύνδεσμος: 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.

Συγγραφείς: Terwijn, S.A.

Πηγή: 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

Θέματα: Lecture notes in computer science., Algebra and Topology., Mathematics., Algebra en Topologie.

Όροι ευρετηρίου: Part of book or chapter of book.

Σύνδεσμος: 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.

Συγγραφείς: Chattopadhyay, A.

Θέματα: Lecture notes in computer science., Digital Security.

Όροι ευρετηρίου: Book editorial.

Σύνδεσμος: 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.

Συγγραφείς: Capretta, V.

Θέματα: Lecture notes in computer science., Software Science.

Όροι ευρετηρίου: Book editorial.

Σύνδεσμος: 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.

Συγγραφείς: Pöpper, C.

Θέματα: Lecture notes in computer science., Digital Security.

Όροι ευρετηρίου: Book (monograph)

Σύνδεσμος: https://repository.ubn.ru.nl/handle/2066/303961
https://doi.org/10.1007/978-3-031-54770-8

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

Συγγραφείς: Frits Vaandrager, Martijn Sanders

Συνεισφορές: Jansen, N., Junges, S., Kaminski, B.L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M., Volk, M.

Πηγή: 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

Θεματικοί όροι: Software Science, Lecture Notes in Computer Science

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Suilen, M, Badings, T, Bovy, EM, Parker, D, Jansen, N

Συνεισφορές: Jansen, N., Stoelinga, M., Junges, S., Kaminski, B.L., Matheja, C., Noll, T., Quatmann, T., Volk, M.

Πηγή: 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

Θεματικοί όροι: 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

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Falak Sher, Mariëlle Stoelinga, Matthias Volk

Συνεισφορές: Jansen, N., Junges, S., Kaminski, B.L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M., Volk, M.

Πηγή: 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

Θεματικοί όροι: Software Science, Lecture Notes in Computer Science

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Christian Hensel, Sebastian Junges, Tim Quatmann, Matthias Volk

Συνεισφορές: Jansen, N., Junges, S., Kaminski, B.L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M., Volk, M.

Πηγή: 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

Θεματικοί όροι: Software Science, Lecture Notes in Computer Science

Σύνδεσμος πρόσβασης: 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

Συγγραφείς: Filistea Naude, Jan Kroeze

Θεματικοί όροι: 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

Διαθεσιμότητα: 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