A. Alhazov:
On Determinism of Evolution-Communication P Systems
/jucs_10_5/on_determinism_of_evolution

page 502 - 508
Vol.10 / Issue 5

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, J. Balázs, G. A. Papadopoulos:
A Translation of the Pi-Calculus Into MONSTR
/jucs_1_6/a_translation_of_the

page 339 - 398
Vol.1 / Issue 6

R. Banach:
MONSTR II - Suspending Semantics and Independence
/jucs_3_7/monstr_ii_suspending_semantics

page 756 - 802
Vol.3 / Issue 7

R. Banach:
MONSTR I - Fundamental Issues and the Design of MONSTR
/jucs_2_4/monstr_i_fundamental_issues

page 164 - 216
Vol.2 / Issue 4

P. Barbosa, F. Ramalho, J. Figueiredo, A. Júnior, A. Costa, L. Gomes:
Checking Semantics Equivalence of MDA Transformations in Concurrent Systems
/jucs_15_11/checking_semantics_equivalence_of

page 2196 - 2224
Vol.15 / Issue 11

H. Bordihn, M. Holzer:
On the Computational Complexity of Synchronized Context-Free Languages
/jucs_8_2/on_the_computational_complexity

page 119 - 140
Vol.8 / Issue 2

H. Bordihn, M. Holzer:
Grammar Systems with Negated Conditions in their Cooperation Protocols
/jucs_6_12/grammar_systems_with_negated

page 1165 - 1184
Vol.6 / Issue 12

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

M. Cavaliere, D. Genova:
P Systems with Symport/Antiport of Rules
/jucs_10_5/p_systems_with_symport

page 540 - 558
Vol.10 / Issue 5

A. Cerny:
Optimal Description of Automatic Paperfolding Sequences
/jucs_3_10/optimal_description_of_automatic

page 1085 - 1099
Vol.3 / Issue 10

M. Clavel, M. Palomino, A. Riesco:
Introducing the ITP Tool: a Tutorial
/jucs_12_11/introducing_the_itp_tool

page 1618 - 1650
Vol.12 / Issue 11

E. Csuhaj-Varju, G. Paun, A. Salomaa:
Conditional Tabled Eco-Grammar Systems
/jucs_1_5/conditional_tabled_eco_grammar

page 252 - 268
Vol.1 / Issue 5

J. Dassow, S. Turaev:
Petri Net Controlled Grammars: the Case of Special Petri Nets
/jucs_15_14/petri_net_controlled_grammars

page 2808 - 2835
Vol.15 / Issue 14

M. Denford, A. Solomon, J. Leaney, T. O'Neill:
Architectural Abstraction as Transformation of Poset Labelled Graphs
/jucs_10_10/architectural_abstraction_as_transformation

page 1408 - 1428
Vol.10 / Issue 10

S. Ewert, A. van der Walt:
Shrink Indecomposable Fractals
/jucs_5_9/shrink_indecomposable_fractals

page 521 - 531
Vol.5 / Issue 9

H. Fernau:
Remarks on Propagating Partition-Limited ETOL Systems
/jucs_2_11/remarks_on_propagating_partition

page 745 - 755
Vol.2 / Issue 11

R. Freund, G. Paun:
A Variant of Team Cooperation in Grammar Systems
/jucs_1_2/a_variant_of_team

page 105 - 130
Vol.1 / Issue 2

S. Glesner:
Using Program Checking to Ensure the Correctness of Compiler Implementations
/jucs_9_3/using_program_checking_to

page 191 - 222
Vol.9 / Issue 3

J. Honkala, W. Kuich:
On Four Classes of Lindenmayerian Power Series
/jucs_1_2/on_four_classes_of

page 131 - 135
Vol.1 / Issue 2

M. Ionescu, D. Sburlan:
On P Systems with Promoters/Inhibitors
/jucs_10_5/on_p_systems_with

page 581 - 599
Vol.10 / Issue 5

M. Ito, J. Dassow, R. Stiebe:
Some Remarks on Codes Defined by Petri Nets
/jucs_8_2/some_remarks_on_codes

page 260 - 269
Vol.8 / Issue 2

W. Kahl, F. Derichsweiler:
Declarative Term Graph Attribution for Program Generation
/jucs_7_1/declarative_term_graph_attribution

page 54 - 70
Vol.7 / Issue 1

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

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

page 1455 - 1463
Vol.12 / Issue 10

C. Martín-Vide, V. Mitrana:
Uniquely Parsable Accepting Grammar Systems
/jucs_6_9/uniquely_parsable_accepting_grammar

page 850 - 860
Vol.6 / Issue 9

A. Mateescu, G. Paun, G. Rozenberg, A. Salomaa:
Parikh Prime Words and GO-like Territories
/jucs_1_12/parikh_prime_words_and

page 790 - 810
Vol.1 / Issue 12

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

page 2024 - 2040
Vol.18 / Issue 14

M. Mutyam, V. Jaya Prakash, K. Krithivasan:
Rewriting Tissue P Systems
/jucs_10_9/rewriting_tissue_p_systems

page 1250 - 1271
Vol.10 / 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

L. Teixeira Passos, M.A.S. Bigonha, R.S. Bigonha:
An LALR Parser Generator Supporting Conflict Resolution
/jucs_14_21/an_lalr_parser_generator

page 3447 - 3464
Vol.14 / Issue 21

L. Teixeira Passos, M.A.S. Bigonha, R.S. Bigonha:
A Methodology for Removing LALR(k) Conflicts
/jucs_13_6/a_methodology_for_removing

page 737 - 752
Vol.13 / Issue 6

G. Paun, G. Rozenberg, A. Salomaa:
Grammars Based on the Shuffle Operation
/jucs_1_1/grammars_based_on_the

page 67 - 82
Vol.1 / Issue 1

M. Piekarczyk, M.R. Ogiela:
Hierarchical Graph-Grammar Model for Secure and Efficient Handwritten Signatures Classification
/jucs_17_6/hierarchical_graph_grammar_model

page 926 - 943
Vol.17 / Issue 6

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

M. Schordan:
The Language of the Visitor Design Pattern
/jucs_12_7/the_language_of_the

page 849 - 867
Vol.12 / Issue 7