From

Institution

Field

Type

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

Reset

Papers matching “satisfiability” 815

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Algorithmic Reduction of Biological Networks with Multiple Time Scales
2021 Mathematics in Computer Science article Biochemistry, Genetics and Molecular Biology Gene Regulatory Network Analysis Open access

Niclas Kruff, Christoph Lüders, Ovidiu Radulescu, Thomas Sturm, Sebastian Walcher

9

citations
Impairments-Aware Resource Allocation for FD Massive MIMO Relay Networks: Sum Rate and Delivery-Time Optimization Perspectives
2021 IEEE Transactions on Signal and Information Processing over Networks article Engineering Full-Duplex Wireless Communications

Vimal Radhakrishnan, Omid Taghizadeh, Rudolf Mathar

9

citations
Thermal WIMPs and the scale of new physics: global fits of Dirac dark matter effective field theories
2021 The European Physical Journal C article Physics and Astronomy Dark Matter and Cosmic Phenomena Open access

Peter Athron, Neal P. Avis Kozar, Csaba Balázs, Ankit Beniwal, Sanjay Bloor, Torsten Bringmann, +18 more

8

citations
Quality of life 1 year after uterine artery embolization vs hysterectomy for symptomatic adenomyosis ( QUESTA study)
2025 Acta Obstetricia Et Gynecologica Scandinavica article Medicine Endometriosis Research and Treatment Open access

Lisa M. Trommelen, Annika Semmler, Annefleur Machteld de Bruijn, Marissa J. Harmsen, Marieke Smink, Petra F. Janssen, +34 more

8

citations
Exposing Finite-Depth, Finite-Shot Guarantees for Constrained Quantum Optimization via Fejér Filtering
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Chinonso Onah, Kristel F. L. Michielsen

8

citations
Quantum Policy Gradient Algorithms
2022 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Sofiène Jerbi, Arjan Cornelissen, Māris Ozols, Vedran Dunjko

8

citations
Telemedicine in Neuromuscular Diseases During Covid-19 Pandemic: ERN-NMD European Survey
2022 Journal of Neuromuscular Diseases article Medicine Telemedicine and Telehealth Implementation Open access

Lynda El‐Hassar, Ahmed Ben Amara, Benoît Sanson, Oana Lăcătuș, Ahmed Amir Belhouchet, Madelon W. Kroneman, +44 more

8

citations
A Comprehensive Overview of Intraoperative Complications during Retzius-Sparing Robot-Assisted Radical Prostatectomy: Single Series from High-Volume Center
2024 Cancers article Medicine Prostate Cancer Diagnosis and Treatment Open access

Alberto Olivero, Stefano Tappero, Francesco Chierigo, Ofir Maltzman, Silvia Secco, Erika Palagonia, +4 more

8

citations
Best of Both Worlds: Agents with Entitlements
2024 Journal of Artificial Intelligence Research article Economics, Econometrics and Finance Game Theory and Voting Systems Open access

Martin Hoefer, Marco Schmalhofer, Giovanna Varricchio

8

citations
Submillimeter fMRI Acquisition Techniques for Detection of Laminar and Columnar Level Brain Activation
2023 Journal of Magnetic Resonance Imaging article Medicine Advanced MRI Techniques and Applications Open access

Seong Dae Yun, Fabian Küppers, Nadim Jon Shah

8

citations
Diagrammatic approach to scattering of multiphoton states in waveguide QED
2021 Physical Review A article Physics and Astronomy Quantum optics and atomic interactions Open access

Kiryl Piasotski, Mikhail Pletyukhov

8

citations
Euclid : Photometric redshift calibration with self-organising maps
2025 Astronomy and Astrophysics article Physics and Astronomy Galaxies: Formation, Evolution, Phenomena Open access

W. Roster, Angus H. Wright, Hendrik Hildebrandt, Robert Reischke, Olivier Ilbert, W d'Assignies, +93 more

8

citations
A general isogeometric finite element formulation for rotation‐free shells with in‐plane bending of embedded fibers
2022 International Journal for Numerical Methods in Engineering article Engineering Advanced Numerical Analysis Techniques Open access

Thang X. Duong, Mikhail Itskov, Roger A. Sauer

8

citations
Data augmentation for disruption prediction via robust surrogate models
2022 Journal of Plasma Physics article Physics and Astronomy Magnetic confinement fusion research Open access

Katharina Rath, David Rügamer, Bernd Bischl, U. von Toussaint, Cristina Rea, Andrew Maris, +2 more

8

citations
Euclid preparation
2026 Astronomy and Astrophysics article Physics and Astronomy Cosmology and Gravitation Theories Open access

S Vinciguerra, Filippo Bouchè, N. Martinet, Lina Castiblanco, Cora Uhlemann, S. Pires, +88 more

8

citations
Counting elliptic curves with prescribed level structures over number fields
2022 Journal of the London Mathematical Society article Mathematics Algebraic Geometry and Number Theory Open access

Peter Bruin, Filip Najman

7

citations
Towards Service Deployment and Composition in Industry 4.0
2021 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) conference-paper Computer Science Advanced Software Engineering Methodologies

Tarik Terzimehić, Kirill Dorofeev, Sebastian Bergemann, Alois Zoitl, Sebastian Voß

7

citations
The gray area of RQ-PCR-based measurable residual disease: subdividing the “positive, below quantitative range” category
2024 Leukemia article Medicine Acute Lymphoblastic Leukemia research Open access

Michaela Kotrová, Eva Froňková, Michael Svatoň, Daniela Drandi, Felix Schön, Patricia G. Hoogeveen, +13 more

7

citations
Investigation of different communication strategies for a delivery robot: the positive effects of humanlike communication styles
2021 conference-paper Psychology Social Robot Interaction and HRI

Pia S. C. Dautzenberg, G. M. I. Vos, Stefan Ladwig, Astrid Marieke Rosenthal-Von Der Pütten

7

citations
COVID-box Experiences of Patients and Health Care Professionals (COVID-box Project): Single-Center, Retrospective, Observational Study
2022 JMIR Formative Research article Medicine Telemedicine and Telehealth Implementation Open access

Ebru Dirikgil, Kim Brons, Michael Duindam, Geert H. Groeneveld, J.J. Miranda Geelhoed, Christian Heringhaus, +6 more

7

citations
Advanced therapies are ready to take centre stage: Academia's involvement with regulation needs to raise its game
2021 British Journal of Clinical Pharmacology article Medicine Biomedical Ethics and Regulation Open access

Ana Hidalgo‐Simon, Willem E. Fibbe

7

citations
Imagineering, or what Images do to People: Violence and the Spectacular in the Seventeenth-Century Dutch Republic
2021 Cultural History article Arts and Humanities Visual Culture and Art Theory Open access

Frans‐Willem Korsten, Cornelis van der Haven, Inger Leemans, Karel Vanhaesebrouck, Michel van Duijnen, Yannice De Bruyn

7

citations
Mind the gap: Comparing parents' information needs about impending preterm birth to current clinical practices using a mixed methods approach
2024 PEC Innovation article Medicine Infant Development and Preterm Care Open access

Angela C.M. Van Zijl, Sylvia A Obermann-Borst, Marije Hogeveen, E. J. T. Verweij, Willem B. de Vries, Rosa Geurtzen, +1 more

7

citations
Long-Time Behavior of Deterministic Mean Field Games with Nonmonotone Interactions
2024 SIAM Journal on Mathematical Analysis article Economics, Econometrics and Finance Stochastic processes and financial applications Open access

Martino Bardi, Hicham Kouhkouh

7

citations
KiDS-Legacy: Constraints on Horndeski gravity from weak lensing combined with galaxy clustering and cosmic microwave background anisotropies
2026 Astronomy and Astrophysics article Physics and Astronomy Cosmology and Gravitation Theories Open access

Benjamin Stölzner, Robert Reischke, Matteo Grasso, Matteo Cataneo, Benjamin Joachimi, Arthur Loureiro, +22 more

7

citations