Squarified treemaps M Bruls, K Huizing, JJ Van Wijk Data visualization 2000, 33-42, 2000 | 806 | 2000 |

Modelling statecharts behaviour in a fully abstract way C Huizing, R Gerth, WP de Roever Colloquium on Trees in Algebra and Programming, 271-294, 1988 | 107 | 1988 |

Semantics of reactive systems in abstract time C Huizing, R Gerth Workshop/School/Symposium of the REX Project (Research and Education in …, 1991 | 68 | 1991 |

Introduction to design choices in the semantics of Statecharts C Huizing, WP de Roever Information Processing Letters 37 (4), 205-213, 1991 | 68 | 1991 |

Real-Time: Theory in Practice JW De Bakker, C Huizing, WP De Roever, G Rozenberg Lecture Notes in Computer Science 600, 1992 | 60 | 1992 |

Verification of object oriented programs using class invariants K Huizing, R Kuiper International Conference on Fundamental Approaches to Software Engineering …, 2000 | 58 | 2000 |

Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science JW De Bakker, C Huizing, WP de Roever, G Rozenberg Springer-Verlag, Berlin, 1992 | 53 | 1992 |

Full abstraction of a real-time denotational semantics for an OCCAM-like language C Huizing, R Gerth, WP deRoever Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of …, 1987 | 39 | 1987 |

Semantics of reactive systems: comparison and full abstraction C Huizing Technische Universiteit Eindhoven, 1991 | 37 | 1991 |

Invariants for non-hierarchical object structures R Middelkoop, C Huizing, R Kuiper, EJ Luit Electronic Notes in Theoretical Computer Science 195, 211-229, 2008 | 21 | 2008 |

Formal semantics for Ward & Mellor’s transformation schemas C Petersohn, WP de Roever, C Huizing, J Peleska 6th Refinement Workshop, 14-41, 1994 | 20 | 1994 |

Visualization of dynamic program aspects P Deelen, F van Ham, C Huizing, H van de Wetering 2007 4th IEEE International Workshop on Visualizing Software for …, 2007 | 17 | 2007 |

On the semantics of reactive systems C Huizing, R Gerth Semantics of Reactive Systems: Comparison and Full Abstraction p 103-120(SEE …, 1991 | 17 | 1991 |

Squarified treemaps. Data Visualization 2000: Proc. Joint Eurographics and IEEE TCVG Symp. on Visualization M Bruls, K Huizing, JJ Van Wijk Springer-Verlag, 2000 | 16 | 2000 |

A separation logic proof system for a class-based language R Middelkoop, K Huizing, R Kuiper Proceedings of LRPP, 18, 2004 | 11 | 2004 |

Full abstraction of a denotational semantics for real-time concurrency C Huizing, RT Gerth, WP De Roever Computing science notes 8609, 1986 | 11 | 1986 |

A comparison of Ward & Mellor's transformation schema with state & activitycharts J Peleska, C Huizing, C Petersohn Computing science notes 9411, 1994 | 10 | 1994 |

Towards Verified Java Code Generation from Concurrent State Machines. D Zhang, D Bosnacki, M van den Brand, L Engelen, C Huizing, R Kuiper, ... AMT@ MoDELS, 64-69, 2014 | 9 | 2014 |

Visualization of Object-oriented (Java) Programs. C Huizing, R Kuiper, C Luijten, V Vandalon CSEDU (1), 65-72, 2012 | 8 | 2012 |

Reinforcing fragile base classes K Huizing, R Kuiper Workshop on Formal Techniques for Java Programs, ECOOP 2001, 2001 | 8 | 2001 |