A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

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

Papers matching “effective properties” 106

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Formal Verification of Quantum Ancilla Safety
2026 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Jiqi Li, Jingyi Mei, Wang Sheng Fang, Ji Guan

0

citations
Exploring Solver-Level Warmstarting for Neural Network Verification
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Annelot W. Bosman, Minghao Liu, Marta Kwiatkowska, Holger H. Hoos, Jan N. van Rijn

0

citations
pytroll/pyorbital: Version 1.11.0
2025 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

0

citations
The 1st Workshop on Human-Centered Recommender Systems
2024 arXiv (Cornell University) preprint Computer Science Recommender Systems and Techniques Open access

Kaike Zhang, Yunfan Wu, Yingqiang Ge, Shuchang Liu, Zhaochun Ren, Fei Sun

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
Embodiment of a functionally altered virtual arm in adults and children
2026 Cognition article Computer Science Virtual Reality Applications and Impacts Open access

Leif Johannsen, Yuke Pi, Simon Thurlbeck, Marco Fyfe Pietro Gillies, Xueni Pan, Dorothy A. Cowie

0

citations