2018 Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2018) Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS), s. 180-189 2017 Oleg Burdakov, Jonas Kvarnström, Patrick Doherty (2017) Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles Annals of Operations Research, Vol. 249, s. 163-174 Vidare till DOI 2016 Patrick Doherty, Jonas Kvarnström, Andrzej Szalas (2016) Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings, s. 536-542 Vidare till DOI Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2016) Efficient Processing of Simple Temporal Networks with Uncertainty: Algorithms for Dynamic Controllability Verification Acta Informatica, Vol. 53, s. 723-752 Vidare till DOI Cyrille Berger, Mariusz Wzorek, Jonas Kvarnström, Gianpaolo Conte, Patrick Doherty, Alexander Eriksson (2016) Area Coverage with Heterogeneous UAVs using Scan Patterns 2016 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR): proceedings Vidare till DOI
Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2018) Planning with Temporal Uncertainty, Resources and Non-Linear Control Parameters Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling (ICAPS), s. 180-189
Oleg Burdakov, Jonas Kvarnström, Patrick Doherty (2017) Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles Annals of Operations Research, Vol. 249, s. 163-174 Vidare till DOI
Patrick Doherty, Jonas Kvarnström, Andrzej Szalas (2016) Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs Logics in Artificial Intelligence: 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings, s. 536-542 Vidare till DOI
Mikael Nilsson, Jonas Kvarnström, Patrick Doherty (2016) Efficient Processing of Simple Temporal Networks with Uncertainty: Algorithms for Dynamic Controllability Verification Acta Informatica, Vol. 53, s. 723-752 Vidare till DOI
Cyrille Berger, Mariusz Wzorek, Jonas Kvarnström, Gianpaolo Conte, Patrick Doherty, Alexander Eriksson (2016) Area Coverage with Heterogeneous UAVs using Scan Patterns 2016 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR): proceedings Vidare till DOI
Artificiell intelligens och integrerade datorsystem (AIICS) Verksamheten vid avdelningen AIICS, Institutionen för datavetenskap, är fokuserad på forskning och undervisning inom artificiell intelligens, dess teoretiska grunder och dess tillämpningar.
William Ahlberg Forskningsingenjör Mohsen Asgari Doktorand Cyrille Berger Universitetslektor David Bergström Doktorand Marcel Bollmann Universitetslektor Christer Bäckström Universitetslektor, Docent Peter Dalenius Universitetsadjunkt Patrick Doherty Professor Ehsan Doostmohammadi Doktorand Dominik Drexler Doktorand Leif Eriksson Doktorand Hoda Fakharzadehjahromy Doktorand Johannes Klaus Fichte Universitetslektor Martin Forsberg Amanuens Markus Fritzsche Doktorand Martin Funkquist Doktorand Hector Geffner Gästprofessor Daniel Gnad Biträdande universitetslektor Julia Hannu Forskningsingenjör Arash Haratian Amanuens Fredrik Heintz Professor, Avdelningschef, Enhetschef Oskar Holmström Doktorand Paul Höft Doktorand Peter Jonsson Professor, Enhetschef Lowe Kozak Åslöv Amanuens Marco Kuhlmann Proprefekt, Professor, Enhetschef Jenny Kunz Doktorand Lars Johan Källström Victor Lagerkvist Universitetslektor, Docent Katerina Linden Postdoktor Dennis Malmgren Linda Mannila Adjungerad universitetslektor Farid Musayev Doktorand Mikael Nilsson Ulf Nilsson Professor emeritus George Osipov Doktorand Tommy Persson Forskningsingenjör Fredrik Präntare Doktorand Fawad Qayum Koordinator Piotr Rudol Forskningsingenjör Erik Sandewall Professor emeritus Jendrik Seipp Biträdande universitetslektor, Docent Md Fahim Sikder Doktorand Mika Skjelnes Doktorand David Speck Postdoktor Akshath Srinivas Amanuens Simon Ståhlberg Förste forskningsingenjör Andrzej Szalas Professor emeritus Mattias Tiger Postdoktor Olle Torstensson Doktorand Emil Wiman Doktorand Mariusz Wzorek Forskningsingenjör Daniel de Leng Postdoktor Jorke de Vlas Visa alla Visa färre
Institutionen för datavetenskap (IDA) En av de största datavetenskapliga institutionerna i norra Europa med forskning och utbildning inom AI, människa-datorinteraktion, programvaruteknik och datorsystem, och data science. Verksamheten är inriktad mot både teknisk och filosofisk fakultet.