Jasmine A. Malinao

Orcid: 0009-0007-8776-9611

According to our database1, Jasmine A. Malinao authored at least 24 papers between 2011 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Building scalable hierarchical abstractions in the enriched robustness diagram with loop and time controls.
Discov. Comput., December, 2025

An Automation Tool for Model Conversion and Soundness Verification from Robustness Diagrams with Loop and Time Controls to Petri Nets.
Proceedings of the Novel and Intelligent Digital Systems: Proceedings of the 5th International Conference, 2025

On Weak Soundness in Robustness Diagrams with Loop and Time Controls.
Proceedings of the Novel and Intelligent Digital Systems: Proceedings of the 5th International Conference, 2025

Enriched Robustness Diagram with Loop and Time Controls for Scalable Model Representation.
Proceedings of the Novel and Intelligent Digital Systems: Proceedings of the 5th International Conference, 2025

On the Hardness of Generating Cyclic Profiles of Robustness Diagram with Loop and Time Controls.
Proceedings of the Novel and Intelligent Digital Systems: Proceedings of the 5th International Conference, 2025

Matrix Representation and Automation for the Verification of Free-Choiceness in Robustness Diagram with Loop and Time Controls.
Proceedings of the Novel and Intelligent Digital Systems: Proceedings of the 5th International Conference, 2025

Matrix-Based Conversion of RDLT to PN with Multiple Abstract Arc Handling.
Proceedings of the Novel and Intelligent Digital Systems: Proceedings of the 5th International Conference, 2025

Automated Verification of Classical Soundness in Robustness Diagrams with Loop and Time Controls via L-safeness.
Proceedings of the Novel and Intelligent Digital Systems: Proceedings of the 5th International Conference, 2025

A Matrix Representation for the Verification of Separability of Robustness Diagrams with Loop and Time Controls.
Proceedings of the Novel and Intelligent Digital Systems: Proceedings of the 5th International Conference, 2025

Model Decomposition of Multi-dimensional Workflows to Petri Nets for Well-Handledness Verification.
Proceedings of the Generative Systems and Intelligent Tutoring Systems, 2025

2024
Model Decomposition of Robustness Diagram with Loop and Time Controls to Sequence Diagrams Using Maximal Activities.
Proceedings of the Novel and Intelligent Digital Systems: Proceedings of the 4th International Conference, 2024

Well-Handledness in Robustness Diagram with Loop and Time Controls.
Proceedings of the Generative Intelligence and Intelligent Tutoring Systems, 2024

Model Decomposition of Robustness Diagram with Loop and Time Controls to Petri Net with Considerations on Resets.
Proceedings of the Generative Intelligence and Intelligent Tutoring Systems, 2024

2023
Mapping of Robustness Diagram with Loop and Time Controls to Petri Net with Considerations on Soundness.
Proceedings of the Novel & Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023), 2023

Model Decomposition of Robustness Diagram with Loop and Time Controls to Sequence Diagrams.
Proceedings of the Novel & Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023), 2023

Mapping Hierarchies and Dependencies from Robustness Diagram with Loop and Time Controls to Class Diagram.
Proceedings of the Novel & Intelligent Digital Systems: Proceedings of the 3rd International Conference (NiDS 2023), 2023

2017
Characterizing Classes of Potential Outliers through Traffic Data Set Data Signature 2D nMDS Projection.
CoRR, 2017

2016
Pattern mining and fault detection via COP<sub>therm</sub>-based profiling with correlation analysis of circuit variables in chiller systems.
Comput. Sci. Res. Dev., 2016

2014
Improving energy efficiency of buildings using data mining technologies.
Proceedings of the 23rd IEEE International Symposium on Industrial Electronics, 2014

2013
Traffic incident detection and modelling using Quantum Frequency Algorithm and AutoRegressive Integrated Moving Average models.
Proceedings of the 4th International Conference on Information, 2013

2012
Uncovering the Social Dynamics of Online Elections.
J. Univers. Comput. Sci., 2012

A Quantitative Analysis-based Algorithm for Optimal Data Signature Construction of Traffic Data Sets.
Inf. Media Technol., 2012

Data Signature-Based Multiyear Analysis of BLK-NB 6-Minute Interval Datasets of 2006 to 2009.
Proceedings of the 2012 IEEE/ACIS 11th International Conference on Computer and Information Science, Shanghai, China, May 30, 2012

2011
Data Signature-Based Time Series Traffic Analysis on Coarse-Grained NLEX Density Data Set.
Proceedings of the Communication and Networking, 2011


  Loading...