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

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

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

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

page 1006 - 1023
Vol.7 / Issue 11

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

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

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

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

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

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

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

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

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

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

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:
Generation of Constants and Synchronization of Finite Automata
/jucs_8_2/generation_of_constants_and

page 332 - 347
Vol.8 / Issue 2

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

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

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