A. Almonayyes:
Multiple Explanations Driven Naïve Bayes Classifier
/jucs_12_2/multiple_explanations_driven_naive

page 127 - 139
Vol.12 / Issue 2

F. A. Aloul, I. L. Markov, K. A. Sakallah:
MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation
/jucs_10_12/mince_a_static_global

page 1562 - 1596
Vol.10 / Issue 12

A. Armando, S. Ranise:
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic
/jucs_7_2/a_practical_extension_mechanism

page 124 - 140
Vol.7 / Issue 2

P. Chaudhuri, T. Edward:
An O(√n) Distributed Mutual Exclusion Algorithm Using Queue Migration
/jucs_12_2/an_0_square_root

page 140 - 159
Vol.12 / Issue 2

Y. Baleghi Damavandi, K. Mohammadi:
Co-evolution for Communication: An EHW Approach
/jucs_13_9/coevolution_for_communication_an

page 1300 - 1308
Vol.13 / Issue 9

A.J. Fernández, P.M. Hill:
An Interval Constraint Branching Scheme for Lattice Domains
/jucs_12_11/an_interval_constraint_branching

page 1466 - 1499
Vol.12 / Issue 11

A. French, J.N. Amaral:
Eliminating Redundant Join-Set Computations in Static Single Assignment
/jucs_12_8/eliminating_redundant_join_set

page 1007 - 1019
Vol.12 / Issue 8

J. Roberts:
Pervasive Health Management and Health Management Utilizing Pervasive Technologies : Synergy and Issues
/jucs_12_1/pervasive_health_management_and

page 6 - 14
Vol.12 / Issue 1

D. Wang:
A Method for Proving Theorems in Differential Geometry and Mechanics
/jucs_1_9/a_method_for_proving

page 658 - 673
Vol.1 / Issue 9