2009 |
7 | EE | David Aspinall,
Serge Autexier,
Christoph Lüth,
Marc Wagner:
Towards Merging PlatOmega and PGIP.
Electr. Notes Theor. Comput. Sci. 226: 3-21 (2009) |
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) |