| Compositional data types P Bahr, T Hvitved Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 83-94, 2011 | 60 | 2011 |
| Contract formalisation and modular implementation of domain-specific languages T Hvitved PhD thesis, Department of Computer Science, University of Copenhagen, 2011 | 37 | 2011 |
| A trace-based model for multiparty contracts T Hvitved, F Klaedtke, E Zălinescu The Journal of Logic and Algebraic Programming 81 (2), 72-98, 2012 | 29 | 2012 |
| A survey of formal languages for contracts T Hvitved Formal Languages and Analysis of Contract-Oriented Software, 29-32, 2010 | 25 | 2010 |
| Parametric compositional data types P Bahr, T Hvitved arXiv preprint arXiv:1202.2917, 2012 | 20 | 2012 |
| Domain-specific languages for enterprise systems J Andersen, P Bahr, F Henglein, T Hvitved International Symposium On Leveraging Applications of Formal Methods …, 2014 | 8 | 2014 |
| Domain-specific languages for enterprise systems T Hvitved, P Bahr, J Andersen Technical report, Department of Computer Science, University of Copenhagen, 2011 | 4 | 2011 |
| Architectural analysis of Microsoft Dynamics NAV T Hvitved Proc. Workshop on 3d Generation ERP Systems, November 2008, 2009 | 3 | 2009 |
| A Game-Theoretic Model for Distributed Programming by Contract. AS Henriksen, T Hvitved, A Filinski GI Jahrestagung, 3473-3484, 2009 | 2 | 2009 |
| Contracts in Programming and in Enterprise Systems T Hvitved Master’s thesis, Department of Computer Science, University of Copenhagen …, 2009 | 2 | 2009 |
| A game-theoretic model for distributed programming by contract A Starcke Henriksen, T Hvitved, A Filinski Gesellschaft für Informatik e. V., 2009 | | 2009 |
