Cristin-person-ID: 1721
Person

Aktiv cristin-person Volker Stolz

  • Stilling:
    Professor
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
  • Stilling:
    Førsteamanuensis
    ved Pålitelige systemer ved Universitetet i Oslo

Klassifisering

Vitenskapsdisipliner

Informasjons- og kommunikasjonsvitenskap

Land

  • Tyskland
  • Macao

Resultater Resultater

Preface: Special issue on Theoretical Aspects of Computing.

Pun, Violet Ka I; Simao, Adenilso; Stolz, Volker. 2024, Theoretical Computer Science. HVLVitenskapelig oversiktsartikkel/review

Enforced Dependencies for Active Objects.

Pun, Violet Ka I; Stolz, Volker. 2024, Lecture Notes in Computer Science (LNCS). HVLVitenskapelig artikkel

NP-Free: A Real-Time Normalization-free and Parameter-tuning-free Representation Approach for Open-ended Time Series.

Lee, Ming-Chang; Lin, Jia-Chun; Stolz, Volker. 2023, IEEE conference proceedings. NTNU, HVLVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Modular Soundness Checking of Feature Model Evolution Plans.

Motzfeldt, Ida Sandberg; Yu, Ingrid Chieh; Din, Crystal Chang; Pun, Violet Ka I; Stolz, Volker. 2023, Lecture Notes in Computer Science (LNCS). FINN, UIO, UIB, HVLVitenskapelig artikkel

Coverage visualization and analysis of net inscriptions in coloured Petri net models.

Ahishakiye, Faustin; Requeno Jarabo, Jose Ignacio; Kristensen, Lars Michael; Stolz, Volker. 2023, Innovations in Systems and Software Engineering. UCdM, HVLVitenskapelig artikkel
1 - 5 av 97 | Neste | Siste »