The mCRL2 toolset JF Groote, J Keiren, A Mathijssen, B Ploeger, F Stappers, C Tankink, ... Proceedings of the International Workshop on Advanced Software Development …, 2008 | 54 | 2008 |

Proviola: A tool for proof re-animation C Tankink, H Geuvers, J McKinna, F Wiedijk International Conference on Intelligent Computer Mathematics, 440-454, 2010 | 30 | 2010 |

Formal mathematics on display: A wiki for Flyspeck C Tankink, C Kaliszyk, J Urban, H Geuvers International Conference on Intelligent Computer Mathematics, 152-167, 2013 | 24 | 2013 |

Coqoon A Faithfull, J Bengtson, E Tassi, C Tankink International Conference on Tools and Algorithms for the Construction and …, 2016 | 19 | 2016 |

Asynchronous processing of Coq documents: from the kernel up to the user interface B Barras, C Tankink, E Tassi International Conference on Interactive Theorem Proving, 51-66, 2015 | 19 | 2015 |

Improving an interactive visualization of transition systems B Ploeger, C Tankink Proceedings of the 4th ACM symposium on Software visualization, 115-124, 2008 | 12 | 2008 |

PIDE for asynchronous interaction with Coq C Tankink arXiv preprint arXiv:1410.8221, 2014 | 9 | 2014 |

Proof in context--Web editing with rich, modeless contextual feedback C Tankink arXiv preprint arXiv:1307.1943, 2013 | 8 | 2013 |

Narrating Formal Proof (Work in Progress) C Tankink, H Geuvers, J McKinna UITP, 2010 | 6 | 2010 |

Communicating formal proofs: The case of Flyspeck C Tankink, C Kaliszyk, J Urban, H Geuvers International Conference on Interactive Theorem Proving, 451-456, 2013 | 5 | 2013 |

Point-and-write–documenting formal mathematics by reference C Tankink, C Lange, J Urban International Conference on Intelligent Computer Mathematics, 169-185, 2012 | 5 | 2012 |

Dynamic proof pages C Tankink, J McKinna Aachen: CEUR, 2011 | 3 | 2011 |

Documentation and formal mathematics: web technology meets theorem proving C Tankink [Sl: sn], 2013 | 2 | 2013 |

Verification of the TLS Handshake protocol C Tankink, P Vullers May, 2008 | 2 | 2008 |

A Moviola for proof re-animation C Tankink, H Geuvers, J McKinna, F Wiedijk Submitted to the 9th International Conference on Mathematical Knowledge …, 2010 | 1 | 2010 |

Misplaced trust-RFID tags as malware carriers‖ C Tankink Internet: http://www. win. tue. nl/~ aserebre/2IF03/2008/papers/2/Carst. pdf, 2008 | 1 | 2008 |

Statman's Hierarchy Theorem H Barendregt, R Viehoff, C Tankink, R Kuyper, B Westerbaan, ... Logical Methods in Computer Science 13, 2017 | | 2017 |

Statman's Hierarchy Theorem B Westerbaan, B Westerbaan, R Kuyper, C Tankink, R Viehoff, ... arXiv preprint arXiv:1711.05497, 2017 | | 2017 |

Asynchronous Editing for Coq C Tankink The Coq Workshop 2014, 2014 | | 2014 |

A Wiki for Formal Mathematics C Tankink | | 2011 |