| Skylines for Symbolic Energy Consumption Analysis. | 0 | 0.34 | 2020 |
| Detecting energy bugs and hotspots in control software using model checking. | 0 | 0.34 | 2018 |
| A Survey of Authentication and Communications Security in Online Banking. | 1 | 0.37 | 2017 |
| Towards Practical, Precise And Parametric Energy Analysis Of It Controlled Systems | 0 | 0.34 | 2017 |
| Formalizing Bialgebraic Semantics in PVS 6.0 | 0 | 0.34 | 2015 |
| Measuring dependency freshness in software systems | 14 | 0.70 | 2015 |
| Preface of the special issue on Foundational and Practical Aspects of Resource Analysis (FOPARA) 2009 & 2011. | 0 | 0.34 | 2015 |
| Derivation and inference of higher-order strictness types | 0 | 0.34 | 2015 |
| Improving student group work with collaboration patterns: a case study | 0 | 0.34 | 2015 |
| Using Dependent Types to Define Energy Augmented Semantics of Programs. | 0 | 0.34 | 2015 |
| A Lightweight Method for Analysing Performance Dependencies Between Services. | 0 | 0.34 | 2015 |
| An Exercise Assistant for Practical Networking and IT Security Courses in Higher Education. | 0 | 0.34 | 2014 |
| An Exercise Assistant for Practical Networking Courses. | 0 | 0.34 | 2014 |
| ResAna: a resource analysis toolset for real-time JAVA | 2 | 0.36 | 2014 |
| Using Model-Checking to Reveal a Vulnerability of Tamper-Evident Pairing. | 0 | 0.34 | 2013 |
| EditorArrow: An arrow-based model for editor-based programming. | 2 | 0.39 | 2013 |
| Modular Bialgebraic Semantics And Algebraic Laws | 1 | 0.36 | 2013 |
| Beautiful Code, Beautiful Proof? | 0 | 0.34 | 2013 |
| A Hoare Logic for Energy Consumption Analysis. | 5 | 0.48 | 2013 |
| Prevent Session Hijacking by Binding the Session to the Cryptographic Network Credentials. | 1 | 0.40 | 2013 |
| Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists. | 1 | 0.35 | 2013 |
| Report of the CSER C'12 conference | 0 | 0.34 | 2013 |
| Higher-Order Strictness Typing. | 1 | 0.36 | 2012 |
| Higher-Order Size Checking without Subtyping. | 2 | 0.37 | 2012 |
| Formal Component-Based Semantics | 1 | 0.36 | 2011 |
| Polynomial Size Analysis of First-Order Shapely Functions | 19 | 0.82 | 2009 |
| LaQuSo: Using Formal Methods for Analysis of Safety-Cr | 0 | 0.34 | 2008 |
| Size Analysis of Algebraic Data Type. | 5 | 0.44 | 2008 |
| Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving | 3 | 0.41 | 2008 |
| Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005 | 14 | 2.17 | 2007 |
| AHA: Amortized Heap Space Usage Analysis. | 7 | 0.54 | 2007 |
| Analysis of a Session-Layer Protocol in mCRL2 | 2 | 0.48 | 2007 |
| Adaptive functional programming | 23 | 1.78 | 2006 |
| Compositional Model-Views with Generic Graphical User Interfaces | 6 | 0.53 | 2004 |
| Automatic Generation of Editors for Higher-Order Data Structures | 1 | 0.36 | 2004 |
| Proof support for generic type classes | 5 | 0.44 | 2004 |
| Theorem Proving for Functional Programmers | 27 | 1.45 | 2001 |
| Polygonizing Implicit Surfaces in a Purely Functional Way | 1 | 0.38 | 2000 |
| A Proof Tool Dedicated to Clean - The First Prototype | 1 | 0.59 | 1999 |
| Term Graph Rewriting and Mobile Expressions in Functional Languages | 1 | 0.36 | 1999 |
| Graph Rewriting Semantics for Functional Programming Languages | 4 | 0.39 | 1996 |
| Constructing Medium Sized Efficient Functional Programs in Clean | 1 | 0.41 | 1995 |
| Operational machine specification in a functional programming language | 3 | 0.50 | 1995 |
| Implementing a Functional Spreadsheet in Clean | 13 | 1.12 | 1995 |
| Guaranteeing Safe Destructive Updates Through a Type System with Uniqueness Information for Graphs | 17 | 1.60 | 1993 |
| Parallel Graph Rewriting on Loosely Coupled Machine Architectures | 8 | 0.89 | 1990 |
| The Dutch parallel reduction machine project | 4 | 0.45 | 1987 |
| CLEAN: A language for functional graph writing | 35 | 3.38 | 1987 |
| Specification of reduction strategies in term rewriting systems | 8 | 1.34 | 1986 |
