Christos Karamanos

According to our database, Christos Karamanos authored at least 2 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Towards Universally Accessible SAT Technology.

Alexey Ignatiev, Zi Li Tan, Christos Karamanos

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

2012

Automating the Implementation of Games Based on Model-Driven Authoring Environments.

Christos Karamanos, Nikitas M. Sgouros

Proceedings of the Entertainment Computing - ICEC 2012 - 11th International Conference, 2012