Logic and Computability Laboratory
Logic and Computability Laboratory
Embedded Files
About the group...
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
Research Lab Meetings
17 February 2025
Venue: UPAEC Hall, 2/F Seminar Room,
Time : 2pm, Mondays
Agenda : Research Seminar/Public Lecture
Related Meetings, Conference and Workshops
Related Meetings, Conference and Workshops
PCSC 2025 @ Uni of the Cordilleras 8 - 10 May 2025
Deadline of Submission (Paper): 28 February 2025
2025 MSP Annual Convention, Zamboanga City, 29-31 May 2025
Deadline of Submission (Abstract): 17 March 2025
NIDS 2025, Athens, Greece 24-26 September 2025
Deadline of Submission (Paper): 9 March 2025
ICMC 2025, Chengdu, China September 2025
Deadline of Submission (Paper): TBA
NEWS & ANNOUNCEMENTS!
NEWS & ANNOUNCEMENTS!
Lab-Research Seminar
17 February 2025 @ 2pm
2/F Seminar Room UPAEC Hall
Critique of Formally Verifying Spin Locks
in the Context of Resource Ownership Semantics
by Mikhail Gallego
Graduate Student @ LCLab
Recent Publications
Recent Publications
Refereed Journals
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
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
Page updated
Report abuse