|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
54 | Nadir Weibel, Adriana Ispas, Beat Signer, Moira C. Norrie |
Paperproof: a paper-digital proof-editing system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, Florence, Italy, April 5-10, 2008, pp. 2349-2354, 2008, ACM, 978-1-60558-012-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
digital pen and paper, document life-cycle, proof-editing, interactive paper, gesture-based interface |
22 | Aarne Ranta, Robin Cooper |
Dialogue Systems as Proof Editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 13(2), pp. 225-240, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
proof editing, type theory, dialogue |
22 | Philipp A. Heuberger |
The minimal user interface of a simple refinement tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Concepts Tools ![In: Softw. Concepts Tools 19(2), pp. 89-95, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Proof editing, Formal methods, Theorem proving, Refinement calculus |
17 | Vincent J. Dercksen, Hans-Christian Hege, Marcel Oberländer |
The Filament Editor: An Interactive Software Environment for Visualization, Proof-Editing and Analysis of 3D Neuron Morphology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neuroinformatics ![In: Neuroinformatics 12(2), pp. 325-339, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Hanchuan Peng, Fuhui Long, Ting Zhao, Eugene W. Myers |
Proof-editing is the Bottleneck Of 3D Neuron Reconstruction: The Problem and Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neuroinformatics ![In: Neuroinformatics 9(2-3), pp. 103-105, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins |
Mollusc: A General Proof-Development Shell for Sequent-Based Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings, pp. 826-830, 1994, Springer, 3-540-58156-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|