Reasoning about Study Regulations in Answer Set Programming (Preliminary Report). - Susana Hahn; Cedric Martens; Amadé Nemes; Henry Otunuya; Javier Romero 003; Torsten Schaub; Sebastian Schellhorn (ICLP Workshops, 2023)

Reconstruction of Machine-Made Shapes from Bitmap Sketches. - Ivan Puhachov; Cedric Martens; Paul G. Kry; Mikhail Bessmeltsev (ACM Trans. Graph., 2023)

One-Shot Method for Computing Generalized Winding Numbers. - Cedric Martens; Mikhail Bessmeltsev (CoRR, 2024)

Reasoning About Study Regulations in Answer Set Programming. - Susana Hahn; Torsten Schaub; Cedric Martens; Amadé Nemes; Henry Otunuya; Javier Romero 003; Sebastian Schellhorn (Theory Pract. Log. Program., 2024)