| Squarified treemaps M Bruls, K Huizing, JJ Van Wijk Data Visualization 2000: Proceedings of the Joint EUROGRAPHICS and IEEE TCVG …, 2000 | 919 | 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 | 110 | 1988 |
| Semantics of reactive systems in abstract time C Huizing, R Gerth Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7 …, 1992 | 76 | 1992 |
| 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 | 72 | 1992 |
| Introduction to design choices in the semantics of Statecharts C Huizing, WP de Roever Information Processing Letters 37 (4), 205-213, 1991 | 72 | 1991 |
| Verification of object oriented programs using class invariants K Huizing, R Kuiper, SOOP Fundamental Approaches to Software Engineering: Third International …, 2000 | 68 | 2000 |
| Real-Time: Theory in Practice JW De Bakker, C Huizing, WP de Roever, G Rozenberg Lecture Notes in Computer Science 600, 1991 | 67 | 1991 |
| Semantics of reactive systems: comparison and full abstraction C Huizing | 46 | 1991 |
| 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 | 37 | 1987 |
| Invariants for non-hierarchical object structures R Middelkoop, C Huizing, R Kuiper, EJ Luit Electronic Notes in Theoretical Computer Science 195, 211-229, 2008 | 24 | 2008 |
| Formal semantics for Ward & Mellor’s transformation schemas C Petersohn, WP de Roever, C Huizing, J Peleska 6th Refinement Workshop: Proceedings of the 6th Refinement Workshop …, 1994 | 24 | 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 | 19 | 2007 |
| On the semantics of reactive systems C Huizing, R Gerth Semantics of Reactive Systems: Comparison and Full Abstraction p 103-120(SEE …, 1991 | 16 | 1991 |
| Full abstraction of a denotational semantics for real-time concurrency C Huizing, RT Gerth, WP De Roever Technische Universiteit Eindhoven, 1986 | 15 | 1986 |
| A separation logic proof system for a class-based language R Middelkoop, K Huizing, R Kuiper Proceedings of LRPP, 18, 2004 | 12 | 2004 |
| A comparison of Ward & Mellor's transformation schema with state & activitycharts J Peleska, C Huizing, C Petersohn Technische Universiteit Eindhoven, 1994 | 11 | 1994 |
| Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations D Zhang, D Bošnački, M van den Brand, C Huizing, B Jacobs, R Kuiper, ... Model-Driven Engineering and Software Development: 4th International …, 2017 | 10 | 2017 |
| Towards verified java code generation from concurrent state machines D Zhang, D Bosnacki, MGJ van den Brand, LJP Engelen, C Huizing, ... conference; Workshop on Analysis of Model Transformations, 64-69, 2014 | 10 | 2014 |
| Reinforcing fragile base classes K Huizing, R Kuiper Workshop on Formal Techniques for Java Programs, ECOOP 2001, 2001 | 10 | 2001 |
| Visualization of Object-oriented (Java) Programs. C Huizing, R Kuiper, C Luijten, V Vandalon CSEDU (1), 65-72, 2012 | 9 | 2012 |
