Fundamenta Informaticae, Volume 109

Volume 109, Number 1, 2011

• Pascal Caron, Marianne Flouret:
  From Glushkov WFAs to K-Expressions. 1-25
  
• Oliver Kullmann:
  Constraint Satisfaction Problems in Clausal Form I: Autarkies and Deficiency. 27-81
  
• Oliver Kullmann:
  Constraint Satisfaction Problems in Clausal Form II: Minimal Unsatisfiability and Conflict Structure. 83-119
  

Volume 109, Number 2, 2011

• Chin-Chen Chang, Chih-Yang Lin, Yi-Hsuan Fan:
  Reversible Steganography for BTC-compressed Images. 121-134
  
• Roberto Gorrieri, Cristian Versari:
  An Operational Petri Net Semantics for A²CCS. 135-160
  
• Galina Jirásková, Alexander Okhotin:
  On the State Complexity of Star of Union and Star of Intersection. 161-178
  
• Yunyun Niu, Linqiang Pan, Mario J. Pérez-Jiménez, Miquel Rius-Font:
  A Tissue P Systems Based Uniform Solution to Tripartite Matching Problem. 179-188
  
• Xu An Wang, Xiaoyuan Yang, Minqing Zhang:
  Cryptanalysis of Two Efficient HIBE Schemes in the Standard Model. 189-200
  
• Józef Winkowski:
  Multiplicative Transition Systems. 201-222
  

Volume 109, Number 3, 2011

• Ludwik Czaja:
  Preface.
  
• Vladimir A. Bashkin, Irina A. Lomazova:
  Resource Driven Automata Nets. 223-236
  
• Marco Bellia, M. Eugenia Occhiuto:
  Properties of Java Simple Closures. 237-253
  
• Ludwik Czaja:
  On Deadlock and Fairness Decision Problems for Computations on Client-server Systems. 255-264
  
• Anna Gomolinska:
  A Logic-Algebraic Approach to Graded Inclusion. 265-279
  
• Damas P. Gruska:
  Gained and Excluded Private Actions by Process Observations. 281-295
  
• Manfred Kudlek:
  A Relation between Modal Logic and Language Closure Operators. 297-304
  
• Artur Meski, Wojciech Penczek, Agata Pólrola:
  BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets. 305-321
  
• Roman R. Redziejowski:
  BITES Instead of FIRST for Parsing Expression Grammar. 323-337
  
• Marcin S. Szczuka, Andrzej Skowron, Jaroslaw Stepaniuk:
  Function Approximation and Quality Measures in Rough-Granular Systems. 339-354
  
• Marcin Wolski:
  Incomplete and Nondeterministic Information Systems: Object-Directed Semantics for Descriptor Languages. 355-368
  

Volume 109, Number 4, 2011

• Zoltán Ésik, Klaus Sutner:
  Stephen L. Bloom 1940-2010. 369-381
  
• Thomas Locher, Stefan Schmid, Roger Wattenhofer:
  eDonkey & eMule's Kad: Measurements & Attacks. 383-403
  
• Xiaoxue Piao, Kai Salomaa:
  Transformations Between Different Models of Unranked Bottom-Up Tree Automata. 405-424
  
• Daniel Simson:
  Mesh Algorithms for Solving Principal Diophantine Equations, Sand-glass Tubes and Tori of Roots. 425-462
  
• Ping Zhu:
  An Axiomatic Approach to the Roughness Measure of Rough Sets. 463-480
  
• Erratum to the paper: "A Logic-Based System for e-Tourism". 481
  

Last update Sat May 18 20:26:42 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page