Specification Language for Transaction Level Assertions. - Wolfgang Ecker; Volkan Esen; Thomas Steininger; Michael Velten; Michael Hull (HLDVT, 2006)

Requirements and Concepts for Transaction Level Assertions. - Wolfgang Ecker; Volkan Esen; Michael Hull; Thomas Steininger; Michael Velten (ICCD, 2006)

Execution semantics and formalisms for multi-abstraction TLM assertions. - Wolfgang Ecker; Volkan Esen; Michael Hull (MEMOCODE, 2006)

Patterns of Regional Brain Hypometabolism Associated with Knowledge of Semantic Features and Categories in Alzheimer's Disease. - Roland Zahn; Peter Garrard; Jochen Talazko; Matthias Gondan; Philine Bubrowski; Freimut Juengling; Helen Slawik; Petra Dykierek; Bernd Koester; Michael Hull (J. Cogn. Neurosci., 2006)

Interactive presentation: Impact of description language, abstraction layer, and value representation on simulation performance. - Wolfgang Ecker; Volkan Esen; Lars Schönberg; Thomas Steininger; Michael Velten; Michael Hull (DATE, 2007)

Interactive presentation: Implementation of a transaction level assertion framework in SystemC. - Wolfgang Ecker; Volkan Esen; Thomas Steininger; Michael Velten; Michael Hull (DATE, 2007)

Spatial and Color Adaptive Gamut Mapping: A Mathematical Framework and Two New Algorithms. - Nicolas Bonnier; Francis J. M. Schmitt; Michael Hull; Christophe Leynadier (CIC, 2007)

Persistent homology detects curvature. - Peter Bubenik; Michael Hull; Dhruv Patel; Benjamin Whittle (CoRR, 2019)

Smooth Summaries of Persistence Diagrams and Texture Classification. - Yu-Min Chung 002; Michael Hull; Austin Lawson (CVPR Workshops, 2020)

Splittings of right-angled Artin groups. - Michael Hull (Int. J. Algebra Comput., 2021)

Gaussian Persistence Curves. - Yu-Min Chung 002; Michael Hull; Austin Lawson; Neil Pritchard (CoRR, 2022)