CINECA IRIS Institutional Research Information System

HORVATH, Andras
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.304
EU - Europa 3.378
AS - Asia 951
SA - Sud America 8
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 1
Totale 8.644
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.267
DK - Danimarca 1.316
CN - Cina 444
IT - Italia 319
IE - Irlanda 318
UA - Ucraina 246
DE - Germania 230
SE - Svezia 226
SG - Singapore 219
FR - Francia 211
FI - Finlandia 189
KR - Corea 148
GB - Regno Unito 139
PL - Polonia 80
VN - Vietnam 67
CA - Canada 37
IN - India 35
NL - Olanda 32
RU - Federazione Russa 31
ID - Indonesia 19
BE - Belgio 17
GR - Grecia 11
BR - Brasile 8
JP - Giappone 4
PK - Pakistan 4
AE - Emirati Arabi Uniti 3
ES - Italia 3
HK - Hong Kong 3
HU - Ungheria 3
AT - Austria 2
CZ - Repubblica Ceca 2
LK - Sri Lanka 2
BY - Bielorussia 1
DZ - Algeria 1
EE - Estonia 1
EU - Europa 1
KZ - Kazakistan 1
MU - Mauritius 1
PS - Palestinian Territory 1
PT - Portogallo 1
TW - Taiwan 1
Totale 8.644
Salva come PNG Salva come JPEG
Città #
Ann Arbor 864
Chandler 481
Wilmington 373
Dublin 318
Beijing 242
Fairfield 185
Houston 170
Dearborn 163
Jacksonville 163
Singapore 163
Guangzhou 139
Ashburn 133
Villeurbanne 125
Princeton 105
Medford 100
Woodbridge 97
Columbus 83
Warsaw 80
Torino 79
Seattle 76
Cambridge 72
Pisa 58
Santa Clara 58
Dong Ket 55
Boston 41
Milan 37
Nyköping 34
Padova 33
Norwalk 23
Boardman 21
Jakarta 19
Fremont 18
Brussels 17
Verona 17
Turin 16
San Diego 15
Toronto 14
Pune 13
Redwood City 13
Engelhard 12
Lachine 12
Falls Church 11
Helsinki 11
Ottawa 10
Phoenix 10
Wayne 10
Los Angeles 9
San Mateo 9
Hefei 8
Naples 8
Jinan 6
Philadelphia 6
Redmond 6
Des Moines 5
Kunming 5
Nanjing 5
San Mauro Torinese 5
Shanghai 5
Coimbatore 4
Dallas 4
Delhi 4
Genova 4
Mountain View 4
St. George 4
Baotou 3
Fuzhou 3
Guidizzolo 3
Hangzhou 3
New York 3
Nuremberg 3
Washington 3
Wuhan 3
Athens 2
Auburn Hills 2
Barnet 2
Budapest 2
Central District 2
Changsha 2
Chennai 2
Colorado Springs 2
Düsseldorf 2
Frankfurt am Main 2
Groningen 2
Hanover 2
London 2
Madrid 2
Mergo 2
Monte Vista 2
Munich 2
Nürnberg 2
Paris 2
Quzhou 2
Rodgau 2
Rome 2
Saint Petersburg 2
Simi Valley 2
São Paulo 2
Xian 2
Acqui Terme 1
Almaty 1
Totale 4.968
Salva come PNG Salva come JPEG
Nome #
A review of the deterministic and diffusion approximations for stochastic chemical reaction networks 311
Analysis of timed properties using the jump-diffusion approximation 297
Production quality performance in manufacturing systems processing deteriorating products 272
Approximate analysis of biological systems by hybrid switching jump diffusion 266
Approximate Transient Analysis of Queuing Networks by Decomposition based on Time-Inhomogeneous Markov Arrival Processes 254
Approximating Distributions and Transient Probabilities by Matrix Exponential Distributions and Functions 238
Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts 230
Probabilistic Model Checking of Regenerative Concurrent Systems 230
Lead-time oriented production control policies in two-machine production lines 227
Analysis of Petri Net Models through Stochastic Differential Equations 226
Constructing Matrix Exponential Distributions by Moments and Behavior around Zero 222
Exploiting flow equivalent server in transient analysis 221
Moments of accumulated reward and completion time in Markovian models with application to unreliable manufacturing systems 219
Phase Type and Matrix Exponential Distributions in Stochastic Modeling 202
Lead time distribution in unreliable production lines processing perishable products 198
Analysis of Activity Networks with Phase Type Distributions by Kronecker Algebra 192
Lead-time-oriented production control policies in two-machine production lines 190
Analysis of the Lead Time Distribution in Closed Loop Manufacturing Systems 177
Approximate Transient Analysis of Queuing Networks by Quasi Product Forms 174
Lead Time Dependent Product Deterioration in Manufacturing Systems with Serial, Assembly and Closed-Loop Layout 168
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State ClassesQuantitative Evaluation of Systems 163
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 161
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools 151
Simplification of a complex signal transduction model using invariants and flow equivalent servers 148
Transient analysis of non-Markovian models using stochastic state classes 142
Computer Performance Engineering 141
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 138
On the use of stochastic Petri nets in the analysis of Signal Transduction Pathways for Angiogenesis process 103
Quasi Product Form Approximation for Markov Models of Reaction Networks 100
Petri Nets Validation of Markovian Models of Emergency Department Arrivals 99
Model checking functional and performability properties of stochastic fluid models 93
A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks 86
Analysis of inhomogeneous Markov reward models 78
A MAP fitting method to approximate real traffic behavior 70
Analysis and evaluation of non-Markovian stochastic Petri nets 70
CSL Model Checking for Generalized Stochastic Petri Nets 68
Analysis of inhomogeneous Markov reward models 67
On the properties of acyclic bilateral phase type distributions 64
A markovian point process exhibiting multifractal behaviour and its application to traffic modeling 64
Time domain analysis of NMSPNs with PRI transitions 64
Steady state solution for models with geometric and finite support activity duration 63
Matching more than three moments with acyclic phase type distributions 63
Compositional Fluid Stochastic Petri Net model for operational software system performance 62
Acyclic discrete phase type distributions: Properties and a parameter estimation algorithm 60
Compositionality in the GreatSPN tool and its application to the modelling of industrial applications 60
Special session on the practical use of high-level Petri Nets: Implementing compositionality for stochastic petri nets 60
Comparison of approximate kinetics for unireactant enzymes: Michaelis-Menten against the equivalent server 60
Approximating heavy tailed behavior with phase type distributions 59
Time domain analysis of non-markovian stochastic petri nets with pri transitions 58
Supplementary variable approach applied to the transient analysis of age-MRSPNs 58
GreatSPN in the new Millenium 58
Parameter estimation of kinetic rates in stochastic reaction networks by the em method 58
Product Form Approximation of Transient Probabilities in Stochastic Reaction Networks 58
The Monte Carlo EM method for the parameter estimation of biological models 58
A joint moments based analysis of networks of map/map/1 queues 57
Moments of cumulated output and completion time of unreliable general markovian machines 57
The scale factor: A new degree of freedom in phase type approximation 55
Approximating distributions and transient probabilities of Markov chains by Bernstein expolynomial functions. 55
Transient analysis of age-MRSPNs by the method supplementary variables 54
Analysis of stochastic reaction networks with Markov reward models. 54
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant 53
A traffic based decomposition of two-class queueing networks with priority service 51
A joint moments based analysis of networks of MAP/MAP/1 queues. 51
Moments Characterization of Order 3 Matrix Exponential Distributions 47
Transient analysis of generalised semi-Markov processes using transient stochastic state classes. 47
Aggregated stochastic state classes in quantitative evaluation of non-Markovian stochastic Petri nets 46
Markovian modeling of real data traffic: Heuristic phase type and map fitting of heavy tailed and fractal like samples 45
Matrix geometric solution of fluid stochastic petri nets 45
Modeling hybrid positive systems with hybrid petri nets 44
Phfit: A general phase-type fitting tool 44
Design and implementation of a WEB-based non-Markovian stochastic Petri net tool. 44
Model checking time petri nets using NuSMV 44
Moment characterization of matrix exponential and Markovian arrival processes 44
Petri nets with discrete phase type timing: A bridge between stochastic and functional analysis 43
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis 42
Modelling a car safety controller in road tunnels using hybrid Petri nets 42
Fluid stochastic petri nets augmented with flush-out arcs: A transient analysis technique 42
A kronecker algebra formulation for markov activity networks with phase-type distributions 42
Stochastic Petri nets with low variation matrix exponentially distributed firing times. 41
Fluid petri nets and hybrid model-checking: A comparative case study 40
Fluid stochastic petri nets augmented with flush-out arcs: A transient analysis technique 40
Translating hybrid Petri nets into hybrid automata 40
The scale factor: A new degree of freedom in phase type approximation 39
Compositional model checking of product-form CTMCs. 38
Modeling Software Systems with Rejuvenation, Restoration and Checkpointing through Fluid Stochastic Petri Nets 37
Proc. of 7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS7) 37
Memory efficient calculation of path probabilities in large structured markov chains 37
Probabilistic model checking of non-Markovian models with concurrent generally distributed timers. 37
Modeling a car safety controller using fluid stochastic Petri nets 35
Matching three moments with minimal acyclic phase type distributions 33
Memory efficient analysis for a class of large structured Markov chains [work in progress] 30
On moments based Padé approximations of ruin probabilities. 30
Formal analysis of production line systems by probabilistic model checking tools 29
Lecture Notes in Computer Science, 4054, Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006 28
Proc. of 1st International Workshop International Workshop on Timing and Stochasticity in Petri nets and other models of concurrency 27
Proc. of 4th International Workshop on Tools for solving Structured Markov Chains 26
Equilibrium Analysis of Markov Regenerative Processes 18
Performance Analysis of Production Lines Through Statistical Model Checking 16
Construction of Phase Type Distributions by Bernstein Exponentials 7
Totale 9.232
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.503
article - articoli 0
book - libri 0
conference - conferenze 11.136
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 33.639
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.135 0 0 0 0 259 332 311 185 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/2025480 5 90 55 154 176 0 0 0 0 0 0 0
Totale 9.232