Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs167.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/BeckertGB14,
  author       = {Bernhard Beckert and
                  Sarah Grebing and
                  Florian B{\"{o}}hl},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Bruno Woltzenlogel Paleo},
  title        = {How to Put Usability into Focus: Using Focus Groups to Evaluate the
                  Usability of Interactive Theorem Provers},
  booktitle    = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
                  {UITP} 2014, Vienna, Austria, 17th July 2014},
  series       = {{EPTCS}},
  volume       = {167},
  pages        = {4--13},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.167.3},
  doi          = {10.4204/EPTCS.167.3},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BeckertGB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Butterfield14,
  author       = {Andrew Butterfield},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Bruno Woltzenlogel Paleo},
  title        = {{UTP2:} Higher-Order Equational Reasoning by Pointing},
  booktitle    = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
                  {UITP} 2014, Vienna, Austria, 17th July 2014},
  series       = {{EPTCS}},
  volume       = {167},
  pages        = {14--22},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.167.4},
  doi          = {10.4204/EPTCS.167.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Butterfield14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/GrovKL14,
  author       = {Gudmund Grov and
                  Aleks Kissinger and
                  Yuhui Lin},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Bruno Woltzenlogel Paleo},
  title        = {Tinker, tailor, solver, proof},
  booktitle    = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
                  {UITP} 2014, Vienna, Austria, 17th July 2014},
  series       = {{EPTCS}},
  volume       = {167},
  pages        = {23--34},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.167.5},
  doi          = {10.4204/EPTCS.167.5},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GrovKL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/LibalRR14,
  author       = {Tomer Libal and
                  Martin Riener and
                  Mikheil Rukhaia},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Bruno Woltzenlogel Paleo},
  title        = {Advanced Proof Viewing in ProofTool},
  booktitle    = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
                  {UITP} 2014, Vienna, Austria, 17th July 2014},
  series       = {{EPTCS}},
  volume       = {167},
  pages        = {35--47},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.167.6},
  doi          = {10.4204/EPTCS.167.6},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LibalRR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Rabe14,
  author       = {Florian Rabe},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Bruno Woltzenlogel Paleo},
  title        = {A Logic-Independent {IDE}},
  booktitle    = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
                  {UITP} 2014, Vienna, Austria, 17th July 2014},
  series       = {{EPTCS}},
  volume       = {167},
  pages        = {48--60},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.167.7},
  doi          = {10.4204/EPTCS.167.7},
  timestamp    = {Fri, 20 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Rabe14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/SternagelT14,
  author       = {Christian Sternagel and
                  Ren{\'{e}} Thiemann},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Bruno Woltzenlogel Paleo},
  title        = {The Certification Problem Format},
  booktitle    = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
                  {UITP} 2014, Vienna, Austria, 17th July 2014},
  series       = {{EPTCS}},
  volume       = {167},
  pages        = {61--72},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.167.8},
  doi          = {10.4204/EPTCS.167.8},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SternagelT14.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:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Tankink14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Wenzel14,
  author       = {Makarius Wenzel},
  editor       = {Christoph Benzm{\"{u}}ller and
                  Bruno Woltzenlogel Paleo},
  title        = {System description: Isabelle/jEdit in 2014},
  booktitle    = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
                  {UITP} 2014, Vienna, Austria, 17th July 2014},
  series       = {{EPTCS}},
  volume       = {167},
  pages        = {84--94},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.167.10},
  doi          = {10.4204/EPTCS.167.10},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Wenzel14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/BenzmullerP14,
  editor       = {Christoph Benzm{\"{u}}ller and
                  Bruno Woltzenlogel Paleo},
  title        = {Proceedings Eleventh Workshop on User Interfaces for Theorem Provers,
                  {UITP} 2014, Vienna, Austria, 17th July 2014},
  series       = {{EPTCS}},
  volume       = {167},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.167},
  doi          = {10.4204/EPTCS.167},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BenzmullerP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.