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