1. 2021
  2. Published

    Parameterised Counting in Logspace

    Haak, A., Meier, A., Prakash, O. & Rao, B. V. R., 2021, 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021. Blaser, M. & Monmege, B. (eds.). p. 1-17 17 p. 40. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 187).

    Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

  3. Published

    Quantification of Preconditions for Processing Safety Relevant Vehicle Systems

    Noun, H., Urban-Seelmann, C., Abdelfattah, M., Rajesh, G., Mozgova, I. & Lachmayer, R., 2021, 2021 5th International Conference on System Reliability and Safety, ICSRS 2021. Institute of Electrical and Electronics Engineers Inc., p. 265-269 5 p. (2021 5th International Conference on System Reliability and Safety, ICSRS 2021).

    Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

  4. Published

    Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies

    Riley, J., Calinescu, R., Paterson, C., Kudenko, D. & Banks, A., 2021, Proceedings of the 13th International Conference on Agents and Artificial Intelligence: Volume 2: ICAART . Rocha, A. P., Steels, L. & van den Herik, J. (eds.). p. 237-245 9 p. (ICAART).

    Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

  5. Published

    Robust Regression for Monocular Depth Estimation

    Lienen, J., Nommensen, N., Ewerth, R. & Hüllermeier, E., 2021, p. 1001-1016. 16 p.

    Research output: Contribution to conferencePaperResearchpeer review

  6. Published

    ROXANNE Research Platform: Automate criminal investigations

    Fabien, M., Parida, S., Motlicek, P., Zhu, D., Krishnan, A. & Nguyen, H. H., 2021, 22nd Annual Conference of the International Speech Communication Association: INTERSPEECH 2021. p. 2156-2158 3 p. (Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH; vol. 3).

    Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

  7. Systematic Mapping Study on the Machine Learning Lifecycle

    Xie, Y., Miranda da Cruz, L., Heck, P. & Rellermeyer, J., 2021, Proceedings - 2021 IEEE/ACM 1st Workshop on AI Engineering - Software Engineering for AI, WAIN 2021. p. 70-73 4 p. 9474380

    Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

  8. Published

    Virtual Element Formulation For Finite Strain Elastodynamics: Dedicated to Professor Karl Stark Pister for his 95th birthday

    Cihan, M., Aldakheel, F., Hudobivnik, B. & Wriggers, P., 2021, In: CMES - Computer Modeling in Engineering and Sciences. 129, 3, p. 1151-1180 30 p.

    Research output: Contribution to journalArticleResearchpeer review

  9. Published

    World-GAN: A Generative Model for Minecraft Worlds

    Awiszus, M., Schubert, F. & Rosenhahn, B., 2021, 2021 IEEE Conference on Games, CoG 2021. IEEE Computer Society, 175285. (IEEE Conference on Computatonal Intelligence and Games, CIG; vol. 2021-August).

    Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

  10. 2020
  11. Published

    Compacting Frequent Star Patterns in RDF Graphs

    Karim, F., Vidal, M. & Auer, S., Dec 2020, In: Journal of Intelligent Information Systems. 55, 3, p. 561-585 25 p.

    Research output: Contribution to journalArticleResearch

  12. Published

    Explainability as a non-functional requirement: challenges and recommendations

    Chazette, L. & Schneider, K., Dec 2020, In: Requirements engineering. 25, 4, p. 493-514 22 p.

    Research output: Contribution to journalArticleResearchpeer review

  13. Published

    No one is perfect: Analysing the performance of question answering components over the DBpedia knowledge graph

    Singh, K., Lytra, I., Radhakrishna, A. S., Shekarpour, S., Vidal, M. E. & Lehmann, J., Dec 2020, In: Journal of Web Semantics. 65, 100594.

    Research output: Contribution to journalArticleResearchpeer review

  14. Published

    PYKAT: Python package for modelling precision optical interferometers

    Brown, D. D., Jones, P., Rowlinson, S., Leavey, S., Green, A. C., Töyrä, D. & Freise, A., Dec 2020, In: SoftwareX. 12, 100613.

    Research output: Contribution to journalArticleResearchpeer review

  15. Published

    Best Practices for Scientific Research on Neural Architecture Search

    Lindauer, M. & Hutter, F., Nov 2020, In: Journal of Machine Learning Research. 21, 18 p.

    Research output: Contribution to journalArticleResearchpeer review

  16. Published

    Design and Evaluation of On-the-Head Spatial Tactile Patterns

    Kaul, O. B., Rohs, M. & Mogalle, M., Nov 2020, MUM 2020: 19th International Conference on Mobile and Ubiquitous Multimedia, Proceedings. Cauchard, J. & Lochtefeld, M. (eds.). Association for Computing Machinery (ACM), p. 229-239 11 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

  17. Published

    pfm-cracks: A parallel-adaptive framework for phase-field fracture propagation[Formula presented]

    Heister, T. & Wick, T., Nov 2020, In: Software Impacts. 6, 100045.

    Research output: Contribution to journalArticleResearchpeer review

  18. Published

    Skiables: Towards a Wearable System Mounted on a Ski Boot for Measuring Slope Conditions

    Schrapel, M., Liebers, J., Rohs, M. & Schneegass, S., Nov 2020, MUM 2020: 19th International Conference on Mobile and Ubiquitous Multimedia, Proceedings. Cauchard, J. & Lochtefeld, M. (eds.). Association for Computing Machinery (ACM), p. 320-322 3 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

  19. Published

    Learners' Perspectives on Block-Based Programming Environments: Code.Org vs. Scratch

    Krugel, J. A. & Ruf, A., 28 Oct 2020, Proceedings of the 15th Workshop in Primary and Secondary Computing Education, WiPSCE 2020. Brinda, T. & Armoni, M. (eds.). 3421615. (ACM International Conference Proceeding Series).

    Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

  20. Published

    Scenarios in the loop: Integrated requirements analysis and automotive system validation

    Wiecher, C., Japs, S., Kaiser, L., Greenyer, J., Dumitrescu, R. & Wolff, C., 26 Oct 2020, Proceedings: 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings. p. 199-208 10 p. (Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2020 - Companion Proceedings).

    Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

  21. Published

    TactileWear: A Comparison of Electrotactile and Vibrotactile Feedback on the Wrist and Ring Finger

    Stanke, D., Duente, T. & Rohs, M., 26 Oct 2020, NordiCHI 2020: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society. Association for Computing Machinery (ACM), p. 1-13 74. (ACM International Conference Proceeding Series).

    Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review

  22. OER Recommendations to Support Career Development

    Tavakoli, M., Faraji, A., Mol, S. T. & Kismihok, G., 21 Oct 2020, 2020 IEEE Frontiers in Education Conference, FIE 2020 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 9274175. (Proceedings - Frontiers in Education Conference, FIE; vol. 2020-October).

    Research output: Chapter in book/report/conference proceedingConference contributionResearchpeer review