From

Institution

Field

Type

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

Reset

Papers matching “satisfiability” 54

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Causal clarity in statistical software
2025 International Journal of Epidemiology article Mathematics Advanced Causal Inference Techniques Open access

Maurice N Korf, Nan van Geloven, Jesse H. Krijthe, Jeremy Alexander Labrecque

0

citations
Ortho-sets and Gelfand spectra
2021 Journal of Physics A Mathematical and Theoretical article Mathematics Advanced Operator Algebra Research

Chun Ding, Chi–Keung Ng

4

citations
Mixing of the averaging process and its discrete dual on finite-dimensional geometries
2023 The Annals of Applied Probability article Mathematics Stochastic processes and statistical mechanics Open access

Matteo Quattropani

3

citations
Zeros transfer for recursively defined polynomials
2023 Research in Number Theory article Mathematics Mathematical functions and polynomials Open access

Bernhard E. Heim, Markus Neuhauser, Robert Tröger

3

citations
Harmonic analysis of little $q$-Legendre polynomials
2020 RWTH Publications (RWTH Aachen) article Mathematics Advanced Operator Algebra Research Open access

Stefan Kahler

0

citations
Nonnegative and Strictly Positive Linearization of Jacobi and Generalized Chebyshev Polynomials
2021 Constructive Approximation article Mathematics Mathematical functions and polynomials Open access

Stefan Kahler

0

citations
Bipartite q-Kneser graphs and two-generated irreducible linear groups
2025 Linear Algebra and its Applications article Mathematics Finite Group Theory Research Open access

S. P. Glasby, Alice C. Niemeyer, Cheryl E. Praeger

0

citations
Adaptive sample size determination for the development of clinical prediction models
2021 Diagnostic and Prognostic Research article Mathematics Statistical Methods in Epidemiology Open access

Evangelia Christodoulou, Maarten van Smeden, Michael Edlinger, Dirk Timmerman, Maria M. Wanitschek, Ewout Willem Steyerberg, +1 more

38

citations
Optional Stopping with Bayes Factors: A Categorization and Extension of Folklore Results, with an Application to Invariant Situations
2020 Bayesian Analysis article Mathematics Statistical Methods and Bayesian Inference Open access

Rianne de Heide

25

citations
Global Solution of Semi-infinite Programs with Existence Constraints
2021 Journal of Optimization Theory and Applications article Mathematics Advanced Optimization Algorithms Research Open access

Hatim Djelassi, Alexander Mitsos

14

citations
Role of the Proportional Odds Assumption for the Analysis of Ordinal Outcomes in Neurologic Trials
2025 Neurology article Mathematics Statistical Methods in Clinical Trials Open access

Yongxi Long, Eveline J.A. Wiegers, Bart C. Jacobs, Ewout Willem Steyerberg, Erik W. van Zwet

14

citations
Low-rank tensor methods for Markov chains with applications to tumor progression models
2022 Journal of Mathematical Biology article Mathematics Tensor decomposition and applications Open access

Peter Georg, Lars Grasedyck, Maren Klever, Rudolf Schill, Rainer Spang, Tilo Wettig

10

citations
Contact three-manifolds with exactly two simple Reeb orbits
2023 Geometry & Topology article Mathematics Geometric and Algebraic Topology Open access

Dan Cristofaro‐Gardiner, Umberto L. Hryniewicz, Michael Hutchings, Hui Liu

10

citations
On the optimality of the rock-salt structure among lattices with charge distributions
2020 Mathematical Models and Methods in Applied Sciences article Mathematics Geometric Analysis and Curvature Flows Open access

Laurent Bétermin, Markus Faulhuber, Hans Knüpfer

9

citations
Variance Continuity for Lorenz Flows
2020 Annales Henri Poincaré article Mathematics Mathematical Dynamics and Fractals Open access

Wael Bahsoun, Ian Melbourne, Marks Ruziboev

9

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
Instrumental Variables Analysis and Mendelian Randomization for Causal Inference
2024 The Journal of Infectious Diseases article Mathematics Advanced Causal Inference Techniques Open access

Erica E. M. Moodie, Saskia le Cessie

6

citations
The Tropical Symplectic Grassmannian
2023 RWTH Publications (RWTH Aachen) article Mathematics Advanced Combinatorial Mathematics

Jorge Alberto Olarte

6

citations
Multiple Imputation of Missing Covariates When Using the Fine–Gray Model
2025 Statistics in Medicine article Mathematics Statistical Methods and Bayesian Inference Open access

Edouard F. Bonneville, Jan Beyersmann, Ruth H. Keogh, Jonathan William Bartlett, Tim Peter Morris, Nicola Polverelli, +2 more

5

citations
Families of Generalized Quasisymmetry Models: A ϕ-Divergence Approach
2021 Symmetry article Mathematics Statistical Methods and Applications Open access

Maria Kateri

5

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

5

citations
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
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
Exponential dichotomies for nonlocal differential operators with infinite range interactions
2021 Journal of Differential Equations article Mathematics Nonlinear Differential Equations Analysis Open access

Willem M. Schouten-Straatman, Hermen Jan Hupkes

3

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