Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Articles by Topics
Topic F. - Theory of Computation
Topic F.1 - COMPUTATION BY ABSTRACT DEVICES
Topic F.1.1 - Models of Computation

J. Albert, G. Tischler:
On Succinct Representations of Textured Surfaces by Weighted Finite Automata
/jucs_16_5/on_succinct_representations_of
page 586 - 603
Vol.16 / 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, 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
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
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
R. Bucki, B. Chramcov, P. Suchánek:
Heuristic Algorithms for Manufacturing and Replacement Strategies of the Production System
/jucs_21_4/heuristic_algorithms_for_manufacturing
page 503 - 525
Vol.21 / Issue 4
E. Börger, D. Sona:
A Neural Abstract Machine
/jucs_7_11/a_neural_abstract_machine
page 1006 - 1023
Vol.7 / Issue 11
E. Börger, K.-D. Schewe:
Communication in Abstract State Machines
/jucs_23_2/communication_in_abstract_state
page 129 - 145
Vol.23 / Issue 2
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
C.S. Calude, R. Freivalds, S. Jain, F. Stephan:
Deterministic Frequency Pushdown Automata
/jucs_21_12/deterministic_frequency_pushdown_automata
page 1563 - 1576
Vol.21 / Issue 12
E. Calude, M. Lipponen:
Minimal Deterministic Incomplete Automata
/jucs_3_11/minimal_deterministic_incomplete_automata
page 1180 - 1193
Vol.3 / Issue 11
G. Chavira, J. Bravo, S.W. Nava-Díaz, J.C. Rolón:
PICTAC: A Model for Perceiving Touch Interaction through Tagging Context
/jucs_16_12/pictac_a_model_for
page 1577 - 1591
Vol.16 / Issue 12
Y.-C. Chen, J.-S. Wang:
A Hammerstein-Wiener Recurrent Neural Network with Frequency-Domain Eigensystem Realization Algorithm for Unknown System Identification
/jucs_15_13/a_hammerstein_wiener_recurrent
page 2547 - 2565
Vol.15 / Issue 13
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
P. Collins, D.S. Graça:
Effective Computability of Solutions of Differential Inclusions The Ten Thousand Monkeys Approach
/jucs_15_6/effective_computability_of_solutions
page 1162 - 1185
Vol.15 / Issue 6
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
L. Colson, V. Demange:
Investigations on a Pedagogical Calculus of Constructions
/jucs_19_6/investigations_on_a_pedagogical
page 729 - 749
Vol.19 / Issue 6
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:
Behavioral and Temporal Rule Checking for Gaussian Random Process – a Kalman Filter Example
/jucs_19_15/behavioral_and_temporal_rule
page 2198 - 2206
Vol.19 / Issue 15
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
D. Drusinsky:
Behavioral and Temporal Pattern Detection within Financial Data with Hidden Information
/jucs_18_14/behavioral_and_temporal_pattern
page 1950 - 1966
Vol.18 / 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
P. E. Dunne:
Ceilings of Monotone Boolean Functions
/jucs_2_7/ceilings_of_monotone_boolean
page 533 - 548
Vol.2 / Issue 7
M. Faizrahmanov, I. Kalimullin, A. Montalban, V. Puzarenko:
The Least ∑-jump Inversion Theorem for n-families
/jucs_23_6/the_least_sigma_jump
page 529 - 538
Vol.23 / Issue 6
M. Faizrahmanov, I. Kalimullin:
The Enumeration Spectrum Hierarchy of α-families and Lowα Degrees
/jucs_22_7/the_enumeration_spectrum_hierarchy
page 943 - 955
Vol.22 / 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
C. Gaßner:
The Separation of Relativized Versions of P and DNP for the Ring of the Reals
/jucs_16_18/the_separation_of_relativized
page 2563 - 2568
Vol.16 / Issue 18
C. Gaßner:
Oracles and Relativizations of the P =? NP Question for Several Structures
/jucs_15_6/oracles_and_relativizations_of
page 1186 - 1205
Vol.15 / 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
T. Jafarikhah, K. Weihrauch:
The Riesz Representation Operator on the Dual of C[0; 1] is Computable
/jucs_19_6/the_riesz_representation_operator
page 750 - 770
Vol.19 / Issue 6
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
M. Konečný, A. Farjudian:
Semantics of Query-Driven Communication of Exact Values
/jucs_16_18/semantics_of_query_driven
page 2597 - 2628
Vol.16 / Issue 18
M. Konečný, A. Farjudian:
Compositional Semantics of Dataflow Networks with Query-Driven Communication of Exact Values
/jucs_16_18/compositional_semantics_of_dataflow
page 2629 - 2656
Vol.16 / Issue 18
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, 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
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:
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:
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
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
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
A. Meduna, P. Zemek:
Controlled Pure Grammar Systems
/jucs_18_14/controlled_pure_grammar_systems
page 2024 - 2040
Vol.18 / Issue 14
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
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
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
A. Pauly:
Representing Measurement Results
/jucs_15_6/representing_measurement_results
page 1280 - 1300
Vol.15 / Issue 6
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
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.-D. Schewe, Q. Wang:
XML Database Transformations
/jucs_16_20/xml_database_transformations
page 3043 - 3072
Vol.16 / Issue 20
M. Schröder:
A Note on Closed Subsets in Quasi-zero-dimensional Qcb-spaces
/jucs_16_18/a_note_on_closed
page 2711 - 2732
Vol.16 / Issue 18
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
A. Vasilieva, R. Freivalds:
Nondeterministic Query Algorithms
/jucs_17_6/nondeterministic_query_algorithms
page 859 - 873
Vol.17 / Issue 6
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
K. Weihrauch, T. Grubba:
Elementary Computable Topology
/jucs_15_6/elementary_computable_topology
page 1381 - 1422
Vol.15 / Issue 6
G. Zhang, F. Zhou, X. Huang, J. Cheng, M. Gheorghe, F. Ipate, R. Lefticaru:
A Novel Membrane Algorithm Based on Particle Swarm Optimization for Solving Broadcasting Problems
/jucs_18_13/a_novel_membrane_algorithm
page 1821 - 1841
Vol.18 / Issue 13
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
L. van Zijl, J. Geldenhuys:
Descriptional Complexity of Ambiguity in Symmetric Difference NFAs
/jucs_17_6/descriptional_complexity_of_ambiguity
page 874 - 890
Vol.17 / Issue 6