Carst Tankink - RankMe

18 papers A 1B 2Journal 7Unranked 8

Year	Rank	Type	Title / Venue / Authors
2018	J	`jnl`	Coqoon - An IDE for interactive proof development in Coq. Int. J. Softw. Tools Technol. Transf. Alexander John Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink
2017	J	`jnl`	Statman's Hierarchy Theorem. CoRR Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt
2017	J	`jnl`	Statman's Hierarchy Theorem. Log. Methods Comput. Sci. Bram Westerbaan, Bas Westerbaan, Rutger Kuyper, Carst Tankink, Remy Viehoff, Henk Barendregt
2016	A	`conf`	Coqoon - An IDE for Interactive Proof Development in Coq. TACAS Alexander John Faithfull, Jesper Bengtson, Enrico Tassi, Carst Tankink
2015	B	`conf`	Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface. ITP Bruno Barras, Carst Tankink, Enrico Tassi
2015	J	`jnl`	Asynchronous processing of Coq documents: from the kernel up to the user interface. CoRR Bruno Barras, Carst Tankink, Enrico Tassi
2014	—	`conf`	PIDE for Asynchronous Interaction with Coq. UITP Carst Tankink
2013	B	`conf`	Communicating Formal Proofs: The Case of Flyspeck. ITP Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers
2013	J	`jnl`	Formal Mathematics on Display: A Wiki for Flyspeck CoRR Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers
2013	—	`conf`	Formal Mathematics on Display: A Wiki for Flyspeck. MKM/Calculemus/DML Carst Tankink, Cezary Kaliszyk, Josef Urban, Herman Geuvers
2012	—	`conf`	Point-and-Write - Documenting Formal Mathematics by Reference. AISC/MKM/Calculemus Carst Tankink, Christoph Lange, Josef Urban
2012	J	`jnl`	Point-and-write --- Documenting Formal Mathematics by Reference CoRR Carst Tankink, Christoph Lange, Josef Urban
2012	—	`conf`	Proof in Context - Web Editing with Rich, Modeless Contextual Feedback. UITP Carst Tankink
2011	—	`conf`	Dynamic Proof Pages. MathWikis@ITP Carst Tankink, James McKinna
2010	—	`conf`	Narrating Formal Proof (Work in Progress). UITP Carst Tankink, Herman Geuvers, James McKinna
2010	J	`jnl`	Proviola: A Tool for Proof Re-animation CoRR Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk
2010	—	`conf`	Proviola: A Tool for Proof Re-animation. AISC/MKM/Calculemus Carst Tankink, Herman Geuvers, James McKinna, Freek Wiedijk
2008	—	`conf`	Improving an interactive visualization of transition systems. SOFTVIS Bas Ploeger, Carst Tankink