![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Fundamenta Informaticae, Volume 175
Volume 175, Numbers 1-4, 2020
- Maurice H. ter Beek, Maciej Koutny, Grzegorz Rozenberg:
Preface. - Wil M. P. van der Aalst
, Alessandro Berti:
Discovering Object-centric Petri Nets. 1-40 - Mai Alzamel
, Lorraine A. K. Ayad, Giulia Bernardini
, Roberto Grossi, Costas S. Iliopoulos, Nadia Pisanti, Solon P. Pissis
, Giovanna Rosone:
Comparing Degenerate Strings. 41-58 - Johan Arcile, Raymond R. Devillers, Hanna Klaudel:
Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks. 59-95 - Eike Best, Raymond R. Devillers, Evgeny Erofeev, Harro Wimmel:
Target-oriented Petri Net Synthesis. 97-122 - Josep Carmona, Lluís Padró, Luis Delicado:
Flexible Process Model Mapping using Relaxation Labeling. 123-141 - Jörg Desel, Marc Finthammer:
Stop-transitions of Petri Nets. 143-172 - Fabian Frei, Juraj Hromkovic, Juhani Karhumäki:
Roots and Powers in Regular Languages: Recognizing Nonregular Properties by Finite Automata. 173-185 - Daniela Genova, Hendrik Jan Hoogeboom, Natasa Jonoska:
Companions and an Essential Motion of a Reaction System. 187-199 - Vesa Halava, Tero Harju
, Esa Sahla:
On Shuffling a Word with its Letter-to-Letter Substitution. 201-206 - Wojciech Jamroga
, Beata Konikowska, Damian Kurpiewski
, Wojciech Penczek
:
Multi-valued Verification of Strategic Ability. 207-251 - Ryszard Janicki, Lukasz Mikulski
:
Algebraic Structure of Step Traces and Interval Traces. 253-280 - José Ángel Sánchez Martín, Ion Petre
:
Network Controllability Analysis of Three Multiple-myeloma Patient Genetic Mutation Datasets. 281-299 - P. S. Thiagarajan, Shaofa Yang:
A Theory of Distributed Markov Chains. 301-325 - Fons J. Verbeek, Lu Cao:
L-systems from 3D-imaging of Phenotypes of Arborized Structures. 327-345
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.