J. Albert, G. Tischler:
On Succinct Representations of Textured Surfaces by Weighted Finite Automata
/jucs_16_5/on_succinct_representations_of

page 586 - 603
Vol.16 / Issue 5

B. Aman, G. Ciobanu:
Reversibility in Parallel Rewriting Systems
/jucs_23_7/reversibility_in_parallel_rewriting

page 692 - 703
Vol.23 / Issue 7

F. Arroyo, A. Baranda, J. Castellanos, G. Paun:
Membrane Computing: The Power of (Rule) Creation
/jucs_8_3/membrane_computing_the_power

page 369 - 381
Vol.8 / Issue 3

R. Banach, F. Arbab, G. A. Papadopoulos, J. R. W. Glauert:
A Multiply Hierarchical Automaton Semantics for the IWIM Coordination Model
/jucs_9_1/a_multiply_hierarchical_automaton

page 2 - 33
Vol.9 / Issue 1

F. Bernardini, M. Gheorghe:
Population P Systems
/jucs_10_5/population_p_systems

page 509 - 539
Vol.10 / Issue 5

J. Björklund, L. Cleophas:
A Taxonomy of Minimisation Algorithms for Deterministic Tree Automata
/jucs_22_2/a_taxonomy_of_minimisation

page 180 - 196
Vol.22 / Issue 2

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

J. Bravo, R. Hervás, I. Sánchez, G. Chavira, S. Nava:
Visualization Services in a Conference Context: An Approach by RFID Technology
/jucs_12_3/visualization_services_in_a

page 270 - 283
Vol.12 / Issue 3

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

E. Börger, K.-D. Schewe:
Communication in Abstract State Machines
/jucs_23_2/communication_in_abstract_state

page 129 - 145
Vol.23 / Issue 2

E. Börger, D. Sona:
A Neural Abstract Machine
/jucs_7_11/a_neural_abstract_machine

page 1006 - 1023
Vol.7 / Issue 11

E. Börger:
The Origins and the Development of the ASM Method for High Level System Design and Analysis
/jucs_8_1/the_origins_and_the

page 2 - 74
Vol.8 / Issue 1

C.S. Calude, R. Freivalds, S. Jain, F. Stephan:
Deterministic Frequency Pushdown Automata
/jucs_21_12/deterministic_frequency_pushdown_automata

page 1563 - 1576
Vol.21 / Issue 12

C.S. Calude, K. Salomaa, S. Yu:
Additive Distances and Quasi_Distances Between Words
/jucs_8_2/additive_distances_and_quasi

page 141 - 152
Vol.8 / Issue 2

E. Calude, M. Lipponen:
Minimal Deterministic Incomplete Automata
/jucs_3_11/minimal_deterministic_incomplete_automata

page 1180 - 1193
Vol.3 / Issue 11

G. Chavira, J. Bravo, S.W. Nava-Díaz, J.C. Rolón:
PICTAC: A Model for Perceiving Touch Interaction through Tagging Context
/jucs_16_12/pictac_a_model_for

page 1577 - 1591
Vol.16 / Issue 12

Y.-C. Chen, J.-S. Wang:
A Hammerstein-Wiener Recurrent Neural Network with Frequency-Domain Eigensystem Realization Algorithm for Unknown System Identification
/jucs_15_13/a_hammerstein_wiener_recurrent

page 2547 - 2565
Vol.15 / Issue 13

G. Ciobanu, S. Rudeanu:
Equivalent Transformations of Automata by Using Behavioural Automata
/jucs_13_11/equivalent_transformations_of_automata

page 1540 - 1549
Vol.13 / Issue 11

P. Collins, D.S. Graça:
Effective Computability of Solutions of Differential Inclusions The Ten Thousand Monkeys Approach
/jucs_15_6/effective_computability_of_solutions

page 1162 - 1185
Vol.15 / Issue 6

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

A. Cordón-Franco, F. Sancho-Caparrini:
A Note on Complexity Measures for Probabilistic P Systems
/jucs_10_5/a_note_on_complexity

page 559 - 566
Vol.10 / Issue 5

K. Culik II., J. Kari:
An Aperiodic Set of Wang Cubes
/jucs_1_10/an_aperiodic_set_of

page 675 - 686
Vol.1 / Issue 10

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. 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

C. Drăgoi, F. Manea, V. Mitrana:
Accepting Networks of Evolutionary Processors with Filtered Connections
/jucs_13_11/accepting_networks_of_evolutionary

page 1598 - 1614
Vol.13 / Issue 11

P. E. Dunne:
Ceilings of Monotone Boolean Functions
/jucs_2_7/ceilings_of_monotone_boolean

page 533 - 548
Vol.2 / Issue 7

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

F. Fontana, G. Franco:
Finding the Maximum Element Using P Systems
/jucs_10_5/finding_the_maximum_element

page 567 - 580
Vol.10 / Issue 5

C.H.Q. Forster:
Programming through Spreadsheets and Tabular Abstractions
/jucs_13_6/programming_through_spreadsheets_and

page 806 - 816
Vol.13 / Issue 6

C. Gaßner:
Oracles and Relativizations of the P =? NP Question for Several Structures
/jucs_15_6/oracles_and_relativizations_of

page 1186 - 1205
Vol.15 / Issue 6

C. Gaßner:
The Separation of Relativized Versions of P and DNP for the Ring of the Reals
/jucs_16_18/the_separation_of_relativized

page 2563 - 2568
Vol.16 / Issue 18

Y. Gurevich, N. Tillmann:
Partial Updates: Exploration
/jucs_7_11/partial_updates_exploration

page 917 - 951
Vol.7 / Issue 11

Y. Gurevich, M. Spielmann:
Recursive Abstract State Machines
/jucs_3_4/recursiv_abstract

page 233 - 246
Vol.3 / Issue 4

F. Gécseg:
On Quasi-Products of Tree Automata
/jucs_8_2/on_quasi_products_of

page 184 - 192
Vol.8 / Issue 2

T. Jafarikhah, K. Weihrauch:
The Riesz Representation Operator on the Dual of C[0; 1] is Computable
/jucs_19_6/the_riesz_representation_operator

page 750 - 770
Vol.19 / Issue 6

J. Kari:
Synchronization and Stability of Finite Automata
/jucs_8_2/synchronization_and_stability_of

page 270 - 277
Vol.8 / Issue 2

L. Kari, G. Paun, A. Salomaa:
The Power of Restricted Splicing with Rules from a Regular Language
/jucs_2_4/the_power_of_restricted

page 224 - 240
Vol.2 / Issue 4

A. Kawachi, T. Koshiba:
Progress in Quantum Computational Cryptography
/jucs_12_6/progress_in_quantum_computational

page 691 - 709
Vol.12 / Issue 6

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

C. Kong, P. Alexander, C. Menon:
Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language
/jucs_9_11/defining_a_formal_coalgebraic

page 1322 - 1349
Vol.9 / Issue 11

P. Krishnan:
Issues Related to Distributed Processing of Picture Languages
/jucs_5_9/issues_related_to_distributed

page 542 - 551
Vol.5 / Issue 9

A. Leporati, C. Zandron, G. Mauri:
Simulating the Fredkin Gate with Energy-Based P Systems
/jucs_10_5/simulating_the_fredkin_gate

page 600 - 619
Vol.10 / Issue 5

M. Lipponen:
Computational Complementarity and Shift Spaces
/jucs_6_1/computational_complementarity_and_shift

page 169 - 177
Vol.6 / Issue 1

R. Loos:
Time-varying H Systems Revisited
/jucs_12_10/time_varying_H_systems

page 1455 - 1463
Vol.12 / Issue 10

H. Lu, K. Weihrauch:
Computable Riesz Representation for Locally Compact Hausdorff Spaces
/jucs_14_6/computable_riesz_representation_for

page 845 - 860
Vol.14 / Issue 6

J. Pereira Machado, P. Blauth Menezes:
Defining Atomic Composition in UML Behavioral Diagrams
/jucs_12_7/defining_atomic_composition_in

page 958 - 979
Vol.12 / Issue 7

S. Marcus:
Bridging Two Hierarchies of Infinite Words
/jucs_8_2/bridging_two_hierarchies_of

page 292 - 296
Vol.8 / Issue 2

M. Margenstern:
Tiling the Hyperbolic Plane with a Single Pentagonal Tile
/jucs_8_2/tiling_the_hyperbolic_plane

page 297 - 316
Vol.8 / Issue 2

M. Margenstern:
The Tiling of the Hyperbolic 4D Space by the 120-cell is Combinatoric
/jucs_10_9/the_tiling_of_the

page 1212 - 1238
Vol.10 / Issue 9

M. Margenstern:
New Tools for Cellular Automata in the Hyperbolic Plane
/jucs_6_12/new_tools_for_cellular

page 1226 - 1252
Vol.6 / Issue 12

M. Margenstern, K. Morita:
A Polynomial Solution for 3-SAT in the Space of Cellular Automata in the Hyperbolic Plane
/jucs_5_9/a_polynomial_solution_for

page 563 - 573
Vol.5 / Issue 9

M. Margenstern, G. Skordev:
Fibonacci Type Coding for the Regular Rectangular Tilings of the Hyperbolic Plane
/jucs_9_5/fibonacci_type_coding_for

page 398 - 422
Vol.9 / Issue 5

C. Martín-Vide, A. Paun, G. Paun:
On the Power of P Systems with Symport Rules
/jucs_8_2/on_the_power_of

page 317 - 331
Vol.8 / Issue 2

K. Mason, P. Krishnan:
Decomposition of Timed Automata
/jucs_5_9/decomposition_of_timed_automata

page 574 - 587
Vol.5 / Issue 9

J.A. Mateo, M. del Carmen Ruiz, H. Maciá, J.J. Pardo:
Formal Study of Routing Protocols for Wireless Sensor Networks
/jucs_20_9/formal_study_of_routing

page 1373 - 1401
Vol.20 / Issue 9

A. Meduna, P. Zemek:
Controlled Pure Grammar Systems
/jucs_18_14/controlled_pure_grammar_systems

page 2024 - 2040
Vol.18 / Issue 14

B. Nagy, L. Szegedi:
Membrane Computing and Graphical Operating Systems
/jucs_12_9/membrane_computing_and_graphical

page 1312 - 1331
Vol.12 / Issue 9

I. A. Nepomuceno-Chamorro:
A Java Simulator for Membrane Computing
/jucs_10_5/a_java_simulator_for

page 620 - 629
Vol.10 / Issue 5

Y. Niu, J. Xu, K. Subramanian, R. Abdullah:
P Systems with Shuffle Operation and Catalytic-Like Rules
/jucs_18_13/p_systems_with_shuffle

page 1782 - 1801
Vol.18 / Issue 13

L. Pan, T.-O. Ishdorj:
P Systems with Active Membranes and Separation Rules
/jucs_10_5/p_systems_with_active

page 630 - 649
Vol.10 / Issue 5

A. Pauly:
Representing Measurement Results
/jucs_15_6/representing_measurement_results

page 1280 - 1300
Vol.15 / Issue 6

G. Paun, T. Yokomori:
Simulating H Systems by P Systems
/jucs_6_1/simulating_h_systems_by

page 178 - 193
Vol.6 / Issue 1

M. J. Pérez-Jiménez, F.J. Romero-Campero:
An Efficient Family of P Systems for Packing Items into Bins
/jucs_10_5/an_efficient_family_of

page 650 - 670
Vol.10 / Issue 5

G. Păun:
Spiking Neural P Systems with Astrocyte-Like Control
/jucs_13_11/spiking_neural_p_systems

page 1707 - 1721
Vol.13 / Issue 11

G. Rahonis:
Splicing on Trees: the Iterated Case
/jucs_5_9/splicing_on_trees_the

page 599 - 609
Vol.5 / Issue 9

R. Rojas:
Conditional Branching is not Necessary for Universal Computation in von Neumann Computers
/jucs_2_11/conditional_branching_is_not

page 756 - 768
Vol.2 / Issue 11

A. Salomaa:
Ordered Catenation Closures and Decompositions of Languages Related to a Language of Derick Wood
/jucs_16_5/ordered_catenation_closures_and

page 821 - 832
Vol.16 / Issue 5

A. Salomaa:
Generation of Constants and Synchronization of Finite Automata
/jucs_8_2/generation_of_constants_and

page 332 - 347
Vol.8 / Issue 2

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

page 3043 - 3072
Vol.16 / Issue 20

M. Schröder:
A Note on Closed Subsets in Quasi-zero-dimensional Qcb-spaces
/jucs_16_18/a_note_on_closed

page 2711 - 2732
Vol.16 / Issue 18

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

A. Vasilieva, R. Freivalds:
Nondeterministic Query Algorithms
/jucs_17_6/nondeterministic_query_algorithms

page 859 - 873
Vol.17 / Issue 6

B. W. Watson:
A Fast and Simple Algorithm for Constructing Minimal Acyclic Deterministic Finite Automata
/jucs_8_2/a_fast_and_simple

page 363 - 367
Vol.8 / Issue 2

K. Weihrauch, T. Grubba:
Elementary Computable Topology
/jucs_15_6/elementary_computable_topology

page 1381 - 1422
Vol.15 / Issue 6

G. Zhang, F. Zhou, X. Huang, J. Cheng, M. Gheorghe, F. Ipate, R. Lefticaru:
A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems
/jucs_18_13/a_novel_membrane_algorithm

page 1821 - 1841
Vol.18 / Issue 13

B. Zouari:
A Structure Causality Relation for Liveness Characterisation in Petri Nets
/jucs_12_2/a_structure_causality_relation

page 214 - 232
Vol.12 / Issue 2

J.G. Lopes de Oliveira, P.M. Menezes da Costa, F.L. de Mello:
Knowledge Geometry in Phenomenon Perception and Artificial Intelligence
/jucs_26_5/knowledge_geometry_in_phenomenon

page 604 - 623
Vol.26 / Issue 5

L. van Zijl, J. Geldenhuys:
Descriptional Complexity of Ambiguity in Symmetric Difference NFAs
/jucs_17_6/descriptional_complexity_of_ambiguity

page 874 - 890
Vol.17 / Issue 6