Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Articles by Topics
Topic F. - Theory of Computation
Topic F.4 - MATHEMATICAL LOGIC AND FORMAL LANGUAGES
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
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 N-Algebraic Parikh Slender Power Series
/jucs_3_10/on_n_algebraic_parikh
page 1114 - 1120
Vol.3 / Issue 10
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 Images of Algebraic Series
/jucs_2_4/on_images_of_algebraic
page 217 - 223
Vol.2 / Issue 4
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