From

Institution

Field

Type

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

Reset

Papers matching “simple type theory” 16

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Improving the Expressivity of Structural Type Theory
2026 Studia Logica article Computer Science Logic, programming, and type systems Open access

Samuel González-Castillo

0

citations
Unisingular representations of rank 1 finite simple groups of Lie type
2026 Communications in Algebra article Mathematics Finite Group Theory Research Open access

0

citations
The Dedekind eta function and D’Arcais-type polynomials
2020 Research in the Mathematical Sciences article Mathematics Advanced Mathematical Identities

Bernhard E. Heim, Markus Neuhauser

19

citations
Maximum Product of Spacings Estimator Under Type-I Censoring With an Application to a Step-Stress Model With Weibull Lifetimes
2024 IEEE Transactions on Reliability article Mathematics Statistical Distribution Estimation and Applications

Maria Kateri, Nikolay Ivanov Nikolov

5

citations
Peircean anti-psychologism and learning theory
2021 Chinese Semiotic Studies article Arts and Humanities Pragmatism in Philosophy and Education

Cary Campbell, Alin Olteanu, Sebastian Feil

8

citations
On the source algebra equivalence class of blocks with cyclic defect groups, I
2023 Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry article Mathematics Finite Group Theory Research

Gerhard Hiß, Caroline Lassueur

2

citations
Crystal gravity
2022 SciPost Physics article Physics and Astronomy Relativity and Gravitational Theory Open access

Jan Zaanen, Floris Balm, Aron Beekman

8

citations
Numerical Representations of Metabolic Systems
2020 Analytical Chemistry article Biochemistry, Genetics and Molecular Biology Metabolomics and Mass Spectrometry Studies Open access

Age K. Smilde, Thomas Hankemeier

2

citations
Mean-field and kinetic descriptions of neural differential equations
2022 Foundations of Data Science article Computer Science Neural Networks and Applications Open access

Michaël Herty, Torsten Trimborn, Giuseppe Visconti

9

citations
A queueing-based approach for integrated routing and appointment scheduling
2024 European Journal of Operational Research article Engineering Vehicle Routing Optimization Methods Open access

René Bekker, Bharti Bharti, Leon Lan, Michel Mandjes

7

citations
Authors’ reply to the Discussion of ‘Safe testing’
2024 Journal of the Royal Statistical Society Series B (Statistical Methodology) article Mathematics Statistical Methods and Inference Open access

Peter Grünwald, Rianne de Heide, Wouter M. Koolen

1

citations
Fractionalized Superconductivity Mediated by Majorana Fermions in the Kitaev-Kondo Lattice
2025 Physical Review Letters article Physics and Astronomy Advanced Condensed Matter Physics Open access

Matthew Bunney, Urban F. P. Seifert, Stephan Rachel, Matthias Vojta

2

citations
P T -symmetric, non-Hermitian quantum many-body physics—a methodological perspective
2023 Reports on Progress in Physics article Physics and Astronomy Quantum Mechanics and Non-Hermitian Physics Open access

V. Meden, Lukas Grunwald, Dante Marvin Kennes

36

citations
Fast All-Electron Hybrid Functionals and Their Application to Rare-Earth Iron Garnets
2022 Frontiers in Materials article Physics and Astronomy Advanced Chemical Physics Studies Open access

Matthias Redies, Gregor Michalicek, Juba Bouaziz, Christian Terboven, Matthias Müller, Stefan Blügel, +1 more

7

citations
Immunity-driven evolution of virulence and diversity in respiratory diseases
2023 Evolution article Biochemistry, Genetics and Molecular Biology Evolution and Genetic Dynamics Open access

Johan A. J. Metz, Barbara Boldin

3

citations
Demonstration of an imaging technique for the measurement of PSF elongation caused by Atmospheric Dispersion
2022 Monthly Notices of the Royal Astronomical Society article Physics and Astronomy Adaptive optics and wavefront sensing Open access

Willem Jellema

0

citations

16 results