Volume 10, Number 1, 2004
export record as
dblp key:
export record as
dblp key:
Maja Pivec ,
Olga Dziabenko :
Game-Based Learning in Universities and Lifelong Learning: "UniGame: Social Skills and Knowledge Training" Game Concept.
4-16
export record as
dblp key:
journals/jucs/AbrahamianWGS04 export record as
dblp key:
export record as
dblp key:
journals/jucs/EspositoLS04 export record as
dblp key:
Thomas Flor :
Experiences with Adaptive User and Learning Models in eLearning Systems for Higher Education.
48-62
export record as
dblp key:
Maja Pivec ,
K. Baumann :
The Role of Adaptation and Personalisation in Classroom-Based Learning and in e-Learning.
63-79
export record as
dblp key:
journals/jucs/Denman-Maier04
Volume 10, Number 2, 2004
export record as
dblp key:
export record as
dblp key:
journals/jucs/ChaudhuriT04 export record as
dblp key:
export record as
dblp key:
journals/jucs/SessinkBTH04
Volume 10, Number 3, 2004
export record as
dblp key:
journals/jucs/Lindstaedt04 Stefanie N. Lindstaedt :
(Virtual) Communities of Practice within Modern Organizations - J.UCS Special Issue.
158-161
export record as
dblp key:
journals/jucs/BonifacioCZ04 export record as
dblp key:
export record as
dblp key:
journals/jucs/DeckerRAKLV04 export record as
dblp key:
journals/jucs/ApostolouMBP04 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Georg Droschl :
Communities of Practice: An Integrated Technology Perspective.
284-293
export record as
dblp key:
Jennifer Preece :
Etiquette, Empathy and Trust in Communities of Practice: Stepping-Stones to Social Capital.
294-302
Volume 10, Number 4, 2004
export record as
dblp key:
journals/jucs/CorchueloC04 export record as
dblp key:
export record as
dblp key:
journals/jucs/Henderson-SellersSMGD04 export record as
dblp key:
journals/jucs/Gomez-SanzP04 export record as
dblp key:
export record as
dblp key:
journals/jucs/AlexanderO04 export record as
dblp key:
journals/jucs/BoronatPCR04 export record as
dblp key:
export record as
dblp key:
Volume 10, Number 5, 2004
export record as
dblp key:
export record as
dblp key:
Artiom Alhazov :
On Determinism of Evolution-Communication P Systems.
502-508
export record as
dblp key:
journals/jucs/BernardiniG04 export record as
dblp key:
journals/jucs/CavaliereG04 export record as
dblp key:
journals/jucs/Cordon-FrancoS04 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jucs/LeporatiZM04 export record as
dblp key:
journals/jucs/Nepomuceno-Chamorro04 export record as
dblp key:
export record as
dblp key:
journals/jucs/Perez-JimenezR04
Volume 10, Number 6, 2004
export record as
dblp key:
journals/jucs/Tochtermann04 export record as
dblp key:
S. Y. Choy ,
W. B. Lee ,
Chi Fai Cheung :
A Systematic Approach for Knowledge Audit Analysis: Integration of Knowledge Inventory, Mapping and Knowledge Flow Analysis.
674-682
export record as
dblp key:
Martin J. Eppler :
Facilitating Knowledge Communication through Joint Interactive Visualization.
683-690
export record as
dblp key:
journals/jucs/Mueller-ProthmannF04 export record as
dblp key:
journals/jucs/RodriguezCR04 export record as
dblp key:
journals/jucs/AlfirevicR04 export record as
dblp key:
journals/jucs/ColucciNSDMP04 export record as
dblp key:
M. Kefke :
A Framework for the Successful Introduction of KM Using CBR and Semantic Web Technologies.
731-739
export record as
dblp key:
Volume 10, Number 7, 2004
export record as
dblp key:
Rafael Dueire Lins :
8th Brazilian Symposium on Programming Languages - J.UCS Special Issue.
749-750
export record as
dblp key:
export record as
dblp key:
Rafael Dueire Lins :
Partial Categorical Multi-Combinators and Church-Rosser Theorems.
769-788
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jucs/PereiraVPBB04 export record as
dblp key:
export record as
dblp key:
journals/jucs/WestphalHD04 export record as
dblp key:
journals/jucs/OliveiraBMB04
Volume 10, Number 8, 2004
export record as
dblp key:
export record as
dblp key:
journals/jucs/Kuznetsov04 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jucs/CarpinetoR04 export record as
dblp key:
Volume 10, Number 9, 2004
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/jucs/GoudarziHM04 export record as
dblp key:
Stéphane Lafrance :
Symbolic Approach to the Analysis of Security Protocols.
1156-1198
export record as
dblp key:
journals/jucs/Logeswaran04 Rajasvaran Logeswaran :
Fast Two-Stage Lempel-Ziv Lossless Numeric Telemetry Data Compression Using a Neural Network Predictor.
1199-1211
export record as
dblp key:
journals/jucs/Margenstern04 Maurice Margenstern :
The Tiling of the Hyperbolic 4D Space by the 120-cell is Combinatoric.
1212-1238
export record as
dblp key:
journals/jucs/Muehlbacher04 Joerg R. Muehlbacher :
Full Hash Table Search using Primitive Roots of the Prime Residue Group Z/p.
1239-1249
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Sergiu Rudeanu :
On the Decomposition of Boolean Functions via Boolean Equations.
1294-1301
export record as
dblp key:
journals/jucs/SierraFFN04 export record as
dblp key:
journals/jucs/SioutasMKLTTV04
Volume 10, Number 10, 2004
export record as
dblp key:
export record as
dblp key:
journals/jucs/EmersonSB04 export record as
dblp key:
journals/jucs/SzemethyK04 export record as
dblp key:
journals/jucs/DenfordSLO04 export record as
dblp key:
journals/jucs/SeceleanuS04 export record as
dblp key:
Petr Matousek :
Tools for Parametric Verification. A Comparison on a Case Study.
1469-1494
Volume 10, Number 11, 2004
export record as
dblp key:
Juan Carlos Augusto :
Second International Workshop on Verification and Validation of Enterprise Information Systems.
1495-1497
export record as
dblp key:
Miguel J. Hornos :
FBT: A Tool for Applying Interval Logic Specifications to On-the-fly Model Checking.
1498-1518
export record as
dblp key:
export record as
dblp key:
W. L. Yeung :
Checking Consistency between UML Class and State Models Based on CSP and B.
1540-1559
Volume 10, Number 12, 2004
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Rajat Arora ,
Michael S. Hsiao :
Using Global Structural Relationships of Signals to Accelerate SAT-based Combinational Equivalence Checking.
1597-1628
export record as
dblp key:
export record as
dblp key:
journals/jucs/FrancoKSWDV04 export record as
dblp key:
data released under the ODC-BY 1.0 license
