In this issue

Papers published: 6

Total pages: 126

Unique views: 6616

Total views: 8749

open access

Go to issue

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

Download
Defining Distribution Constraints in ...
Research Article
Defining Distribution Constraints in Distributed User Interfaces
Antonio Benavent, José López, Federico Botella, José A. Gallud Lázaro
10.3217/jucs-019-06-0831
 28-03-2013
 Unique: 1137 | Total: 1595
 831-850
HTML
XML
PDF
LeadFlow4LD: A Method for the Computational ...
Research Article
LeadFlow4LD: A Method for the Computational Representation of the Learning Flow and Data Flow in Collaborative Learning
Luis Palomino-Ramírez, Miguel Bote-Lorenzo, Juan Asensio-Pérez, Laurence Vignollet,     Yannis Dimitriadis
10.3217/jucs-019-06-0805
 28-03-2013
 Unique: 1115 | Total: 1408
 805-830
HTML
XML
PDF
Compositionally Writing Proof Scores ...
Research Article
Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method
Kazuhiro Ogata, Kokichi Futatsugi
10.3217/jucs-019-06-0771
 28-03-2013
 Unique: 1150 | Total: 1499
 771-804
HTML
XML
PDF
The Riesz Representation Operator on ...
Research Article
The Riesz Representation Operator on the Dual of C[0; 1] is Computable
Tahereh Jafarikhah, Klaus Weihrauch
10.3217/jucs-019-06-0750
 28-03-2013
 Unique: 1070 | Total: 1410
 750-770
HTML
XML
PDF
Investigations on a Pedagogical Calculus ...
Research Article
Investigations on a Pedagogical Calculus of Constructions
Loïc Colson, Vincent Demange
10.3217/jucs-019-06-0729
 28-03-2013
 Unique: 1255 | Total: 1670
 729-749
HTML
XML
PDF
Managing Editor's Column
Editorial
Managing Editor's Column
    Christian Gütl
10.3217/jucs-019-06
 28-03-2013
 Unique: 889 | Total: 1167
 728-728
HTML
XML
PDF

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

OK