Not finding it? Sign in to also search OpenAlex live.
-
XYZ Ruby Code: Making a Case for a Three-Colored Graphical Calculus for Quantum Error Correction in Spacetime2025 RWTH Publications (RWTH Aachen) article Computer Science Quantum Computing Algorithms and Architecture Open access
Julio C. Magdalena de la Fuente, Josias Old, Alex Townsend-Teague, Manuel Rispler, Jens Eisert, Markus Michael Müller
0citations -
BRIDGING COMPUTER SCIENCE EDUCATION AND INDUSTRY: A COMPETENCY-BASED ARCHITECTURE USING E-CF0citations
-
NFDI4Chem - Deliverable D4.5.1: Report on FAIRness of data datasets published by the community2023 Zenodo (CERN European Organization for Nuclear Research) report Computer Science Research Data Management Practices Open access
David Rauh, Tillmann G. Fischer, Pascal Scherreiks, Annett Schröter, Nicole A. Parks, Theo Bender, +2 more
0citations -
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 -
ПОЄДНАННЯ ОСВІТИ З КОМП’ЮТЕРНИХ НАУК ТА ІНДУСТРІЇ: КОМПЕТЕНТІСТНО ОРІЄНТОВАНА АРХІТЕКТУРА З ВИКОРИСТАННЯМ E-CF0citations
-
Anomaly Detection in Control Systems With Interval Dissimilarity2022 Cybernetics & Informatics (K&I) conference-paper Computer Science Anomaly Detection Techniques and Applications
Marco Kemmerling, Maciej Combrzynski-Nogala, Marc Hasler, Chrismarie Enslin, Daniel Lütticke, Robert Heinrich Schmitt
0citations