Jahr
|
Titel der Publikation
|
Publikationsart
|
Publikationsform
|
2019
|
Presentation of the 9th edition of the model checking contest
|
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2019
|
Risk analysis in fieldbus networks using the example of KNX
|
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2019
|
Interactive labelling of a multivariate dataset for supervised machine learning using linked visualisations, clustering, and active learning
|
Zeitschriftenartikel
|
Elektronische Ressource
|
2019
|
Deviation maps for understanding thickness changes of inner retinal layers in children with type 1 diabetes mellitus
|
Zeitschriftenartikel
|
Elektronische Ressource
|
2019
|
Harmonizing semantic annotations for computational models in biology
|
Zeitschriftenartikel
|
Elektronische Ressource
|
2020
|
Research data management
|
Zeitschriftenartikel
|
Elektronische Ressource
|
2020
|
Color-line and proper color-line graphs
|
Zeitschriftenartikel
|
Elektronische Ressource
|
2020
|
Matching cut: kernelization, single-exponential time FPT, and exact exponential algorithms
|
Zeitschriftenartikel
|
Elektronische Ressource
|
2020
|
Generische ITS-Softwarearchitektur und ITS-Prozess
|
Dissertationsschrift
|
Druckschrift
|
2020
|
Computational modeling of electroactive hydrogels for cartilage-tissue repair using electrical stimulation
|
Dissertationsschrift
|
Druckschrift
|