Heinz Nixdorf

Coverage Criteria for Testing DMM Specications

Heinz Nixdorf, Fachgebiet Softwaretechnik, Warburger Strae, 2011 .

Increasing the Reusability of Embedded Real-time Software by a Standardized Interface for Paravirtualization

Stefan Grösbrink, Heinz Nixdorf, 2014, Softwaretechnik-Trends.

Von der Hardware zur Software - ein Bedeutungswandel

Heinz Nixdorf, 1982, Angew. Inform..

Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis

Ben Hermann, Eric Bodden, Heinz Nixdorf, 2021, ECOOP.

A Parallel Branch&Bound Algorithm for Makespan Optimal Sequencing in Flow Shops with Parallel Machines

Wilhelm Dangelmaier, Klaus Brockmann, Heinz Nixdorf, 1997 .

Efficient Parallel Simulation of Pulse-Coded Neural Networks (PCNN)

G. Hartmann, Heinz Nixdorf, R. Preis, 2007 .