Research output per year
Research output per year
Personal profile
Related documents
Disciplines
- Artificial Intelligence and Robotics
- Information Security
- Data Science
-
Analyzing Adversarial Strategies and Countermeasures for Cyberbullying Detection
Juarez, M., Abdukhamidov, E., Sandoval, M., Nazari, M., Hall, D., Thiruvathukal, G. K., Abuhmed, T., Silva, Y. N. & Abuhamad, M., 2026, Social, Cultural, and Behavioral Modeling - 18th International Conference, SBP-BRiMS 2025, Proceedings. Thomson, R., Pyke, A. A., Renshaw, S., Park, P., Al-khateeb, S. & Burger, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 86-95 10 p. (Lecture Notes in Computer Science; vol. 16127 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation
Bisharat, A., Ortiz, B., Spencer, E., Bhadauria, K., Wang, T., Thiruvathukal, G. K., Laufer, K. & Abuhamad, M., Jun 4 2026.Research output: Working paper › Preprint
File -
TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation
Spencer, E., Bisharat, A., Ortiz, B., Bhadauria, K., Wang, T., Thiruvathukal, G. K., Laufer, K. & Abuhamad, M., Jun 4 2026.Research output: Working paper › Preprint
File -
Identifying Cyberbullying Roles in Social Media
Sandoval, M., Abuhamad, M., Furman, P., Nazari, M., Hall, D. L. & Silva, Y. N., 2025, Social Networks Analysis and Mining - 16th International Conference, ASONAM 2024, Proceedings. Aiello, L. M., Chakraborty, T. & Gaito, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 355-370 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15213 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
SHIELD: Thwarting Code Authorship Attribution
Abuhamad, M., Jung, C., Mohaisen, D. & Nyang, D. H., 2025, In: IEEE Transactions on Dependable and Secure Computing. 22, 5, p. 4753-4767 15 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile