Mikkel Bundgaard
According to our database1,
Mikkel Bundgaard
authored at least 7 papers
between 2004 and 2010.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2010
2008
Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008
2007
Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources.
Proceedings of the Fifth Workshop on Security Issues in Concurrency, 2007
2006
Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006
2005
Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, 2005
2004
Proceedings of the 11th International Workshop on Expressiveness in Concurrency, 2004