Martin Erhart

According to our database, Martin Erhart authored at least 3 papers between 1997 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

ElasticMiter: Formally Verified Dataflow Circuit Rewrites.

Ayatallah Elakhras, Jiahui Xu, Martin Erhart, Paolo Ienne, Lana Josipovic

Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

1998

BANG-Clustering: A Novel Grid-Clustering Algorithm for Huge Data Sets.

Erich Schikuta, Martin Erhart

Proceedings of the Advances in Pattern Recognition, 1998

1997

The BANG-Clustering System: Grid-Based Data Analysis.

Erich Schikuta, Martin Erhart

Proceedings of the Advances in Intelligent Data Analysis, 1997