In this issue

Papers published: 12

Total pages: 397

Unique views: 11427

Total views: 14329

open access

Go to issue

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

Download
Logic, Abstract State Machines and Databases
Editorial
Logic, Abstract State Machines and Databases
Klaus-Dieter Schewe
10.3217/jucs-015-01
 01-01-2009
 Unique: 840 | Total: 1084
 1-2
HTML
XML
PDF
On Defining the Behavior of OR-joins ...
Research Article
On Defining the Behavior of OR-joins in Business Process Models
Egon Börger, Ove Sörensen, Bernhard Thalheim
10.3217/jucs-015-01-0003
 01-01-2009
 Unique: 1053 | Total: 1355
 3-32
HTML
XML
PDF
Dynamic Query Optimization under Access ...
Research Article
Dynamic Query Optimization under Access Limitations and Dependencies
Andrea Calì, Diego Calvanese, Davide Martinenghi
10.3217/jucs-015-01-0033
 01-01-2009
 Unique: 940 | Total: 1143
 33-62
HTML
XML
PDF
Non-Denumerable Infinitary Modal Logic
Research Article
Non-Denumerable Infinitary Modal Logic
Max Cresswell
10.3217/jucs-015-01-0063
 01-01-2009
 Unique: 918 | Total: 1167
 63-71
HTML
XML
PDF
Reasoning about Nonblocking Concurrency
Research Article
Reasoning about Nonblocking Concurrency
Lindsay Groves
10.3217/jucs-015-01-0072
 01-01-2009
 Unique: 972 | Total: 1245
 72-111
HTML
XML
PDF
Weak Functional Dependencies: Full Propositional ...
Research Article
Weak Functional Dependencies: Full Propositional Expressiveness for the Database Practitioner
Sven Hartmann, Sebastian Link
10.3217/jucs-015-01-0112
 01-01-2009
 Unique: 932 | Total: 1140
 112-156
HTML
XML
PDF
Using Abstract State Machines to Model ...
Research Article
Using Abstract State Machines to Model ARIES-based Transaction Processing
Markus Kirchberg
10.3217/jucs-015-01-0157
 01-01-2009
 Unique: 887 | Total: 1135
 157-194
HTML
XML
PDF
Global Database Design based on Storage ...
Research Article
Global Database Design based on Storage Space and Update Time Minimization
Henning Köhler
10.3217/jucs-015-01-0195
 01-01-2009
 Unique: 981 | Total: 1207
 195-240
HTML
XML
PDF
Formal Verification of Semistructured ...
Research Article
Formal Verification of Semistructured Data Models in PVS
Scott Lee, Gillian Dobbie, Jing Sun, Lindsay Groves
10.3217/jucs-015-01-0241
 01-01-2009
 Unique: 1017 | Total: 1250
 241-272
HTML
XML
PDF
A Formal Framework of Aggregation for ...
Research Article
A Formal Framework of Aggregation for the OLAP-OLTP Model
Hans-J. Lenz, Bernhard Thalheim
10.3217/jucs-015-01-0273
 01-01-2009
 Unique: 1069 | Total: 1330
 273-303
HTML
XML
PDF
A Characterisation of Coincidence Ideals ...
Research Article
A Characterisation of Coincidence Ideals for Complex Values
Attila Sali, Klaus-Dieter Schewe
10.3217/jucs-015-01-0304
 01-01-2009
 Unique: 907 | Total: 1137
 304-354
HTML
XML
PDF
Dynamic Data Warehouse Design with Abstract ...
Research Article
Dynamic Data Warehouse Design with Abstract State Machines
Jane Zhao, Klaus-Dieter Schewe, Henning Köhler
10.3217/jucs-015-01-0355
 01-01-2009
 Unique: 911 | Total: 1136
 355-397
HTML
XML
PDF

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

OK