About the group...
The ACLRL focuses on doing computer science on the areas of discrete mathematics, and theories of formal languages, automata, computability and complexity. The current concerns of the group include
Computability and Complexity of Nature- and Bio-Inspired Computing Models
Formal Verification of some Algorithms and Cryptographic Protocols
Discrete Mathematics, Combinatorics, and Logic
NEWS... ANNOUNCEMENTS!!!
PCSC 2024... @ DLSU, Laguna Campus 9-11 May 2024
PCSC 2024 Satellite Workshop on Quantum Computing (Algorithms and Programming) ...@ Adventist Univ. of the Philippines, Silang Cavite 12 May 2024
2024 MSP Annual Convention @Tacloban 30 May - 2 June 2024
ACMC 2024 ... @ Singapore 7-9 August 2024
CMC 2024... @ France 3-5 June 2024
Recent Publications
Refereed Journals
Parameterized Algorithm for the Poset Cover Problem
ID Ordanel, PL Fernandez Jr, RAB Juayong, JB Clemente, HN Adorna
Philippine Journal of Science 153 (1), 23-32
Steps toward a homogenization procedure for spiking neural P systems
RTA de la Cruz, FGC Cabarle, HN Adorna, Theoretical Computer Science 981, 114250
Solving 3-SAT in distributed P systems with string objects
K Buño, H Adorna, Theoretical Computer Science 964, 113976
Communication Complexities of Leakage-secure PKE Cryptosystems and Generic Transformations.
AB Labao, HN Adorna, Philippine Journal of Science 152 (1)
Refereed Conference Proceedings
M Gulapa, JS Luzada, FGC Cabarle, HN Adorna, K Buño, D Ko
Workshop on Computation: Theory and Practice (WCTP 2023), 434-461
L Gallos, JL Sotto, FGC Cabarle, HN Adorna
Workshop on Computation: Theory and Practice (WCTP 2023), 415-433