Volume 94, Number 1, 2009

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

Volume 94, Number 2, 2009

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

Volume 94, Numbers 3-4, 2009

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

last updated on Thu May 23 04:12:54 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page