Search the dblp DataBase

Publications of Author

1. Marc Wagner, Serge Autexier, Christoph Benzmüller
   PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:87-107 [Journal]
   
2. Walaiporn Nakapan, Gilles Halin, Jean-Claude Bignon, Marc Wagner
   Extraction of building product image from the Web. [Citation Graph (0, 0)][DBLP]
   Int. J. Intell. Syst., 2004, v:19, n:1-2, pp:65-78 [Journal]
   
3. 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]. [Citation Graph (0, 0)][DBLP]
   Nucleic Acids Research, 1992, v:20, n:1, pp:83-88 [Journal]
   
4. Normen Müller, Marc Wagner
   Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change. [Citation Graph (0, 0)][DBLP]
   LWA, 2007, pp:289-295 [Conf]
   
5. Serge Autexier, Armin Fiedler, Thomas Neumann, Marc Wagner
   Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. [Citation Graph (0, 0)][DBLP]
   Calculemus/MKM, 2007, pp:176-190 [Conf]
   
6. 
   Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. [Citation Graph (, )][DBLP]
   
   
7. 
   Towards Merging PlatOmega and PGIP. [Citation Graph (, )][DBLP]