Primary tabs

Most recent publications

In Proc. of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19). Hawai, USA. Feb. 2019., 2019.
Proceedings, refereed
2019
In Proc. of IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI-18). Volos, Greece. Nov. 2018. IEEE, 2018.
Proceedings, refereed
2018
In Data Science meets Optimization Workshop at Federated Artificial Intelligence Meeting., 2018.
Proceedings, refereed
2018
In Proceedings of Principles of Constraint Programming (CP'17). Springer, 2017.
Proceedings, refereed
2017

Selected publications

In Proc. of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19). Hawai, USA. Feb. 2019., 2019.
Proceedings, refereed
2019
In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017.
Proceedings, refereed
2017

Students under supervision

Find publication

Status

Export 13 results:
2019

Proceedings, refereed

In Proc. of the Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19). Hawai, USA. Feb. 2019., 2019.
Status: Published

Posters

Talks, contributed

In Gesellschaft für Informatik Software Engineering Conference 2019 (SE19)., 2019.
Status: Published
2018

Proceedings, refereed

In Proc. of IEEE Int. Conf. on Tools with Artificial Intelligence (ICTAI-18). Volos, Greece. Nov. 2018. IEEE, 2018.
Status: Published
In Data Science meets Optimization Workshop at Federated Artificial Intelligence Meeting., 2018.
Status: Published

Posters

Talks, invited

In International Symposium on Mathematical Optimization (ISMP'18), Bordeaux, France., 2018.
Status: Published

Talks, contributed

In NordConsNet Workshop, Gothenburg, Sweden., 2018.
Status: Published
In Gesellschaft für Informatik Software Engineering Conference 2018 (SE18), Ulm, Germany., 2018.
Status: Published
2017

Proceedings, refereed

In Proceedings of Principles of Constraint Programming (CP'17). Springer, 2017.
Status: Published