Topic F.4.3 - Formal Languages

	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
	F. Bernardini, M. Gheorghe: Population P Systems /jucs_10_5/population_p_systems	page 509 - 539 Vol.10 / Issue 5
	D. Bjørner: On Teaching Software Engineering based on Formal Techniques - Thoughts about and Plans for - A Different Software Engineering Text Book /jucs_7_8/on_teaching_software_engineering	page 641 - 667 Vol.7 / Issue 8
	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
	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
	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
	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
	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
	R. Eschbach, U. Glässer, R. Gotzhein, M. von Löwis, A. Prinz: Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models /jucs_7_11/formal_definition_of_sdl	page 1024 - 1049 Vol.7 / Issue 11
	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
	J. Honkala: On the Simplification of HD0L Power Series /jucs_8_12/on_the_simplification_of	page 1040 - 1046 Vol.8 / Issue 12
	J. Honkala: On N-Algebraic Parikh Slender Power Series /jucs_3_10/on_n_algebraic_parikh	page 1114 - 1120 Vol.3 / Issue 10
	J. Honkala: On Images of Algebraic Series /jucs_2_4/on_images_of_algebraic	page 217 - 223 Vol.2 / Issue 4
	J. Honkala: A Decision Method for the Unambiguity of Sets Defined by Number Systems /jucs_1_9/a_decision_method_for	page 652 - 657 Vol.1 / Issue 9
	J. Honkala: On Algebraicness of D0L Power Series /jucs_5_1/on_algebraicness_of_d0l	page 11 - 19 Vol.5 / Issue 1
	J. Honkala: Three Variants of the DT0L Sequence Equivalence Problem /jucs_7_10/three_variants_of_the	page 886 - 892 Vol.7 / Issue 10
	H. K. Hsiao, C. C. Huang, S. S. Yu: Word Operation Closure and Primitivity of Languages /jucs_8_2/word_operation_closure_and	page 243 - 256 Vol.8 / 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
	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
	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
	M. Kronenburg, C. Peper: Application of the FOREST Approach to the Light Control Case Study /jucs_6_7/application_of_the_forest	page 679 - 703 Vol.6 / Issue 7
	W. Kuich, N. Sauer, F. Urbanek: Heyting Algebras and Formal Languages /jucs_8_7/heyting_algebras_and_formal	page 722 - 736 Vol.8 / Issue 7
	A. MacDonald, D. Carrington: Some Elements of Z Specification Style: Structuring Techniques /jucs_6_12/some_elements_of_z	page 1203 - 1225 Vol.6 / Issue 12
	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
	P. Matoušek: Tools for Parametric Verification. A Comparison on a Case Study /jucs_10_10/tools_for_parametric_verification	page 1469 - 1494 Vol.10 / Issue 10
	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
	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
	D.V. Popel: Visualization and Manipulation of Incomplete and Uncertain Dependencies by Decision Diagrams /jucs_11_11/visualization_and_manipulation_of	page 1849 - 1862 Vol.11 / Issue 11
	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
	K. Salomaa, S. Yu: Synchronization Expressions and Languages /jucs_5_9/synchronization_expressions_and_languages	page 610 - 620 Vol.5 / Issue 9
	K. Takahashi: Reasoning about Propagation of Properties over Regions /jucs_9_9/reasoning_about_propagation_of	page 1030 - 1045 Vol.9 / Issue 9
	M. Viroli, A. Omicini: Modelling Agents as Observable Sources /jucs_8_4/modelling_agents_as_observable	page 423 - 451 Vol.8 / Issue 4
	Z. Ésik, W. Kuich: Rationally Additive Semirings /jucs_8_2/rationally_additive_semirings	page 173 - 183 Vol.8 / Issue 2