Distributed, Embedded and Intelligent Systems

Research output

Research output per year 1989 2012 2014 2016 2017 2018 2020 2021 2022 2023 2025

• 696 Article in proceeding
• 316 Journal article
• 125 Conference article in Journal
• 64 Book chapter
• 211 More
  • 59 Book
  • 27 PhD thesis
  • 20 Report
  • 16 Editorial
  • 16 Working paper
  • 11 Anthology
  • 11 Preface/Introduction/postscript
  • 9 Paper without publisher/journal
  • 9 Poster
  • 9 Review article
  • 7 Conference abstract in proceeding
  • 6 Conference abstract for conference
  • 5 Preprint
  • 3 Report chapter
  • 1 Encyclopedia chapter
  • 1 Comment/debate
  • 1 Conference abstract in journal

Research output per year

Research output per year

Search results

• 2023

  Interpretability Methods for Graph Neural Networks (Tutorial)

  Khan, A. & B. Mobaraki, E., 10 Oct 2023. 4 p.

  Research output: Contribution to conference without publisher/journal › Paper without publisher/journal › Research › peer-review

  • Interpretability 100%
  • Graph Neural Network 100%
  • Neural Network Model 50%
  • Machine Learning 25%
  • Research Direction 25%

• Sustainable software development: new challenges for programming, languages design and analysis: (Preliminary version)

  Thomsen, B., Thomsen, L. L. & Bøgholm, T., 1 Dec 2023, p. 38-50. 12 p.

  Research output: Contribution to conference without publisher/journal › Paper without publisher/journal › Research › peer-review
• 2022

  Metagenomic binning with assembly graph embeddings

  Lamurias, A., Sereika, M., Albertsen, M., Hose, K. & Nielsen, T. D., 25 Feb 2022.

  Research output: Contribution to conference without publisher/journal › Paper without publisher/journal › Research

  Open Access

  File

  • Data Structure 100%
  • Full Advantage 100%
  • Deep Learning Model 100%
  • Graph Neural Network 100%
  • Deep Learning 100%
  107 Downloads (Pure)
• 2014

  Model-based abstraction of data provenance

  Probst, C. W. & Hansen, R. R., 2014.

  Research output: Contribution to conference without publisher/journal › Paper without publisher/journal › Research › peer-review

  • Data Provenance 100%
  • Organizational Aspect 100%
  • Traditional Model 50%
  • Static Program Analysis 50%
  • Insider Threat 50%

• Towards a Method for Combined Model-based Testing and Analysis

  Nielsen, B., 9 Jan 2014. 10 p.

  Research output: Contribution to conference without publisher/journal › Paper without publisher/journal › Research › peer-review

  File
  675 Downloads (Pure)
• 2011

  Optimal Infinite Runs in One-Clock Priced Timed Automata

  David, A., Ejsing-Duun, D., Fontani, L., Larsen, K. G., Popescu, V. & Haubach Smedegård, J., 2011. 9 p.

  Research output: Contribution to conference without publisher/journal › Paper without publisher/journal › Research › peer-review

  • Timed Automaton 100%
  • Time Ratio 50%
• 2009

  A quantitative characterization of weighted Kripke structures in temporal logic

  Fahrenberg, U., Larsen, K. G. & Thrane, C. R., 2009.

  Research output: Contribution to conference without publisher/journal › Paper without publisher/journal › Research › peer-review

• WYSIWIB - A declarative approach to finding API protocols and bugs in Linux code.

  Lawall, J. L., Brunel, J., Palix, N., Hansen, R. R., Stuart, H. & Muller, G., 2009, p. 43-52.

  Research output: Contribution to conference without publisher/journal › Paper without publisher/journal › Research › peer-review
• 2004

  Modelling and Verification of Real Time Systems

  Larsen, K. G., 2004.

  Research output: Contribution to conference without publisher/journal › Paper without publisher/journal › Research