Primary tabs

Most recent publications

Int. Journal on Artificial Intelligence Tools (IJAIT) 29, no. 3-4 (2020): 23.
Journal Article
2020
In The 6th International Conference on Machine Learning, Optimization and Data Science - LOD 2020, 2020.
Proceedings, refereed
2020
In 1st International Workshop on New Foundations for Human-Centered AI @ ECAI 2020, 2020.
Proceedings, refereed
2020
Journal of Systems and Software (2020).
Journal Article
2020

Selected publications

Journal of Systems and Software (2020).
Journal Article
2020
In Proceedings of the AAAI Conference on Artificial Intelligence (AAAI-19). Vol. 33. AAAI, 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

Find publication

Export 21 results:
2019

Talks, contributed

In 14th Certus User Partner Workshop (UPW), Larvik, Norway, 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 Gesellschaft für Informatik Software Engineering Conference 2018 (SE18), Ulm, Germany, 2018.
Status: Published
In NordConsNet Workshop, Gothenburg, Sweden, 2018.
Status: Published
2017

Proceedings, refereed

In Proceedings of Principles of Constraint Programming (CP'17). Springer, 2017.
Status: Published
In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017.
Status: Published
2016

Journal articles