Carst Tankink
Carst Tankink
Software engineer - Bol.com
Ingen verifierad e-postadress - Startsida
Titel
Citeras av
Citeras av
År
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
562008
Proviola: A tool for proof re-animation
C Tankink, H Geuvers, J McKinna, F Wiedijk
International Conference on Intelligent Computer Mathematics, 440-454, 2010
322010
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
242013
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
222015
Coqoon
A Faithfull, J Bengtson, E Tassi, C Tankink
International Journal on Software Tools for Technology Transfer 20 (2), 125-137, 2018
212018
Improving an interactive visualization of transition systems
B Ploeger, C Tankink
Proceedings of the 4th ACM symposium on Software visualization, 115-124, 2008
142008
PIDE for asynchronous interaction with Coq
C Tankink
arXiv preprint arXiv:1410.8221, 2014
92014
Proof in context--Web editing with rich, modeless contextual feedback
C Tankink
arXiv preprint arXiv:1307.1943, 2013
82013
Narrating Formal Proof (Work in Progress)
C Tankink, H Geuvers, J McKinna
UITP, 2010
62010
Communicating formal proofs: The case of Flyspeck
C Tankink, C Kaliszyk, J Urban, H Geuvers
International Conference on Interactive Theorem Proving, 451-456, 2013
52013
Point-and-write–documenting formal mathematics by reference
C Tankink, C Lange, J Urban
International Conference on Intelligent Computer Mathematics, 169-185, 2012
52012
Dynamic proof pages
C Tankink, J McKinna
Aachen: CEUR, 2011
32011
Documentation and formal mathematics: web technology meets theorem proving
C Tankink
[Sl: sn], 2013
22013
Verification of the TLS Handshake protocol
C Tankink, P Vullers
May, 2008
22008
A Moviola for proof re-animation
C Tankink, H Geuvers, J McKinna, F Wiedijk
Submitted to the 9th International Conference on Mathematical Knowledge …, 2010
12010
Misplaced trust-RFID tags as malware carriers‖
C Tankink
Internet: http://www. win. tue. nl/~ aserebre/2IF03/2008/papers/2/Carst. pdf, 2008
12008
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20