Výsledky vyhledávání - "Lecture Notes in Computer Science."

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

Autoři: Jansen, N.

Témata: Lecture Notes in Computer Science., Software Science.

Témata: 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.

Autoři: Hensel, C.

Témata: Lecture Notes in Computer Science., Software Science.

Témata: 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.

Autoři: Vaandrager, F.

Témata: Lecture Notes in Computer Science., Software Science.

Témata: 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.

Autoři: Suilen, M.R.

Témata: Lecture Notes in Computer Science., Software Science.

Témata: 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.

Autoři: Sher, F.

Témata: Lecture Notes in Computer Science., Software Science.

Témata: 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.

Autoři: Blaauwbroek, L.

Zdroj: 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

Témata: Lecture notes in computer science., Software Science.

Témata: 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.

Autoři: Weide, N.M. van der

Zdroj: 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

Témata: Lecture notes in computer science., Software Science.

Témata: 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.

Autoři: Vaandrager, F.

Zdroj: 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

Témata: Lecture notes in computer science., Software Science.

Témata: 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.

Autoři: Jacobs, B.

Zdroj: 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

Témata: Lecture notes in computer science., Digital Security.

Témata: 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.

Autoři: Bosma, W.

Zdroj: 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

Témata: Lecture Notes in Computer Science., Algebra and Topology., Mathematics., Algebra en Topologie.

Témata: 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.

Autoři: Rot, J.

Zdroj: 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

Témata: Lecture Notes in Computer Science., Software Science.

Témata: 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.

Autoři: Terwijn, S.A.

Zdroj: 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

Témata: Lecture notes in computer science., Algebra and Topology., Mathematics., Algebra en Topologie.

Témata: 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.

Autoři: Chattopadhyay, A.

Témata: Lecture notes in computer science., Digital Security.

Témata: 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.

Autoři: Capretta, V.

Témata: Lecture notes in computer science., Software Science.

Témata: 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.

Autoři: Pöpper, C.

Témata: Lecture notes in computer science., Digital Security.

Témata: Book (monograph)

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

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

Autoři: Frits Vaandrager Martijn Sanders Jansen, N. a další

Přispěvatelé: Frits Vaandrager Martijn Sanders Jansen, N. a další

Zdroj: 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

Témata: Software Science, Lecture Notes in Computer Science

Přístupová URL adresa: 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

Autoři: Suilen, M Badings, T Bovy, EM a další

Přispěvatelé: Suilen, M Badings, T Bovy, EM a další

Zdroj: 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

Témata: 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

Přístupová URL adresa: 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

Autoři: Falak Sher Mariëlle Stoelinga Matthias Volk a další

Přispěvatelé: Falak Sher Mariëlle Stoelinga Matthias Volk a další

Zdroj: 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

Témata: Software Science, Lecture Notes in Computer Science

Přístupová URL adresa: 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

Autoři: Christian Hensel Sebastian Junges Tim Quatmann a další

Přispěvatelé: Christian Hensel Sebastian Junges Tim Quatmann a další

Zdroj: 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

Témata: Software Science, Lecture Notes in Computer Science

Přístupová URL adresa: 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

Autoři: Filistea Naude Jan Kroeze

Témata: 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

Dostupnost: 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