Back
  1. Home
  2. Profile of Karim TIT (Unilu)
Profil

TIT Karim

University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SerVal

Main Referenced Co-authors
CORDY, Maxime  (3)
DOGOULIS, Panteleimon Tsampikos  (1)
Furon, Teddy (1)
Perrouin, Gilles (1)
VUONG, Tuan Quang  (1)
Main Referenced Keywords
Approximate modeling (1); Artificial Intelligence (1); Boolean formulae (1); Computer Science (all) (1); Configurable systems (1);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > SerVal - Security, Reasoning & Validation (1)
Main Referenced Disciplines
Computer science (4)

Publications (total 4)

The most downloaded
534 downloads
VUONG, T. Q., TIT, K., & CORDY, M. (2026). A Survey on LLMs for Spreadsheet Intelligence. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/67962. https://hdl.handle.net/10993/67962

The most cited

1 citations (OpenAlex)

DOGOULIS, P. T., TIT, K., & CORDY, M. (2025). KCLNet: Physics-Informed Power Flow Prediction via Constraints Projections. In Lecture Notes in Computer Science. Springer Nature Switzerland. doi:10.1007/978-3-032-06129-4_6 https://hdl.handle.net/10993/66382

ZEYEN, O., TIT, K., CORDY, M., & Perrouin, G. (2026). DivKC: A Divide-and-Conquer Approach to Knowledge Compilation. In Fundamental Approaches to Software Engineering. Springer. doi:10.1007/978-3-032-22774-4_7
Peer reviewed

VUONG, T. Q., TIT, K., & CORDY, M. (2026). A Survey on LLMs for Spreadsheet Intelligence. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/67962.

DOGOULIS, P. T., TIT, K., & CORDY, M. (2025). KCLNet: Physics-Informed Power Flow Prediction via Constraints Projections. In Lecture Notes in Computer Science. Springer Nature Switzerland. doi:10.1007/978-3-032-06129-4_6
Peer reviewed

TIT, K., & Furon, T. (April 2024). Fast Reliability Estimation for Neural Networks with Adversarial Attack-Driven Importance Sampling. Proceedings of Machine Learning Research, 244, 3356 - 3367.
Peer Reviewed verified by ORBi

Contact ORBilu