List of works - András Horváth

A Joint Moments Based Analysis of Networks of MAP/MAP/1 Queues

scientific article published in September 2008

A joint moments based analysis of networks of MAP/MAP/1 queues

scientific article published in September 2010

A traffic based decomposition of two-class queueing networks with priority service

scientific article published in June 2009

Acyclic discrete phase type distributions: properties and a parameter estimation algorithm

scientific article published in September 2003

Analysis and Evaluation of Non-Markovian Stochastic Petri Nets

scientific article published in 2000

Analysis of stochastic reaction networks with Markov reward models

scientific article published in 2011

Analysis of the Lead Time Distribution in Closed Loop Manufacturing Systems

scientific article published in 2016

Approximate Transient Analysis of Queuing Networks by Quasi Product Forms

scientific article published in 2013

Compositional Model Checking of product-form CTMCs

scientific article published in September 2009

Constructing Matrix Exponential Distributions by Moments and Behavior around Zero

scientific article published in 2014

Fluid Petri Nets and hybrid model-checking: a comparative case study

scientific article published in September 2003

Formal Methods and Stochastic Models for Performance Evaluation

Lead-time oriented production control policies in two-machine production lines

scientific article published in 2015

Matching More Than Three Moments with Acyclic Phase Type Distributions

scientific article published on 8 May 2007

Matching Three Moments with Minimal Acyclic Phase Type Distributions

scientific article published in January 2005

Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains

scientific article published in September 2008

Model Checking Functional and Performability Properties of Stochastic Fluid Models

scientific article published in May 2005

Moment characterization of matrix exponential and Markovian arrival processes

scientific article published on 5 December 2007

Moments Characterization of Order 3 Matrix Exponential Distributions

scientific article published in 2009

Moments of Cumulated Output and Completion Time of Unreliable General Markovian Machines

scientific article published in January 2011

Moments of accumulated reward and completion time in Markovian models with application to unreliable manufacturing systems

scientific article published in May 2014

On moments based Padé approximations of ruin probabilities

scientific article published in March 2011

On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process

article

Petri Nets with Discrete Phase Type Timing

scientific article published in May 2002

Product Form Approximation of Transient Probabilities in Stochastic Reaction Networks

scientific article published in October 2011

Quasi Product Form Approximation for Markov Models of Reaction Networks

scientific article published in 2012

Simplification of a complex signal transduction model using invariants and flow equivalent servers