Artemis - an extensible natural language framework for data querying and manipulation. - Ionut Tamas; Ioan Salomie (ICCP, 2016)

Proactive day-ahead data center operation scheduling for energy efficiency: Solving a MIOCP using a multi-gene genetic algorithm. - Marcel Antal; Claudia Pop; Tudor Cioara; Ionut Anghel; Ionut Tamas; Ioan Salomie (ICCP, 2017)

Atomic invariants verification and deadlock detection at compile-time. - Ionut Tamas; Ioan Salomie; Marcel Antal (ICCP, 2018)