In this issue

Papers published: 16

Total pages: 312

Unique views: 16603

Total views: 20839

open access

Go to issue

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

Download
Domain Extenders for UOWHF: A Finite ...
Research Article
Domain Extenders for UOWHF: A Finite Binary Tree Algorithm
Palash Sarkar
10.3217/jucs-011-06-1040
 28-06-2005
 Unique: 1005 | Total: 1214
 1040-1053
HTML
XML
PDF
Model Checking, Automated Abstraction, ...
Research Article
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models
Marjan Sirjani, Ali Movaghar, Amin Shali, Frank De Boer
10.3217/jucs-011-06-1054
 28-06-2005
 Unique: 1196 | Total: 1475
 1054-1082
HTML
XML
PDF
A Fast T-decomposition Algorithm
Research Article
A Fast T-decomposition Algorithm
Jia Yang, Ulrich Speidel
10.3217/jucs-011-06-1083
 28-06-2005
 Unique: 998 | Total: 1218
 1083-1101
HTML
XML
PDF
Collect the Fitted Surfaces into Complex ...
Research Article
Collect the Fitted Surfaces into Complex Based on C0 Continuity
E. Zanaty, Moheb Girgis
10.3217/jucs-011-06-1102
 28-06-2005
 Unique: 1039 | Total: 1361
 1102-1114
HTML
XML
PDF

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

OK