Piotr Filipiuk (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson: Layered Fixed Point Logic CoRR abs/1204.2768: (2012)

3 Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson: Lattice based Least Fixed Point Logic CoRR abs/1207.5384: (2012)

2 Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson: Galois Connections for Flow Algebras. FMOODS/FORTE 2011: 138-152

1 Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson: Explicit Versus Symbolic Algorithms for Solving ALFP Constraints. Electr. Notes Theor. Comput. Sci. 267(2): 15-28 (2010)

Selection of 4 from 4 records - Piotr Filipiuk has 3 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

4		Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson: Layered Fixed Point Logic CoRR abs/1204.2768: (2012)
3		Piotr Filipiuk, Flemming Nielson, Hanne Riis Nielson: Lattice based Least Fixed Point Logic CoRR abs/1207.5384: (2012)
2		Piotr Filipiuk, Michal Terepeta, Hanne Riis Nielson, Flemming Nielson: Galois Connections for Flow Algebras. FMOODS/FORTE 2011: 138-152
1		Piotr Filipiuk, Hanne Riis Nielson, Flemming Nielson: Explicit Versus Symbolic Algorithms for Solving ALFP Constraints. Electr. Notes Theor. Comput. Sci. 267(2): 15-28 (2010)