default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta 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
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.
last updated on 2024-12-16 22:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
