From

Institution

Field

Type

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

Reset

Papers matching “model parameterization” 122

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Parameter Synthesis for Markov Models: Prophesy and model files
2023 Zenodo (CERN European Organization for Nuclear Research) dataset Computer Science Formal Methods in Verification Open access

Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, +1 more

0

citations
Parameter Synthesis for Markov Models: Prophesy and model files
2023 Radboud Repository (Radboud University) dataset Computer Science Formal Methods in Verification Open access

Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, +1 more

0

citations
Parameter Synthesis in Markov Models: A Gentle Survey
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Nils Jansen, Sebastian Junges, Joost-Pieter Katoen

0

citations
Model-Based Algorithm Configuration with Default-Guided Probabilistic Sampling
2020 Lecture notes in computer science conference-paper Computer Science Metaheuristic Optimization Algorithms Research

Marie Anastacio, Holger H. Hoos

5

citations
Combining sequential model-based algorithm configuration with default-guided probabilistic sampling
2020 Genetic and Evolutionary Computation Conference Companion (GECCO Companion) conference-paper Computer Science Metaheuristic Optimization Algorithms Research

Marie Anastacio, Holger H. Hoos

2

citations
First-Order Model-Checking in Random Graphs and Complex Networks
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Philipp Kuinke, Peter Rossmanith

1

citations
First-Order Model-Checking in Random Graphs and Complex Networks
2020 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Philipp Kuinke, Peter Rossmanith

1

citations
Reinforcement Learning for Quality-Oriented Production Process Parameter Optimization Based on Predictive Models
2023 Advances in transdisciplinary engineering book-chapter Computer Science Reinforcement Learning in Robotics Open access

Akshay Paranjape, Nils Plettenberg, Markus Ohlenforst, Robert Heinrich Schmitt

2

citations
Convex Optimization for Parameter Synthesis in MDPs
2021 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

21

citations
Joint Parameter and State-Space Modelling of Manufacturing Processes using Gaussian Processes
2024 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) conference-paper Computer Science Gaussian Processes and Bayesian Inference

Saksham Kiroriwal, Julius Pfrommer, Hendrik Mende, Robert Heinrich Schmitt, Jürgen Beyerer

1

citations
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges

0

citations
Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Alexis de Colnet, Floris Geerts, Rihan Hai, Alfons Laarman, Joon Hyung Lee, Guillermo A. Pérez

0

citations
Two-step and explosive synchronization in frequency-weighted Kuramoto model
2024 Physica D Nonlinear Phenomena article Computer Science Nonlinear Dynamics and Pattern Formation Open access

Sara Ameli, Keivan Aghababaei Samani

6

citations
Improving the Training Recipe for a Robust Conformer-based Hybrid Model
2022 arXiv (Cornell University) preprint Computer Science Speech Recognition and Synthesis Open access

Mohammad Zeineldeen, Jingjing Xu, Ralf Schlüter, Hermann Ney

0

citations
Mask R-CNN based droplet detection in liquid–liquid systems, Part 2: Methodology for determining training and image processing parameter values improving droplet detection accuracy
2023 Chemical Engineering Journal article Computer Science Advanced Neural Network Applications

Stepan Sibirtsev, Song Zhai, Mathias Neufang, Jakob Seiler, Andreas Jupke

27

citations
Parameter Synthesis in Markov Models: A Gentle Survey
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Nils Jansen, Sebastian Junges, Joost-Pieter Katoen

15

citations
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
2025 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

Linus Heck, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, Sebastian Junges

1

citations
Parameter synthesis for Markov models: covering the parameter space
2024 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann, +1 more

20

citations
Two-community noisy Kuramoto model with general interaction strengths. I.
2021 PubMed article Computer Science Nonlinear Dynamics and Pattern Formation

Stefan Achterhof, Janusz M Meylahn

4

citations
Two-community noisy Kuramoto model with general interaction strengths. I
2021 Chaos An Interdisciplinary Journal of Nonlinear Science article Computer Science Nonlinear Dynamics and Pattern Formation Open access

Stefan Achterhof, Janusz M Meylahn

3

citations
An Extended Model Including Target Turnover, Ligand–Target Complex Kinetics, and Binding Properties to Describe Drug–Receptor Interactions
2021 Methods in molecular biology book-chapter Computer Science Computational Drug Discovery Methods

Lambertus A. Peletier

3

citations
Parameter synthesis in Markov models
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Formal Methods in Verification Open access

Sebastian Junges

27

citations
MELoRA: Mini-Ensemble Low-Rank Adapters for Parameter-Efficient Fine-Tuning
2024 arXiv (Cornell University) preprint Computer Science Domain Adaptation and Few-Shot Learning Open access

Pengjie Ren, Chengshun Shi, Shiguang Wu, Mengqi Zhang, Zhaochun Ren, Maarten de Rijke, +2 more

0

citations
Is Temperature the Creativity Parameter of Large Language Models?
2024 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Max Peeperkorn, Tom Kouwenhoven, Anna Jordanous

49

citations
Parameter-efficient Bayesian Neural Networks for Uncertainty-aware Depth Estimation
2024 arXiv (Cornell University) preprint Computer Science Advanced Neural Network Applications Open access

Richard D. Paul, Alessio Quercia, Vincent Fortuin, Katharina Nöh, Hanno Scharr

0

citations