The SCEAS System
Navigation Menu

Search the dblp DataBase


Marc Wagner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002