R. Barrio, J.-C. Berges:
Perturbation Simulations of Rounding Errors in the Evaluation of Chebyshev Series
/jucs_4_6/perturbation_simulations_of_rounding

page 561 - 573
Vol.4 / Issue 6

J. Berger:
Constructive Equivalents of the Uniform Continuity Theorem
/jucs_11_12/constructive_equivalents_of_the

page 1878 - 1883
Vol.11 / Issue 12

P. Chaudhuri, H. Thompson:
A Message-Optimal Distributed Graph Algorithm: Partial Precedence Constrained Scheduling
/jucs_10_2/a_message_optimal_distributed

page 106 - 119
Vol.10 / Issue 2

J. Clark:
Constructive Analysis of Iterated Rational Functions
/jucs_11_12/constructive_analysis_of_iterated

page 1904 - 1931
Vol.11 / Issue 12

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. Konečný, A. Farjudian:
Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values
/jucs_16_18/compositional_semantics_of_dataflow

page 2629 - 2656
Vol.16 / Issue 18

M. Konečný, A. Farjudian:
Semantics of Query-Driven Communication of Exact Values
/jucs_16_18/semantics_of_query_driven

page 2597 - 2628
Vol.16 / Issue 18

P. Kornerup, D. W. Matula:
LCF: A Lexicographic Binary Representation of the Rationals
/jucs_1_7/lcf_a_lexicographic_binary

page 484 - 503
Vol.1 / Issue 7

S. M. Markov:
On Directed Interval Arithmetic and its Applications
/jucs_1_7/on_directed_interval_arithmetic

page 514 - 526
Vol.1 / Issue 7

F. Messine:
Extentions of Affine Arithmetic: Application to Unconstrained Global Optimization
/jucs_8_11/extentions_of_affine_arithmetic

page 992 - 1015
Vol.8 / Issue 11

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

E. D. Popova:
On a Formally Correct Implementation of IEEE Computer Arithmetic
/jucs_1_7/on_a_formally_correct

page 560 - 569
Vol.1 / Issue 7

D. Skordev:
On the Subrecursive Computability of Several Famous Constants
/jucs_14_6/on_the_subrecursive_computability

page 861 - 875
Vol.14 / Issue 6

X. Tao, L. Liu, F. Zhao, Y. Huang, S. Zhu, Y. Liang:
Ontology and Weighted D-S Evidence Theory-Based Vulnerability Data Fusion Method
/jucs_25_3/ontology_and_weighted_ds

page 203 - 221
Vol.25 / Issue 3

P. E. Undrill, K. Delibasis, G. G. Cameron:
Stack Filter Design Using a Distributed Parallel Implementation of Genetic Algorithms
/jucs_3_7/stack_filter_design_using

page 821 - 834
Vol.3 / Issue 7

D. van Dalen:
How the Mathematical Objects Determine the Mathematical Principles
/jucs_11_12/how_the_mathematical_objects

page 2132 - 2141
Vol.11 / Issue 12