Piotr Filipiuk

According to our database, Piotr Filipiuk authored at least 4 papers between 2010 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Lattice based Least Fixed Point Logic

Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson

CoRR, 2012

Layered fixed point logic.

Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Principles and Practice of Declarative Programming, 2012

2011

Galois Connections for Flow Algebras.

Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson

Proceedings of the Formal Techniques for Distributed Systems, 2011

2010

Explicit Versus Symbolic Algorithms for Solving ALFP Constraints.

Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson

Proceedings of the Tools for Automatic Program AnalysiS, 2010