Volume 175; Issue 1-4

Main
Fundamenta Informaticae
Volume 175; Issue 1-4

Fundamenta Informaticae

Volume 175; Issue 1-4

1

A Theory of Distributed Markov Chains

Thiagarajan, P. S., Yang, Shaofa, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 407 KB

2020

2

Preface

ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 268 KB

2020

3

Target-oriented Petri Net Synthesis

Best, Eike, Devillers, Raymond, Erofeev, Evgeny, Wimmel, Harro, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 392 KB

2020

4

Algebraic Structure of Step Traces and Interval Traces

Janicki, Ryszard, Mikulski, Åukasz, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 413 KB

2020

5

Network Controllability Analysis of Three Multiple-myeloma Patient Genetic Mutation Datasets

Sanchez Martin, Jose Angel, Petre, Ion, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 14.93 MB

2020

6

Comparing Degenerate Strings

Alzamel, Mai, Ayad, Lorraine A.K., Bernardini, Giulia, Grossi, Roberto, Iliopoulos, Costas S., Pisanti, Nadia, Pissis, Solon P., Rosone, Giovanna, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegor

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 299 KB

2020

7

Stop-transitions of Petri Nets*

Desel, JÃ¶rg, Finthammer, Marc, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 904 KB

2020

8

Multi-valued Verification of Strategic Ability

Jamroga, Wojciech, Konikowska, Beata, Kurpiewski, Damian, Penczek, Wojciech, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 661 KB

2020

9

Discovering Object-centric Petri Nets

van der Aalst, Wil M.P., Berti, Alessandro, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 3.83 MB

2020

10

Roots and Powers in Regular Languages: Recognizing Nonregular Properties by Finite Automata

Frei, Fabian, HromkoviÄ, Juraj, KarhumÃ¤ki, Juhani, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 242 KB

2020

11

Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks

Arcile, Johan, Devillers, Raymond, Klaudel, Hanna, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 491 KB

2020

12

Companions and an Essential Motion of a Reaction System

Genova, Daniela, Hoogeboom, Hendrik Jan, Jonoska, NataÅ¡a, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 224 KB

2020

13

On Shuffling a Word with its Letter-to-Letter Substitution

Halava, Vesa, Harju, Tero, Sahla, Esa, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 188 KB

2020

14

L-systems from 3D-imaging of Phenotypes of Arborized Structures

Verbeek, Fons J., Cao, Lu, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 1.16 MB

2020

15

Flexible Process Model Mapping using Relaxation Labeling

Carmona, Josep, PadrÃ³, LluÃs, Delicado, Luis, ter Beek, Maurice, Koutny, Maciej, Rozenberg, Grzegorz

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 588 KB

2020