1. Published
   Submodel Enumeration for CTL Is Hard

   Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

2. E-pub ahead of print
   Parameterized complexity of weighted team definability

   Research output: Contribution to journal › Article › Research › peer review

3. Published
   Parameterised Counting in Logspace

   Research output: Contribution to journal › Article › Research › peer review

View all (76)