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
	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
	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
	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
	M. Daley, M. Domaratzki, K. Salomaa: Orthogonal Concatenation: Language Equations and State Complexity /jucs_16_5/orthogonal_concatenation_language_equations	page 653 - 675 Vol.16 / 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
	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
	Y.-S. Han: On the Linear Number of Matching Substrings /jucs_16_5/on_the_linear_number	page 715 - 728 Vol.16 / Issue 5
	J. Honkala: On Images of Algebraic Series /jucs_2_4/on_images_of_algebraic	page 217 - 223 Vol.2 / Issue 4
	J. Honkala: Three Variants of the DT0L Sequence Equivalence Problem /jucs_7_10/three_variants_of_the	page 886 - 892 Vol.7 / Issue 10
	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 Algebraicness of D0L Power Series /jucs_5_1/on_algebraicness_of_d0l	page 11 - 19 Vol.5 / Issue 1
	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
	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
	K.-J. Lange: A Note on the P-completeness of Deterministic One-way Stack Language /jucs_16_5/a_note_on_the	page 795 - 799 Vol.16 / Issue 5
	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
	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
	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
	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
	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
	A. Meduna, P. Zemek: Controlled Pure Grammar Systems /jucs_18_14/controlled_pure_grammar_systems	page 2024 - 2040 Vol.18 / Issue 14
	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
	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
	A. Nait-Sidi-Moh, M. Bakhouya, W. Ait-Cheik-Bihi, J. Gaber: Modeling and Performance Evaluation of a Contract-based Electronic Signature Process /jucs_18_5/modeling_and_performance_evaluation	page 676 - 703 Vol.18 / 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
	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
	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
	D. Ruan, J. Lu, E. Laes, G. Zhang, J. Ma, G. Meskens: Multi-criteria Group Decision Support with Linguistic Variables in Long-term Scenarios for Belgian Energy Policy /jucs_16_1/multi_criteria_group_decision	page 103 - 120 Vol.16 / Issue 1
	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
	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
	H. Tsuiki, S. Yamada: On Finite-time Computability Preserving Conversions /jucs_15_6/on_finite_time_computability	page 1365 - 1380 Vol.15 / Issue 6
	J.M. Vara, V. Andrikopoulos, M.P. Papazoglou, E. Marcos: Towards Model-Driven Engineering Support for Service Evolution /jucs_18_17/towards_model_driven_engineering	page 2364 - 2382 Vol.18 / Issue 17
	A.P. Venkatesan, D. Thomas, T. Robinson, A.K. Nagar: Array P System with Shuffle on Trajectories /jucs_18_13/array_p_system_with	page 1802 - 1820 Vol.18 / Issue 13
	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