UITP 2014 PROCEEDINGS: AUTHOR INDEX

Shortcuts: B G K L R S T W

B
Beckert, Bernhard	How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers (PDF, talk)
Butterfield, Andrew	UTP2: Higher-Order Equational Reasoning by Pointing (PDF, talk)
Böhl, Florian	How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers (PDF, talk)
G
Grebing, Sarah	How to Put Usability into Focus: Using Focus Groups to Evaluate the Usability of Interactive Theorem Provers (PDF, talk)
Grov, Gudmund	Tinker, tailor, solver, proof (PDF, talk)
K
Kissinger, Aleks	Tinker, tailor, solver, proof (PDF, talk)
L
Libal, Tomer	Advanced Proof Viewing in PROOFTOOL (PDF, talk)
Lin, Yuhui	Tinker, tailor, solver, proof (PDF, talk)
R
Rabe, Florian	A Logic-Independent IDE (PDF, talk)
Riener, Martin	Advanced Proof Viewing in PROOFTOOL (PDF, talk)
Rukhaia, Mikheil	Advanced Proof Viewing in PROOFTOOL (PDF, talk)
S
Sternagel, Christian	The Certification Problem Format (PDF, talk)
Sutcliffe, Geoff	The TPTP Process Instruction Language, with Applications (PDF, talk)
T
Tankink, Carst	PIDE for Asynchronous Interaction with Coq (PDF, talk)
Tassi, Enrico	Asynchronous Processing of Formal Documents in Coq (PDF, talk)
Thiemann, René	The Certification Problem Format (PDF, talk)
W
Wenzel, Makarius	System description: Isabelle/jEdit in 2014 (PDF, talk)