All Stories

  1. Investigating Reversibility of Steps in Petri Nets

    Article • Fundamenta Informaticae, January 2022, IOS Press

    Maciej Koutny

  2. Reaction Systems and Enabling Equivalence

    Article • Fundamenta Informaticae, October 2019, IOS Press

    Maciej Koutny

  3. From Box Algebra to Interval Temporal Logic

    Article • Fundamenta Informaticae, July 2019, IOS Press

    Maciej Koutny

  4. Invariant Structures and Dependence Relations

    Article • Fundamenta Informaticae, September 2017, IOS Press

    Dr. Ryszard Janicki, Maciej Koutny

  5. Alphabets of Acyclic Invariant Structures

    Article • Fundamenta Informaticae, August 2017, IOS Press

    Dr. Ryszard Janicki, Maciej Koutny

  6. Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations

    Article • Fundamenta Informaticae, August 2017, IOS Press

    Professor Wojciech Penczek, Maciej Koutny