Contents of Fundamenta Informaticae Volume 107


Number 1,  2011

Number 2-3,  2011

Number 4,  2011


Contents of Volume 107, Number 1, 2011

Click on title for abstract


K-Comma Codes and Their Generalizations
Bo Cui,  Lila Kari,  Shinnosuke Seki

Formal Analysis of SystemC Designs in Process Algebra
Hossein Hojjat,  Mohammad Reza Mousavi,  Marjan Sirjani

Mechanical Analysis of Finite Idempotent Relations
Florian Kammüller

Rough Truth Degrees of Formulas and Approximate Reasoning in Rough Logic
Yanhong She,  Xiaoli He,  Guojun Wang

Analysis of Recognition of a Musical Instrument in Sound Mixes Using Support Vector Machines
Alicja Wieczorkowska, El¿bieta Kubera, Agnieszka Kubik-Komar

Cryptanalysis of an Identity Based Signcryption without Random Oracles
Hu Xiong,  Zhiguang Qin,  Fagen Li


Contents of Volume 107, Number 2-3, 2011

Click on title for abstract


RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion.  Preface.

Flexible Plan Verification: Feasibility Results
Amedeo Cesta,  Simone Fratini,  Andrea Orlandini,  Alberto Finzi,  Enrico Tronci

Parallel QBF Solving with Advanced Knowledge Sharing
Matthew Lewis,  Tobias Schubert, and Bernd Becker,  Paolo Marin,  Massimo Narizzano,  Enrico Giunchiglia

An Empirical Analysis of Some Heuristic Features for Planning through Local Search and Action Graphs
Alfonso Gerevini,  Alessandro Saetti,  Ivan Serina

Efficient Graph Kernels for Textual Entailment Recognition
Fabio Massimo Zanzotto,  Lorenzo Dell'Arciprete,   Alessandro Moschitti

An automaton Constraint for Local Search
Jun He,  Pierre Flener,  Justin Pearson

Restoring CSP Satisfiability with MaxSAT
Inês Lynce,  Joao Marques-Silva

Deriving Information from Sampling and Diving
Michele Lombardi,  Michela Milano,  Andrea Roli,   Alessandro Zanarini

Partitioning Search Spaces of a Randomized Search
Antti E. J. Hyvärinen,  Tommi Junttila,  Ilkka Niemelä


Contents of Volume 107, Number 4, 2011

Click on title for abstract


A Representation Theorem for Primitive Recursive Algorithms
Philippe Andary,  Bruno Patrou, Pierre Valarcher

On the Fermat-Weber Point of a Polygonal Chain and its Generalizations
Bhaswar B. Bhattacharya

Trade-Offs Between Time, Space, Cooperation, and Communication Complexity for CD Grammar Systems
Liliana Cojocaru

Look-back Techniques for ASP Programs with Aggregates
Wolfgang Faber,  Nicola Leone,  Marco Maratea, Francesco Ricca

Analysis of Markov Boundary Induction in Bayesian Networks: A New View From Matroid Theory
Dingcheng Feng,  Feng Chen,  Wenli Xu