G. Cabodi, S. Nocco, S. Quer:
Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals
/jucs_10_12/improving_sat_based_bounded

page 1693 - 1730
Vol.10 / Issue 12

F. Capkovic:
An Application of the DEDS Control Synthesis Method
/jucs_11_2/an_application_of_the

page 303 - 326
Vol.11 / Issue 2

H.-D. Ehrich, M. Kollmann, R. Pinger:
Checking Object System Designs Incrementally
/jucs_9_2/checking_object_system_designs

page 106 - 119
Vol.9 / Issue 2

N. Gronau, C. Müller, R. Korf:
KMDL - Capturing, Analysing and Improving Knowledge-Intensive Business Processes
/jucs_11_4/kmdl_capturing_analysing_and

page 452 - 472
Vol.11 / Issue 4

S. M. Markov, Y. Akyildiz:
Curve Fitting and Interpolation of Biological Data Under Uncertainties
/jucs_2_2/curve_fitting_and_interpolation

page 58 - 69
Vol.2 / Issue 2

K. Nakamura, T. Higuchi, N. Hirose:
Sequential Data Assimilation: Information Fusion of a Numerical Simulation and Large Scale Observation Data
/jucs_12_6/sequential_data_assimilation_information

page 608 - 626
Vol.12 / Issue 6

J. Ruf:
RAVEN: Real-Time Analyzing and Verification Environment
/jucs_7_1/raven_real_time_analyzing

page 89 - 104
Vol.7 / Issue 1

F. Scuglik, M. Sveda:
Automatically Generated CSP Specifications
/jucs_9_11/automatically_generated_csp_specifications

page 1277 - 1295
Vol.9 / Issue 11

M. Vujošević-Janičić, J. Tomašević, P. Janičić:
Random k-GD-Sat Model and its Phase Transition
/jucs_13_4/random_k_gd_sat

page 572 - 591
Vol.13 / Issue 4

L. Zuck, A. Pnueli, Y. Fang, B. Goldberg:
VOC: A Methodology for the Translation Validation of OptimizingCompilers
/jucs_9_3/voc_a_methodology_for

page 223 - 247
Vol.9 / Issue 3