In this issue

Papers published: 7

Total pages: 84

Unique views: 7065

Total views: 8716

open access

Go to issue

« Previous
Issue 6(4)
 Next »
Issue No
from 0 to 32
Number No
JUCS - Journal of Universal Computer Science 6(4)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
J.UCS Special Issue on BCTCS
Editorial
J.UCS Special Issue on BCTCS
Paul Dunne, Alan Gibbons
10.3217/jucs-006-04
 28-04-2000
 Unique: 903 | Total: 1121
 405-406
HTML
XML
PDF
Formal Specification from an Observation-Oriented ...
Research Article
Formal Specification from an Observation-Oriented Perspective
Meurig Beynon, Jaratsri Rungrattanaubol, Jane Sinclair
10.3217/jucs-006-04-0407
 28-04-2000
 Unique: 986 | Total: 1228
 407-421
HTML
XML
PDF
Using Genetic Algorithms to Solve the ...
Research Article
Using Genetic Algorithms to Solve the Motion Planning Problem
Craig Eldershaw, Stephen Cameron
10.3217/jucs-006-04-0422
 28-04-2000
 Unique: 1074 | Total: 1335
 422-432
HTML
XML
PDF
Functional Reading of Logic Programs
Research Article
Functional Reading of Logic Programs
Silvija Seres, Michael Spivey
10.3217/jucs-006-04-0433
 28-04-2000
 Unique: 1002 | Total: 1218
 433-446
HTML
XML
PDF
Region-Based Discrete Geometry
Research Article
Region-Based Discrete Geometry
M. Smyth
10.3217/jucs-006-04-0447
 28-04-2000
 Unique: 889 | Total: 1099
 447-459
HTML
XML
PDF
Specifying and Verifying Real-Time Systems ...
Research Article
Specifying and Verifying Real-Time Systems using Second-Order Algebraic Methods: A Case Study of the Railroad Crossing Controller
L. Steggles
10.3217/jucs-006-04-0460
 28-04-2000
 Unique: 1035 | Total: 1273
 460-473
HTML
XML
PDF
Ensuring Termination in ESFP
Research Article
Ensuring Termination in ESFP
Alastair Telford, David Turner
10.3217/jucs-006-04-0474
 28-04-2000
 Unique: 1176 | Total: 1442
 474-488
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK