Hermenegilda Macià
Orcid: 0000-0003-1462-5274
According to our database1,
Hermenegilda Macià
authored at least 40 papers
between 2001 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
On csauthors.net:
Bibliography
2023
Influence of personality and modality on peer assessment evaluation perceptions using Machine Learning techniques.
Expert Syst. Appl., 2023
Proceedings of the Advances in Computational Intelligence, 2023
An Intelligent Transportation System for Tsunamis Combining CEP, CPN and Fuzzy Logic.
Proceedings of the Computational Science - ICCS 2023, 2023
2022
A Compositional Approach for Complex Event Pattern Modeling and Transformation to Colored Petri Nets with Black Sequencing Transitions.
IEEE Trans. Software Eng., 2022
Eng. Appl. Artif. Intell., 2022
FUME: An air quality decision support system for cities based on CEP technology and fuzzy logic.
Appl. Soft Comput., 2022
Proceedings of the 17th International Conference on Future Networks and Communications / 19th International Conference on Mobile Systems and Pervasive Computing / 12th International Conference on Sustainable Energy Information Technology (FNC/MobiSPC/SEIT 2022), 2022
2020
An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets.
Neural Comput. Appl., 2020
2019
Facilitating the Quantitative Analysis of Complex Events through a Computational Intelligence Model-Driven Tool.
Sci. Program., 2019
MEdit4CEP-CPN: An approach for complex event processing modeling by prioritized colored petri nets.
Inf. Syst., 2019
Informatica, 2019
An Intelligent System Integrating CEP and Colored Petri Nets for Helping in Decision Making About Pollution Scenarios.
Proceedings of the Advances in Computational Intelligence, 2019
Proceedings of the Computational Science - ICCS 2019, 2019
2018
Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets.
IEEE Access, 2018
2017
CoRR, 2017
Intelligent Transportation System to Control Air Pollution in Cities Using Complex Event Processing and Colored Petri Nets.
Proceedings of the Advances in Computational Intelligence, 2017
2016
Modeling the ascorbate-glutathione cycle in chloroplasts under light/dark conditions.
BMC Syst. Biol., 2016
IEEE Access, 2016
Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks.
Proceedings of the International Conference on Computational Science 2016, 2016
2015
Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation.
Int. J. Distributed Sens. Networks, 2015
Concurr. Comput. Pract. Exp., 2015
Model-checking verification of publish-subscribe architectures in web service contexts.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources.
Proceedings of the Formal Methods for Industrial Critical Systems, 2015
2014
Program. Comput. Softw., 2014
J. Univers. Comput. Sci., 2014
A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF.
Proceedings of the Software Engineering and Formal Methods, 2014
2013
Proceedings of the International Conference on Computational Science, 2013
2012
Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets.
Sci. Comput. Program., 2012
Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012
2010
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010
2009
J. Log. Algebraic Methods Program., 2009
J. Log. Algebraic Methods Program., 2009
J. Log. Algebraic Methods Program., 2009
2008
Fundam. Informaticae, 2008
2004
Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm.
Proceedings of the 10th International Multimedia Modeling Conference (MMM 2004), 2004
Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004
2003
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003
2001
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001