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
ANNOUNCEMENTS!!!
Conferences and Workshops
WCTP 2024 @ UP Manila 4 - 6 November 2024
Research Lab Meetings
28 August 2024 2 September 2024
Venue: UPAEC Hall, 2/F Seminar Room,
Time : 4:15 pm Wednesday 2pm, Monday
Agenda : short orie about the lab and getting to know you.
NEWS !!!
New Student members of the Lab!!
Welcome to Logic and Computability Lab!!!
Imman, Emilio, Julia, Kyle David, John Ivan, Brandon Kahlel, Roberto Joaquin, Shane Franklin, and Earl.
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