| Using Visualization to Reduce the Cognitive Load of Threshold Concepts in Computer Programming | 0 | 0.34 | 2019 |
| The art of the Wunderlich cube and the development of spatial abilities | 0 | 0.34 | 2018 |
| Bricklayer: Elementary Students Learn Math through Programming and Art. | 0 | 0.34 | 2018 |
| Two Birds: Teaching Coding and Math in Primary Schools and Beyond (Abstract Only). | 0 | 0.34 | 2017 |
| Certifying a java type resolution function using program transformation, annotation, and reflection | 0 | 0.34 | 2016 |
| The Bricklayer Ecosystem - Art, Math, And Code | 0 | 0.34 | 2016 |
| Creating an Environment in which Elementary Educators Can Teach Coding. | 0 | 0.34 | 2016 |
| Verilog Synthesis in the Higher-Order Transformation Framework of TL | 0 | 0.34 | 2015 |
| Using Program Transformation, Annotation, and Reflection to Certify a Java Type Resolution Function | 0 | 0.34 | 2014 |
| High Consequence Systems and Semantic Computing. | 0 | 0.34 | 2013 |
| Linking Syntactic and Semantic Models of Java Source Code within a Program Transformation System | 3 | 0.45 | 2012 |
| Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator | 3 | 0.42 | 2011 |
| The Tyranny of the Vital Few: The Pareto Principle in Language Design. | 3 | 0.42 | 2011 |
| Making aspect-orientation accessible through syntax-based language composition | 0 | 0.34 | 2009 |
| Making aspect-orientation accessible through syntax-based language composition | 0 | 0.34 | 2009 |
| Model-driven Transformation-based Generation of Java Stress Tests | 1 | 0.36 | 2007 |
| Generative programming techniques for Java library migration | 4 | 0.46 | 2007 |
| Transformation-Based Library Adaptation for Embedded Systems | 2 | 0.50 | 2007 |
| A transformational perspective into the core of an abstract class loader for the SSP | 1 | 0.34 | 2006 |
| Strategy Construction in the Higher-Order Framework of TL | 10 | 0.62 | 2005 |
| Program Transformation Using HATS 1.84 | 8 | 0.58 | 2005 |
| The SSP: an example of high-assurance systems engineering | 10 | 0.67 | 2004 |
| The transient combinator, higher-order strategies, and the distributed data problem | 17 | 0.94 | 2004 |
| Higher-order strategic programming: A road to software assurance | 1 | 0.35 | 2004 |
| Transformation-Oriented Programming: A Development Methodology for High Assurance Software | 5 | 0.55 | 2003 |
| Software Dependability in Distributed and Mobile Computing Environments | 0 | 0.34 | 2001 |
| Designing a Controller for a Multi-Train Multi-Track System | 1 | 0.43 | 2001 |
| A Survey: Applying Formal Methods to a Software Intensive System | 4 | 0.70 | 2001 |
| Virtual Environment Modeling for Requirements Validation of High Consequence Systems | 6 | 0.59 | 2001 |
| Software Systems: Consequence versus Functionality | 0 | 0.34 | 1999 |
| A Synchronous Paradigm for Modeling Stable Reactive Systems | 1 | 0.41 | 1999 |
| Do You Trust Your Compiler? | 7 | 0.79 | 1999 |
| Risk Assessment And Integrity In System Design | 0 | 0.34 | 1998 |
| Key Applications for High-Assurance Systems | 5 | 0.52 | 1998 |
| Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers | 4 | 0.54 | 1997 |
| The TAMPR program transformation system: simplifying the development of numerical software | 14 | 1.31 | 1996 |
