András Horváth

	2011
42		Alessio Angius, András Horváth: Analysis of stochastic reaction networks with Markov reward models. CMSB 2011: 45-54
41		András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario: Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers. QEST 2011: 131-140
40		Marco Beccuti, Massimiliano De Pierro, András Horváth, Ádám Horváth, Károly Farkas: A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks. VTC Spring 2011: 1-5
39		Alessio Angius, András Horváth: The Monte Carlo EM method for the parameter estimation of biological models. Electr. Notes Theor. Comput. Sci. 275: 23-36 (2011)
38		Alessio Angius, András Horváth: Product Form Approximation of Transient Probabilities in Stochastic Reaction Networks. Electr. Notes Theor. Comput. Sci. 277: 3-14 (2011)
37		F. Avram, D. F. Chedom, András Horváth: On moments based Padé approximations of ruin probabilities. J. Computational Applied Mathematics 235(10): 3215-3228 (2011)
36		Francesca Cordero, András Horváth, Daniele Manini, Lucia Napione, Massimiliano De Pierro, Simona Pavan, Andrea Picco, Andrea Veglio, Matteo Sereno, Federico Bussolino, Gianfranco Balbo: Simplification of a complex signal transduction model using invariants and flow equivalent servers. Theor. Comput. Sci. 412(43): 6036-6057 (2011)
	2010
35		Alessio Angius, Gianfranco Balbo, Francesca Cordero, András Horváth, Daniele Manini: Comparison of Approximate Kinetics for Unireactant Enzymes: Michaelis-Menten against the Equivalent Server. ACSD/Petri Nets Workshops 2010: 55-69
34		András Horváth, Lorenzo Ridi, Enrico Vicario: Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes. QEST 2010: 231-240
33		András Horváth, Gábor Horváth, Miklós Telek: A joint moments based analysis of networks of MAP/MAP/1 queues. Perform. Eval. 67(9): 759-778 (2010)
	2009
32		András Horváth, Sándor Rácz, Miklós Telek: Moments Characterization of Order 3 Matrix Exponential Distributions. ASMTA 2009: 174-188
31		Lucia Napione, Daniele Manini, Francesca Cordero, András Horváth, Andrea Picco, Massimiliano De Pierro, Simona Pavan, Matteo Sereno, Andrea Veglio, Federico Bussolino, Gianfranco Balbo: On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process. CMSB 2009: 281-295
30		András Horváth, Enrico Vicario: Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets. QEST 2009: 155-164
29		András Horváth, Gábor Horváth, Miklós Telek: A traffic based decomposition of two-class queueing networks with priority service. Computer Networks 53(8): 1235-1248 (2009)
28		Paolo Ballarini, András Horváth: Compositional Model Checking of product-form CTMCs. Electr. Notes Theor. Comput. Sci. 250(1): 21-37 (2009)
	2008
27		András Horváth, Daniele Manini: Parameter Estimation of Kinetic Rates in Stochastic Reaction Networks by the EM Method. BMEI (1) 2008: 713-717
26		Matteo Baldoni, Cristina Baroglio, András Horváth, Viviana Patti, Flavio Portis, Maurizio Avilia, Pierluigi Grillo: Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts. FOMI 2008: 132-143
25		András Horváth, Gábor Horváth, Miklós Telek: A Joint Moments Based Analysis of Networks of MAP/MAP/1 Queues. QEST 2008: 125-134
24		Paolo Ballarini, András Horváth: Memory Efficient Calculation of Path Probabilities in Large Structured Markov Chains. QEST 2008: 157-166
23		Levente Bodrog, András Horváth, Miklós Telek: Moment characterization of matrix exponential and Markovian arrival processes. Annals OR 160(1): 51-68 (2008)
	2007
22		Levente Bodrog, Armin Heindl, Gábor Horváth, Miklós Telek, András Horváth: Current results and open questions on PH and MAP characterization. Numerical Methods for Structured Markov Chains 2007
21		Levente Bodrog, András Horváth, Miklós Telek: On the Properties of Moments of Matrix Exponential Distributions and Matrix Exponential Processes. Numerical Methods for Structured Markov Chains 2007
20		András Horváth, Miklós Telek: On the properties of acyclic bilateral phase type distributions. VALUETOOLS 2007: 79
	2006
19		András Horváth, Miklós Telek: Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings Springer 2006
18		Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston: CSL Model Checking for Generalized Stochastic Petri Nets. QEST 2006: 199-210
	2005
17		András Horváth: Steady State Solution for Models with Geometric and Finite Support Activity Duration. QEST 2005: 114-123
16		Marco Gribaudo, András Horváth: Model Checking Functional and Performability Properties of Stochastic Fluid Models. Electr. Notes Theor. Comput. Sci. 128(6): 295-310 (2005)
	2004
15		Andrea Bobbio, András Horváth, Miklós Telek: The scale factor: a new degree of freedom in phase-type approximation. Perform. Eval. 56(1-4): 121-144 (2004)
	2003
14		Marco Gribaudo, András Horváth: Modeling Hybrid Positive Systems with Hybrid Petri Nets. POSTA 2003: 71-78
13		Andrea Bobbio, András Horváth, Marco Scarpa, Miklós Telek: Acyclic discrete phase type distributions: properties and a parameter estimation algorithm. Perform. Eval. 54(1): 1-32 (2003)
	2002
12		András Horváth, Miklós Telek: PhFit: A General Phase-Type Fitting Tool. Computer Performance Evaluation / TOOLS 2002: 82-91
11		Andrea Bobbio, András Horváth, Miklós Telek: PhFit: A General Phase-type Fitting Tool. DSN 2002: 543
10		Andrea Bobbio, András Horváth, Miklós Telek: The Scale Factor: A New Degree of Freedom in Phase Type Approximation. DSN 2002: 627-636
9		András Horváth, Miklós Telek: Markovian Modeling of Real Data Traffic: Heuristic Phase Type and MAP Fitting of Heavy Tailed and Fractal Like Samples. Performance 2002: 405-434
8		Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino: Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. SAFECOMP 2002: 273-283
7		András Horváth, Miklós Telek: Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI Transitions. IEEE Trans. Software Eng. 28(10): 933-943 (2002)
6		Marco Gribaudo, András Horváth: Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis Technique. IEEE Trans. Software Eng. 28(10): 944-955 (2002)
	2001
5		Marco Gribaudo, Matteo Sereno, András Horváth, Andrea Bobbio: Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis. Discrete Event Dynamic Systems 11(1-2): 97-117 (2001)
4		Andrea Bobbio, András Horváth: Petri Nets with Discrete Phase Type Timing: A Bridge Between Stochastic and Functional Analysis. Electr. Notes Theor. Comput. Sci. 52(3): 209-226 (2001)
3		Miklós Telek, András Horváth: Transient analysis of Age-MRSPNs by the method of supplementary variables. Perform. Eval. 45(4): 205-221 (2001)
2		Simona Bernardi, Susanna Donatelli, András Horváth: Implementing compositionality for stochastic Petri nets. STTT 3(4): 417-430 (2001)
	2000
1		András Horváth, Antonio Puliafito, Marco Scarpa, Miklós Telek: Analysis and Evaluation of Non-Markovian Stochastic Petri Nets. Computer Performance Evaluation / TOOLS 2000: 171-187

Coauthor Index

1	Alessio Angius	[35] [38] [39] [42]
2	Maurizio Avilia	[26]
3	F. Avram	[37]
4	Gianfranco Balbo	[31] [35] [36]
5	Matteo Baldoni	[26]
6	Paolo Ballarini	[24] [28]
7	Cristina Baroglio	[26]
8	Marco Beccuti	[40]
9	Simona Bernardi	[2]
10	Andrea Bobbio	[4] [5] [8] [10] [11] [13] [15]
11	Levente Bodrog	[21] [22] [23]
12	Federico Bussolino	[31] [36]
13	Davide Cerotti	[18]
14	D. F. Chedom	[37]
15	Ester Ciancamerla	[8]
16	Francesca Cordero	[31] [35] [36]
17	Susanna Donatelli	[2] [18]
18	Károly Farkas	[40]
19	Marco Gribaudo	[5] [6] [8] [14] [16]
20	Pierluigi Grillo	[26]
21	Armin Heindl	[22]
22	Ádám Horváth	[40]
23	Gábor Horváth	[22] [25] [29] [33]
24	Daniele Manini	[27] [31] [35] [36]
25	Michele Minichino	[8]
26	Lucia Napione	[31] [36]
27	Marco Paolieri	[41]
28	Viviana Patti	[26]
29	Simona Pavan	[31] [36]
30	Andrea Picco	[31] [36]
31	Massimiliano De Pierro	[31] [36] [40]
32	Flavio Portis	[26]
33	Antonio Puliafito	[1]
34	Sándor Rácz	[32]
35	Lorenzo Ridi	[34] [41]
36	Marco Scarpa	[1] [13]
37	Matteo Sereno	[5] [31] [36]
38	Jeremy Sproston	[18]
39	Miklós Telek	[1] [3] [7] [9] [10] [11] [12] [13] [15] [19] [20] [21] [22] [23] [25] [29] [32] [33]
40	Enrico Tronci	[8]
41	Andrea Veglio	[31] [36]
42	Enrico Vicario	[30] [34] [41]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page