Ionut Tamas

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 3

Top Topics

Deadlock Detection

Energy Efficiency

Genetic Algorithm

Top Venues

Publications

Ionut Tamas, Ioan Salomie, Marcel Antal
Atomic invariants verification and deadlock detection at compile-time. ICCP (2018)
Marcel Antal, Claudia Pop, Tudor Cioara, Ionut Anghel, Ionut Tamas, Ioan Salomie
Proactive day-ahead data center operation scheduling for energy efficiency: Solving a MIOCP using a multi-gene genetic algorithm. ICCP (2017)
Ionut Tamas, Ioan Salomie
Artemis - an extensible natural language framework for data querying and manipulation. ICCP (2016)