Jahr
|
Titel der Publikation
|
Publikationsart
|
Publikationsform
|
2020
|
Visual analytics methods for retinal layers in optical coherence tomography data
|
Dissertationsschrift
|
Druckschrift
|
2020
|
Domain-specific languages for modeling and simulation
|
Dissertationsschrift
|
Druckschrift
|
2020
|
Lifted Bayesian filtering in multi-entity systems
|
Dissertationsschrift
|
Druckschrift
|
2020
|
Improving explicit model checking for Petri nets
|
Dissertationsschrift
|
Druckschrift
|
2020
|
Automationslösungen in der analytischen Messtechnik
|
Monographie
|
Druckschrift
|
2020
|
A Characterization of Data Exchange between Visual Analytics Tools
|
Zeitschriftenartikel
|
Elektronische Ressource
|
2020
|
The complexity of synthesizing elementary net systems relative to natural parameters
|
Zeitschriftenartikel
|
Elektronische Ressource
|
2020
|
The generic combinatorial algorithm for image matching with classes of projective transformations
|
Zeitschriftenartikel
|
Elektronische Ressource
|
2020
|
Faster enabledness-updates for the reachability graph computation
|
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2020
|
Finding an optimal label-splitting to make a transition system petri net implementable
|
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|