Piotr Dembiński

Matematyczne metody definiowania języków programowania

O niektórych aspektach równoważności maszyn cyfrowych

Towards partial order reductions for fragments of alternating-time temporal logic

Distributed and always successful enumeration algorithm*

Randomized enumeration

A distributed algorithm for dynamic resource allocation

Towards scenarios of external attacks upon security protocols

Semantics of time constraints in specifications of truly concurrent systems

ALPO a language that's proof oriented

Pointer type and other data types in programming languages

Microprogram transformations

On maximal parallei realization of processes

Data aggregations in algorithms

Verification oriented microprogramming language

ALPO