Not finding it? Sign in to also search OpenAlex live.
-
Weighted programming: a programming paradigm for specifying mathematical models2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access
Kevin Batz, Adrian Gallus, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Tobias Winkler
18citations -
Automated Reasoning in Quantum Circuit Compilation2024 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access
Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, Arend-Jan Quist, Jingyi Mei, Tim Coopmans, +1 more
4citations -
A symplectic Brezis-Ekeland-Nayroles principle for dynamic plasticity in finite strains2022 International Journal of Engineering Science article Computer Science Contact Mechanics and Variational Inequalities Open access
Xiaodan Cao, Abdelbacet Oueslati, An Danh Nguyen, Marcus Stoffel, Bernd A. Markert, Géry de Saxcé
1citations -
Hodgelets: Localized Spectral Representations of Flows On Simplicial Complexes2022 IEEE International Conference on Acoustics Speech and Signal Processing conference-paper Computer Science Topological and Geometric Data Analysis Open access
T. Mitchell Roddenberry, Florian Frantzen, Michael T. Schaub, Santiago Segarra
14citations