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

Marc Wagner Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRemi Baron, Philippe Boucaud, Jaume Carbonell, Vincent Drach, Federico Farchioni, Gregorio Herdoiza, Karl Jansen, Chris Michael, Istvan Montvay, Elisabetta Pallante, Olivier Pène, Siebren Reker, Carsten Urbach, Marc Wagner, Urs Wenger: Computing K and D meson masses with Nf=2+1+1 twisted mass lattice QCD. Computer Physics Communications 182(2): 299-316 (2011)
2009
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner: Towards Merging PlatOmega and PGIP. Electr. Notes Theor. Comput. Sci. 226: 3-21 (2009)
2008
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominik Dietrich, Ewaryst Schulz, Marc Wagner: Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors. AISC/MKM/Calculemus 2008: 398-414
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner: Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega. Mathematics in Computer Science 2(2): 253-277 (2008)
2007
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSerge 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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNormen Müller, Marc Wagner: Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change. LWA 2007: 289-295
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWalaiporn 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHong 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 [8]
2Serge Autexier [3] [5] [6] [8]
3Remi Baron [9]
4Christoph Benzmüller (Christoph Benzmueller) [3] [6]
5Jean-Claude Bignon [2]
6Philippe Boucaud [9]
7Jaume Carbonell [9]
8Dominik Dietrich [6] [7]
9Vincent Drach [9]
10Lauren Ernst [1]
11Federico Farchioni [9]
12Armin Fiedler [5]
13Gilles Halin [2]
14Gregorio Herdoiza [9]
15Karl Jansen [9]
16Christoph Lüth [8]
17Chris Michael [9]
18Istvan Montvay [9]
19Normen Müller [4]
20Walaiporn Nakapan [2]
21Thomas Neumann [5]
22Elisabetta Pallante [9]
23Olivier Pène [9]
24Siebren Reker [9]
25Ewaryst Schulz [7]
26Carsten Urbach [9]
27Alan Waggoner [1]
28Urs Wenger [9]
29Hong Yu [1]

Colors in the list of coauthors

Last update Sun Feb 12 22:50:56 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page