dblp.uni-trier.dewww.uni-trier.de

Marc Wagner

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
7EEDavid Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner: Towards Merging PlatOmega and PGIP. Electr. Notes Theor. Comput. Sci. 226: 3-21 (2009)
2008
6EEDominik Dietrich, Ewaryst Schulz, Marc Wagner: Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. AISC/MKM/Calculemus 2008: 398-414
2007
5EESerge 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
3EEMarc 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
2EEWalaiporn 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)

Coauthor Index

1David Aspinall [7]
2Serge Autexier [3] [5] [7]
3Christoph Benzmüller (Christoph Benzmueller) [3]
4Jean-Claude Bignon [2]
5Dominik Dietrich [6]
6Lauren Ernst [1]
7Armin Fiedler [5]
8Gilles Halin [2]
9Christoph Lüth [7]
10Normen Müller [4]
11Walaiporn Nakapan [2]
12Thomas Neumann [5]
13Ewaryst Schulz [6]
14Alan Waggoner [1]
15Hong Yu [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)