From

Institution

Field

Type

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

Reset

Papers matching “satisfiability” 480

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Using learned priors to regularize the Helmholtz equation least-squares method
2024 The Journal of the Acoustical Society of America article Mathematics Numerical methods in inverse problems

Thiago Henrique Gomes Lobato, Roland Sottek, Michael Vorländer

5

citations
Stochastic games with lexicographic objectives
2023 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Krishnendu Chatterjee, Joost-Pieter Katoen, Stefanie Mohr, Maximilian Weininger, Tobias Winkler

5

citations
How we achieve satisfaction in training – A German-wide survey on preferred training conditions among trainers and trainees for board certification in gastroenterology
2023 Zeitschrift für Gastroenterologie article Medicine Innovations in Medical Education Open access

S Schlosser, Jakob Garbe, Karim Hamesch, Stavros Dimitriadis, Jonas J. Staudacher

5

citations
Historic cohort: outcome of chronic exertional compartment syndrome-suspected patients
2020 BMJ Military Health article Medicine Muscle and Compartmental Disorders Open access

Roy Maksymiak, Ewan Ritchie, Wes O. Zimmermann, Nansi Maliko, Michael van de Werve, Monique Verschure, +1 more

5

citations
The Tropical Symplectic Grassmannian
2021 International Mathematics Research Notices article Mathematics Advanced Combinatorial Mathematics Open access

5

citations
Water-assisted multistep MOCVD for wafer-scale layer-by-layer growth of WSe2
2025 MRS Bulletin article Materials Science 2D Materials and Applications Open access

Yibing Wang, Songyao Tang, Zhaodong Wang, YI Ming Ding, Hleb Fiadziushkin, Amir Ghiami, +4 more

5

citations
EC2Seq2Sql: Patient-trial matching with LLM agents
2026 PLoS ONE article Computer Science Machine Learning in Healthcare Open access cited by 1 patent

Liu Yang, Yongzhong Han, Liang Liu, Xiaoyan Jiang, Ying Li, Jihan Huang, +1 more

5

citations
On the Linearity of Order-isomorphisms
2020 Canadian Journal of Mathematics article Mathematics Advanced Banach Space Theory Open access

Bas Lemmens, Onno van Gaans

4

citations
Life is Random, Time is Not: Markov Decision Processes with Window Objectives
2020 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickaël Randour

4

citations
Dirac leptogenesis from asymmetry wash-in via scatterings
2024 Physical review. D/Physical review. D. article Physics and Astronomy Particle physics theoretical and experimental studies Open access

T. Blažek, Julian Heeck, Jan Heisig, Peter Maták, Viktor Zaujec

4

citations
Patient satisfaction and sexual issues in vulvar lichen sclerosus treatment: a monocentric certified dysplasia unit survey analysis
2024 Archives of Gynecology and Obstetrics article Medicine Genital Health and Disease Open access

Philipp Meyer-Wilmes, Julia Wittenborn, Tomáš Kupec, Rebecca Caspers, Elmar Stickeler, Séverine Iborra

4

citations
Optimizing the Acceptability, Adherence, and Inclusiveness of the COVID Radar Surveillance App: Qualitative Study Using Focus Groups, Thematic Content Analysis, and Usability Testing
2022 JMIR Formative Research article Health Professions Mobile Health and mHealth Applications Open access

Bas Splinter, Nicholas H. Saadah, Niels Henrik Chavannes, Jessica C. Kiefte–de Jong, Jiska Joëlle Aardoom

4

citations
Transfer-learned Kolosov–Muskhelishvili informed neural networks for fracture mechanics
2026 Theoretical and Applied Fracture Mechanics article Engineering Numerical methods in engineering Open access

Shuwei Zhou, Christian Häffner, Shuancheng Wang, Sophie Stebner, Zhen Liao, Bing Yang, +2 more

4

citations
Comparing Mobile C-Arm with a Hybrid Operating Room for Imaging in Fenestrated Stent-Graft Endovascular Abdominal Aortic Aneurysm Repair
2020 Annals of Vascular Surgery article Medicine Aortic aneurysm repair treatments Open access

Ozan Yazar, Barend M.E. Mees, An‐Lies Provoost, Shirley Ketting, Michiel W. de Haan, Geert Willem H. Schurink

4

citations
Laser predrilling for high-precision positioning and installation of fully threaded screws in glued-laminated timber (glulam)
2022 Wood Material Science and Engineering article Engineering Wood Treatment and Properties

Martin Trautz, Denis Grizmann, Andrija Pranjic, Michael Raupach, Clarissa Glawe, Arnold Gillner, +2 more

4

citations
Dutch professionals' discussion preferences with the parents of extremely premature infants varied, but the trend was towards shared decision‐making
2023 Acta Paediatrica article Medicine Ethics and Legal Issues in Pediatric Healthcare Open access

Rosa Geurtzen, Lien De Proost, Eduard A. A. Verhagen, Irwin K. M. Reiss, Marije Hogeveen, E. J. T. Verweij

4

citations
Multi‐parameter design optimization of crash box for crashworthiness analysis
2024 PAMM article Engineering Transportation Safety and Impact Analysis Open access

Aditya Borse, Rutwik Gulakala, Marcus Stoffel

4

citations
Closed-form design concept for fully utilized FRP-reinforced rectangular concrete cross-sections accompanied by experimental validation on carbon-reinforced beams
2024 Structures article Engineering Structural Behavior of Reinforced Concrete Open access

Homam Spartali, Josef Hegger, Birgit Beckmann, Rostislav Chudoba

4

citations
Proximal humeral endoprosthetic reconstruction for tumour defects
2025 Bone & Joint Open article Medicine Shoulder Injury and Treatment Open access

Richard E. Evenhuis, Michaël P. A. Bus, Simen Sellevold, Edwin F. Dierselhuis, Ioannis G. Trikoupis, Maurizio Scorianz, +4 more

4

citations
End-to-end quantum algorithm for topology optimization in structural mechanics
2026 Quantum Science and Technology article Computer Science Quantum Computing Algorithms and Architecture Open access

Leonhard Hölscher, Oliver Ahrend, Lukas Karch, Carlotta L'Estocq, Marc Andreu Marfany, Tobias Stollenwerk, +2 more

4

citations
EVELUT®: A Real-World, Observational Study Assessing Dyspnoea and Symptom Burden in COPD Patients Switched from LABA/ICS to LAMA/LABA or LAMA/LABA/ICS
2023 Advances in Therapy article Medicine Chronic Obstructive Pulmonary Disease (COPD) Research Open access

Roland Buhl, Michael Dreher, Muriel Mattiucci-Guehlke, Rachel Emerson-Stadler, Christian Taube, Claus Franz Vogelmeier

4

citations
Real-Time Quality Control in Thin Glass Forming Using Infrared Thermography and Deep Learning
2022 Key engineering materials article Engineering Industrial Vision Systems and Defect Detection Open access

Anh Tuan Vu, Paul Alexander Vogel, Abimathi Siva Subramanian, Tim Grunwald, Thomas Bergs

4

citations
Big data networks: Dynamic Time Warping as a statistical tool for network analysis using Ecological Momentary Assessment data
2023 European Psychiatry article Psychology Mental Health Research Topics Open access

Florentine H. S. van der Does, Femke Lamers, Brenda W.J.H. Penninx, Harriëtte Riese, Eric H. G. J. M. Vermetten, Klaas J. Wardenaar, +2 more

3

citations
Telemedicine Improves Performance of a Two-Incision Lower Leg Fasciotomy by Combat Medics: A Randomized Controlled Trial
2023 Military Medicine article Medicine Telemedicine and Telehealth Implementation Open access

Pieter W. Stark, Boudewijn L.S. Borger van der Burg, Thijs T. C. F. van Dongen, Marnalg Casper, Wouter, Rigo Hoencamp

3

citations
Cross-cultural adaptation and psychometric testing of the Dutch and German versions of the Evaluation of Daily Activity Questionnaire in people with rheumatoid arthritis
2020 Rheumatology International article Medicine Rheumatoid Arthritis Research and Therapies Open access

Alison Hammond, Jorit J. L. Meesters, Karin Niedermann, Alan H. Tennant, T. P. M. Vliet Vlieland, Sarah F. Tyson, +1 more

3

citations