Not finding it? Sign in to also search OpenAlex live.
-
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
33citations -
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2022 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Sebastian Junges, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
0citations -
Latticed k-Induction with an Application to Probabilistic Programs2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access
Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer
21citations -
Implementation of molecular matching in transplantation requires further characterization of both immunogenicity and antigenicity of individual HLA epitopes2021 Human Immunology article Medicine Renal Transplantation Outcomes and Treatments Open access cited by 2 patents
Suzanne Bezstarosti, Cynthia S. M. Kramer, Frans H.J. Claas, Johan Willem de Fijter, Marlies E. J. Reinders, Sebastiaan Heidt
42citations -
Design and development of the PRIMAger instrument for PRIMA2026 Space Telescopes and Instrumentation: Optical, Infrared, and Millimeter Wave conference-paper Physics and Astronomy Astronomy and Astrophysical Research Open access
A. Costille, Fabrice Madec, Johan D. Floriot, Tony Pamplona, Thomas Prouve, Laure Ciesla, +8 more
0citations -
Applying Energy Absorption Interferometry to THz Direct Detectors Using Photomixers2023 IEEE Transactions on Terahertz Science and Technology article Physics and Astronomy Superconducting and THz Device Technology Open access
Ian Veenendaal, Edgar Castillo-Domínguez, S. J. C. Yates, Bram Lap, Willem Jellema
2citations -
Design methodology of hybrid-type microwave kinetic inductance detectors toward ground-based mm-submm observations2026 Astronomy and Astrophysics article Physics and Astronomy Superconducting and THz Device Technology Open access
T. Tanaka, K. Karatsu, H.Kutsuma, A.H.M.Coppens, Akira Endo, M.Hattori, +11 more
0citations
24 results