| 2008 |
|---|
| 6 | EE | Dominik Dietrich,
Ewaryst Schulz,
Marc Wagner:
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors.
AISC/MKM/Calculemus 2008: 398-414 |
| 2007 |
|---|
| 5 | EE | Serge Autexier,
Armin Fiedler,
Thomas Neumann,
Marc Wagner:
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems.
Calculemus/MKM 2007: 176-190 |
| 4 | | Normen Müller,
Marc Wagner:
Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change.
LWA 2007: 289-295 |
| 3 | EE | Marc Wagner,
Serge Autexier,
Christoph Benzmüller:
PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems.
Electr. Notes Theor. Comput. Sci. 174(2): 87-107 (2007) |
| 2004 |
|---|
| 2 | EE | Walaiporn Nakapan,
Gilles Halin,
Jean-Claude Bignon,
Marc Wagner:
Extraction of building product image from the Web.
Int. J. Intell. Syst. 19(1-2): 65-78 (2004) |
| 1992 |
|---|
| 1 | | Hong Yu,
Lauren Ernst,
Marc Wagner,
Alan Waggoner:
Sensitive detection of RNAs in single cells by flow cytometry [published erratum appears in Nucleic Acids Res 1992 Oct 25;20(20): 5518].
Nucleic Acids Research 20(1): 83-88 (1992) |
