Saarland University
Informatics
Programming Systems
Mathias Möhl
Research
Publications
Teaching
Coordinates
Programming Systems Lab, Department of Computer Science, Saarland University.
Since April 2009 I am working at the Chair for Bioinformatics at Albert-Ludwigs-University Freiburg.

I am interested in bioinformatics and computational linguistics.
Currently I explore the field of RNA structure prediction and alignment with a focus on alignment of pseudoknots. Furthermore, I am interested in the similarities between the techniques used there and the parsing techniques used in computational linguistics.

Time and space efficient RNA-RNA interaction prediction via sparse folding
accepted for 14th Annual International Conferences on Computational Molecular Biology (RECOMB 2010)
Lisbon Portugal, 2010
Fast RNA Structure Alignment for Crossing Input Structures
20th Annual Symposium on Combinatorial Pattern Matching (CPM 2009)
Lille, France, 2009
Lifting Prediction to Alignment of RNA Pseudoknots
13th Annual International Conferences on Computational Molecular Biology (RECOMB 2009)
Tucson, Arizona, 2009
Fixed Parameter Tractable Alignment of RNA Structures Including Arbitrary Pseudoknots
19th Annual Symposium on Combinatorial Pattern Matching (CPM 2008)
Pisa, Italy, 2008
The String-Generative Capacity of Regular Dependency Languages
Twelfth Conference on Formal Grammar (FG)
Dublin, Ireland, 2007
Mildly Context-Sensitive Dependency Languages
45th Annual Meeting of the Association for Computational Linguistics (ACL)
Prague, Czech Republic, 2007
Extended Cross-Serial Dependencies in Tree Adjoining Grammars
Eighth International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+8)
Sydney, Australia, 2006
accepted for presentation as a poster
Lexicalised Configuration Grammars
Second International Workshop on Constraint Solving and Language Processing (CSLP)
Sitges, Spain, 2005
Well-Nested Drawings as Models of Syntactic Structure
Tenth Conference on Formal Grammar and Ninth Meeting on Mathematics of Language (FG/MoL)
Edinburgh, Scotland, UK, 2005
Lexicalised Configuration Grammars (Extended Version)
Technical Report, Saarland University
Saarbrücken, Germany, May 2006
Well-Nested Drawings as Models of Syntactic Structure (Extended Version)
Technical Report, Saarland University
Saarbrücken, Germany, August 2005
Drawings as Models of Syntactic Structure: Theory and Algorithms.
Diploma thesis, Saarland University
Saarbrücken, Germany, 2006

Member of the program committee for the ACL 2008 Student Research Workshop
Seminar: Formal Grammars (Winter 2006)
with Prof. Smolka, Ralph Debusmann, Marco Kuhlmann, Guido Tack
Introduction to Computational Logic (Summer 2006)
as assistant of Prof. Smolka