Journal: Fundamenta Informaticae

Volume 122, Issue 4

275 -- 295Jakub Daubner, Eduard Toman. Neighbourhood of Constant Order in the Interval Graph of a Random Boolean Function
297 -- 313Daniel Graff, Jan Richling, Matthias Werner. Modeling Group Scheduling Problems in Space and Time by Timed Petri Nets
315 -- 326Lakshmanan Kuppusamy, Anand Mahendran, Kamala Krithivasan. On the Trade-off Between Ambiguity and Complexity in Contextual Languages
327 -- 355Malgorzata Przybyla-Kasperek, Alicja Wakulicz-Deja. Application of Reduction of the Set of Conditional Attributes in the Process of Global Decision-making
357 -- 399Yannis Tzitzikas, Panagiotis Papadakos. Interactive Exploration of Multi-Dimensional and Hierarchical Information Spaces with Real-Time Preference Elicitation
401 -- 420Bozena Wozna-Szczesniak, Andrzej Zbrzezny. A Translation of the Existential Model Checking Problem from MITL to HLTL

Volume 122, Issue 3

173 -- 206Zhanshan (Sam) Ma. Stochastic Populations, Power Law and Fitness Aggregation in Genetic Algorithms
207 -- 225Homa Fashandi, James F. Peters. Crisp and Fuzzy Topological Interior and Closure Operators with Inclusion Degree. Theory and Applications
227 -- 274Hans Langmaack, Andrzej Salwicki. Some Methodological Remarks Inspired by the Paper "On inner classes" by A. Igarashi and B. Pierce

Volume 122, Issue 1-2

0 -- 0Lars Michael Kristensen, Wojciech Penczek, Laure Petrucci. Preface
1 -- 30Pierre-Alain Reynier, Frédéric Servais. Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning
31 -- 58Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil. Branching Processes of General Petri Nets
59 -- 83Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf. Refinement of Synchronizable Places with Multi-workflow Nets
85 -- 117Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers. A Petri Net Interpretation of Open Reconfigurable Systems
119 -- 146Jetty Kleijn, Maciej Koutny. Mutex Causality in Processes and Traces of General Elementary Nets
147 -- 172Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen. Synthesis and Analysis of Product-form Petri Nets