J. Asserrhine, J.-M. Chesneaux, J.-L. Lamotte:
Estimation of Round-off Errors on Several Computers Architectures
/jucs_1_7/estimation_of_round_off

page 454 - 468
Vol.1 / Issue 7

R. Banach:
Formal Methods
Guest Editorial
/jucs_13_5/formal_methods

page 593 - 601
Vol.13 / Issue 5

E.M. Clarke, F. Lerda:
Model Checking: Software and Beyond
/jucs_13_5/model_checking_software_and

page 639 - 649
Vol.13 / Issue 5

M. Daumas, C. Mazenc, X. Merrheim, J.-M. Muller:
Modular Range Reduction
/jucs_1_3/modular_range_reduction

page 162 - 175
Vol.1 / Issue 3

M. Daumas, C. Finot:
Division of Floating Point Expansions with an Application to the Computation of a Determinant
/jucs_5_6/division_of_floating_point

page 323 - 338
Vol.5 / Issue 6

P. Fenwick:
High-radix Division with Approximate Quotient-digit Estimation
/jucs_1_1/high_radix_division_with

page 2 - 22
Vol.1 / Issue 1

A. Gargantini, E. Riccobene, P. Scandurra:
A Metamodel-based Language and a Simulation Engine for Abstract State Machines
/jucs_14_12/a_metamodel_based_language

page 1949 - 1983
Vol.14 / Issue 12

J. Harrison:
Floating-Point Verification
/jucs_13_5/floating_point_verification

page 629 - 638
Vol.13 / Issue 5

L.A.B. Kowada, R. Portugal, C.M. Herrera de Figueiredo:
Reversible Karatsuba's Algorithm
/jucs_12_5/reversible_karatsubas_algorithm

page 499 - 511
Vol.12 / Issue 5

T. Lynch, M. J. Schulte:
A High Radix On-line Arithmetic for Credible and Accurate Computing
/jucs_1_7/a_high_radix_on

page 439 - 453
Vol.1 / Issue 7

A. Munk Nielsen, P. Kornerup:
MSB-First Digit Serial Arithmetic
/jucs_1_7/msb_first_digit_serial

page 527 - 547
Vol.1 / Issue 7

B. Rederlechner, J. Keller:
A Note on Correctness Proofs for Overflow Detection Logic in Adders for d-th Complement Numbers
/jucs_3_10/a_note_on_correctness

page 1121 - 1125
Vol.3 / Issue 10

J. Rushby:
Automated Formal Methods Enter the Mainstream
/jucs_13_5/automated_formal_methods_enter

page 650 - 660
Vol.13 / Issue 5

J. Woodcock, R. Banach:
The Verification Grand Challenge
/jucs_13_5/the_verification_grand_challenge

page 661 - 668
Vol.13 / Issue 5