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
23 September 2024
Venue: UPAEC Hall, 2/F Seminar Room,
Time : 2pm, Monday
Agenda : Lab Seminar and discussion
Related Meetings, Conference and Workshops
WCTP 2024 @ UP Manila 4 - 6 November 2024
NEWS & ANNOUNCEMENTS!
Lab Research Seminar....
23 September 2024 @2pm
2/F Seminar Room UPAEC Hall
Some Ideas on Formal Verifications
by Alfonso B. Labao, PhD
Asst Prof. @ LCLab
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