Not finding it? Sign in to also search OpenAlex live.
-
ManiVault: A Flexible and Extensible Visual Analytics Framework for High-Dimensional Data2023 IEEE Transactions on Visualization and Computer Graphics article Computer Science Data Visualization and Analytics Open access
Alexander Vieth, Thomas Kroes, Julian Thijssen, Baldur van Lew, Jeroen Eggermont, Soumyadeep Basu, +4 more
9citations -
A retrospective on Telos as a metamodeling language for requirements engineering2020 Requirements Engineering article Computer Science Model-Driven Software Engineering Techniques Open access
Manolis Koubarakis, Alexander T. Borgida, Panos Constantopoulos, Martin Doerr, Matthias Jarke, Manfred A. Jeusfeld, +2 more
15citations -
QuantumSavory/QuantumClifford.jl: v0.11.02026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Quantum Computing Algorithms and Architecture Open access
Stefan Krastanov, Feroz Ahmed Mian, Zhongyi Ni, Kanyang Ying, Praveen Viswanathan, Shayan Pardis, +21 more
0citations -
Applying a Self-Extension Mechanism to DSLs for Establishing Model Libraries2024 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE) conference-paper Computer Science Model-Driven Software Engineering Techniques Open access
Arkadii Gerasimov, Nico Jansen, Judith Michael, Bernhard Rumpe⋆
2citations -
Analytical Nonadiabatic Couplings and Gradients within the State-Averaged Orbital-Optimized Variational Quantum Eigensolver2022 Journal of Chemical Theory and Computation article Computer Science Quantum Computing Algorithms and Architecture Open access
Saad Yalouz, Emiel Koridon, Bruno Senjean, Benjamin Lasorne, Francesco Buda, Lucas Visscher
42citations -
Accelerating Deep Learning Inference in Constrained Embedded Devices Using Hardware Loops and a Dot Product Unit2020 IEEE Access article Computer Science Parallel Computing and Optimization Techniques Open access cited by 1 patent
Jure Vreča, Karl J. X. Sturm, Ernest Gungl, Farhad Merchant, Paolo Bientinesi, Rainer Leupers, +1 more
17citations -
FAIR survey : improving documentation and archiving practices in archaeological field survey through CIDOC CRM13citations
-
From Barren Plateaus Through Fertile Valleys: Conic Extensions of Parameterised Quantum Circuits2025 IEEE International Conference on Quantum Computing and Engineering (QCE) conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access
Lennart Binkowski, Gereon Koßmann, Tobias J. Osborne, René Schwonnek, Timo Ziegler
1citations -
A pre-expectation calculus for probabilistic sensitivity2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja
24citations -
Brightening the Optical Flow through Posit Arithmetic2021 International Symposium on Quality Electronic Design (ISQED) conference-paper Computer Science Numerical Methods and Algorithms Open access
Vinay Saxena, Ankitha Reddy, Jonathan Neudorfer, John Leroy Gustafson, Sangeeth Nambiar, Rainer Leupers, +1 more
11citations -
TransCeption: Enhancing Medical Image Segmentation with an Inception-Like Transformer Design for Efficient Feature Fusion2025 Computational Visual Media article Computer Science Medical Image Segmentation Techniques Open access
Reza Azad, Yiwei Jia, Ehsan Khodapanah Aghdam, Julien Cohen‐Adad, Dorit Merhof
8citations -
Foundations for Entailment Checking in Quantitative Separation Logic2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access
Kevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, +1 more
4citations -
A Visual Analysis of Hazardous Events in Contract Risk Management2023 International Conference on Data Science, Technology and Applications (DATA) conference-paper Computer Science Semantic Web and Ontologies Open access
Georgios Stathis, Athanasios Trantas, H.J. van den Herik, Bart H. M. Custers
3citations