Journal: Fundamenta Informaticae

Volume 94, Issue 3-4

275 -- 303Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev. Synthesis of Nets with Step Firing Policies
305 -- 330Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci. A Net-based Approach to Web Services Publication and Replaceability
331 -- 360Robin Bergenthum, Sebastian Mauser, Robert Lorenz, Gabriel Juhás. Unfolding Semantics of Petri Nets Based on Token Flows
361 -- 386Lars Michael Kristensen, Paul Fleischer. Modelling and Validation of Secure Connection Establishment in a Generic Access Network Scenario
387 -- 412Jan Martijn E. M. van der Werf, Boudewijn F. van Dongen, Cor A. J. Hurkens, Alexander Serebrenik. Process Discovery using Integer Linear Programming
413 -- 437Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon. Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation
439 -- 471Roland Meyer, Victor Khomenko, Tim Strazny. A Practical Approach to Verification of Mobile Systems Using Net Unfoldings

Volume 94, Issue 2

121 -- 131Piotr Blajdo, Zdzislaw S. Hippe, Teresa Mroczek, Jerzy W. Grzymala-Busse, Maksymilian Knap, Lukasz Piatek. An Extended Comparison of Six Approaches to Discretization - A Rough Set Approach
133 -- 146Chien-Chung Chan, Gwo-Hshiung Tzeng. Dominance-Based Rough Sets Using Indexed Blocks as Granules
147 -- 161Davide Ciucci. Approximation Algebra and Framework
163 -- 178Krzysztof Dembczynski, Wojciech Kotlowski, Roman Slowinski. Learning Rule Ensembles for Ordinal Classification with Monotonicity Constraints
179 -- 195Xun Gong, Guoyin Wang, Lili Xiong. Single 2D Image-based 3D Face Reconstruction and Its Application in Pose Estimation
197 -- 217Ryszard Janicki. Pairwise Comparisons Based Non-Numerical Ranking
219 -- 232Huaxiong Li, Yiyu Yao, Xianzhong Zhou, Bing Huang. A Two-Phase Model for Learning Rules from Incomplete Data
233 -- 244Pawan Lingras, Min Chen, Duoqian Miao. Semi-supervised Rough Cost/Benefit Decisions
245 -- 260Dun Liu, Tian-rui Li, Da Ruan, Weili Zou. An Incremental Approach for Inducing Knowledge from Dynamic Information Systems
261 -- 273Jing Song, Tian-rui Li, Da Ruan. An Integration of Cloud Transform and Rough Set Theory to Induction of Decision Trees

Volume 94, Issue 1

1 -- 19Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei. Timed P Automata
21 -- 40Rajeev Goré, Linh Anh Nguyen. Clausal Tableaux for Multimodal Logics of Belief
41 -- 48Michiro Kondo. Algebraic Properties of Generalized Rough Sets
49 -- 61Ewa Madalinska-Bugaj, Witold Lukaszewicz. First-order Generalization of the MPMA Belief Update Operator
63 -- 99Maurice Margenstern. The Injectivity of the Global Function of a Cellular Automaton in the Hyperbolic Plane is Undecidable
101 -- 120Mikhail Ju. Moshkov, Marcin Piliszczuk, Beata Zielosko. Greedy Algorithms with Weights for Construction of Partial Association Rules