Paper-Conference | Neuro-Mechanistic Modeling https://mosi.uni-saarland.de/publications/type/paper-conference/ Paper-Conference Hugoen-usSat, 01 Aug 2026 00:00:00 +0000 https://mosi.uni-saarland.de/media/icon_hu_79d10899b013012f.png Paper-Conference https://mosi.uni-saarland.de/publications/type/paper-conference/ How PC-based Methods Err: Towards Better Reporting of Assumption Violations and Small Sample Errors https://mosi.uni-saarland.de/publications/faltenbacher-how-pc-based-methods-err-2026/ Sat, 01 Aug 2026 00:00:00 +0000 https://mosi.uni-saarland.de/publications/faltenbacher-how-pc-based-methods-err-2026/ Per-Domain Generalizing Policies: On Learning Efficient and Robust Q-Value Functions https://mosi.uni-saarland.de/publications/muller-per-domain-generalizing-policies-on-2026/ Mon, 01 Jun 2026 00:00:00 +0000 https://mosi.uni-saarland.de/publications/muller-per-domain-generalizing-policies-on-2026/ AI CHAOS! 2nd Workshop on the Challenges for Human Oversight of AI Systems https://mosi.uni-saarland.de/publications/khadar-aichaos-2-nd-workshop-2026/ Wed, 01 Apr 2026 00:00:00 +0000 https://mosi.uni-saarland.de/publications/khadar-aichaos-2-nd-workshop-2026/ Toward a General Framework for Evaluating Per-Domain Generalization Using LLMs, Theorem Provers, and Statistical Model Checking https://mosi.uni-saarland.de/publications/muller-toward-a-general-framework-2026/ Thu, 01 Jan 2026 00:00:00 +0000 https://mosi.uni-saarland.de/publications/muller-toward-a-general-framework-2026/ Learning Per-Domain Generalizing Policies Using Offline Reinforcement Learning https://mosi.uni-saarland.de/publications/muller-learning-per-domain-generalizing-policies-2025/ Sat, 01 Nov 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/muller-learning-per-domain-generalizing-policies-2025/ PyDSMC: Statistical Model Checking for Neural Agents Using the Gymnasium Interface https://mosi.uni-saarland.de/publications/gros-py-dsmc-statistical-model-checking-2025/ Wed, 01 Oct 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-py-dsmc-statistical-model-checking-2025/ Visual Analysis of Action Policy Behavior: A Case Study in Grid-World Driving https://mosi.uni-saarland.de/publications/gros-visual-analysis-of-action-2025/ Wed, 01 Oct 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-visual-analysis-of-action-2025/ Using Action-Policy Testing in RL to Reduce the Number of Bugs https://mosi.uni-saarland.de/publications/eniser-using-action-policy-testing-in-2025/ Fri, 01 Aug 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/eniser-using-action-policy-testing-in-2025/ Structural Causal Bottleneck Models https://mosi.uni-saarland.de/publications/bing-structural-causal-bottleneck-models-2025/ Sun, 01 Jun 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/bing-structural-causal-bottleneck-models-2025/ Aggregation Problems in Machine Ethics and AI Alignment https://mosi.uni-saarland.de/publications/baum-aggregation-problems-in-machine-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-aggregation-problems-in-machine-2025/ Bridging the Gap Between AI Planning and Reinforcement Learning https://mosi.uni-saarland.de/publications/ajanovi-bridging-the-gap-between-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/ajanovi-bridging-the-gap-between-2025/ Disentangling AI Alignment: A Structured Taxonomy Beyond Safety and Ethics https://mosi.uni-saarland.de/publications/baum-disentangling-ai-alignment-a-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-disentangling-ai-alignment-a-2025/ Justifications for Democratizing AI Alignment and Their Prospects https://mosi.uni-saarland.de/publications/baum-justifications-for-democratizing-ai-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-justifications-for-democratizing-ai-2025/ On the Complexities of Testing for Compliance with Human Oversight Requirements in AI Regulation https://mosi.uni-saarland.de/publications/langer-on-the-complexities-of-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/langer-on-the-complexities-of-2025/ Per-Domain Generalizing Policies: On Validation Instances and Scaling Behavior https://mosi.uni-saarland.de/publications/gros-per-domain-generalizing-policies-on-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-per-domain-generalizing-policies-on-2025/ Responsible and Trusted AI: An Interdisciplinary Perspective (2025) https://mosi.uni-saarland.de/publications/kerstan-responsible-and-trusted-ai-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/kerstan-responsible-and-trusted-ai-2025/ Separation-Based Distance Measures for Causal Graphs https://mosi.uni-saarland.de/publications/wahl-separation-based-distance-measures-for-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/wahl-separation-based-distance-measures-for-2025/ The Landscape of Causal Discovery Data: Grounding Causal Discovery in Real-World Applications https://mosi.uni-saarland.de/publications/brouillard-the-landscape-of-causal-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/brouillard-the-landscape-of-causal-2025/ Unitless Unrestricted Markov-Consistent SCM Generation: Better Benchmark Datasets for Causal Discovery https://mosi.uni-saarland.de/publications/herman-unitless-unrestricted-markov-consistent-scm-2025/ Wed, 01 Jan 2025 00:00:00 +0000 https://mosi.uni-saarland.de/publications/herman-unitless-unrestricted-markov-consistent-scm-2025/ Counterfactual Explanations for MITL Violations https://mosi.uni-saarland.de/publications/finkbeiner-counterfactual-explanations-for-mitl-2024/ Sun, 01 Dec 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/finkbeiner-counterfactual-explanations-for-mitl-2024/ MARS: Multi-sample Allocation through Russian roulette and Splitting https://mosi.uni-saarland.de/publications/meyer-mars-multi-sample-allocation-through-2024/ Sun, 01 Dec 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/meyer-mars-multi-sample-allocation-through-2024/ Responsible and Trusted AI: An Interdisciplinary Perspective https://mosi.uni-saarland.de/publications/helfer-responsible-and-trusted-ai-2024/ Sun, 01 Dec 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/helfer-responsible-and-trusted-ai-2024/ Transparent Transparency Developing a Scheme for Understanding Transparency Requirements https://mosi.uni-saarland.de/publications/baum-transparent-transparency-developing-a-2024/ Sun, 01 Dec 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-transparent-transparency-developing-a-2024/ Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight https://mosi.uni-saarland.de/publications/baum-taming-the-ai-monster-2024/ Tue, 01 Oct 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-taming-the-ai-monster-2024/ Identifying Linearly-Mixed Causal Representations from Multi-Node Interventions https://mosi.uni-saarland.de/publications/bing-identifying-linearly-mixed-causal-representations-2024/ Mon, 01 Apr 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/bing-identifying-linearly-mixed-causal-representations-2024/ On the Quest for Effectiveness in Human Oversight: Interdisciplinary Perspectives https://mosi.uni-saarland.de/publications/sterz-on-the-quest-for-2024/ Mon, 01 Jan 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/sterz-on-the-quest-for-2024/ Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages https://mosi.uni-saarland.de/publications/gros-safe-reinforcement-learning-through-2024/ Mon, 01 Jan 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-safe-reinforcement-learning-through-2024/ Structural activity prediction models recover known binding modes (Poster abstract) https://mosi.uni-saarland.de/publications/backenkohler-structural-activity-prediction-models-2024/ Mon, 01 Jan 2024 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-structural-activity-prediction-models-2024/ A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory https://mosi.uni-saarland.de/publications/forster-a-computational-cantor-bernstein-and-2023/ Sun, 01 Jan 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/forster-a-computational-cantor-bernstein-and-2023/ Constructive and Synthetic Reducibility Degrees: Post's Problem for Many-one and Truth-table Reducibility in Coq https://mosi.uni-saarland.de/publications/forster-constructive-and-synthetic-reducibility-2023/ Sun, 01 Jan 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/forster-constructive-and-synthetic-reducibility-2023/ Do Vocal Breath Sounds Encode Gender Cues for Automatic Gender Classification? https://mosi.uni-saarland.de/publications/solanki-do-vocal-breath-sounds-2023/ Sun, 01 Jan 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/solanki-do-vocal-breath-sounds-2023/ Intelligent Modeling and Simulation Lifecycle https://mosi.uni-saarland.de/publications/cai-intelligent-modeling-and-simulation-2023/ Sun, 01 Jan 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/cai-intelligent-modeling-and-simulation-2023/ Normative Perspectives on and Societal Implications of AI Systems https://mosi.uni-saarland.de/publications/baum-normative-perspectives-on-and-2023/ Sun, 01 Jan 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-normative-perspectives-on-and-2023/ XAI Requirements in Smart Production Processes: A Case Study https://mosi.uni-saarland.de/publications/baum-xai-requirements-in-smart-2023/ Sun, 01 Jan 2023 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-xai-requirements-in-smart-2023/ Metamorphic relations via relaxations: An approach to obtain oracles for action-policy testing https://mosi.uni-saarland.de/publications/eniser-metamorphic-relations-via-relaxations-2022/ Fri, 01 Jul 2022 00:00:00 +0000 https://mosi.uni-saarland.de/publications/eniser-metamorphic-relations-via-relaxations-2022/ Debugging a Policy: Automatic Action-Policy Testing in AI Planning https://mosi.uni-saarland.de/publications/steinmetz-debugging-a-policy-automatic-2022/ Wed, 01 Jun 2022 00:00:00 +0000 https://mosi.uni-saarland.de/publications/steinmetz-debugging-a-policy-automatic-2022/ Conditional Independence Testing with Heteroskedastic Data and Applications to Causal Discovery https://mosi.uni-saarland.de/publications/gunther-conditional-independence-testing-with-2022/ Sat, 01 Jan 2022 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gunther-conditional-independence-testing-with-2022/ Glyph-Based Visual Analysis of Q-Learning Based Action Policy Ensembles on Racetrack https://mosi.uni-saarland.de/publications/gross-glyph-based-visual-analysis-of-2022/ Sat, 01 Jan 2022 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gross-glyph-based-visual-analysis-of-2022/ MoGym: Using Formal Models for Training and Verifying Decision-making Agents https://mosi.uni-saarland.de/publications/gros-mo-gym-using-formal-models-2022/ Sat, 01 Jan 2022 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-mo-gym-using-formal-models-2022/ Epidemic overdispersion strengthens the effectiveness of mobility restrictions https://mosi.uni-saarland.de/publications/grossmann-epidemic-overdispersion-strengthens-the-2021/ Sat, 01 May 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/grossmann-epidemic-overdispersion-strengthens-the-2021/ Analysis of Markov jump processes under terminal constraints https://mosi.uni-saarland.de/publications/backenkohler-analysis-of-markov-jump-2021/ Mon, 01 Mar 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-analysis-of-markov-jump-2021/ Abstraction-Guided Truncations for Stationary Distributions of Markov Population Models https://mosi.uni-saarland.de/publications/backenkohler-abstraction-guided-truncations-for-stationary-2021/ Fri, 01 Jan 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-abstraction-guided-truncations-for-stationary-2021/ Debugging a Policy: A Framework for Automatic Action Policy Testing https://mosi.uni-saarland.de/publications/steinmetz-debugging-a-policy-a-2021/ Fri, 01 Jan 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/steinmetz-debugging-a-policy-a-2021/ InfoLab Saar - Schülerlabor Informatik der Universität des Saarlandes https://mosi.uni-saarland.de/publications/kirsch-info-lab-saar-schulerlabor-informatik-2021/ Fri, 01 Jan 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/kirsch-info-lab-saar-schulerlabor-informatik-2021/ Lab Conditions for Research on Explainable Automated Decisions https://mosi.uni-saarland.de/publications/baier-lab-conditions-for-research-2021/ Fri, 01 Jan 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baier-lab-conditions-for-research-2021/ Towards Perspicuity Requirements https://mosi.uni-saarland.de/publications/baum-towards-perspicuity-requirements-2021/ Fri, 01 Jan 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-towards-perspicuity-requirements-2021/ TraceVis: towards visualization for deep statistical model checking https://mosi.uni-saarland.de/publications/gros-trace-vis-towards-visualization-for-2021/ Fri, 01 Jan 2021 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-trace-vis-towards-visualization-for-2021/ Learning Vaccine Allocation from Simulations https://mosi.uni-saarland.de/publications/grossmann-learning-vaccine-allocation-from-2020/ Tue, 01 Dec 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/grossmann-learning-vaccine-allocation-from-2020/ Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study https://mosi.uni-saarland.de/publications/grossmann-importance-of-interaction-structure-2020/ Tue, 01 Sep 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/grossmann-importance-of-interaction-structure-2020/ Deep statistical model checking https://mosi.uni-saarland.de/publications/gros-deep-statistical-model-checking-2020/ Mon, 01 Jun 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-deep-statistical-model-checking-2020/ Bounding Mean First Passage Times in Population Continuous-Time Markov Chains https://mosi.uni-saarland.de/publications/backenkohler-bounding-mean-first-passage-2020/ Wed, 01 Jan 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-bounding-mean-first-passage-2020/ Real-Time Decision Making for a Car Manufacturing Process Using Deep Reinforcement Learning https://mosi.uni-saarland.de/publications/gros-real-time-decision-making-for-2020/ Wed, 01 Jan 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-real-time-decision-making-for-2020/ Rejection-Based Simulation of Non-Markovian Agents on Complex Networks https://mosi.uni-saarland.de/publications/grossmann-rejection-based-simulation-of-non-markovian-2020/ Wed, 01 Jan 2020 00:00:00 +0000 https://mosi.uni-saarland.de/publications/grossmann-rejection-based-simulation-of-non-markovian-2020/ Rejection-Based Simulation of Stochastic Spreading Processes on Complex https://mosi.uni-saarland.de/publications/grossmann-rejection-based-simulation-of-stochastic-2019/ Thu, 01 Aug 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/grossmann-rejection-based-simulation-of-stochastic-2019/ A Hybrid HMM Approach for the Dynamics of DNA Methylation https://mosi.uni-saarland.de/publications/kyriakopoulos-a-hybrid-hmm-approach-2019/ Tue, 01 Jan 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/kyriakopoulos-a-hybrid-hmm-approach-2019/ aMAZEing Programming - Providing SKILLs to Fellow Students https://mosi.uni-saarland.de/publications/gros-amaz-eing-programming-providing-skil-ls-2019/ Tue, 01 Jan 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/gros-amaz-eing-programming-providing-skil-ls-2019/ Bounding First Passage Times in Chemical Reaction Networks https://mosi.uni-saarland.de/publications/backenkohler-bounding-first-passage-times-2019/ Tue, 01 Jan 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-bounding-first-passage-times-2019/ Control Variates for Stochastic Simulation of Chemical Reaction Networks https://mosi.uni-saarland.de/publications/backenkohler-control-variates-for-stochastic-2019/ Tue, 01 Jan 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-control-variates-for-stochastic-2019/ Explainability as a Non-Functional Requirement https://mosi.uni-saarland.de/publications/baum-explainability-as-a-non-functional-2019/ Tue, 01 Jan 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-explainability-as-a-non-functional-2019/ Informatikunterricht in der Grundschule?-Erprobung und Auswertung eines Unterrichtsmoduls mit Calliope mini. https://mosi.uni-saarland.de/publications/baum-informatikunterricht-in-der-grundschule-erprobung-2019/ Tue, 01 Jan 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-informatikunterricht-in-der-grundschule-erprobung-2019/ Reducing Spreading Processes on Networks to Markov Population Models https://mosi.uni-saarland.de/publications/grossmann-reducing-spreading-processes-on-2019/ Tue, 01 Jan 2019 00:00:00 +0000 https://mosi.uni-saarland.de/publications/grossmann-reducing-spreading-processes-on-2019/ Data-Driven Approach Towards a Personalized Curriculum https://mosi.uni-saarland.de/publications/backenkohler-data-driven-approach-towards-a-2018/ Mon, 01 Jan 2018 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-data-driven-approach-towards-a-2018/ From Machine Ethics to Machine Explainability and Back https://mosi.uni-saarland.de/publications/baum-from-machine-ethics-to-2018/ Mon, 01 Jan 2018 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-from-machine-ethics-to-2018/ Lumping the Approximate Master Equation for Multistate Processes on Complex Networks https://mosi.uni-saarland.de/publications/grossmann-lumping-the-approximate-master-2018/ Mon, 01 Jan 2018 00:00:00 +0000 https://mosi.uni-saarland.de/publications/grossmann-lumping-the-approximate-master-2018/ Student Performance Prediction and Optimal Course Selection: An MDP Approach https://mosi.uni-saarland.de/publications/backenkohler-student-performance-prediction-and-2018/ Mon, 01 Jan 2018 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-student-performance-prediction-and-2018/ Two Challenges for CI Trustworthiness and How to Address Them https://mosi.uni-saarland.de/publications/baum-two-challenges-for-ci-2017/ Fri, 01 Sep 2017 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-two-challenges-for-ci-2017/ A Stochastic Model for the Formation of Spatial Methylation Patterns https://mosi.uni-saarland.de/publications/luck-a-stochastic-model-for-2017/ Sun, 01 Jan 2017 00:00:00 +0000 https://mosi.uni-saarland.de/publications/luck-a-stochastic-model-for-2017/ Teaching Academic Concurrency to Amazing Students https://mosi.uni-saarland.de/publications/biewer-teaching-academic-concurrency-to-2017/ Sun, 01 Jan 2017 00:00:00 +0000 https://mosi.uni-saarland.de/publications/biewer-teaching-academic-concurrency-to-2017/ Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium https://mosi.uni-saarland.de/publications/backenkohler-generalized-method-of-moments-2016/ Thu, 01 Sep 2016 00:00:00 +0000 https://mosi.uni-saarland.de/publications/backenkohler-generalized-method-of-moments-2016/ Hybrid Stochastic Simulation of Rule-Based Polymerization Models https://mosi.uni-saarland.de/publications/kruger-hybrid-stochastic-simulation-of-2016/ Thu, 01 Sep 2016 00:00:00 +0000 https://mosi.uni-saarland.de/publications/kruger-hybrid-stochastic-simulation-of-2016/ MorphableUI: A Hypergraph-Based Approach to Distributed Multimodal Interaction for Rapid Prototyping and Changing Environments https://mosi.uni-saarland.de/publications/krekhov-morphable-uia-hypergraph-based-approach-2016/ Fri, 01 Jan 2016 00:00:00 +0000 https://mosi.uni-saarland.de/publications/krekhov-morphable-uia-hypergraph-based-approach-2016/ What the hack is wrong with software doping? https://mosi.uni-saarland.de/publications/baum-what-the-hack-is-2016/ Fri, 01 Jan 2016 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baum-what-the-hack-is-2016/ Model-Based Whole-Genome Analysis of DNA Methylation Fidelity https://mosi.uni-saarland.de/publications/bock-model-based-whole-genome-analysis-of-2015/ Tue, 01 Sep 2015 00:00:00 +0000 https://mosi.uni-saarland.de/publications/bock-model-based-whole-genome-analysis-of-2015/ Numerical Approximation of Rare Event Probabilities in Biochemically Reacting Systems https://mosi.uni-saarland.de/publications/mikeev-numerical-approximation-of-rare-2013/ Sun, 01 Sep 2013 00:00:00 +0000 https://mosi.uni-saarland.de/publications/mikeev-numerical-approximation-of-rare-2013/ Efficient Steady State Analysis of Multimodal Markov Chains https://mosi.uni-saarland.de/publications/spieler-efficient-steady-state-analysis-2013/ Mon, 01 Jul 2013 00:00:00 +0000 https://mosi.uni-saarland.de/publications/spieler-efficient-steady-state-analysis-2013/ Approximate Transient Analysis of Queuing Networks by Quasi Product Forms https://mosi.uni-saarland.de/publications/angius-approximate-transient-analysis-of-2013/ Tue, 01 Jan 2013 00:00:00 +0000 https://mosi.uni-saarland.de/publications/angius-approximate-transient-analysis-of-2013/ Parameter estimation for stochastic hybrid models of biochemical reaction networks https://mosi.uni-saarland.de/publications/mikeev-parameter-estimation-for-stochastic-2012/ Sun, 01 Apr 2012 00:00:00 +0000 https://mosi.uni-saarland.de/publications/mikeev-parameter-estimation-for-stochastic-2012/ Quasi Product Form Approximation for Markov Models of Reaction Networks https://mosi.uni-saarland.de/publications/angius-quasi-product-form-approximation-2012/ Sun, 01 Jan 2012 00:00:00 +0000 https://mosi.uni-saarland.de/publications/angius-quasi-product-form-approximation-2012/ Efficient Calculation of Rare Event Probabilities in Markovian Queueing Networks https://mosi.uni-saarland.de/publications/mikeev-efficient-calculation-of-rare-2011/ Sun, 01 May 2011 00:00:00 +0000 https://mosi.uni-saarland.de/publications/mikeev-efficient-calculation-of-rare-2011/ SHAVE: stochastic hybrid analysis of markov population models https://mosi.uni-saarland.de/publications/lapin-shave-stochastic-hybrid-analysis-2011/ Fri, 01 Apr 2011 00:00:00 +0000 https://mosi.uni-saarland.de/publications/lapin-shave-stochastic-hybrid-analysis-2011/ On the numerical analysis of stochastic Lotka-Volterra models https://mosi.uni-saarland.de/publications/dayar-on-the-numerical-analysis-2010/ Fri, 01 Oct 2010 00:00:00 +0000 https://mosi.uni-saarland.de/publications/dayar-on-the-numerical-analysis-2010/ Hybrid numerical solution of the chemical master equation https://mosi.uni-saarland.de/publications/henzinger-hybrid-numerical-solution-of-2010/ Wed, 01 Sep 2010 00:00:00 +0000 https://mosi.uni-saarland.de/publications/henzinger-hybrid-numerical-solution-of-2010/ Abstraction for Stochastic Systems by Erlang's Method of Stages https://mosi.uni-saarland.de/publications/katoen-abstraction-for-stochastic-systems-2008/ Fri, 01 Aug 2008 00:00:00 +0000 https://mosi.uni-saarland.de/publications/katoen-abstraction-for-stochastic-systems-2008/ Computational Probability for Systems Biology https://mosi.uni-saarland.de/publications/sandmann-computational-probability-for-systems-2008/ Sun, 01 Jun 2008 00:00:00 +0000 https://mosi.uni-saarland.de/publications/sandmann-computational-probability-for-systems-2008/ Interaction Models for Biochemical Reactions https://mosi.uni-saarland.de/publications/majstercederbaum-interaction-models-for-biochemical-2007/ Mon, 01 Jan 2007 00:00:00 +0000 https://mosi.uni-saarland.de/publications/majstercederbaum-interaction-models-for-biochemical-2007/ A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion https://mosi.uni-saarland.de/publications/busch-a-numerical-aggregation-algorithm-2006/ Sun, 01 Oct 2006 00:00:00 +0000 https://mosi.uni-saarland.de/publications/busch-a-numerical-aggregation-algorithm-2006/ Stochastic Reasoning About Channel-Based Component Connectors https://mosi.uni-saarland.de/publications/baier-stochastic-reasoning-about-channel-based-2006/ Thu, 01 Jun 2006 00:00:00 +0000 https://mosi.uni-saarland.de/publications/baier-stochastic-reasoning-about-channel-based-2006/ Don't Know in Probabilistic Systems https://mosi.uni-saarland.de/publications/fecher-dont-know-in-probabilistic-2006/ Wed, 01 Mar 2006 00:00:00 +0000 https://mosi.uni-saarland.de/publications/fecher-dont-know-in-probabilistic-2006/ Comparative Linear-Time Semantics on Action-Labelled Continuous-Time Markov Chains https://mosi.uni-saarland.de/publications/wolf-comparative-linear-time-semantics-on-2004/ Fri, 01 Oct 2004 00:00:00 +0000 https://mosi.uni-saarland.de/publications/wolf-comparative-linear-time-semantics-on-2004/