1. 2019
  2. On the accuracy of network synchronization using persistent hourglass clocks

    Curuk, E., Yildirim, K. S., Pawelczak, P. & Hester, J., 10 Nov 2019, ENSsys 2019 - Proceedings of the 7th International Workshop on Energy Harvesting and Energy-Neutral Sensing Systems. Association for Computing Machinery (ACM), p. 35-41 7 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  3. A Decade of Featured Transition Systems

    Cordy, M., Devroey, X., Legay, A., Perrouin, G., Classen, A., Heymans, P., Schobbens, P-Y. & Raskin, J-F., 9 Nov 2019, From Software Engineering to Formal Methods and Tools, and Back.. ter Beek, M. H., Fantechi, A. & Semini, L. (eds.). Cham: Springer, Vol. 11865. p. 285-312 28 p. (Lecture Notes in Computer Science; vol. 11865).

    Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

  4. Training Data Augmentation for Detecting Adverse Drug Reactions in User-Generated Content

    Mesbah, S., Yang, J., Sips, R-J., Torre, M. V., Lofi, C., Bozzon, A. & Houben, G-J., 3 Nov 2019, International conference on Empirical Methods in Natural Language Processing (EMNLP). p. 2349–2359 11 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  5. Using causal discovery to analyze emergence in agent-based models

    Janssen, S., Sharpanskykh, A., Curran, R. & Langendoen, K., 1 Nov 2019, In : Simulation Modelling Practice and Theory. 96, 21 p., 101940.

    Research output: Contribution to journalArticleScientificpeer-review

  6. Agent-Based Modelling of the Social Dynamics of Energy End-Use

    Chappin, E., Nikolic, I. & Yorke-Smith, N., Nov 2019, Energy and Behaviour: Challenges of a Low-Carbon Future. Lopes, M., Henggeler, C. & Janda, K. (eds.). Elsevier, p. 321-351

    Research output: Chapter in Book/Conference proceedings/Edited volumeChapterScientificpeer-review

  7. From definitional interpreter to symbolic executor

    Mensing, A. D., Van Antwerpen, H., Poulsen, C. B. & Visser, E., 20 Oct 2019, META 2019 - Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, co-located with SPLASH 2019. Scholliers, C. & Chari, G. (eds.). Association for Computing Machinery (ACM), p. 11-20 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  8. Towards language-parametric semantic editor services based on declarative type system specifications

    Pelsmaeker, D. A. A., Van Antwerpen, H. & Visser, E., 20 Oct 2019, SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. Smaragdakis, Y. (ed.). Association for Computing Machinery (ACM), p. 19-20 2 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  9. Interactive exploration of journalistic video footage through multimodal semantic matching

    Ibrahimi, S., Chen, S., Arya, D., Câmara, A., Chen, Y., Crijns, T., Van Der Goes, M., Mensink, T., Van Miltenburg, E. & More Authors, 15 Oct 2019, MM 2019 - Proceedings of the 27th ACM International Conference on Multimedia. Association for Computing Machinery (ACM), p. 2196-2198 3 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  10. Attack-resistant Spanning Tree Construction in Route-Restricted Overlay Networks

    Byrenheid, M., Roos, S. & Strufe, T., Oct 2019, Proceedings of Secure Reliable Distributed Systems (SRDS). 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  11. Self-adaptive Executors for Big Data Processing

    Omranian Khorasani, S., Rellermeyer, J. S. & Epema, D., 13 Sep 2019, Middleware '19: Proceedings of the 20th International Middleware Conference. New York: Association for Computing Machinery (ACM), p. 176-188 13 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Previous 1...6 7 8 9 10 11 12 13 ...317 Next

ID: 18282