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.

Using surgical wrapping material for the fabrication of respirator masks
2020 medRxiv preprint Medicine Infection Control and Ventilation Open access

Johanna H. Meijer, Joric Oude Vrielink

3

citations
Flash Pyrolysis Kinetics of Extracted Lignocellulosic Biomass Components – Supplementary Dataset
2021 RWTH Publications (RWTH Aachen) dataset Engineering Thermochemical Biomass Conversion Processes Open access

Stefan Pielsticker, Benjamin Gövert, Kentaro Umeki, Reinhold Kneer

3

citations
Reconciling econometrics with continuous maximum-entropy network models
2022 Chaos Solitons & Fractals article Physics and Astronomy Complex Network Analysis Techniques Open access

Marzio Di Vece, Diego Garlaschelli, Tiziano Squartini

3

citations
An A‐Priori‐Splitting‐Based Heuristic for the Split Delivery Vehicle Routing Problem With Time Windows
2025 Networks article Engineering Vehicle Routing Optimization Methods

Christian Becker

2

citations
Superpixel segmentations for thin sections: evaluation of methods to enable the generation of machine learning training data sets
2021 preprint Computer Science Advanced Neural Network Applications Open access

Jiaxin Yu, Florian Wellmann, Simon Virgo, Marven von Domarus, Mingze Jiang, Joyce Schmatz, +1 more

2

citations
Re. Selecting Optimal Subgroups for Treatment Using Many Covariates
2020 Epidemiology article Mathematics Advanced Causal Inference Techniques Open access

Bas B. L. Penning de Vries, Rolf H. H. Groenwold, Alex R. Luedtke

2

citations
Telemedicine for Potential Application in Austere Military Environments: Neurosurgical Support for a Decompressive Craniectomy
2024 Military Medicine article Medicine Telemedicine and Telehealth Implementation Open access

Pieter W. Stark, Oscar J.F. Van Waes, John S. Soria van Hoeve, Boudewijn L.S. Borger van der Burg, Rigo Hoencamp

2

citations
Association between older adults’ socioeconomic status and their healthcare experiences, preferences, and attitudes towards deprescribing: a cross-sectional study in 14 countries
2025 Archives of Public Health article Medicine Pharmaceutical Practices and Patient Outcomes Open access

Renata Vidonscky Lüthold, Esther Kleijer-Werkman, Katharina Tabea Jungo, Zsofia Rozsnyai, Limor Adler, Radost Assenova, +17 more

2

citations
Laws of Large Numbers for Weighted Sums of Independent Random Variables: A Game of Mass
2023 Journal of Theoretical Probability article Mathematics Probability and Statistical Research Open access

Luca Avena, Conrado da Costa

2

citations
Communication skills-based training about medication switch encounters: pharmacy staff and patients’ experiences
2024 International Journal of Clinical Pharmacy article Pharmacology, Toxicology and Pharmaceutics Pharmacy and Medical Practices Open access

Laura Schackmann, Ellen S. Koster, Liset van Dijk, Marcia Vervloet, Mette Heringa

2

citations
Feasibility and reliability of screening on mild to borderline intellectual disabilities using SCIL through video-administration
2020 Journal of Intellectual Disabilities and Offending Behaviour article Medicine Down syndrome and intellectual disability research

Nienke Spaan, Matthijs Verzaal, Hendrien Kaal

2

citations
Differentiability of the Diffusion Coefficient for a Family of Intermittent Maps
2022 Journal of Dynamical and Control Systems article Mathematics Mathematical Dynamics and Fractals Open access

Fanni M. Sélley

2

citations
Existence and structure of symmetric Beltrami flows on compact $3$-manifolds
2020 arXiv (Cornell University) preprint Mathematics Geometric Analysis and Curvature Flows Open access

Wadim Gerner

2

citations
Guidance List for repOrting Bibliometric AnaLyses (GLOBAL): Explanation and Elaboration
2026 Research Square preprint Social Sciences scientometrics and bibliometrics research Open access

Jeremy Y. Ng, Niveen Syed, Dalia Zubashev, Mehvish Masood, Henry Liu, Michel Sabé, +21 more

2

citations
Schertz style class invariants for higher degree CM fields
2025 Mathematics of Computation article Mathematics Advanced Algebra and Geometry Open access

Andreas Enge, Marco Streng

2

citations
E-values as statistical evidence: a comparison to Bayes factors, likelihoods, and p-values
2026 Synthese article Mathematics Statistical Methods and Bayesian Inference Open access

Ben Chugg, Aaditya Ramdas, Peter Grünwald

2

citations
Constructions of normal numbers with infinite digit sets
2025 Journal of Complexity article Mathematics Mathematical Dynamics and Fractals Open access

Aafko Boonstra, Charlene Kalle

2

citations
Reassessing planetary composition: Evidence of rock-dominated envelopes in Uranus and Neptune
2026 Astronomy and Astrophysics article Earth and Planetary Sciences Astro and Planetary Science Open access

Vanesa Ramírez, Yamila Miguel, Saburo Howard

2

citations
Enhancing migraine care and research through Telemedicine and telemonitoring: E-diary tracking and home EEG.
2025 Computational and Structural Biotechnology Journal article Medicine Migraine and Headache Studies Open access

Annemijn S.J.C. Oosterlee, Britt W. H. van der Arend, Jamie Duijvelshoff, Mark van de Ruit, Gisela Marie Terwindt

2

citations
Euclid preparation. Three-dimensional galaxy clustering in configuration space: Three-point correlation function estimation
2026 arXiv (Cornell University) preprint Physics and Astronomy Galaxies: Formation, Evolution, Phenomena Open access

Euclid Collaboration, Alfonso Veropalumbo, M. Moresco, F. Marulli, E. Branchini, M Guidi, +94 more

2

citations
From symbolic constraint automata to Promela
2022 Journal of Logical and Algebraic Methods in Programming article Computer Science Formal Methods in Verification Open access

Hui Juan Feng, Marcello Bonsangue, Benjamin Lion

2

citations
Learning From Consultations Conducted by Community Pharmacists in Northern Ireland for Nonprescription Sildenafil: A Qualitative Study Using the Theoretical Domains Framework
2021 Sexual Medicine article Pharmacology, Toxicology and Pharmaceutics Pharmacy and Medical Practices Open access

Rineke Gordijn, Martina Teichert, Henk Willem Elzevier, Henk‐Jan Guchelaar, Carmel M Hughes

2

citations
Characterizing Neural Manifolds' Properties and Curvatures using Normalizing Flows
2026 PRX Life article Neuroscience Neural dynamics and brain function Open access

Peter Bouss, Sandra Nestler, Kirsten Fischer, Claudia Merger, Lars Schutzeichel, Simon Musall, +2 more

2

citations
Attracting and Natural Invariant Varieties for Polynomial Vector Fields and Control Systems
2020 Qualitative Theory of Dynamical Systems article Mathematics Advanced Differential Equations and Dynamical Systems Open access

Niclas Kruff, Christian Schilli, Sebastian Walcher, Eva Zerz

2

citations
Mixed-Integer Quadrangulation
2023 ACM eBooks book-chapter Computer Science Computational Geometry and Mesh Generation

David Bommes, Henrik Zimmer, Leif P. Kobbelt

2

citations