Współautor (wraz z André Arnoldem) książki Rudiments of µ-calculus (wyd. Elsevier 2001, ). Swoje prace publikował w takich czasopismach jak m.in. „Central European Journal of Mathematics”, „Theoretical Computer Science” „Fundamenta Informaticae”, „Theoretical Informatics and Applications”, „Journal of Symbolic Logic” oraz w serii monografii „Lecture Notes in Computer Science"Artykuły popularnonaukowe w miesięczniku „Delta”.
Przypisy
Kategoria:Polscy informatycy Kategoria:Polscy matematycy XX wieku Kategoria:Polscy matematycy XXI wieku Kategoria:Urodzeni w 1957 Kategoria:Nauczyciele akademiccy Wydziału Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego