default search action
Hermenegilda Macià
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j23]Juan Ramón Rico-Juan, Cristina Cachero, Hermenegilda Macià
:
Study regarding the influence of a student's personality and an LMS usage profile on learning performance using machine learning techniques. Appl. Intell. 54(8): 6175-6197 (2024) - [j22]Gregorio Díaz
ITS4Tsunamis: An Intelligent Transportation System for tsunami emergencies. J. Comput. Sci. 81: 102360 (2024) - 2023
- [j21]Cristina Cachero, Juan Ramón Rico-Juan
Influence of personality and modality on peer assessment evaluation perceptions using Machine Learning techniques. Expert Syst. Appl. 213(Part): 119150 (2023) - [c18]Gregorio Díaz
An Intelligent Transportation System for Tsunamis Combining CEP, CPN and Fuzzy Logic. ICCS (1) 2023: 47-60 - [c17]Enrique Brazález, Gregorio Díaz, Hermenegilda Macià, Valentín Valero:
Designing a Fault Detection System for Wind Turbine Control Monitoring Using CEP. IWANN (2) 2023: 304-314 - 2022
- [j20]Enrique Brazález
FUME: An air quality decision support system for cities based on CEP technology and fuzzy logic. Appl. Soft Comput. 129: 109536 (2022) - [j19]Enrique Brazález
PITS: An Intelligent Transportation System in pandemic times. Eng. Appl. Artif. Intell. 114: 105154 (2022) - [j18]Valentín Valero
A Compositional Approach for Complex Event Pattern Modeling and Transformation to Colored Petri Nets with Black Sequencing Transitions. IEEE Trans. Software Eng. 48(7): 2584-2605 (2022) - [c16]Hermenegilda Macià, Gregorio Díaz
greenITS: a proposal to compute low-pollution routes. FNC/MobiSPC/SEIT 2022: 334-341 - 2020
- [j17]Gregorio Díaz
An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets. Neural Comput. Appl. 32(2): 405-426 (2020)
2010 – 2019
- 2019
- [j16]M. Carmen Ruiz, Hermenegilda Macià, Javier L. Calleja:
New Proposals to Improve a MAC Layer Protocol in Wireless Sensor Networks. Informatica 30(1): 91-116 (2019) - [j15]Juan Boubeta-Puig
MEdit4CEP-CPN: An approach for complex event processing modeling by prioritized colored petri nets. Inf. Syst. 81: 267-289 (2019) - [j14]Gregorio Díaz
Facilitating the Quantitative Analysis of Complex Events through a Computational Intelligence Model-Driven Tool. Sci. Program. 2019: 2604148:1-2604148:17 (2019) - [c15]Hermenegilda Macià
Combining Fuzzy Logic and CEP Technology to Improve Air Quality in Cities. ICCS (5) 2019: 559-565 - [c14]Gregorio Díaz
An Intelligent System Integrating CEP and Colored Petri Nets for Helping in Decision Making About Pollution Scenarios. IWANN (1) 2019: 729-740 - 2018
- [j13]María-Emilia Cambronero
Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets. IEEE Access 6: 27356-27372 (2018) - 2017
- [c13]Gregorio Díaz
Intelligent Transportation System to Control Air Pollution in Cities Using Complex Event Processing and Colored Petri Nets. IWANN (2) 2017: 415-426 - [i1]Igor V. Tarasyuk, Hermenegilda Macià, Valentín Valero Ruiz
Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC. CoRR abs/1702.07478 (2017) - 2016
- [j12]Hermenegilda Macià, Valentín Valero
Complex Event Processing Modeling by Prioritized Colored Petri Nets. IEEE Access 4: 7425-7439 (2016) - [j11]Edelmira Valero
Modeling the ascorbate-glutathione cycle in chloroplasts under light/dark conditions. BMC Syst. Biol. 10: 11 (2016) - [c12]M. Carmen Ruiz
Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks. ICCS 2016: 1191-1201 - 2015
- [j10]Hermenegilda Macià
Petri nets-based model for the analysis of NORIA protocol. Concurr. Comput. Pract. Exp. 27(17): 4704-4715 (2015) - [j9]José Antonio Mateo, Hermenegilda Macià
Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation. Int. J. Distributed Sens. Networks 11: 285396:1-285396:11 (2015) - [c11]Valentín Valero
Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources. FMICS 2015: 81-95 - [c10]Gregorio Díaz
Model-checking verification of publish-subscribe architectures in web service contexts. SAC 2015: 1688-1695 - 2014
- [j8]José Antonio Mateo, M. Carmen Ruiz, Hermenegilda Macià, Juan José Pardo:
Formal Study of Routing Protocols for Wireless Sensor Networks. J. Univers. Comput. Sci. 20(9): 1373-1401 (2014) - [j7]Igor V. Tarasyuk
Performance analysis of concurrent systems in algebra dtsiPBC. Program. Comput. Softw. 40(5): 229-249 (2014) - [c9]José Antonio Mateo, Valentín Valero Ruiz
A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. SEFM Workshops 2014: 389-404 - 2013
- [c8]José Antonio Mateo, Hermenegilda Macià
Formal Study of a Novel Network Role-based Routing Intelligent Algorithm. ICCS 2013: 2525-2528 - 2012
- [j6]Valentín Valero Ruiz
Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets. Sci. Comput. Program. 77(3): 290-313 (2012) - [c7]Igor V. Tarasyuk
Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC. PASM/PDMC 2012: 229-252 - 2010
- [c6]Hermenegilda Macià, María-Isabel González-Sánchez, Valentín Valero Ruiz, Edelmira Valero:
Applying Petri Nets for the Analysis of the GSH-ASC Cycle in Chloroplasts. ACSD/Petri Nets Workshops 2010: 119-133
2000 – 2009
- 2009
- [j5]M. Carmen Ruiz
Improving performance in flexible manufacturing systems. J. Log. Algebraic Methods Program. 78(4): 260-273 (2009) - [j4]Valentín Valero
A Petri net approach for the design and analysis of Web Services Choreographies. J. Log. Algebraic Methods Program. 78(5): 359-380 (2009) - [j3]Valentín Valero
A barred operational semantics for a subset of WS-CDL with time restrictions. J. Log. Algebraic Methods Program. 78(8): 730-748 (2009) - 2008
- [j2]Hermenegilda Macià
A congruence relation for sPBC. Formal Methods Syst. Des. 32(2): 85-128 (2008) - [j1]Hermenegilda Macià, Valentín Valero, Fernando Cuartero, M. Carmen Ruiz:
sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions. Fundam. Informaticae 87(3-4): 367-406 (2008) - 2004
- [c5]M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià:
A Bounded True Concurrency Process Algebra for Performance Evaluation. FORTE Workshops 2004: 143-155 - [c4]Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero:
Introducing the Iteration in sPBC. FORTE 2004: 292-309 - [c3]Fernando L. Pelayo
Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm. MMM 2004: 49-56 - 2003
- [c2]Hermenegilda Macià
A New Synchronization in Finite Stochastic Petri Box Calculus. ACSD 2003: 216-225 - 2001
- [c1]Hermenegilda Macià, Valentín Valero, David de Frutos-Escrig
sPBC: A Markovian Extension of Finite Petri box calculus. PNPM 2001: 207-216
Coauthor Index
aka: Valentín Valero
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-20 20:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: