Verena Wolf

Proceedings of the Winter Simulation Conference, 2020

Capabilities for Ambidextrous Innovation of Digital Service.

[BibT_eX]

[DOI]

Hedda Lüttenberg

Proceedings of the Entwicklungen, 2020

Establishing Smart Service Systems is a Challenge: A Case Study on Pitfalls and Implications.

[BibT_eX]

[DOI]

Alena Franke

Proceedings of the Entwicklungen, 2020

Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

Tracking the Race Between Deep Reinforcement Learning and Imitation Learning.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

Bounding Mean First Passage Times in Population Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

A Stochastic Automata Network Description for Spatial DNA-Methylation Models.

[BibT_eX]

[DOI]

Alexander Lück

Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2020

Understanding Smart Service Systems Transformation - A Socio-Technical Perspective.

[BibT_eX]

[DOI]

Proceedings of the 28th European Conference on Information Systems, 2020

Detecting Workarounds in Business Processes - a Deep Learning method for Analyzing Event Logs.

[BibT_eX]

[DOI]

Proceedings of the 28th European Conference on Information Systems, 2020

Designing Digital Community Service Platforms for Crowd-Based Services in Urban Areas.

[BibT_eX]

[DOI]

Nico Langhorst

Florian Seegers

Proceedings of the Designing for Digital Transformation. Co-Creating Services with Citizens and Industry, 2020

Learning Vaccine Allocation from Simulations.

[BibT_eX]

[DOI]

Proceedings of the Complex Networks & Their Applications IX, 2020

2019

Hidden Markov Modelling Reveals Neighborhood Dependence of Dnmt3a and 3b Activity.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2019

Ambidexterity in Service Innovation Research: A Systematic Literature Review.

[BibT_eX]

[DOI]

Proceedings of the Human Practice. Digital Ecologies. Our Future. 14. Internationale Tagung Wirtschaftsinformatik (WI 2019), 2019

Informatikunterricht in der Grundschule? - Erprobung und Auswertung eines Unterrichtsmoduls mit Calliope mini.

[BibT_eX]

[DOI]

Proceedings of the Informatik für alle, 18. GI-Fachtagung Informatik und Schule, 2019

A Hybrid HMM Approach for the Dynamics of DNA Methylation.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology - 6th International Workshop, 2019

Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology - 6th International Workshop, 2019

Digitalization of Work Systems - An Organizational Routines' Perspective.

[BibT_eX]

[DOI]

Proceedings of the 52nd Hawaii International Conference on System Sciences, 2019

Conceptualizing the Impact of Workarounds - an Organizational Routines' Perspective.

[BibT_eX]

[DOI]

Proceedings of the 27th European Conference on Information Systems, 2019

Rejection-Based Simulation of Non-Markovian Agents on Complex Networks.

[BibT_eX]

[DOI]

Proceedings of the Complex Networks and Their Applications VIII, 2019

Bounding First Passage Times in Chemical Reaction Networks - Poster Abstract.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2019

Control Variates for Stochastic Simulation of Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2019

2018

Simulating the Large-Scale Erosion of Genomic Privacy Over Time.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2018

Moment-Based Parameter Estimation for Stochastic Reaction Networks in Equilibrium.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2018

Calliope mini.

[BibT_eX]

[DOI]

Calliope mini.

[BibT_eX]

[DOI]

Kerstin Reese

Recombinant Service Systems Engineering.

[BibT_eX]

[DOI]

Hedda Lüttenberg

Bus. Inf. Syst. Eng., 2018

Lumping the Approximate Master Equation for Multistate Processes on Complex Networks.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

The Impact of Process Automation on Manufacturers' Long-Term Knowledge.

[BibT_eX]

[DOI]

Chris C. Gernreich

Christopher Prinz

Proceedings of the International Conference on Information Systems, 2018

Data-Driven Approach Towards a Personalized Curriculum.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Educational Data Mining, 2018

2017

Lumping of Degree-Based Mean Field and Pair Approximation Equations for Multi-State Contact Processes.

[BibT_eX]

[DOI]

Gerrit Grossmann

CoRR, 2017

H(O)TA: estimation of DNA methylation and hydroxylation levels and efficiencies from time course data.

[BibT_eX]

[DOI]

Pascal Giehr

Bioinform., 2017

Recombinant Service System Engineering.

[BibT_eX]

[DOI]

Hedda Lüttenberg

Proceedings of the Towards Thought Leadership in Digital Transformation: 13. Internationale Tagung Wirtschaftsinformatik, 2017

Student Performance Prediction and Optimal Course Selection: An MDP Approach.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2017

A Stochastic Model for the Formation of Spatial Methylation Patterns.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2017

2016

The Influence of Hydroxylation on Maintaining CpG Methylation Patterns: A Hidden Markov Model Approach.

[BibT_eX]

[DOI]

Pascal Giehr

Gabriella Ficz

Jörn Walter

PLoS Comput. Biol., 2016

The MILESTONES modeling framework: An integrated analysis of national bioenergy strategies and their global environmental impacts.

[BibT_eX]

[DOI]

Environ. Model. Softw., 2016

Generalized method of moments for estimating parameters of stochastic reaction networks.

[BibT_eX]

[DOI]

Alexander Lück

BMC Syst. Biol., 2016

Hybrid Stochastic Simulation of Rule-Based Polymerization Models.

[BibT_eX]

[DOI]

Thilo Krüger

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2016

2015

Model Reconstruction for Moment-Based Stochastic Chemical Kinetics.

[BibT_eX]

[DOI]

Alexandr Andreychenko

ACM Trans. Model. Comput. Simul., 2015

Rule-based modelling and simulation of drug-administration policies.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Modeling and Simulation in Medicine, 2015

Model-Based Whole-Genome Analysis of DNA Methylation Fidelity.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

2014

Optimal Observation Time Points in Stochastic Chemical Kinetics.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems Biology, 2014

2013

On-the-fly verification and optimization of DTA-properties for large Markov chains.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2013

Numerical Approximation of Rare Event Probabilities in Biochemically Reacting Systems.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2013

Efficient Steady State Analysis of Multimodal Markov Chains.

[BibT_eX]

[DOI]

David Spieler

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

Approximate Transient Analysis of Queuing Networks by Quasi Product Forms.

[BibT_eX]

[DOI]

Alessio Angius

András Horváth

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

2012

Quasi Product Form Approximation for Markov Models of Reaction Networks.

[BibT_eX]

[DOI]

Alessio Angius

András Horváth

Trans. Comp. Sys. Biology, 2012

Three-valued abstraction for probabilistic systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

Approximate maximum likelihood estimation for stochastic chemical kinetics.

[BibT_eX]

[DOI]

Aleksandr Andreychenko

David Spieler

EURASIP J. Bioinform. Syst. Biol., 2012

Parameter estimation for stochastic hybrid models of biochemical reaction networks.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

2011

Approximation of event probabilities in noisy cellular processes.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

Bounding the equilibrium distribution of Markov population models.

[BibT_eX]

[DOI]

Numer. Linear Algebra Appl., 2011

Formalisms for Specifying Markovian Population Models.

[BibT_eX]

[DOI]

Thomas A. Henzinger

Barbara Jobstmann

Int. J. Found. Comput. Sci., 2011

On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models

[BibT_eX]

[DOI]

Aleksandr Andreychenko

Pepijn Crouzen

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Efficient calculation of rare event probabilities in Markovian queueing networks.

[BibT_eX]

[DOI]

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

SHAVE: stochastic hybrid analysis of markov population models.

[BibT_eX]

[DOI]

Maksim Lapin

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Parameter Identification for Markov Models of Biochemical Reactions.

[BibT_eX]

[DOI]

Aleksandr Andreychenko

David Spieler

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Solving the chemical master equation using sliding windows.

[BibT_eX]

[DOI]

BMC Syst. Biol., 2010

SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

On the Numerical Analysis of Stochastic Lotka-Volterra Models.

[BibT_eX]

[DOI]

Tugrul Dayar

Proceedings of the International Multiconference on Computer Science and Information Technology, 2010

Hybrid numerical solution of the chemical master equation.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010

2009

Sliding Window Abstraction for Infinite Markov Chains.

[BibT_eX]

[DOI]

Thomas A. Henzinger

Maria Mateescu

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Computational Probability for Systems Biology.

[BibT_eX]

[DOI]

Mila E. Majster-Cederbaum

Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

Abstraction for Stochastic Systems by Erlang's Method of Stages.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007

Three-Valued Abstraction for Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

Interaction Models for Biochemical Reactions.

[BibT_eX]

Nils Semmelrock

Proceedings of the International Conference on Bioinformatics & Computational Biology, 2007

2006

Trace Semantics for Stochastic Systems with Nondeterminism.

[BibT_eX]

[DOI]

Mila E. Majster-Cederbaum

Christel Baier

Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

Modelling of Biochemical Reactions by Stochastic Automata Networks.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006

<i>Don't Know</i> in Probabilistic Systems.

[BibT_eX]

[DOI]

Harald Fecher

Martin Leucker

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Stochastic Reasoning About Channel-Based Component Connectors.

[BibT_eX]

[DOI]

Christel Baier

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion.

[BibT_eX]

[DOI]

Hauke Busch

Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

2005

Comparative branching-time semantics for Markov chains.

[BibT_eX]

[DOI]

Inf. Comput., 2005

Trace Machines for Observing Continuous-Time Markov Chains.

[BibT_eX]

[DOI]

Mila E. Majster-Cederbaum

Christel Baier

Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

Bisimulation and Simulation Relations for Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

2004

Testing Theory for Probabilistic Systems.

[BibT_eX]

[DOI]