From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “encoding conditions” 32

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

0

citations
A Deductive Verification Infrastructure for Probabilistic Programs
2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

22

citations
Towards a Deductive Verification Infrastructure for Weighted Programming
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Emma Ahrens, Samuel Rode, Philipp Schröer, Joost-Pieter Katoen

0

citations
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen

11

citations
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Lutz Klinkenberg, Mingshuai Chen

1

citations
New pathways to universal quantum logic in the early era of fault tolerance
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Quantum Computing Algorithms and Architecture Open access

Friederike Butt

0

citations
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

15

citations
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

1

citations
Combining TF-GridNet And Mixture Encoder For Continuous Speech Separation For Meeting Transcription
2024 IEEE Spoken Language Technology Workshop (SLT) conference-paper Computer Science Speech and Audio Processing Open access

Peter Vieting, Simon Berger, Thilo von Neumann, Christoph Boeddeker, Ralf Schlüter, Reinhold Haeb‐Umbach

2

citations
Slot Structured World Models
2024 arXiv (Cornell University) preprint Computer Science Reinforcement Learning in Robotics Open access

Jonathan Collu, Riccardo Majellaro, Aske Plaat, Thomas M. Moerland

0

citations
Bosonic quantum error correction with neutral atoms in optical dipole traps
2025 Physical Review A article Computer Science Quantum Computing Algorithms and Architecture Open access

Leon H. Bohnmann, David F. Locher, Johannes Zeiher, Markus Michael Müller

11

citations
An AI-Driven Multi-Source Data Fusion Framework for Intelligent Network Optimization in 5G-A Systems
2026 International Journal of Artificial Intelligence Research article Computer Science Software-Defined Networks and 5G Open access

Elena Conti

0

citations
Long-Memory Reservoir Computing for Data-Scarce Dengue Forecasting
2026 arXiv (Cornell University) preprint Computer Science Neural Networks and Reservoir Computing Open access

Rahul Goswami, Shinjini Paul, Palash Ghosh, Tanujit Chakraborty

0

citations
Bosonic Quantum Error Correction with Neutral Atoms in Optical Dipole Traps
2024 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Leon H. Bohnmann, David F. Locher, Markus Michael Müller

0

citations
How role-play shapes relevance judgment in zero-shot LLM rankers
2025 arXiv (Cornell University) preprint Computer Science Information Retrieval and Search Behavior Open access

Yumeng Wang, Jirui Qi, Catherine Chen, Panagiotis Eustratiadis, Suzan Verberne

0

citations
Can BERT Dig It? Named Entity Recognition for Information Retrieval in the Archaeology Domain
2022 Journal on Computing and Cultural Heritage article Computer Science Topic Modeling Open access

Alex Brandsen, Suzan Verberne, Karsten Lambers, M. Wansleeben

75

citations
Fault-Tolerant Code-Switching Protocols for Near-Term Quantum Processors
2024 PRX Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access cited by 1 patent

Friederike Butt, Sascha Heußen, Manuel Rispler, Markus Michael Müller

28

citations
On solving classes of positive-definite quantum linear systems with quadratically improved runtime in the condition number
2021 Quantum article Computer Science Quantum Computing Algorithms and Architecture Open access

Davide Orsucci, Vedran Dunjko

16

citations
Efficient Feature Compression for the Object Tracking Task
2022 Proceedings - International Conference on Image Processing conference-paper Computer Science Video Coding and Compression Technologies

Robert Henzel, Kiran Misra, Tianying Ji

6

citations
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Kevin Batz, Joost-Pieter Katoen, Francesca Randone, Tobias Winkler

2

citations
Unifying Search and Recommendation in LLMs via Gradient Multi-Subspace Tuning
2026 arXiv (Cornell University) preprint Computer Science Recommender Systems and Techniques Open access

Jujia Zhao, Zihan Wang, Shuaiqun Pan, Suzan Verberne, Zhaochun Ren

0

citations
ReG-SAM: Reference Graph-Driven SAM for 2D Foundational Vessel Segmentation
2026 arXiv (Cornell University) preprint Computer Science Medical Image Segmentation Techniques Open access

Donghang Lyu, Zichen Zhang, Oleh Dzyubachyk, Marius Staring

0

citations
EveLoad: Cognitive Workload Recognition from Event-Based Eye Movements
2026 arXiv (Cornell University) preprint Computer Science Gaze Tracking and Assistive Technology Open access

G. Lu, Shaohua Guan, Zhewei Xu, Qinyu Chen

0

citations
Compression Beyond the Uncompressed: A Two-Stage Training Recipe for Soft Context Compression in RAG
2026 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Shuyu Guo, Shuo Zhang, Zhaochun Ren

0

citations
Fault-Tolerant Code Switching Protocols for Near-Term Quantum Processors
2023 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Friederike Butt, Sascha Heußen, Manuel Rispler

0

citations