Not finding it? Sign in to also search OpenAlex live.
-
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 IT University Of Copenhagen (IT University of Copenhagen) dataset Computer Science Formal Methods in Verification Open access
Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
STLScope: artifact for "Diverse STL Counterexample Pools for Hybrid Automata: Generation and Selection" (SEFM 2026)2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Formal Methods in Verification Open access
Sergio Quijano, Arapatsakos Georg, Erika Abraham, Mahsa Varshosaz, Andrzej Wąsowski
0citations -
Partially-Blind Single-Qubit Classification over a Prototype Hybrid Quantum Network2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access
Matteo Pasini, Tzula B. Propp, Janice van Dam, Garazi Muguruza, Alexandre Wanick, Hugues de Riedmatten, +1 more
0citations -
A hybrid registration method using the mandibular bone surface for electromagnetic navigation in mandibular surgery2022 International Journal of Computer Assisted Radiology and Surgery article Computer Science Medical Image Segmentation Techniques Open access
A. F. de Geer, Maarten J. A. van Alphen, Charlotte L. Zuur, Arjo J. Loeve, R.L.P. van Veen, Barış Karakullukçu
8citations -
LHU-Net: A Lean Hybrid U-Net for Cost-Efficient, High-Performance Volumetric Segmentation2025 Lecture notes in computer science conference-paper Computer Science Medical Image Segmentation Techniques Open access
Yousef Sadegheih, Afshin Bozorgpour, Pratibha Kumari, Reza Azad, Dorit Merhof
5citations -
On the applicability of hybrid systems safety verification tools from the automotive perspective2023 International Journal on Software Tools for Technology Transfer book-chapter Computer Science Formal Methods in Verification Open access
Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu
3citations -
Towards Large-Scale Satellite Acquisition Scheduling with Hybrid Quantum-Classical Optimization2026 Communications in computer and information science conference-paper Computer Science Quantum Computing Algorithms and Architecture
Amer Delilbasic, Morris Riedel, Kristel F. L. Michielsen, Gabriele Cavallaro
1citations -
Optimizing Causal Interventions in Hybrid Bayesian Networks2024 Lecture notes in networks and systems conference-paper Computer Science Bayesian Modeling and Causal Inference Open access
Maarten Vonk, Diederick Vermetten, Jacob de Nobel, Sebastiaan Brand, Ninoslav Malekovic, Thomas Bäck, +2 more
1citations -
AIthena - D4.2 Report on physical set-up, digital twin and hybrid testing approaches2026 Zenodo (CERN European Organization for Nuclear Research) article Computer Science VLSI and Analog Circuit Testing Open access
Konstantinos Gkentsidis, Nil Munte, Guido Linden, Raul Sena Ferreira, Alexandru Forrai, Martijn Harmenzon, +3 more
0citations -
Hybrid Inference Optimization for AI-Enhanced Turbulent Boundary Layer Simulation on Heterogeneous Systems2026 RWTH Publications (RWTH Aachen) book-chapter Computer Science Parallel Computing and Optimization Techniques Open access
Fabian Orland, Tom Hilgers, Fabian Hübenthal, Rakesh Sarma, Andreas Lintermann, Christian Terboven
0citations