ACM EIGREP (External organisation)
Bonnet, Philippe (Member)
2020 → …Activity: Membership types › Membership in committee, council, board
Big Data Research (Journal)
Bonnet, Philippe (Editor)
2022Activity: Peer-review and editorial work types › Editor of Research journal › Research
Big Data Research (Journal)
Bonnet, Philippe (Editor)
1 Jan 2021 → …Activity: Peer-review and editorial work types › Editor of Research journal › Research
FLOPS 2024 (Event)
Glück, Robert (Member)
2024Activity: Membership types › Membership in committee, council, board
HCVS 2024 (Event)
Glück, Robert (Member)
2024Activity: Membership types › Membership in committee, council, board
LOPSTR 2023 (Event)
Glück, Robert (Chair)
2023Activity: Membership types › Membership in committee, council, board
LOPSTR 2024 (Event)
Glück, Robert (Member)
2024Activity: Membership types › Membership in committee, council, board
PADL 2023 (Event)
Glück, Robert (Member)
2023Activity: Membership types › Membership in committee, council, board
PEPM 2022 (Event)
Glück, Robert (Member)
2022Activity: Membership types › Membership in committee, council, board
RC 2023 (Event)
Glück, Robert (Member)
2023Activity: Membership types › Membership in committee, council, board
RC 2024 (Event)
Glück, Robert (Member)
2024Activity: Membership types › Membership in committee, council, board
Steering Committee of the Logic-Based Program Synthesis and Transformation Symposium (External organisation)
Glück, Robert (Board member)
2024 → …Activity: Membership types › Membership in committee, council, board
VLDB Endowment (External organisation)
Bonnet, Philippe (Member)
2020 → 2025Activity: Membership types › Membership in committee, council, board
miniKanren 2022 (Event)
Glück, Robert (Member)
2022Activity: Membership types › Membership in committee, council, board
miniKanren 2024 (Event)
Glück, Robert (Member)
2024Activity: Membership types › Membership in committee, council, board
Most downloads
-
4550
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4109
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2508
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