M. Alférez, R.E. Lopez-Herrejón, A. Moreira, V. Amaral, A. Egyed:
Consistency Checking in Early Software Product Line Specifications - The VCC Approach
/jucs_20_5/consistency_checking_in_early

page 640 - 665
Vol.20 / Issue 5

R. Andersen, S.M. Cioabă:
Spectral Densest Subgraph and Independence Number of a Graph
/jucs_13_11/spectral_densest_subgraph_and

page 1501 - 1513
Vol.13 / Issue 11

T. Aoto, Y. Toyama:
Persistency of Confluence
/jucs_3_11/persistency_of_confluence

page 1134 - 1147
Vol.3 / Issue 11

M.A. Baroni:
Constructive Suprema
/jucs_11_12/constructive_suprema

page 1865 - 1877
Vol.11 / Issue 12

N. Berregeb:
Proving Properties for Behavioural Specifications with Term Observation
/jucs_12_10/proving_properties_for_behavioural

page 1413 - 1425
Vol.12 / Issue 10

V. Bosserhoff:
The Bit-Complexity of Finding Nearly Optimal Quadrature Rules for Weighted Integration
/jucs_14_6/the_bit_complexity_of

page 938 - 955
Vol.14 / Issue 6

V. Bosserhoff:
Notions of Probabilistic Computability on Represented Spaces
/jucs_14_6/notions_of_probabilistic_computability

page 956 - 995
Vol.14 / Issue 6

V. Brattka, R. Dillhage:
Computability of the Spectrum of Self-Adjoint Operators
/jucs_11_12/computability_of_the_spectrum

page 1884 - 1900
Vol.11 / Issue 12

A.D. Brucker, F. Rittinger, B. Wolff:
HOL-Z 2.0: A Proof Environment for Z-Specifications
/jucs_9_2/hol_z_2

page 152 - 172
Vol.9 / Issue 2

S. Caporaso, G. Pani, E. Covino:
Incompleteness in Linear Time
/jucs_6_12/incompleteness_in_linear_time

page 1185 - 1196
Vol.6 / Issue 12

V. Emil Cazanescu, G. Rosu:
Weak Inclusion Systems: Part Two
/jucs_6_1/weak_inclusion_system_part

page 5 - 21
Vol.6 / Issue 1

R. Ceterchi:
The Lattice Structure of Pseudo_Wajsberg Algebras
/jucs_6_1/the_lattice_structure_of

page 22 - 38
Vol.6 / Issue 1

N. Chetcuti-Sperandio, L.F.d. Cerro:
A Decision Method for Duration Calculus
/jucs_5_11/a_decision_method_for

page 743 - 764
Vol.5 / Issue 11

L. Colson, V. Demange:
Investigations on a Pedagogical Calculus of Constructions
/jucs_19_6/investigations_on_a_pedagogical

page 729 - 749
Vol.19 / Issue 6

L. Colson, D. Michel:
Pedagogical Natural Deduction Systems: the Propositional Case
/jucs_13_10/pedagogical_natural_deduction_systems

page 1396 - 1410
Vol.13 / Issue 10

T. Coquand, B. Spitters:
Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems
/jucs_11_12/formal_topotoly_and_constructive

page 1932 - 1944
Vol.11 / Issue 12

M.J. Cresswell:
Non-Denumerable Infinitary Modal Logic
/jucs_15_1/non_denumerable_infinitary_modal

page 63 - 71
Vol.15 / Issue 1

A.K. Das, S.K. Pati, H.-H. Huang, C.-K. Chen:
Cancer Classification by Gene Subset Selection from Microarray Dataset
/jucs_24_6/cancer_classification_by_gene

page 682 - 710
Vol.24 / Issue 6

D. Diaconescu, G. Georgescu:
On the Forcing Semantics for Monoidal t-norm Based Logic
/jucs_13_11/on_the_forcing_semantics

page 1550 - 1572
Vol.13 / Issue 11

D. Doder, Z. Ognjanović, Z. Marković:
An Axiomatization of a First-order Branching Time Temporal Logic
/jucs_16_11/an_axiomatization_of_a

page 1439 - 1451
Vol.16 / Issue 11

D. Drusinsky:
On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata
/jucs_12_5/on_line_monitoring_of

page 482 - 498
Vol.12 / Issue 5

D. Drusinsky:
Behavioral and Temporal Rule Checking for Gaussian Random Process – a Kalman Filter Example
/jucs_19_15/behavioral_and_temporal_rule

page 2198 - 2206
Vol.19 / Issue 15

D. Drusinsky:
Behavioral and Temporal Pattern Detection within Financial Data with Hidden Information
/jucs_18_14/behavioral_and_temporal_pattern

page 1950 - 1966
Vol.18 / Issue 14

M. Faizrahmanov, I. Kalimullin:
The Enumeration Spectrum Hierarchy of α-families and Low_α Degrees
/jucs_22_7/the_enumeration_spectrum_hierarchy

page 943 - 955
Vol.22 / Issue 7

M. Faizrahmanov, I. Kalimullin, A. Montalban, V. Puzarenko:
The Least ∑-jump Inversion Theorem for n-families
/jucs_23_6/the_least_sigma_jump

page 529 - 538
Vol.23 / Issue 6

A. Falkner, A. Haselböck, G. Krames, G. Schenner, H. Schreiner, R. Taupe:
Solver Requirements for Interactive Configuration
/jucs_26_3/solver_requirements_for_interactive

page 343 - 373
Vol.26 / Issue 3

F. Ferreira, G. Ferreira:
The Riemann Integral in Weak Systems of Analysis
/jucs_14_6/the_riemann_integral_in

page 908 - 937
Vol.14 / Issue 6

J. Franco, M. Kouril, J. Schlipf, S. Weaver, M. Dransfield, W.M. Vanfleet:
Function-Complete Lookahead in Support of Efficient SAT Search Heuristics
/jucs_10_12/function_complete_lookahead_in

page 1655 - 1692
Vol.10 / Issue 12

G. Georgescu, I. Leustean:
A Representation Theorem for Monadic Pavelka Algebras
/jucs_6_1/a_representation_theorem_for

page 105 - 111
Vol.6 / Issue 1

R. Goldblatt:
Axiomatic Classes of Intuitionistic Models
/jucs_11_12/axiomaatic_classes_of

page 1945 - 1962
Vol.11 / Issue 12

V. Goranko, A. Montanari, G. Sciavicco:
Propositional Interval Neighborhood Temporal Logics
/jucs_9_9/propositional_interval_neighborhood_temporal

page 1137 - 1167
Vol.9 / Issue 9

F. Harary:
The Automorphism Group of a Hypercube
/jucs_6_1/the_automorphism_group_of

page 136 - 138
Vol.6 / Issue 1

A. Iorgulescu:
On BCK Algebras - Part I.a: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras
/jucs_13_11/on_bck_algebras_part

page 1628 - 1654
Vol.13 / Issue 11

A. Iorgulescu:
Connections Between MVn Algebras and n-valued Lukasiewicz-Moisil Algebras - IV
/jucs_6_1/connection_between_mvn_algebras

page 139 - 154
Vol.6 / Issue 1

A. Iorgulescu:
On BCK Algebras - Part I.b: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras
/jucs_14_22/on_bck_algebras

page 3686 - 3715
Vol.14 / Issue 22

H. Ishihara:
A Canonical Model Construction for Substructural Logics
/jucs_6_1/a_canonical_model_construction

page 155 - 168
Vol.6 / Issue 1

L. Leustean:
Rates of Asymptotic Regularity for Halpern Iterations of Nonexpansive Mappings
/jucs_13_11/rates_of_asymptotic_regularity

page 1680 - 1691
Vol.13 / Issue 11

R. Dueire Lins:
Partial Categorical Multi-Combinators and Church-Rosser Theorems
/jucs_10_7/partial_categorical_multi_combinators

page 769 - 788
Vol.10 / Issue 7

H.R. Mahrooghi, R. Jalili:
An Algebraic Theory of Epistemic Processes
/jucs_19_10/an_algebraic_theory_of

page 1396 - 1432
Vol.19 / Issue 10

M.A. Martins:
Behavioral Institutions and Refinements in Generalized Hidden Logics
/jucs_12_8/behavioral_institutions_and_refinements

page 1020 - 1049
Vol.12 / Issue 8

D. Della Monica, V. Goranko, A. Montanari, G. Sciavicco:
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers
/jucs_18_20/crossing_the_undecidability_border

page 2798 - 2831
Vol.18 / Issue 20

S. Negri:
Permutability of Rules for Linear Lattices
/jucs_11_12/permutability_of_rules_for

page 1986 - 1995
Vol.11 / Issue 12

E.-R. Olderog, H. Dierks:
Moby/RT: A Tool for Specification and Verification of Real-Time Systems
/jucs_9_2/mobyrt_a_tool_for

page 88 - 105
Vol.9 / Issue 2

E. Palmgren:
Quotient Spaces and Coequalisers in Formal Topology
/jucs_11_12/quotient_spaces_and_coequalisers

page 1996 - 2007
Vol.11 / Issue 12

M. Rathjen:
Constructive Set Theory and Brouwerian Principles
/jucs_11_12/constructive_set_theory_and

page 2008 - 2033
Vol.11 / Issue 12

S. Ratschan:
Uncertainty Propagation in Heterogeneous Algebras for Approximate Quantified Constraint Solving
/jucs_6_9/uncertainty_propagation_in_heterogeneous

page 861 - 880
Vol.6 / Issue 9

W. Reif, G. Schellhorn, T. Vollmer, J. Ruf:
Correctness of Efficient Real-Time Model Checking
/jucs_7_2/correctness_of_efficient_real

page 194 - 209
Vol.7 / Issue 2

J. Rothe, H. Tews, B. Jacobs:
The Coalgebraic Class Specification Language CCSL
/jucs_7_2/the_coalgebraic_class_specification

page 175 - 193
Vol.7 / Issue 2

A. Sali, K.-D. Schewe:
A Characterisation of Coincidence Ideals for Complex Values
/jucs_15_1/a_characterisation_of_coincidence

page 304 - 354
Vol.15 / Issue 1

G. Schellhorn:
Verification of ASM Refinements Using Generalized Forward Simulation
/jucs_7_11/verification_of_asm_refinements

page 952 - 979
Vol.7 / Issue 11

G. Schellhorn:
ASM Refinement Preserving Invariants
/jucs_14_12/asm_refinement_preserving_invariants

page 1929 - 1948
Vol.14 / Issue 12

K.-D. Schewe, Q. Wang:
XML Database Transformations
/jucs_16_20/xml_database_transformations

page 3043 - 3072
Vol.16 / Issue 20

K.-D. Schewe:
Functional Dependencies with Counting on Trees
/jucs_11_12/functional_dependencies_with_counting

page 2063 - 2075
Vol.11 / Issue 12

M. Schröder:
On the Relationship between Filter Spaces and Weak Limit Spaces
/jucs_14_6/on_the_relationship_between

page 996 - 1015
Vol.14 / Issue 6

L. Staiger:
How Large is the Set of Disjunctive Sequences?
/jucs_8_2/how_large_is_the

page 348 - 362
Vol.8 / Issue 2

L. Staiger:
Hausdorff Measure and Lukasiewicz Languages
/jucs_11_12/hausdorff_measure_and_lukasiewicz

page 2114 - 2124
Vol.11 / Issue 12

R. F. Stärk, S. Nanchen:
A Logic for Abstract State Machines
/jucs_7_11/a_logic_for_abstract

page 980 - 1005
Vol.7 / Issue 11

J. Tick, Z. Kovacs, F. Friedler:
Synthesis of Optimal Workflow Structure
/jucs_12_9/synthesis_of_optimal_workflow

page 1385 - 1392
Vol.12 / Issue 9

D. Vaida:
Notes on Partially-Ordered Structures in Computer Science: I. PA-Ordered Semirings and Some Related Structures
/jucs_6_1/notes_on_partially_ordered

page 201 - 211
Vol.6 / Issue 1

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.S. Vîţă:
On Complements of Sets and the Efremovič Condition in Pre-apartness Spaces
/jucs_11_12/on_complements_of_sets

page 2159 - 2164
Vol.11 / Issue 12

Y. Xu, J. Liu, L. Martínez, D. Ruan:
Some Views on Information Fusion and Logic Based Approaches in Decision Making under Uncertainty
/jucs_16_1/some_views_on_information

page 3 - 19
Vol.16 / Issue 1

S. de Amo, M.H.F. Alves:
Incremental Maintenance of Data Warehouses Based on Past Temporal Logic Operators
/jucs_10_9/incremental_maintenance_of_data

page 1035 - 1064
Vol.10 / Issue 9

J.A. Andrew van der Poll, P. Kotzé, W. Adrian Labuschagne:
Automated Support for Enterprise Information Systems
/jucs_10_11/automated_support_for_enterprise

page 1519 - 1539
Vol.10 / Issue 11

J. von Plato:
A Constructive Approach to Sylvester's Conjecture
/jucs_11_12/a_constructive_approach_to

page 2165 - 2178
Vol.11 / Issue 12