| Denotational semantics of an object-oriented programming language with explicit wrappers AV Hense Formal Aspects of Computing 5, 181-207, 1993 | 36 | 1993 |
| Wrapper semantics of an object-oriented programming language with state AV Hense International Symposium on Theoretical Aspects of Computer Software, 548-568, 1991 | 32 | 1991 |
| YAWL: An open source Business Process Management System from science for science M Adams, AV Hense, AHM ter Hofstede SoftwareX 12, 100576, 2020 | 15 | 2020 |
| Acquiring high quality research data A Hense, F Quadt D-Lib Magazine 17 (1/2), 2011 | 15 | 2011 |
| Polymorphic type inference for object-oriented programming languages AV Hense | 12 | 1994 |
| A wiki for collaboration and publication in research C Von Hinten, A Hense, M Razum 2008 IEEE Fourth International Conference on eScience, 790-794, 2008 | 10 | 2008 |
| Polymorphic type inference for a simple object oriented programming language with state AV Hense | 9 | 1990 |
| Comparison of the subject-oriented and the Petri net based approach for business process automation AV Hense, R Malz Proceedings of the 7th International Conference on Subject-Oriented Business …, 2015 | 8 | 2015 |
| Extensible ontology-based views for business process models M Adams, AV Hense, AHM Hofstede Knowledge and Information Systems 63 (10), 2763-2789, 2021 | 7 | 2021 |
| Atarrabi-A Workflow System for the Publication of Environmental Data F Quadt, A Düsterhus, H Höck, M Lautenschlager, AV Hense, AN Hense, ... Data Science Journal 11, 89-109, 2012 | 5 | 2012 |
| Principal types for object-oriented languages AV Hense, G Smolka | 4 | 1993 |
| A CSPm model for the automated teller machine case study AV Hense Special Session on Comparative Case Studies, Kiel, 2015 | 3 | 2015 |
| Towards a mobile workbench for researchers A Hense, F Quadt, M Römer 2009 Fifth IEEE International Conference on e-Science, 126-131, 2009 | 3 | 2009 |
| Type inference for O´ small AV Hense | 3 | 1991 |
| Automation of the automated teller machine case study with YAWL A Hense, R Malz Proc. S-BPM ONE, 2015 | 2 | 2015 |
| YAWL User Group AV Hense | 2 | 2012 |
| Submission of content to a digital object repository using a configurable workflow system A Hense, J Müller arXiv preprint arXiv:0706.0306, 2007 | 2 | 2007 |
| An abstract machine for an object-oriented language with top-level classes C Böschen, C Fecht, AV Hense, R Wilhelm | 2 | 1994 |
| A verification of extensible record types AV Hense, G Smolka | 2 | 1992 |
| An O´ small interpreter based on denotational semantics AV Hense | 2 | 1991 |
Michael AdamsSenior Lecturer, Queensland University of Technology在 qut.edu.au 的电子邮件经过验证
