Name | Title | Phone | |
---|---|---|---|
Thomsen, Michael Kirkedal | Associate Professor | +4535336154 | |
Thygesen, Christian Bahne | PhD Student | ||
Winskel, Glynn | Affiliate professor, Visiting professor | +4535333529 | |
Zdyb, Franciszek Olaf | Research Assistant | ||
dfz719, dfz719 | Research Assistant | ||
von Wachter, Carl Victor | PhD fellow |
Most downloads
-
4506
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4105
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2506
downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published
Latest publications
Explicit Effects and Effect Constraints in ReML
Research output: Contribution to journal › Journal article › Research › peer-review
Multi-Head Adapter Routing for Cross-Task Generalization
Research output: Contribution to conference › Paper › Research › peer-review
Partial Evaluation of Reversible Flowchart Programs
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review