(2025)

Undefinability of Paths under Infinitary Logic (Abstract - p125)

Alfonso B. Labao, Henry N. Adorna

In: Proceedings of Asian Mathematical Conference 2025 (to appear)

Chiang Mai University, Chiang Mai, Thailand, August 3–7, 2025

Properties of Some Δ0 Definable Sets on Models of KPU (Poster)

Labao, Alfonso & Adorna, Henry

In: Poster Session 2 (May 31, 2025 10:30-11:30AM)

2025 Mathematical Society of the Philippines (MSP) Annual Convention 

Effective descriptive complexity of some compact sets

A Labao, H Adorna

SciEnggJ 18 (2), 258-263

Matrix representation of virus machines and an application to the discrete logarithm problem

Antonio Ramírez-de-Arellano, David Orellana-Martín, Mario J Pérez-Jiménez, Francis George C Cabarle, Henry N Adorna

International journal of neural systems, https://doi.org/10.1142/S0129065725500492

Formalizing Resource Ownership Semantics of Spinlocks with the Coq Proof Assistant

Sebastian Luis S Ortiz, Justin Gabriel R Enriquez, Henry N Adorna, Alfonso B Labao

In: J. Caro et al. (eds.), Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2024) , Atlantis Highlights in Computer Sciences 23, https://doi.org/10.2991/978-94-6463-684-0_11

(2024)

Non-Preemptive SJF Scheduling and the Efficacy of FIFO in Mitigating Starvation

KA Chan, E Baratang, H Adorna, A Labao

(pre-print)

Formal Verification of a Custom Scheduling Algorithm and Specification of a Round-Robin Implementation using Coq

C Choa, B Logroño, R Villos, AB Labao, HN Adorna

In: Proceedings of PCSC2024, May 2024, Laguna, Philippines

Matrix Representation of Virus Machines

Antonio Ramírez-de-Arellano, Francis George C Cabarle, David Orellana-Martín, Mario J Pérez-Jiménez, Henry N Adorna

International Work-Conference on the Interplay Between Natural and Artificial Computation, 420-429, Springer Nature Switzerland, 2024 

Correction to: WebSnapse Reloaded: The Next-Generation Spiking Neural P System Visual Simulator using Client-Server Architecture

M Gulapa, JS Luzada, FGC Cabarle, HN Adorna, K Buño, D Ko

Workshop on Computation: Theory and Practice (WCTP 2023), C1-C1

Websnapse reloaded: The next-generation spiking neural p system visual simulator using client-server architecture

M Gulapa, JS Luzada, FGC Cabarle, HN Adorna, K Buno, D Ko

Workshop on Computation: Theory and Practice (WCTP 2023), 434-461

Websnapse v3: Optimization of the web-based simulator of spiking neural p system using matrix representation, webassembly and other tools

L Gallos, JL Sotto, FGC Cabarle, HN Adorna

Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2023), 434-461, Springer Nature, 2024

Steps toward a homogenization procedure for spiking neural p systems

RTA de la Cruz, FGC Cabarle, HN Adorna

Theoretical Computer Science, Volume 981, 4 January 2024, 114250

Parameterized Algorithm for the Poset Cover Problem

ID Ordanel, PL Fernandez, RAB Juayong, JB Clemente, HN Adorna, 

Philippine Journal of Science 153 (1): 23-32, February 2024

(2023)

Communication Complexities of Leakage-secure PKE Cryptosystems and Generic Transformations.

AB Labao, HN Adorna

Philippine Journal of Science 152 (1)

Survivable Network Design with Constrained!-Subgraph Flows

AB Labao, HN Adorna

SciEnggJ 16 (2), 291-309

Solving 3-SAT in distributed P systems with string objects

K Buño, H Adorna

Theoretical Computer Science Volume 964, 10 July 2023, 113976

AY 2024-2025

Formal Verification of First In First Out Scheduling Algorithm in Coq: Earl Wilbur Nogra, Labao Alfonso and Adorna Henry  (accepted and presented @ PCSC 2025)

AY 2023-2024

Formal Verification of Shortest Job First Scheduling Algorithm in Coq: Luteria Jian, Tiangco Andrei, Earl Wilbur Nogra, Labao Alfonso and Adorna Henry  (accepted and presented @ PCSC 2024)

Formal Verification of a Custom Scheduling Algorithm and Specification of a Round-Robin Implementation using Coq: Logrono Brylle, Villos Raymart, Choa Christian, Labao Alfonso and Adorna Henry (accepted and presented @ PCSC 2024)