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

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 175, nr 1-4

Czasopismo

Fundamenta Informaticae

Wydawca

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 W. M. P., Berti A.), s. 1--40
- artykuł: Comparing Degenerate Strings (Alzamel M., Ayad L. A. K., Bernardini G., Grossi R., Iliopoulos C. S., Pisanti N., Pissis S. P., Rosone G.), s. 41--58
- artykuł: Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks (Arcile J., Devillers R., Klaudel H.), s. 59--95
- artykuł: Target-oriented Petri Net Synthesis (Best E., Devillers R., Erofeev E., Wimmel H.), s. 97--122
- artykuł: Flexible Process Model Mapping using Relaxation Labeling (Carmona J., Padró L., Delicado L.), s. 123--141
- artykuł: Stop-transitions of Petri Nets (Desel J., Finthammer M.), s. 143--172
- artykuł: Roots and Powers in Regular Languages : Recognizing Nonregular Properties by Finite Automata (Frei F., Hromkovič J., Karhumäki J.), s. 173--185
- artykuł: On Shuffling a Word with its Letter-to-Letter Substitution (Halava V., Harju T., Sahla E.), s. 201--206
- artykuł: Multi-valued Verification of Strategic Ability (Jamroga W., Konikowska B., Kurpiewski D., Penczek W.), s. 207--251
- artykuł: Algebraic Structure of Step Traces and Interval Traces (Janicki R., Mikulski Ł.), s. 253--280
- artykuł: Network Controllability Analysis of Three Multiple-myeloma Patient Genetic Mutation Datasets (Sanchez Martin J. A., Petre I.), s. 281--299
- artykuł: A Theory of Distributed Markov Chains (Thiagarajan P. S., Yang S.), s. 301--325
- artykuł: L-systems from 3D-imaging of Phenotypes of Arborized Structures (Verbeek F. J., Cao L.), s. 327--345

rozwiń roczniki