Piotr Filipiuk

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Image Retrieval

Variational Inequalities

Top Venues

Publications

Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
Layered fixed point logic. PPDP (2012)
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
Layered Fixed Point Logic CoRR (2012)
Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson
Lattice based Least Fixed Point Logic CoRR (2012)
Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson
Galois Connections for Flow Algebras. FMOODS/FORTE (2011)
Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson
Explicit Versus Symbolic Algorithms for Solving ALFP Constraints. Electron. Notes Theor. Comput. Sci. 267 (2) (2010)