Fundamenta Informaticae - Tom Vol. 175, nr 1-4 (2020) - BazTech

Tom - szczegóły

Tytuł artykułu

Vol. 175, nr 1-4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2020

Identyfikatory

Uwagi

This special issue is dedicated to Jetty Kleijn on the occasion of her 65th birthday.

Zawartość wolumenu

Vol. 175, nr 1-4
- artykuł: Discovering Object-centric Petri Nets (van der Aalst Wil M. P., Berti Alessandro), s. 1--40
- artykuł: Comparing Degenerate Strings (Alzamel Mai, Ayad Lorraine A. K., Bernardini Giulia, Grossi Roberto, Iliopoulos Costas S., Pisanti Nadia, Pissis Solon P., Rosone Giovanna), s. 41--58
- artykuł: Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks (Arcile Johan, Devillers Raymond, Klaudel Hanna), s. 59--95
- artykuł: Target-oriented Petri Net Synthesis (Best Eike, Devillers Raymond, Erofeev Evgeny, Wimmel Harro), s. 97--122
- artykuł: Flexible Process Model Mapping using Relaxation Labeling (Carmona Josep, Padró Lluís, Delicado Luis), s. 123--141
- artykuł: Stop-transitions of Petri Nets (Desel Jörg, Finthammer Marc), s. 143--172
- artykuł: Roots and Powers in Regular Languages : Recognizing Nonregular Properties by Finite Automata (Frei Fabian, Hromkovič Juraj, Karhumäki Juhani), s. 173--185
- artykuł: Companions and an Essential Motion of a Reaction System (Genova Daniela, Hoogeboom Hendrik Jan, Jonoska Nataša), s. 187--199
- artykuł: On Shuffling a Word with its Letter-to-Letter Substitution (Halava Vesa, Harju Tero, Sahla Esa), s. 201--206
- artykuł: Multi-valued Verification of Strategic Ability (Jamroga Wojciech, Konikowska Beata, Kurpiewski Damian, Penczek Wojciech), s. 207--251
- artykuł: Algebraic Structure of Step Traces and Interval Traces (Janicki Ryszard, Mikulski Łukasz), s. 253--280
- artykuł: Network Controllability Analysis of Three Multiple-myeloma Patient Genetic Mutation Datasets (Sanchez Martin Jose Angel, Petre Ion), s. 281--299
- artykuł: A Theory of Distributed Markov Chains (Thiagarajan P. S., Yang Shaofa), s. 301--325
- artykuł: L-systems from 3D-imaging of Phenotypes of Arborized Structures (Verbeek Fons J., Cao Lu), s. 327--345

rozwiń roczniki