Not finding it? Sign in to also search OpenAlex live.
-
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops: Artifact2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
1citations -
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops: Artifact2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Darion Haase, Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lutz Klinkenberg, +1 more
0citations -
Generating Cheap Representative Functions for Expensive Automotive Crashworthiness Optimization2024 ACM Transactions on Evolutionary Learning and Optimization article Computer Science Metaheuristic Optimization Algorithms Research Open access
Fu Xing Long, Bas van Stein, Moritz A. Frenzel, Markus Gitterle, Thomas Bäck
8citations -
Infrared luminosity functions and dust mass functions in the EAGLE simulation2020 Monthly Notices of the Royal Astronomical Society article Physics and Astronomy Galaxies: Formation, Evolution, Phenomena Open access
M. Baes, Ana Trc̆ka, Peter Camps, James W. Trayford, Antonios Katsianis, L. Marchetti, +3 more
22citations -
The developmental impact of sex chromosome trisomies on emerging executive functions in young children: Evidence from neurocognitive tests and daily life skills2022 Genes Brain & Behavior article Psychology Developmental and Educational Neuropsychology Open access
Kimberly C. Kuiper, Hanna Swaab, Nicole R. Tartaglia, Griet Van Buggenhout, Carine Wouters, Sophie van Rijn
11citations -
Image-Derived Input Functions for Quantification of A1 Adenosine Receptors Availability in Mice Brains Using PET and [18F]CPFPX2020 Frontiers in Physiology article Medicine Medical Imaging Techniques and Applications Open access
Xuan He, Franziska Wedekind, Tina Kroll, Angela Oskamp, Simone Beer, Alexander E. Drzezga, +4 more
3citations