Piotr Filipiuk - DTU Orbit

‹ Back to search result

Piotr Filipiuk

Piotr Filipiuk

(Former)

View graph of relations

Publications

(4)

Published
Layered Fixed Point Logic
Publication: Research - peer-review › Article in proceedings – Annual report year: 2012
Published
A Succinct Approach to Static Analysis and Model Checking
Publication: Research › Ph.D. thesis – Annual report year: 2012
Published
Galois Connections for Flow Algebras
Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

Most frequent publishers

Association for Computing Machinery
Central database
Publisher
Springer
Central database
Publisher
Technical University of Denmark
Local database
Publisher

Projects

(1)

Completed
Static Analysis and Model Checking of Software Systems
Project: PhD

Download as:

Download as PDF

Select render style:

Download as HTML

Select render style:

Download as Word

Select render style:

Download as: To download, please limit the number of search results to 1,000 or less.

ID: 38266