BibTeX records: Carst Tankink

download as .bib file

@article{DBLP:journals/sttt/FaithfullBTT18,
  author       = {Alexander John Faithfull and
                  Jesper Bengtson and
                  Enrico Tassi and
                  Carst Tankink},
  title        = {Coqoon - An {IDE} for interactive proof development in Coq},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {20},
  number       = {2},
  pages        = {125--137},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10009-017-0457-2},
  doi          = {10.1007/S10009-017-0457-2},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sttt/FaithfullBTT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/WesterbaanWKTVB17,
  author       = {Bram Westerbaan and
                  Bas Westerbaan and
                  Rutger Kuyper and
                  Carst Tankink and
                  Remy Viehoff and
                  Henk Barendregt},
  title        = {Statman's Hierarchy Theorem},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {13},
  number       = {4},
  year         = {2017},
  url          = {https://doi.org/10.23638/LMCS-13(4:19)2017},
  doi          = {10.23638/LMCS-13(4:19)2017},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/lmcs/WesterbaanWKTVB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1711-05497,
  author       = {Bram Westerbaan and
                  Bas Westerbaan and
                  Rutger Kuyper and
                  Carst Tankink and
                  Remy Viehoff and
                  Henk Barendregt},
  title        = {Statman's Hierarchy Theorem},
  journal      = {CoRR},
  volume       = {abs/1711.05497},
  year         = {2017},
  url          = {http://arxiv.org/abs/1711.05497},
  eprinttype    = {arXiv},
  eprint       = {1711.05497},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1711-05497.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/FaithfullBTT16,
  author       = {Alexander John Faithfull and
                  Jesper Bengtson and
                  Enrico Tassi and
                  Carst Tankink},
  editor       = {Marsha Chechik and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Coqoon - An {IDE} for Interactive Proof Development in Coq},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 22nd International Conference, {TACAS} 2016, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9636},
  pages        = {316--331},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49674-9\_18},
  doi          = {10.1007/978-3-662-49674-9\_18},
  timestamp    = {Tue, 19 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacas/FaithfullBTT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/BarrasTT15,
  author       = {Bruno Barras and
                  Carst Tankink and
                  Enrico Tassi},
  editor       = {Christian Urban and
                  Xingyuan Zhang},
  title        = {Asynchronous Processing of Coq Documents: From the Kernel up to the
                  User Interface},
  booktitle    = {Interactive Theorem Proving - 6th International Conference, {ITP}
                  2015, Nanjing, China, August 24-27, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9236},
  pages        = {51--66},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-22102-1\_4},
  doi          = {10.1007/978-3-319-22102-1\_4},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/itp/BarrasTT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/BarrasTT15,
  author       = {Bruno Barras and
                  Carst Tankink and
                  Enrico Tassi},
  title        = {Asynchronous processing of Coq documents: from the kernel up to the
                  user interface},
  journal      = {CoRR},
  volume       = {abs/1506.05605},
  year         = {2015},
  url          = {http://arxiv.org/abs/1506.05605},
  eprinttype    = {arXiv},
  eprint       = {1506.05605},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BarrasTT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Tankink14,
  author       = {Carst Tankink},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Bruno Woltzenlogel Paleo},
  title        = {{PIDE} for Asynchronous Interaction with Coq},
  booktitle    = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
                  {UITP} 2014, Vienna, Austria, 17th July 2014},
  series       = {{EPTCS}},
  volume       = {167},
  pages        = {73--83},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.167.9},
  doi          = {10.4204/EPTCS.167.9},
  timestamp    = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Tankink14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/TankinkKUG13,
  author       = {Carst Tankink and
                  Cezary Kaliszyk and
                  Josef Urban and
                  Herman Geuvers},
  editor       = {Sandrine Blazy and
                  Christine Paulin{-}Mohring and
                  David Pichardie},
  title        = {Communicating Formal Proofs: The Case of Flyspeck},
  booktitle    = {Interactive Theorem Proving - 4th International Conference, {ITP}
                  2013, Rennes, France, July 22-26, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7998},
  pages        = {451--456},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39634-2\_32},
  doi          = {10.1007/978-3-642-39634-2\_32},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itp/TankinkKUG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/TankinkKUG13,
  author       = {Carst Tankink and
                  Cezary Kaliszyk and
                  Josef Urban and
                  Herman Geuvers},
  editor       = {Jacques Carette and
                  David Aspinall and
                  Christoph Lange and
                  Petr Sojka and
                  Wolfgang Windsteiger},
  title        = {Formal Mathematics on Display: {A} Wiki for Flyspeck},
  booktitle    = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
                  and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12,
                  2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7961},
  pages        = {152--167},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39320-4\_10},
  doi          = {10.1007/978-3-642-39320-4\_10},
  timestamp    = {Wed, 16 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/TankinkKUG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1305-5710,
  author       = {Carst Tankink and
                  Cezary Kaliszyk and
                  Josef Urban and
                  Herman Geuvers},
  title        = {Formal Mathematics on Display: {A} Wiki for Flyspeck},
  journal      = {CoRR},
  volume       = {abs/1305.5710},
  year         = {2013},
  url          = {http://arxiv.org/abs/1305.5710},
  eprinttype    = {arXiv},
  eprint       = {1305.5710},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1305-5710.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/Tankink0U12,
  author       = {Carst Tankink and
                  Christoph Lange and
                  Josef Urban},
  editor       = {Johan Jeuring and
                  John A. Campbell and
                  Jacques Carette and
                  Gabriel Dos Reis and
                  Petr Sojka and
                  Makarius Wenzel and
                  Volker Sorge},
  title        = {Point-and-Write - Documenting Formal Mathematics by Reference},
  booktitle    = {Intelligent Computer Mathematics - 11th International Conference,
                  {AISC} 2012, 19th Symposium, Calculemus 2012, 5th International Workshop,
                  {DML} 2012, 11th International Conference, {MKM} 2012, Systems and
                  Projects, Held as Part of {CICM} 2012, Bremen, Germany, July 8-13,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7362},
  pages        = {169--185},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31374-5\_12},
  doi          = {10.1007/978-3-642-31374-5\_12},
  timestamp    = {Sun, 02 Jun 2019 21:23:46 +0200},
  biburl       = {https://dblp.org/rec/conf/aisc/Tankink0U12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Tankink13,
  author       = {Carst Tankink},
  editor       = {Cezary Kaliszyk and
                  Christoph L{\"{u}}th},
  title        = {Proof in Context - Web Editing with Rich, Modeless Contextual Feedback},
  booktitle    = {Proceedings 10th International Workshop On User Interfaces for Theorem
                  Provers, {UITP} 2012, Bremen, Germany, July 11th, 2012},
  series       = {{EPTCS}},
  volume       = {118},
  pages        = {42--56},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.118.3},
  doi          = {10.4204/EPTCS.118.3},
  timestamp    = {Wed, 16 Mar 2022 23:52:32 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Tankink13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1204-5094,
  author       = {Carst Tankink and
                  Christoph Lange and
                  Josef Urban},
  title        = {Point-and-write --- Documenting Formal Mathematics by Reference},
  journal      = {CoRR},
  volume       = {abs/1204.5094},
  year         = {2012},
  url          = {http://arxiv.org/abs/1204.5094},
  eprinttype    = {arXiv},
  eprint       = {1204.5094},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1204-5094.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/TankinkM11,
  author       = {Carst Tankink and
                  James McKinna},
  editor       = {Christoph Lange and
                  Josef Urban},
  title        = {Dynamic Proof Pages},
  booktitle    = {Proceedings of the {ITP} 2011 Workshop on Mathematical Wikis, Nijmegen,
                  The Netherlands, August 27th, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {767},
  pages        = {45--48},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-767/paper-08.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:18 +0100},
  biburl       = {https://dblp.org/rec/conf/itp/TankinkM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aisc/TankinkGMW10,
  author       = {Carst Tankink and
                  Herman Geuvers and
                  James McKinna and
                  Freek Wiedijk},
  editor       = {Serge Autexier and
                  Jacques Calmet and
                  David Delahaye and
                  Patrick D. F. Ion and
                  Laurence Rideau and
                  Renaud Rioboo and
                  Alan P. Sexton},
  title        = {Proviola: {A} Tool for Proof Re-animation},
  booktitle    = {Intelligent Computer Mathematics, 10th International Conference, {AISC}
                  2010, 17th Symposium, Calculemus 2010, and 9th International Conference,
                  {MKM} 2010, Paris, France, July 5-10, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6167},
  pages        = {440--454},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14128-7\_37},
  doi          = {10.1007/978-3-642-14128-7\_37},
  timestamp    = {Mon, 05 Feb 2024 20:35:32 +0100},
  biburl       = {https://dblp.org/rec/conf/aisc/TankinkGMW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/TankinkGM12,
  author       = {Carst Tankink and
                  Herman Geuvers and
                  James McKinna},
  editor       = {David Aspinall and
                  Claudio Sacerdoti Coen},
  title        = {Narrating Formal Proof (Work in Progress)},
  booktitle    = {Proceedings of the 9th International Workshop On User Interfaces for
                  Theorem Provers, {UITP} 2010, Edinburgh, UK, July 15, 2010},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {285},
  pages        = {71--83},
  publisher    = {Elsevier},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.entcs.2012.06.007},
  doi          = {10.1016/J.ENTCS.2012.06.007},
  timestamp    = {Fri, 25 Nov 2022 14:25:12 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/TankinkGM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1005-2672,
  author       = {Carst Tankink and
                  Herman Geuvers and
                  James McKinna and
                  Freek Wiedijk},
  title        = {Proviola: {A} Tool for Proof Re-animation},
  journal      = {CoRR},
  volume       = {abs/1005.2672},
  year         = {2010},
  url          = {http://arxiv.org/abs/1005.2672},
  eprinttype    = {arXiv},
  eprint       = {1005.2672},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1005-2672.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/softvis/PloegerT08,
  author       = {Bas Ploeger and
                  Carst Tankink},
  editor       = {Rainer Koschke and
                  Christopher D. Hundhausen and
                  Alexandru C. Telea},
  title        = {Improving an interactive visualization of transition systems},
  booktitle    = {Proceedings of the {ACM} 2008 Symposium on Software Visualization,
                  Ammersee, Germany, September 16-17, 2008},
  pages        = {115--124},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1409720.1409739},
  doi          = {10.1145/1409720.1409739},
  timestamp    = {Wed, 17 Mar 2021 18:00:55 +0100},
  biburl       = {https://dblp.org/rec/conf/softvis/PloegerT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.