Logic and Computability Laboratory
About the group...
The LCLab 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 Conventional and Unconventional Computing Models
Formal Verification of some Algorithms and Cryptographic Protocols
Discrete Mathematics, Combinatorics, and Logic
Research Lab Meetings
14 October 2024
Venue: UPAEC Hall, 2/F Seminar Room,
Time : 2pm, Mondays
Agenda : Individual Research Group Meetings (Please consult Sir Pancho or Henry)
Related Meetings, Conference and Workshops
WCTP 2024 @ UP Manila 4 - 6 November 2024
PCSC 2025 @ Uni of the Cordilleras 8 - 10 May 2024
NEWS & ANNOUNCEMENTS!
Our Next Public Seminar will be on
11 November 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
Matrix Representation of Virus Machines.
Ramírez-de-Arellano, A., Cabarle, F.G.C., Orellana-Martín, D., Pérez-Jiménez, M.J., Adorna, H.N. (2024).
In: Ferrández Vicente, J.M., Val Calvo, M., Adeli, H. (eds) Bioinspired Systems for Translational Applications: From Robotics to Social Engineering. IWINAC 2024. Lecture Notes in Computer Science, vol 14675. Springer, Cham. https://doi.org/10.1007/978-3-031-61137-7_39
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