BDD-basierte Verifikation von Echtzeit-Systemen. - Dirk Beyer 001; Andreas Noack 001 (FBT, 2000)

Rabbit: A Tool for BDD-Based Verification of Real-Time Systems. - Dirk Beyer 001; Claus Lewerentz; Andreas Noack 001 (CAV, 2003)

Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification? - Dirk Beyer 001; Andreas Noack 001 (FORTE, 2003)

An Energy Model for Visual Graph Clustering. - Andreas Noack 001 (GD, 2003)

Simple and Efficient Relational Querying of Software Structures. - Dirk Beyer 001; Andreas Noack 001; Claus Lewerentz (WCRE, 2003)

CrocoCosmos - 3D Visualization of Large Object-Oriented Programs. - Claus Lewerentz; Andreas Noack 001 (Graph Drawing Software, 2004)

Software Landscapes: Visualizing the Structure of Large Software Systems. - Michael Balzer; Andreas Noack 001; Oliver Deussen; Claus Lewerentz (VisSym, 2004)

CrocoPat 2.1 Introduction and Reference Manual - Dirk Beyer 001; Andreas Noack 001 (CoRR, 2004)

Energy-Based Clustering of Graphs with Nonuniform Degrees. - Andreas Noack 001 (GD, 2005)

Clustering Software Artifacts Based on Frequent Common Changes. - Dirk Beyer 001; Andreas Noack 001 (IWPC, 2005)

A space of layout styles for hierarchical graph models of software systems. - Andreas Noack 001; Claus Lewerentz (SOFTVIS, 2005)

Efficient Relational Calculation for Software Analysis. - Dirk Beyer 001; Andreas Noack 001; Claus Lewerentz (IEEE Trans. Software Eng., 2005)

Energy Models for Graph Clustering. - Andreas Noack 001 (J. Graph Algorithms Appl., 2007)

Unified quality measures for clusterings, layouts, and orderings of graphs, and their application as software design criteria. - Andreas Noack 001 (2007)

Modularity clustering is force-directed layout - Andreas Noack 001 (CoRR, 2008)

Multi-level Algorithms for Modularity Clustering. - Andreas Noack 001; Randolf Rotta (SEA, 2009)

Multilevel local search algorithms for modularity clustering. - Randolf Rotta; Andreas Noack 001 (ACM J. Exp. Algorithmics, 2011)

Cataloging the Visible Universe Through Bayesian Inference at Petascale. - Jeffrey Regier; Kiran Pamnany; Keno Fischer; Andreas Noack 001; Maximilian Lam; Jarrett Revels; Steve Howard; Ryan Giordano; David Schlegel; Jon McAuliffe; Rollin C. Thomas; Prabhat (IPDPS, 2018)

Cataloging the visible universe through Bayesian inference in Julia at petascale. - Jeffrey Regier; Keno Fischer; Kiran Pamnany; Andreas Noack 001; Jarrett Revels; Maximilian Lam; Steve Howard; Ryan Giordano; David Schlegel; Jon McAuliffe; Rollin C. Thomas; Prabhat (J. Parallel Distributed Comput., 2019)