Explicit Versus Symbolic Algorithms for Solving ALFP Constraints. - Piotr Filipiuk; Hanne Riis Nielson; Flemming Nielson (TAPAS@SAS, 2010)

Galois Connections for Flow Algebras. - Piotr Filipiuk; Michal Terepeta; Hanne Riis Nielson; Flemming Nielson (FMOODS/FORTE, 2011)

Layered fixed point logic. - Piotr Filipiuk; Flemming Nielson; Hanne Riis Nielson (PPDP, 2012)

Lattice based Least Fixed Point Logic - Piotr Filipiuk; Flemming Nielson; Hanne Riis Nielson (CoRR, 2012)