Distributed, Embedded and Intelligent Systems

Research output

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

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

Research output per year

Research output per year

Search results

• 2022

  Formal methods and tools for industrial critical systems

  ter Beek, M. H., Larsen, K. G., Ničković, D. & Willemse, T. A. C., Jun 2022, In: International Journal on Software Tools for Technology Transfer. 24, 3, p. 325-330 6 p.

  Research output: Contribution to journal › Editorial › peer-review

  • Formal Method 100%
  • Methods and Tool 100%
  • Critical System 100%
  • Formal Methods 100%
  • Formal Tools 100%
  11 Citations (Scopus)
• 2021

  Message from the A-MOST 2021 Workshop Chairs

  Lefticaru, R., Lorber, F. & Türker, U. C., Apr 2021, In: Proceedings - 2021 IEEE 14th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2021. p. XVII 9440141.

  Research output: Contribution to journal › Editorial › peer-review
• 2019

  Foreword

  Margaria, T., Graf, S. & Larsen, K. G., 2019, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11200 LNCS, p. vii

  Research output: Contribution to journal › Editorial › peer-review

• Preface

  Larsen, K. G. & Willemse, T., 2019, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11687 LNCS, p. v-vi

  Research output: Contribution to journal › Editorial › peer-review

• Sustainable Energy Systems Planning, Integration, and Management

  Anvari-Moghaddam, A., Mohammadi-Ivatloo, B., Asadi, S., Larsen, K. G. & Shahidehpour, M., 1 Oct 2019, In: Applied Sciences. 9, 20, 5 p., 4451.

  Research output: Contribution to journal › Editorial › peer-review

  Open Access

  File

  • Sustainable Energy 100%
  • Energy System Planning 100%
  • Energy Engineering 100%
  • Plan Integration 100%
  • Power Generation 50%
  8 Citations (Scopus)

  305 Downloads (Pure)
• 2018

  Preface: Dedicated to the memory of Zoltán Ésik (1951–2016)

  Droste, M. & Larsen, K. G., 1 Feb 2018, In: Soft Computing. 22, 4, p. 1033 1 p.

  Research output: Contribution to journal › Editorial › peer-review

  Open Access

• Reachability problems: Special issue

  Larsen, K. G., Potapov, I. & Srba, J., 30 Nov 2018, In: Theoretical Computer Science. 750, p. 1

  Research output: Contribution to journal › Editorial › peer-review
• 2017

  Foreword

  Larsen, K. G., Bodlaender, H. L. & Raskin, J. F., 1 Nov 2017, In: Leibniz International Proceedings in Informatics, LIPIcs. 83, p. xi

  Research output: Contribution to journal › Editorial › peer-review

• Preface

  Larsen, K. G., Sokolsky, O. & Wang, J., 2017, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10606 LNCS, p. VI

  Research output: Contribution to journal › Editorial › peer-review
• 2016

  Preface

  Larsen, K. G., Potapov, I. & Srba, J., 2016, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9899 LNCS

  Research output: Contribution to journal › Editorial › peer-review
• 2015

  Preface

  D’Souza, D., Lal, A. & Larsen, K. G., 2015, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8931

  Research output: Contribution to journal › Editorial › peer-review
• 2014

  Flow-based approaches in network management: Recent advances and future trends

  Sadre, R., Sperotto, A., Hofstede, R. & Brownlee, N., 2014, In: International Journal of Network Management (Online). 24, 4, p. 219-220 2 p.

  Research output: Contribution to journal › Editorial › peer-review
  4 Citations (Scopus)
• 2013

  Special Issue of the International Journal on Network Management (IJNM) on “ Flow-based Approaches in Network Management: Recent Advances and Future Trends"

  Sadre, R., Sperotto, A., Brownlee, N. & Hofstede, R., 2013, In: International Journal of Network Management (Online). 23, 4, p. 308-309

  Research output: Contribution to journal › Editorial › peer-review
• 2007

  Editorial: Hybrid Systems

  Olderog, E.-R. & Ravn, A. P., 2007, In: Acta Informatica. 43, 7, p. 449-450

  Research output: Contribution to journal › Editorial

  • Hybrid System 100%
  • Skagen 50%

• Guest editors' foreword

  Aceto, L. & Bravetti, M., 2007, In: Journal of Logic and Algebraic Programming. 72, 1, p. 1-2 2 p.

  Research output: Contribution to journal › Editorial

• Special issue - Algebraic process calculi: The first twenty five years and beyond - Guest editors' foreword

  Aceto, L., Bravetti, M., Fokkink, W. & Gordon, A. D., 2007, In: Journal of Logic and Algebraic Programming. 70, 2, p. 119-120 2 p.

  Research output: Contribution to journal › Editorial