Karin Avnit

Orcid: 0000-0001-8126-0768

According to our database1, Karin Avnit authored at least 11 papers between 2008 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Exploring Team-based Classroom Experiences in Virtual Reality.
Proceedings of the IEEE International Conference on Teaching, 2023

2021
Development and Implementation of an Online Adaptive Gamification Platform for Learning Computational Thinking.
Proceedings of the IEEE Frontiers in Education Conference, 2021

2018
Early Prediction of Students' Mathematics Performance.
Proceedings of the IEEE International Conference on Teaching, 2018

Joint Localization and Clock Offset Estimation via Time-Of-Arrival with Ranging Offset.
Proceedings of the 26th European Signal Processing Conference, 2018

2016
Location of Things: Geospatial Tagging for IoT Using Time-of-Arrival.
IEEE Trans. Signal Inf. Process. over Networks, 2016

2010
Provably correct on-chip communication: a formal approach to automatic synthesis of SoC protocol converters.
PhD thesis, 2010

MIMO Detection With High-Level Modulations Using Power Equality Constraints.
IEEE Trans. Veh. Technol., 2010

ACS: Automatic Converter Synthesis for SoC Bus Protocols.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

2009
Provably correct on-chip communication: A formal approach to automatic protocol converter synthesis.
ACM Trans. Design Autom. Electr. Syst., 2009

A formal approach to design space exploration of protocol converters.
Proceedings of the Design, Automation and Test in Europe, 2009

2008
A Formal Approach To The Protocol Converter Problem.
Proceedings of the Design, Automation and Test in Europe, 2008


  Loading...