Marc Wagner - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 14 from 14

2024

Graphical and Textual Models Embedded in a Constructor-Driven TransformationJohannes Schick, Marc Wagner, Wolfram-Manfred Lippe. semco 2024: 226-230 [doi]

2022

Inhomogeneous Phases in the Chirally Imbalanced 2 + 1-Dimensional Gross-Neveu Model and Their Absence in the Continuum LimitLaurin Pannullo, Marc Wagner, Marc Winstel. symmetry, 14(2):265, 2022. [doi]

2017

Investigating efficient methods for computing four-quark correlation functionsAbdou Abdel-Rehim, Constantia Alexandrou, Joshua Berlin, Mattia Dalla Brida, Jacob Finkenrath, Marc Wagner. cphysics, 220:97-121, 2017. [doi]

2011

Computing K and D meson masses with N::f::=2+1+1 twisted mass lattice QCDRemi 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. cphysics, 182(2):299-316, 2011. [doi]

A change-oriented architecture for mathematical authoring assistanceMarc Wagner. PhD thesis, Saarland University, 2011.

2009

Towards Merging PlatOmega and PGIPDavid Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner. ENTCS, 226:3-21, 2009. [doi]

2008

Organization, Transformation, and Propagation of Mathematical Knowledge in OmegamegaSerge Autexier, Christoph BenzmÃ¼ller, Dominik Dietrich, Marc Wagner. mics, 2(2):253-277, 2008. [doi]

Authoring Verified Documents by Interactive Proof Construction and Verification in Text-EditorsDominik Dietrich, Ewaryst Schulz, Marc Wagner. AISC 2008: 398-414 [doi]

2007

Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance SystemsSerge Autexier, Armin Fiedler, Thomas Neumann 0006, Marc Wagner. AISC 2007: 176-190 [doi]

Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of ChangeNormen Müller, Marc Wagner. lwa 2007: 289-295

PlatOmega: A Mediator between Text-Editors and Proof Assistance SystemsMarc Wagner, Serge Autexier, Christoph Benzmüller. ENTCS, 174(2):87-107, 2007. [doi]

2004

Extraction of building product image from the WebWalaiporn Nakapan, Gilles Halin, Jean-Claude Bignon, Marc Wagner. ijis, 19(1-2):65-78, 2004. [doi]

2003

Repairing Non-Manifold Triangle Meshes using Simulated AnnealingMarc Wagner, Ulf Labsik, Günther Greiner. ijsm, 9(2):137-154, 2003. [doi]

1992

Sensitive detection of RNAs in single cells by flow cytometry [published erratum appears in Nucleic Acids Res 1992 Oct 25;20(20): 5518]Hong Yu, Lauren Ernst, Marc Wagner, Alan Waggoner. nar, 20(1):83-88, 1992.

Sign in or sign up to see more results.

runs on WebDSL