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

R. Amornchewin, W. Kreesuradej:
Mining Dynamic Databases using Probability-Based Incremental Association Rule Discovery Algorithm
/jucs_15_12/mining_dynamic_databases_using

page 2409 - 2428
Vol.15 / 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

R. Bucki, B. Chramcov, P. Suchánek:
Heuristic Algorithms for Manufacturing and Replacement Strategies of the Production System
/jucs_21_4/heuristic_algorithms_for_manufacturing

page 503 - 525
Vol.21 / Issue 4

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

V. Ciric, A. Cvetkovic, I. Milentijevic, O. Vojinovic:
All-Pairs Shortest Paths Algorithm for Regular 2D Mesh Topologies
/jucs_22_11/all_pairs_shortest_paths

page 1437 - 1455
Vol.22 / Issue 10

A.A. Constantino, C.F.X. de Mendonca Neto, S.A. de Araujo, D. Landa-Silva, R. Calvi, A.F. dos Santos:
Solving a Large Real-world Bus Driver Scheduling Problem with a Multi-assignment based Heuristic Algorithm
/jucs_23_5/solving_a_large_real

page 479 - 504
Vol.23 / Issue 5

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

K. Deep, J.C. Bansal:
Solving Economic Dispatch Problems with Valve-point Effects using Particle Swarm Optimization
/jucs_18_13/solving_economic_dispatch_problems

page 1842 - 1852
Vol.18 / Issue 13

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

W. Li, L. Gao, X. Li:
Application of Intelligent Strategies for Cooperative Manufacturing Planning
/jucs_15_9/application_of_intelligent_strategies

page 1907 - 1923
Vol.15 / Issue 9

M. Micheletto, R. Santos, J. Orozco:
Scheduling Mandatory-Optional Real-Time Tasks in Homogeneous Multi-Core Systems with Energy Constraints Using Bio-Inspired Meta-Heuristics
/jucs_25_4/scheduling_mandatory_optional_real

page 390 - 417
Vol.25 / Issue 4

D. Niu, Y. Wang, C. Duan, M. Xing:
A New Short-term Power Load Forecasting Model Based on Chaotic Time Series and SVM
/jucs_15_13/a_new_short_term

page 2726 - 2745
Vol.15 / Issue 13

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

L. Sun, H. Wang, J. Yong:
Authorization Algorithms for Permission-Role Assignments
/jucs_15_9/authorization_algorithms_for_permission

page 1782 - 1796
Vol.15 / Issue 9

Y. Sun, Z. Wang:
Adaptive Sharing Scheme Based Sub-Swarm Multi-Objective PSO
/jucs_23_7/adaptive_sharing_scheme_based

page 673 - 691
Vol.23 / Issue 7

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

X. Wang, M. Hao, Y. Cheng, R. Lei:
PDE-PEDA: A New Pareto-Based Multi-objective Optimization Algorithm
/jucs_15_4/pde_peda_a_new

page 722 - 741
Vol.15 / Issue 4

M.M. Wong, M.L.D. Wong:
Stochastic Computing with Spiking Neural P Systems
/jucs_23_7/stochastic_computing_with_spiking

page 589 - 602
Vol.23 / Issue 7