Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase proof-editing (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1994-2014 (6)
Publication types (Num. hits)
article(4) inproceedings(2)
Venues (Conferences, Journals, ...)
Neuroinformatics(2) CADE(1) CHI Extended Abstracts(1) J. Log. Lang. Inf.(1) Softw. Concepts Tools(1)
Authors
Aarne Ranta(1) Adriana Ispas(1) Alan Smaill(1) Beat Signer(1) Bradley L. Richards(1) Eugene W. Myers(1) Fuhui Long(1) Geraint A. Wiggins(1) Hanchuan Peng(1) Hans-Christian Hege(1) Ina Kraan(1) Marcel Oberländer(1) Moira C. Norrie(1) Nadir Weibel(1) Philipp A. Heuberger(1) Robin Cooper(1) More (+10 of total 18)
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
54Nadir Weibel, Adriana Ispas, Beat Signer, Moira C. Norrie Paperproof: a paper-digital proof-editing system. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2008 DBLP  DOI  BibTeX  RDF digital pen and paper, document life-cycle, proof-editing, interactive paper, gesture-based interface
22Aarne Ranta, Robin Cooper Dialogue Systems as Proof Editors. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF proof editing, type theory, dialogue
22Philipp A. Heuberger The minimal user interface of a simple refinement tool. Search on Bibsonomy Softw. Concepts Tools The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Proof editing, Formal methods, Theorem proving, Refinement calculus
17Vincent 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 Neuroinformatics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
17Hanchuan Peng, Fuhui Long, Ting Zhao, Eugene W. Myers Proof-editing is the Bottleneck Of 3D Neuron Reconstruction: The Problem and Solutions. Search on Bibsonomy Neuroinformatics The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
15Bradley L. Richards, Ina Kraan, Alan Smaill, Geraint A. Wiggins Mollusc: A General Proof-Development Shell for Sequent-Based Logics. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #6 of 6 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license