Not finding it? Sign in to also search OpenAlex live.
-
Counter Example Guided Abstraction Refinement for IEC 60848 GRAFCET2025 IEEE Industrial Electronics Society Annual On-Line Conference (ONCON) conference-paper Computer Science Formal Methods in Verification
Robin Mroß, Luca Söthe, Darko Divkovic, Aron Schnakenbeck, Marcus Völker, Alexander Fay, +1 more
0citations -
Abstract 5051: Evolutionary characterization and refinement of copy-number high endometrial carcinoma2024 Cancer Research conference-abstract Biochemistry, Genetics and Molecular Biology Cancer Genomics and Diagnostics
Claire J.H. Kramer, Dina Ruano, Aliah Hawari, Félix Blanc‐Durand, Cor Doede de Kroon, Judith R. Kroep, +9 more
0citations -
Automated literature screening using large language models in headache research: a comparative performance evaluation of seven models using zero-shot and iterative prompt refinement2026 BMC Medical Informatics and Decision Making article Decision Sciences Meta-analysis and systematic reviews Open access
Noor Bruijn, A. Kuiper, L. Al-Hassany, Z. Sun, R. Fronczek, Eva‐Maria Huessler, +4 more
0citations -
Theoretical kinetics of propargyl + aromatics: Abstraction from and addition to benzene, toluene, naphthalene, and 2-methyl-naphthalene2026 Proceedings of the Combustion Institute article Chemical Engineering Advanced Combustion Engine Technologies Open access
Malte Döntgen, Karl Alexander Heufer, Matteo Pelucchi, Luna Pratali Maffei
0citations -
Determination and Recovery of Spin‐States for a High‐Spin and a Spin‐Crossover Complex by Means of X‐Ray Wavefunction Refinement2026 Chemistry - A European Journal article Materials Science Magnetism in coordination complexes Open access
Johannes Bartusel, Daniel Brüx, Christoph Hennig, Florian Kleemiss
0citations -
Grid-free quantum crystallographic refinement using unbiased analytic atomic form factors from density fitting2026 Zeitschrift für Kristallographie - Crystalline Materials article Chemistry Crystal structures of chemical compounds Open access
Lukas M. Seifert, Daniel Brüx, Teodora M. Piel, Florian Kleemiss
0citations -
Globally optimal scheduling of an electrochemical process via data-driven dynamic modeling and wavelet-based adaptive grid refinement2023 Optimization and Engineering article Engineering Advanced Control Systems Optimization Open access
Chrysanthi Papadimitriou, Tim Varelmann, Christian Schröder, Andreas Jupke, Alexander Mitsos
4citations -
NanoDesigner: Resolving the complex–CDR interdependency with iterative refinement2025 bioRxiv (Cold Spring Harbor Laboratory) preprint Medicine Monoclonal and Polyclonal Antibodies Research Open access
Melissa Maria Rios Zertuche, Şenay Kafkas, Dominik Renn, Magnus Rueping, Robert Hoehndorf
0citations -
ABSTRACT NUMBER: ESOC2026A1811 SEDENTARY TIME AFTER TIA OR MINOR STROKE IN HOSPITAL-AT-HOME VS USUAL CARE2026 European Stroke Journal conference-abstract Medicine Stroke Rehabilitation and Recovery Open access
Suzanne M Debeij, Marián Muchada, Marta Rubiera, Maria Giné‐Garriga, Jules J M Kraaijkamp, Miriam L. Haaksma, +2 more
0citations -
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions2020 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, +1 more
13citations