(2024)

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 2023-2024

Formal Verification of Shortest Job First Scheduling Algorithm in Coq
Luteria Jian, Tiangco Andrei, Earl Wilbur NograLabao 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)