• 551
    Citations - based on content available in repository [source: Scopus]
20012023

Content available in repository

Filter
Chapter

Search results

  • 2023

    Assume-Guarantee Reasoning for Additive Hybrid Behaviour

    Cuijpers, P. J. L., Hansen, J. & Larsen, K. G., 2023, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Bowen, J. P., Li, Q. & Xu, Q. (eds.). Springer, p. 297-322 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14080 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

  • 2016

    Nomadic service discovery in smart cities

    Stolikj, M., Lukkien, J. J., Cuijpers, P. J. L. & Buchina, N., 13 May 2016, Smart Cities and Homes : Key Enabling Technologies. Obaidat, M. & Nicopolitidis, P. (eds.). Amsterdam: Elsevier, p. 59-90 32 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    1 Citation (Scopus)
    9 Downloads (Pure)