Piotr Filipiuk
- 2012
- Published
A Succinct Approach to Static Analysis and Model Checking. / Filipiuk, Piotr; Nielson, Hanne Riis (Main supervisor); Nielson, Flemming (Supervisor).
Kgs. Lyngby : Technical University of Denmark, 2012. 187 p. (IMM-PHD-2012; No. 278).Publication: Research › Ph.d. thesis – Annual report year: 2012
- Published
Layered Fixed Point Logic. / Filipiuk, Piotr; Nielson, Flemming; Nielson, Hanne Riis.
In: Proceedings of the 14th symposium on Principles and practice of declarative programming. Association for Computing Machinery, 2012. p. 45-54.Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
- 2011
- Published
Galois Connections for Flow Algebras. / Filipiuk, Piotr; Terepeta, Michal Tomasz; Nielson, Hanne Riis; Nielson, Flemming.
In: Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011 Reykjavik, Iceland, June 6-9, 2011 Proceedings. Springer, 2011. p. 138-152 (Lecture Notes in Computer Science; No. 6722).Publication: Research - peer-review › Article in proceedings – Annual report year: 2011
- 2010
- E-pub ahead of print
Explicit Versus Symbolic Algorithms for Solving ALFP Constraints. / Filipiuk, Piotr; Nielson, Hanne Riis; Nielson, Flemming.
In: Electronic Notes in Theoretical Computer Science. Vol. 267 2010. p. 15-28.Publication: Research - peer-review › Article in proceedings – Annual report year: 2010