Research output per year
Research output per year
Accepting PhD Students
PhD projects
Volker Sorge’s research interests include:
Computer algebra
Scientific document analysis
Logic and automated reasoning
He is also involved in the Scientific Document Analysis Group.
Research activity per year
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Book/Report › Book
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to journal › Article
Research output: Contribution to journal › Article
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to conference (unpublished) › Abstract
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to conference (unpublished) › Abstract
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to conference (unpublished) › Paper
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to conference (unpublished) › Abstract
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to journal › Editorial
Research output: Contribution to conference (unpublished) › Paper
Research output: Book/Report › Commissioned report
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article
Research output: Contribution to journal › Article
Research output: Contribution to conference (unpublished) › Abstract
Research output: Contribution to conference (unpublished) › Paper
Research output: Book/Report › Book
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to conference (unpublished) › Abstract
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to conference (unpublished) › Abstract
Research output: Contribution to conference (unpublished) › Paper
Research output: Contribution to conference (unpublished) › Abstract
Research output: Contribution to conference (unpublished) › Paper