Edit Profile (opens in new tab) Macià, Hermenegilda Co-Author Distance Author ID: macia.hermenegilda Published as: Macià, Hermenegilda; Macia, Hermenegilda; Maciá, Hermenegilda; Maciá, H.; Macià, H. more...less External Links: ORCID Documents Indexed: 12 Publications since 2004 Co-Authors: 10 Co-Authors with 12 Joint Publications 39 Co-Co-Authors all top 5 Co-Authors 0 single-authored 9 Valero, Valentín 5 Cuartero, Fernando 4 Ruiz, M. Carmen 3 Cambronero, María Emilia 3 Cazorla, Diego 3 Diaz, Gregorio 2 Pardo, Juan José 2 Tarasyuk, Igor’ Valer’evich 1 Calleja, Javier 1 de Frutos, David all top 5 Serials 3 The Journal of Logic and Algebraic Programming 1 Programming and Computer Software 1 Science of Computer Programming 1 Formal Methods in System Design 1 Mathematical and Computer Modelling of Dynamical Systems 1 Informatica (Vilnius) 1 Fundamenta Informaticae 1 Sibirskie Èlektronnye Matematicheskie Izvestiya Fields 11 Computer science (68-XX) 2 Probability theory and stochastic processes (60-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 9 Publications have been cited 24 times in 10 Documents Cited by ▼ Year ▼ Introducing the iteration in sPBC. Zbl 1110.68420 Maciá, Hermenegilda; Valero, Valentín; Cazorla, Diego; Cuartero, Fernando 5 2004 sPBC: a Markovian extension of Petri box calculus with immediate multiactions. Zbl 1154.68092 Macià, Hermenegilda; Valero, Valentin; Cuartero, Fernando; Ruiz, M. Carmen 4 2008 A Petri net approach for the design and analysis of web services choreographies. Zbl 1188.68205 Valero, Valentín; Cambronero, M. Emilia; Díaz, Gregorio; Macià, Hermenegilda 3 2009 A congruence relation for sPBC. Zbl 1138.68040 Macià, Hermenegilda; Valero, Valentín; Cuartero, Fernando; de-Frutos, David 3 2008 Performance analysis of concurrent systems in algebra dtsiPBC. Zbl 1339.68033 Tarasyuk, I.; Macià, H.; Valero, Valentin 3 2014 Stochastic process reduction for performance evaluation in dtsiPBC. Zbl 1346.60118 Tarasyuk, I. V.; Maciá, H.; Valero, Valentin 3 2015 A bounded true concurrency process algebra for performance evaluation. Zbl 1111.68545 Ruiz, M. Carmen; Cazorla, Diego; Cuartero, Fernando; Pardo, J. José; Macià, Hermenegilda 1 2004 Removing dead transitions in timed-arc Petri nets. Zbl 1156.93361 Valero, Valentín; Macià, Hermenegilda 1 2009 A barred operational semantics for a subset of WS-CDL with time restrictions. Zbl 1183.68077 Valero, Valentín; Díaz, Gregorio; Cambronero, María Emilia; Macià, Hermenegilda 1 2009 Stochastic process reduction for performance evaluation in dtsiPBC. Zbl 1346.60118 Tarasyuk, I. V.; Maciá, H.; Valero, Valentin 3 2015 Performance analysis of concurrent systems in algebra dtsiPBC. Zbl 1339.68033 Tarasyuk, I.; Macià, H.; Valero, Valentin 3 2014 A Petri net approach for the design and analysis of web services choreographies. Zbl 1188.68205 Valero, Valentín; Cambronero, M. Emilia; Díaz, Gregorio; Macià, Hermenegilda 3 2009 Removing dead transitions in timed-arc Petri nets. Zbl 1156.93361 Valero, Valentín; Macià, Hermenegilda 1 2009 A barred operational semantics for a subset of WS-CDL with time restrictions. Zbl 1183.68077 Valero, Valentín; Díaz, Gregorio; Cambronero, María Emilia; Macià, Hermenegilda 1 2009 sPBC: a Markovian extension of Petri box calculus with immediate multiactions. Zbl 1154.68092 Macià, Hermenegilda; Valero, Valentin; Cuartero, Fernando; Ruiz, M. Carmen 4 2008 A congruence relation for sPBC. Zbl 1138.68040 Macià, Hermenegilda; Valero, Valentín; Cuartero, Fernando; de-Frutos, David 3 2008 Introducing the iteration in sPBC. Zbl 1110.68420 Maciá, Hermenegilda; Valero, Valentín; Cazorla, Diego; Cuartero, Fernando 5 2004 A bounded true concurrency process algebra for performance evaluation. Zbl 1111.68545 Ruiz, M. Carmen; Cazorla, Diego; Cuartero, Fernando; Pardo, J. José; Macià, Hermenegilda 1 2004 all cited Publications top 5 cited Publications all top 5 Cited by 17 Authors 5 Valero, Valentín 4 Tarasyuk, Igor’ Valer’evich 3 Diaz, Gregorio 3 Macià, Hermenegilda 2 Cambronero, María Emilia 1 Cazorla, Diego 1 Cuartero, Fernando 1 de Frutos, David 1 Macià Soler, Hermenegilda 1 Martínez, Enrique 1 Mateo, Jose Antonio 1 Pardo, Juan José 1 Pérez Leándrez, Diego 1 Rabanal, Pablo 1 Rodríguez, Ismael 1 Ruiz, M. Carmen 1 Valero Ruiz, Valentín Cited in 5 Serials 3 The Journal of Logic and Algebraic Programming 3 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Applied Mathematics and Computation 1 Programming and Computer Software 1 Formal Methods in System Design Cited in 3 Fields 10 Computer science (68-XX) 2 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year