From

Institution

Field

Type

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

Reset

Papers matching “effective properties” 106

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Leveraging Spatial Cues from Cochlear Implant Microphones to Efficiently Enhance Speech Separation in Real-World Listening Scenes
2025 arXiv (Cornell University) preprint Computer Science Speech and Audio Processing Open access

Feyisayo Olalere, Kiki van der Heijden, Hendrik Christiaan Stronks, Jeroen Johannes Briaire, Johan H. M. Frijns, Marcel A. J. van Gerven

0

citations
Automatic Modulation Classification Method for Multiple Antenna System Based on Convolutional Neural Network
2020 preprint Computer Science Wireless Signal Modulation Classification Open access

Juan Wang, Yu Wang, Wenmei Li, Fumiyuki Adachi, Haris Gacanin

0

citations
Report on the 1st Workshop on Human-Centered Recommender Systems (HCRS 2025) at TheWebConf 2025
2025 ACM SIGIR Forum article Computer Science Recommender Systems and Techniques

Kaike Zhang, Yunfan Wu, Yougang Lyu, Du Su, Yingqiang Ge, Shuchang Liu, +3 more

0

citations
Fuzzy k-anonymity in complex networks
2026 Scientific Reports article Computer Science Privacy-Preserving Technologies in Data Open access

R. Jong, Mark van der Loo, Frank W. Takes

0

citations
Beyond Spatio-Temporal Representations: Evolving Fourier Transform for Temporal Graphs
2024 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

Anson Bastos, Kuldeep Singh, Abhishek Nadgeri, Manish Singh, Toyotaro Suzumura

0

citations
Quantifier Elimination and Craig Interpolation, Quantitatively
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

0

citations
Generalizable Insights for Graph Transformers in Theory and Practice
2025 neural information processing systems conference-paper Computer Science Advanced Graph Neural Networks Open access

Timo Stoll

0

citations
Formal software engineering of distributed systems using focus-streams and automata
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Stüber

0

citations
Weisfeiler-Leman at the margin: When more expressivity matters
2024 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

Ameya Velingker, Floris Geerts

0

citations
Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants
2022 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

0

citations
Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Adithya Murali, Lucas Peña, Eion Blanchard, Christof Löding, P. Madhusudan

0

citations
Incremental Property Directed Reachability
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Max Blankestijn, Alfons Laarman

0

citations
Integrating Information Theory and Adversarial Learning for Cross-modal Retrieval
2021 arXiv (Cornell University) preprint Computer Science Multimodal Machine Learning Applications Open access

Wei Chen, Yu Liu, Erwin M. Bakker, Michael S. Lew

0

citations
Fuzzy k-anonymity in complex networks
2026 arXiv (Cornell University) preprint Computer Science Privacy-Preserving Technologies in Data Open access

R. Jong, Mark van der Loo, Frank W. Takes

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Quantifier Elimination and Craig Interpolation: The Quantitative Way
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

0

citations
Learning General Policies from Examples
2025 Principles of Knowledge Representation and Reasoning conference-paper Computer Science AI-based Problem Solving and Planning Open access

Blai Bonet, Héctor Geffner

0

citations
Structure-exploiting uncertainty quantification and control : Bayesian inference and Itô SDE methods from MRI segmentation to autonomous sensing
2025 RWTH Publications (RWTH Aachen) dissertation Computer Science Medical Image Segmentation Techniques Open access

Felix Terhag

0

citations
Reverberation makes interior spaces appear larger
2022 Convention of the European Acoustics Association Forum Acusticum conference-paper Computer Science Speech and Audio Processing Open access

Daniel Oberfeld, N. Kalmbach, Christoph von Castell, Sabah Boustila, L. Aspöck, Dominique Bechmann

0

citations
On the Progression of Belief
2021 conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Daxin Liu

0

citations
A Systematic Review of Spectral Graph Methods for 5G Core Network Slicing: Methods, Architectures, and Future Research Directions
2025 International Journal on Advanced Computer Theory and Engineering review Computer Science Software-Defined Networks and 5G Open access

Emily L. Thompson, Karl Schneider, Alexei Petrov

0

citations
Work-Stealing Prefix Scan: Addressing Load Imbalance in Large-Scale Image Registration
2021 IEEE Transactions on Parallel and Distributed Systems article Computer Science Parallel Computing and Optimization Techniques Open access

Marcin Copik, Tobias Grosser, Torsten Hoefler, Paolo Bientinesi, Benjamin Berkels

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations
Targeted Cepstral Jitter Modeling Using Lightweight Neural Networks for Real-time Auditory Feedback Modulation
2026 Current Directions in Biomedical Engineering article Computer Science Speech and Audio Processing Open access

Henning Eikens, A. Culcu, K. Hollborn, Isabel Schiller, G. Schmidt

0

citations
Quantitative Monitoring of Signal First-Order Logic
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu

0

citations