Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Marc
Last name:	Wagner
DBLP:	91/5043
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 8 of 8  

Select a publication
Show	Title	Venue	Rating	Date
	David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner. Towards Merging PlatOmega and PGIP.	Electr. Notes Theor. Comput. Sci. 2009, Volume 226	(0)	2009
	Dominik Dietrich, Ewaryst Schulz, Marc Wagner. Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors.	Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings 2008	(0)	2008
	Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner. Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega.	Mathematics in Computer Science 2008, Volume 2	(0)	2008
	Normen Müller, Marc Wagner. Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change.	LWA 2007: Lernen - Wissen - Adaption, Halle, September 2007, Workshop Proceedings 2007	(0)	2007
	Serge Autexier, Armin Fiedler, Thomas Neumann 0006, Marc Wagner. Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems.	Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings 2007	(0)	2007
	Marc Wagner, Serge Autexier, Christoph Benzmüller. PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems.	Electr. Notes Theor. Comput. Sci. 2007, Volume 174	(0)	2007
	Walaiporn Nakapan, Gilles Halin, Jean-Claude Bignon, Marc Wagner. Extraction of building product image from the Web.	Int. J. Intell. Syst. 2004, Volume 19	(0)	2004
	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 1992, Volume 20	(0)	1992

Your query returned 8 matches in the database.