CINECA IRIS Institutional Research Information System

HORVATH, Andras
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.710
EU - Europa 3.440
AS - Asia 1.257
SA - Sud America 63
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 9.475
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.668
DK - Danimarca 1.316
SG - Singapore 494
CN - Cina 451
IT - Italia 350
IE - Irlanda 318
UA - Ucraina 247
DE - Germania 238
SE - Svezia 226
FR - Francia 217
FI - Finlandia 196
KR - Corea 148
GB - Regno Unito 139
PL - Polonia 80
VN - Vietnam 67
BR - Brasile 53
CA - Canada 40
IN - India 36
NL - Olanda 34
RU - Federazione Russa 31
ID - Indonesia 19
BE - Belgio 18
HK - Hong Kong 14
GR - Grecia 11
PK - Pakistan 5
AE - Emirati Arabi Uniti 4
AT - Austria 4
JP - Giappone 4
AR - Argentina 3
CO - Colombia 3
ES - Italia 3
HU - Ungheria 3
CZ - Repubblica Ceca 2
IQ - Iraq 2
KZ - Kazakistan 2
LK - Sri Lanka 2
PE - Perù 2
PS - Palestinian Territory 2
UZ - Uzbekistan 2
AZ - Azerbaigian 1
BD - Bangladesh 1
BY - Bielorussia 1
CL - Cile 1
CR - Costa Rica 1
DZ - Algeria 1
EE - Estonia 1
EU - Europa 1
IM - Isola di Man 1
KH - Cambogia 1
LT - Lituania 1
MA - Marocco 1
MU - Mauritius 1
MX - Messico 1
NZ - Nuova Zelanda 1
PT - Portogallo 1
RO - Romania 1
RS - Serbia 1
TR - Turchia 1
TW - Taiwan 1
VE - Venezuela 1
Totale 9.475
Salva come PNG Salva come JPEG
Città #
Ann Arbor 864
Chandler 481
Santa Clara 444
Wilmington 373
Dublin 318
Beijing 242
Singapore 223
Fairfield 185
Houston 170
Dearborn 163
Jacksonville 163
Guangzhou 139
Ashburn 134
Villeurbanne 125
Princeton 105
Medford 100
Woodbridge 97
Columbus 83
Warsaw 80
Torino 79
Seattle 77
Cambridge 72
Pisa 59
Dong Ket 55
Boston 41
Milan 40
Nyköping 34
Padova 33
Norwalk 23
Turin 23
Boardman 21
Jakarta 19
Brussels 18
Fremont 18
Helsinki 17
Verona 17
Toronto 16
San Diego 15
Pune 13
Redwood City 13
Engelhard 12
Lachine 12
Falls Church 11
Hong Kong 11
Los Angeles 11
Ottawa 11
Phoenix 10
Wayne 10
San Mateo 9
Hefei 8
Naples 8
Falkenstein 6
Jinan 6
Philadelphia 6
Redmond 6
Agliè 5
Des Moines 5
Kunming 5
Nanjing 5
San Mauro Torinese 5
Shanghai 5
Coimbatore 4
Dallas 4
Delhi 4
Frankfurt am Main 4
Genova 4
Mountain View 4
St. George 4
São Paulo 4
Amsterdam 3
Baotou 3
Fuzhou 3
Guidizzolo 3
Hangzhou 3
New York 3
Nuremberg 3
Washington 3
Wuhan 3
Almaty 2
Athens 2
Auburn Hills 2
Barnet 2
Blumenau 2
Brasília 2
Budapest 2
Buenos Aires 2
Cacoal 2
Central District 2
Changsha 2
Chennai 2
Colorado Springs 2
Cosenza 2
Düsseldorf 2
Florence 2
Groningen 2
Hanover 2
Lappeenranta 2
Lima 2
London 2
Madrid 2
Totale 5.462
Salva come PNG Salva come JPEG
Nome #
A review of the deterministic and diffusion approximations for stochastic chemical reaction networks 316
Analysis of timed properties using the jump-diffusion approximation 302
Production quality performance in manufacturing systems processing deteriorating products 286
Approximate analysis of biological systems by hybrid switching jump diffusion 278
Approximate Transient Analysis of Queuing Networks by Decomposition based on Time-Inhomogeneous Markov Arrival Processes 266
Approximating Distributions and Transient Probabilities by Matrix Exponential Distributions and Functions 243
Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts 242
Lead-time oriented production control policies in two-machine production lines 239
Probabilistic Model Checking of Regenerative Concurrent Systems 236
Analysis of Petri Net Models through Stochastic Differential Equations 235
Constructing Matrix Exponential Distributions by Moments and Behavior around Zero 233
Moments of accumulated reward and completion time in Markovian models with application to unreliable manufacturing systems 230
Exploiting flow equivalent server in transient analysis 225
Phase Type and Matrix Exponential Distributions in Stochastic Modeling 209
Lead time distribution in unreliable production lines processing perishable products 208
Analysis of Activity Networks with Phase Type Distributions by Kronecker Algebra 203
Lead-time-oriented production control policies in two-machine production lines 200
Analysis of the Lead Time Distribution in Closed Loop Manufacturing Systems 189
Approximate Transient Analysis of Queuing Networks by Quasi Product Forms 184
Lead Time Dependent Product Deterioration in Manufacturing Systems with Serial, Assembly and Closed-Loop Layout 176
Ruin probabilities by Padé’s method: simple moments based mixed exponential approximations (Renyi, De Vylder, Cramér–Lundberg), and high precision approximations with both light and heavy tails 169
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State ClassesQuantitative Evaluation of Systems 168
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools 158
Simplification of a complex signal transduction model using invariants and flow equivalent servers 158
Computer Performance Engineering 151
Transient analysis of non-Markovian models using stochastic state classes 147
On the Padé and Laguerre–Tricomi–Weeks moments based approximations of the scale function w and of the optimal dividends barrier for spectrally negative Lévy risk processes 146
On the use of stochastic Petri nets in the analysis of Signal Transduction Pathways for Angiogenesis process 115
Petri Nets Validation of Markovian Models of Emergency Department Arrivals 112
Quasi Product Form Approximation for Markov Models of Reaction Networks 111
Model checking functional and performability properties of stochastic fluid models 100
A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks 96
Analysis of inhomogeneous Markov reward models 87
Analysis and evaluation of non-Markovian stochastic Petri nets 80
A MAP fitting method to approximate real traffic behavior 78
CSL Model Checking for Generalized Stochastic Petri Nets 78
Analysis of inhomogeneous Markov reward models 75
A markovian point process exhibiting multifractal behaviour and its application to traffic modeling 74
Compositionality in the GreatSPN tool and its application to the modelling of industrial applications 73
Comparison of approximate kinetics for unireactant enzymes: Michaelis-Menten against the equivalent server 73
On the properties of acyclic bilateral phase type distributions 71
Approximating heavy tailed behavior with phase type distributions 70
The Monte Carlo EM method for the parameter estimation of biological models 70
Time domain analysis of NMSPNs with PRI transitions 69
Parameter estimation of kinetic rates in stochastic reaction networks by the em method 69
Moments of cumulated output and completion time of unreliable general markovian machines 69
Analysis of stochastic reaction networks with Markov reward models. 69
Steady state solution for models with geometric and finite support activity duration 68
Acyclic discrete phase type distributions: Properties and a parameter estimation algorithm 68
Matching more than three moments with acyclic phase type distributions 68
Special session on the practical use of high-level Petri Nets: Implementing compositionality for stochastic petri nets 68
Compositional Fluid Stochastic Petri Net model for operational software system performance 68
Product Form Approximation of Transient Probabilities in Stochastic Reaction Networks 68
GreatSPN in the new Millenium 67
A joint moments based analysis of networks of map/map/1 queues 65
Time domain analysis of non-markovian stochastic petri nets with pri transitions 64
Supplementary variable approach applied to the transient analysis of age-MRSPNs 63
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant 63
The scale factor: A new degree of freedom in phase type approximation 62
Transient analysis of age-MRSPNs by the method supplementary variables 60
A traffic based decomposition of two-class queueing networks with priority service 60
Approximating distributions and transient probabilities of Markov chains by Bernstein expolynomial functions. 60
A joint moments based analysis of networks of MAP/MAP/1 queues. 59
Aggregated stochastic state classes in quantitative evaluation of non-Markovian stochastic Petri nets 57
A kronecker algebra formulation for markov activity networks with phase-type distributions 56
Model checking time petri nets using NuSMV 54
Transient analysis of generalised semi-Markov processes using transient stochastic state classes. 53
Moments Characterization of Order 3 Matrix Exponential Distributions 52
Petri nets with discrete phase type timing: A bridge between stochastic and functional analysis 51
Markovian modeling of real data traffic: Heuristic phase type and map fitting of heavy tailed and fractal like samples 50
Modeling Software Systems with Rejuvenation, Restoration and Checkpointing through Fluid Stochastic Petri Nets 50
Translating hybrid Petri nets into hybrid automata 50
Matrix geometric solution of fluid stochastic petri nets 50
Moment characterization of matrix exponential and Markovian arrival processes 50
Fluid petri nets and hybrid model-checking: A comparative case study 49
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis 49
Fluid stochastic petri nets augmented with flush-out arcs: A transient analysis technique 49
Modeling hybrid positive systems with hybrid petri nets 48
Phfit: A general phase-type fitting tool 48
Design and implementation of a WEB-based non-Markovian stochastic Petri net tool. 48
Stochastic Petri nets with low variation matrix exponentially distributed firing times. 48
Modelling a car safety controller in road tunnels using hybrid Petri nets 46
The scale factor: A new degree of freedom in phase type approximation 45
Modeling a car safety controller using fluid stochastic Petri nets 44
Fluid stochastic petri nets augmented with flush-out arcs: A transient analysis technique 44
Proc. of 7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS7) 43
Compositional model checking of product-form CTMCs. 43
Memory efficient calculation of path probabilities in large structured markov chains 41
Probabilistic model checking of non-Markovian models with concurrent generally distributed timers. 41
Matching three moments with minimal acyclic phase type distributions 39
Memory efficient analysis for a class of large structured Markov chains [work in progress] 35
On moments based Padé approximations of ruin probabilities. 35
Formal analysis of production line systems by probabilistic model checking tools 34
Lecture Notes in Computer Science, 4054, Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006 32
Proc. of 4th International Workshop on Tools for solving Structured Markov Chains 32
Proc. of 1st International Workshop International Workshop on Timing and Stochasticity in Petri nets and other models of concurrency 32
Equilibrium Analysis of Markov Regenerative Processes 23
Approximation of Cumulative Distribution Functions by Bernstein Phase-Type Distributions 21
Performance Analysis of Production Lines Through Statistical Model Checking 21
Phase Type Distributions: Theory and Application 15
Totale 10.045
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.939
article - articoli 0
book - libri 0
conference - conferenze 12.935
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 38.874
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.048 0 0 0 0 0 0 0 0 312 209 304 223
2020/20211.543 262 184 211 194 80 76 97 45 133 98 68 95
2021/2022729 24 14 18 41 16 13 54 33 18 53 202 243
2022/20231.183 142 92 40 114 116 345 111 57 95 5 55 11
2023/2024447 43 105 21 25 67 56 0 13 1 15 34 67
2024/20251.322 5 90 55 154 493 173 25 83 244 0 0 0
Totale 10.074