Publikationen von Dr. Andreas Noack
Promotion
Andreas Noack
Unified Quality Measures for Clusterings, Layouts, and Orderings of Graphs, and Their Application as Software Design Criteria
PhD Thesis, Brandenburgische Technische Universität Cottbus, Juli 2007.
2007[07] UBICO
Beiträge in Büchern und Zeitschriften
Andreas Noack
Modularity clustering is force-directed layout
APS American Physical Society. Physical Review E 79:026102, February 2009
http://link.aps.org/doi/10.1103/PhysRevE.79.026102
Preprint (frei zugänglich): http://arxiv.org/abs/0807.4052v2
2009[04] UBICO
Andreas Noack
Energy Models for Graph Clustering
Journal of Graph Algorithms and Applications 11(2):453-480, February 2007
Journal of Graph Algorithms and Applications
2007[06]
Dirk Beyer, Andreas Noack, Claus Lewerentz
Efficient Relational Calculation for Software Analysis
In: IEEE Transactions on Software Engineering 31(2): p. 137-149 (February 2005)
2005[02] UBICO
Claus Lewerentz, Andreas Noack
CrocoCosmos - 3D Visualization of Large Object-Oriented Programs
In: Michael Jünger, Petra Mutzel (editors): Graph Drawing Software, pages 279-297, Springer-Verlag, 2003, ISBN 3-540-00881-0
2003[08] UBICO
Beiträge zu Konferenzen, Workshops, Tagungen
Andreas Noack, Randolf Rotta
Multi-level Algorithms for Modularity Clustering
In: Jan Vahrenhold (Ed.): Experimental Algorithms. 8th International Symposium SEA 2009, Dortmund, Germany, June 4-6, 2009, Proceedings. Springer-Verlag, LNCS 5526, pages 257-268, ISBN 978-3-642-02010-0
2009[05] UBICO
Andreas Noack
Energy-Based Clustering of Graphs with Nonuniform Degrees
In: Patrick Healy, Nikola S. Nikolov (Eds.): Graph Drawing. 13th International Symposium, GD 2005, Limerick, Ireland, September 12-14, 2005. LNCS 3843, pages 309-320, ISBN 3-540-31425-3
HA 05-014 / 2005[04] UBICO
Dirk Beyer, Andreas Noack
Clustering Software Artifacts Based on Frequent Common Changes
In: James R. Cordy, Harald Gall, Jonathan I. Maletic (Eds.): Proceedings 13th International Workshop on Program Comprehension (IWPC 2005), 15-16 May 2005, St. Louis, Missouri, USA. IEEE Computer Society 2005, ISBN 0-7695-2254-8
HA 05-010 / 2005[01] UBICO
Andreas Noack, Claus Lewerentz
A Space of Layout Styles for Hierarchical Graph Models of Software Systems
In: Thomas L. Naps, Wim De Pauw (Eds.): Proceedings SoftVis '05. ACM Symposium on Software Visualization, St. Louis, Missouri, USA, May 14-15, 2005. ACM 2005, ISBN 1-59593-073-6
HA 05-009 / 2005[03] UBICO
Andreas Noack
An Energy Model for Visual Graph Clustering
In Guiseppe Liotta (Ed.): Graph Drawing. 11th International Symposium, GD 2003, Perugia, Italy, Sep. 21 - 24, 2003, Revised Papers. LNCS 2912, pages 425 - 436, Springer, 2004, ISBN 3-540-20831-3
2004[04] UBICO
Michael Balzer, Andreas Noack, Oliver Deussen, Claus Lewerentz
Software Landscapes: Visualizing the Structure of Large Software Systems
In: Proceedings of the Joint Eurographics - IEEE TCVG Symposium on Visualization (VisSym 2004), pages 261-266, Konstanz, Germany, May 19–21, 2004 © Eurographics Association, Full Version
2004[01] UBICO
Dirk Beyer, Andreas Noack, Claus Lewerentz
Simple and Efficient Relational Querying of Software Structures
In Proceedings of the 10th Working Conference on Reverse Engineering (WCRE 2003, Victoria, Canada, Nov. 13-16), pages 216-225, IEEE Computer Society Press, 2003
Abstract
Full Version
2003[06] UBICO
Dirk Beyer, Andreas Noack
Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?
In Hartmut König, Monika Heiner, Adam Wolisz (editors): Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003, Berlin, September 29 - October 2), LNCS 2767, pages 193 - 208, Springer-Verlag, Berlin, 2003, ISBN 3-540-20175-0
Abstract
Full Version
2003[05] UBICO
Dirk Beyer, Claus Lewerentz, Andreas Noack
Rabbit: A Tool for BDD-based Verification of Real-Time Systems
In Warren A. Hunt, Jr. and Fabio Somenzi (editors): Proceedings of the 15th International Conference on Computer Aided Verification (CAV 2003, Boulder, CO, July 8-12), LNCS 2725, pages 122-125, Springer-Verlag, Berlin, 2003, ISBN 3-540-40524-0
Abstract
2003[03] UBICO
Dirk Beyer, Andreas Noack
Efficient Verification of Timed Automata using BDDs
In Stefania Gnesi, Ulrich Ultes-Nitsche (editors): Proceedings of the 6th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001), 16-17 July, Paris, pages 95-113, INRIA, Paris, 2001
2001[08] UBICO
Dirk Beyer, Andreas Noack
BDD-basierte Verifikation von Realzeit-Systemen
In: Jens Grabowski, Stefan Heymer (Hrsg.): Formale Beschreibungstechniken für verteilte Systeme (FBT'00), 10. GI/ITC- Fachgespräch, Lübeck, 22.-23. Juni 2000, Seiten 79 - 89, Shaker Verlag, Aachen, June 2000, ISBN 3-8265-7491-5
Abstract
2000[03] UBICO
Computer Science Reports
Andreas Noack
Visual Clustering of Graphs with Nonuniform Degrees
Technical Report I-02/2004, Computer Science Reports, Brandenburg University of Technology at Cottbus, 2004.
2004[03] UBICO
Dirk Beyer, Andreas Noack
CrocoPat 2.1 Introduction and Reference Manual
Report No. UCB//CSD-04-1338, Computer Science Division (EECS), University of California, Berkeley, 2004.
2004[02]
Andreas Noack
Energy Models for Drawing Clustered Small-World Graphs.
Technical Report I-07/2003, Computer Science Reports, Technical University Cottbus, May 2003, ISSN 1437-7969
2003[07] UBICO
Dirk Beyer, Andreas Noack
A Comparative Study of Decision Diagrams for Real-Time Verification
Technical Report I-03/2003, Computer Science Reports, Technical University Cottbus, January 2003, ISSN 1437-7969
Abstract
2003[04] UBICO
Dirk Beyer, Andreas Noack
Efficient Verification of Real-Time Systems using BDDs
Technical Report 13/00, Computer Science Reports, Brandenburg University of Technology at Cottbus, December 2000, ISSN 1437-7969
2000[04] UBICO