Martin Mann

Publication Activity (10 Years)

Years Active: 2007-2018
Publications (10 Years): 2

Top Topics

Constraint Programming

Rewrite Systems

Rna Secondary Structure Prediction

Top Venues

Nucleic Acids Res.

Publications

Martin Mann, Hans-Peter Kahle, Matthias Beck, Bela Johannes Bender, Heinrich Spiecker, Rolf Backofen
MICA: Multiple interval-based curve alignment. SoftwareX 7 (2018)
Martin Mann, Patrick R. Wright, Rolf Backofen
IntaRNA 2.0: enhanced and customizable prediction of RNA-RNA interactions. Nucleic Acids Res. 45 (Webserver-Issue) (2017)
Robert Kleinkauf, Torsten Houwaart, Rolf Backofen, Martin Mann
antaRNA - Multi-objective inverse folding of pseudoknot RNA using ant-colony optimization. BMC Bioinform. 16 (2015)
Robert Kleinkauf, Martin Mann, Rolf Backofen
antaRNA: ant colony-based RNA sequence design. Bioinform. 31 (19) (2015)
Kousik Kundu, Martin Mann, Fabrizio Costa, Rolf Backofen
MoDPepInt: an interactive web server for prediction of modular domain-peptide interactions. Bioinform. 30 (18) (2014)
Martin Mann, Rolf Backofen
Exact methods for lattice protein models. Bio Algorithms Med Syst. 10 (4) (2014)
Martin Mann, Feras Nahar, Norah Schnorr, Rolf Backofen, Peter F. Stadler, Christoph Flamm
Atom mapping with constraint programming. Algorithms Mol. Biol. 9 (2014)
Martin Mann, Marcel Kucharík, Christoph Flamm, Michael T. Wolfinger
Memory-efficient RNA energy landscape exploration. Bioinform. 30 (18) (2014)
Patrick R. Wright, Jens Georg, Martin Mann, Dragos Alexandru Sorescu, Andreas S. Richter, Steffen Lott, Robert Kleinkauf, Wolfgang R. Hess, Rolf Backofen
CopraRNA and IntaRNA: predicting small RNA targets, networks and interaction domains. Nucleic Acids Res. 42 (Webserver-Issue) (2014)
Martin Mann, Heinz Ekker, Christoph Flamm
The Graph Grammar Library - A Generic Framework for Chemical Graph Rewrite Systems. ICMT (2013)
Martin Mann, Feras Nahar, Heinz Ekker, Rolf Backofen, Peter F. Stadler, Christoph Flamm
Atom Mapping with Constraint Programming. CP (2013)
Martin Mann, Heinz Ekker, Christoph Flamm
The Graph Grammar Library - a generic framework for chemical graph rewrite systems CoRR (2013)
Dragos Alexandru Sorescu, Mathias Möhl, Martin Mann, Rolf Backofen, Sebastian Will
CARNA - alignment of RNA structure ensembles. Nucleic Acids Res. 40 (Web-Server-Issue) (2012)
Martin Mann, Rhodri Saunders, Cameron Smith, Rolf Backofen, Charlotte M. Deane
Producing High-Accuracy Lattice Models from Protein Atomic Coordinates Including Side Chains. Adv. Bioinformatics 2012 (2012)
Sergiy Bogomolov, Martin Mann, Björn Voß, Andreas Podelski, Rolf Backofen
Shape-based Barrier Estimation for RNAs. GCB (2010)
Martin Mann, Alessandro Dal Palù
Lattice model refinement of protein structures. WCB@ICLP (2010)
Martin Mann, Alessandro Dal Palù
Lattice model refinement of protein structures CoRR (2010)
Martin Mann, Rolf Backofen, Sebastian Will
Equivalence Classes of Optimal Structures in HP Protein Models Including Side Chains CoRR (2009)
Martin Mann, Cameron Smith, Mohamad Rabbath, Marlien Edwards, Sebastian Will, Rolf Backofen
CPSP-web-tools: a server for 3D lattice protein studies. Bioinform. 25 (5) (2009)
Martin Mann, Mohamed Abou Hamra, Kathleen Steinhöfel, Rolf Backofen
Constraint-based Local Move Definitions for Lattice Protein Models Including Side Chains CoRR (2009)
Martin Mann, Sebastian Will, Rolf Backofen
CPSP-tools - Exact and complete algorithms for high-throughput 3D lattice protein studies. BMC Bioinform. 9 (2008)
Stéphane Zampelli, Martin Mann, Yves Deville, Rolf Backofen
Decomposition Techniques for Subgraph Matching CoRR (2008)
Martin Mann, Guido Tack, Sebastian Will
Decomposition During Search for Propagation-Based Constraint Solvers CoRR (2007)