A Formal Approach To The Protocol Converter Problem. - Karin Avnit; Vijay D'Silva; Arcot Sowmya; S. Ramesh; Sri Parameswaran (DATE, 2008)

A formal approach to design space exploration of protocol converters. - Karin Avnit; Arcot Sowmya (DATE, 2009)

Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis. - Karin Avnit; Vijay D'Silva; Arcot Sowmya; S. Ramesh; Sri Parameswaran (ACM Trans. Design Autom. Electr. Syst., 2009)

ACS: Automatic Converter Synthesis for SoC Bus Protocols. - Karin Avnit; Arcot Sowmya; Jorgen Peddersen (TACAS, 2010)

MIMO Detection With High-Level Modulations Using Power Equality Constraints. - Ido Nevat; Tao Yang 004; Karin Avnit; Jinhong Yuan (IEEE Trans. Veh. Technol., 2010)

Provably correct on-chip communication: a formal approach to automatic synthesis of SoC protocol converters. - Karin Avnit (2010)

Location of Things: Geospatial Tagging for IoT Using Time-of-Arrival. - Ido Nevat; Gareth W. Peters; Karin Avnit; François Septier; Laurent Clavier (IEEE Trans. Signal Inf. Process. over Networks, 2016)

Joint Localization and Clock Offset Estimation via Time-Of-Arrival with Ranging Offset. - Ido Nevat; François Septier; Karin Avnit; Gareth W. Peters; Laurent Clavier (EUSIPCO, 2018)

Early Prediction of Students' Mathematics Performance. - Rui Zhen Tan; Peng-Cheng Wang; Wee Han Lim; Soh Hwi Catherine Ong; Karin Avnit (TALE, 2018)

Development and Implementation of an Online Adaptive Gamification Platform for Learning Computational Thinking. - Andrew Keong Ng; Indriyati Atmosukarto; Wean Sin Cheow; Karin Avnit; Mun Hin Yong (FIE, 2021)

Exploring Team-based Classroom Experiences in Virtual Reality. - Nisha Jain; Chek Tien Tan; Chien Ching Lee; Karin Avnit; Songjia Shen; Jeannie Su Ann Lee (TALE, 2023)