Browsing Faculty of Science and Technology by Journals "Lecture Notes in Computer Science (LNCS)"

Now showing items 21-26 of 26

    • Synthesis and Analysis of Petri Nets from Causal Specifications 

      De Oliveira Oliveira, Mateus (Journal article; Peer reviewed, 2022)
      Petri nets are one of the most prominent system-level formalisms for the specification of causality in concurrent, distributed, or multi-agent systems. This formalism is abstract enough to be analyzed using theoretical ...

    • Three problems on well-partitioned chordal graphs 

      Ahn, Jungho; Jaffke, Lars; Kwon, O-Joung; Lima, Paloma Thome de (Journal article; Peer reviewed, 2021)
      In this work, we solve three problems on well-partitioned chordal graphs. First, we show that every connected (resp., 2-connected) well-partitioned chordal graph has a vertex that intersects all longest paths (resp., longest ...

    • Turán's Theorem Through Algorithmic Lens 

      Fomin, Fedor; Golovach, Petr; Sagunov, Danil; Simonov, Kirill (Journal article; Peer reviewed, 2023)

    • Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins 

      Kamburjan, Eduard; Din, Crystal Chang; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth; Johnsen, Einar Broch (Journal article; Peer reviewed, 2022)
      Digital twin applications use digital artefacts to twin physical systems. The purpose is to continuously mirror the structure and behavior of the physical system, such that users can analyse the physical system by means ...

    • Uncovering dynamic structures within cyclic attractors of asynchronous Boolean networks with spectral clustering 

      Yousefian, Maryam; Tonello, Elisa; Frank, Anna-Simone Josefine; Siebert, Heike; Röblitz, Susanna (Journal article; Peer reviewed, 2024)
      Boolean models provide an intuitive framework for the investigation of complex biological networks. Dynamics that implement asynchronous update rules, in particular, can help embody the complexity arising from non-deterministic ...

    • What Is Known About Vertex Cover Kernelization? 

      Fellows, Michael R.; Jaffke, Lars; Király, Aliz Izabella; Rosamond, Frances; Weller, Mathias (Peer reviewed; Journal article, 2018)
      We are pleased to dedicate this survey on kernelization of the Vertex Cover problem, to Professor Juraj Hromkovič on the occasion of his 60th birthday. The Vertex Cover problem is often referred to as the Drosophila of ...