All Stories

  1. Algebraic Structure of Step Traces and Interval Traces

    Article • Fundamenta Informaticae, September 2020, IOS Press

    Dr. Ryszard Janicki

  2. Operational Semantics, Interval Orders and Sequences of Antichains

    Article • Fundamenta Informaticae, October 2019, IOS Press

    Dr. Ryszard Janicki

  3. Invariant Structures and Dependence Relations

    Article • Fundamenta Informaticae, September 2017, IOS Press

    Dr. Ryszard Janicki, Maciej Koutny

  4. Alphabets of Acyclic Invariant Structures

    Article • Fundamenta Informaticae, August 2017, IOS Press

    Dr. Ryszard Janicki, Maciej Koutny

  5. Preface

    Article • Fundamenta Informaticae, May 2016, IOS Press

    Dr. Ryszard Janicki