Reachability Poorman Discrete-Bidding Games.

Avni, G., Meggendorfer, T., Sadhukhan, S., Tkadlec, J. & Žikelić, Đ., 28/09/2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings. Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). p. 141-148 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 372).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Global Human Rights Institutions: What Legitimacy? What Authority?

Wheatley, S. M., 2018, International Human Rights Institutions, Tribunals and Courts . Oberleitner, G. (ed.). Springer, (International Human Rights).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter

Detecting anomalous behaviour using heterogeneous data

Mohd Ali, A., Angelov, P. P. & Gu, X., 7/09/2016, Advances in Computational Intelligence Systems: Contributions Presented at the 16th UK Workshop on Computational Intelligence, September 7–9, 2016, Lancaster, UK. Angelov, P., Gegov, A., Jayne, C. & Shen, Q. (eds.). Springer, p. 253-276 24 p. (Advances in Intelligent Systems and Computing; vol. 513).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

The role of software architecture in constraining adaptation in component-based middleware platforms

Blair, G. S., Blair, L., Issarny, V., Tuma, P. & Zarras, A., 1/01/2000, Middleware 2000 - IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing, Proceedings. Sventek, J. & Coulson, G. (eds.). Springer-Verlag, p. 164-184 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1795).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

SoS-centric Middleware Services for Interoperability in Smart Cities Systems

Lopes, F., Loss, S., Mendes, A., Batista, T. & Lea, R., 12/12/2016, SmartCities '16 Proceedings of the 2nd International Workshop on Smart. New York: Association for Computing Machinery, Inc, 6 p. a4. (Proceedings of the 2nd International Workshop on Smart, SmartCities 2016).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Cross-Device Taxonomy: Survey, Opportunities and Challenges of Interactions Spanning Across Multiple Devices

Brudy, F., Holz, C., Rädle, R., Wu, C.-J., Houben, S., Klokmose, C. & Marquardt, N., 2/05/2019, CHI '19 Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. New York: ACM, 28 p. (Conference on Human Factors in Computing Systems - Proceedings).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review