Volume 9,
Number 1,
2003
Volume 9,
Number 2,
2003
Special Issue on Tools for System Design and Verification
- Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn:
Special Issue on Tools for System Design and Verification.
86-87
Electronic Edition (link) BibTeX
- Ernst-Rüdiger Olderog, Henning Dierks:
Moby/RT: A Tool for Specification and Verification of Real-Time Systems.
88-105
Electronic Edition (link) BibTeX
- Hans-Dieter Ehrich, Maik Kollmann, Ralf Pinger:
Checking Object System Designs Incrementally.
106-119
Electronic Edition (link) BibTeX
- Andreas Krebs, Jürgen Ruf:
Optimized Temporal Logic Compilation.
120-137
Electronic Edition (link) BibTeX
- Robi Malik, Reinhard Mühlfeld:
A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol.
138-151
Electronic Edition (link) BibTeX
- Achim D. Brucker, Frank Rittinger, Burkhart Wolff:
HOL-Z 2.0: A Proof Environment for Z-Specifications.
152-172
Electronic Edition (link) BibTeX
- Walter Guttmann, Helmuth Partsch, Wolfram Schulte, Ton Vullinghs:
Tool Support for the Interactive Derivation of Formally Correct Functional Programs.
173-
Electronic Edition (link) BibTeX
Volume 9,
Number 3,
2003
Special Issue on Compiler Optimization meets Compiler Verification (COCV 2002)
Volume 9,
Number 4,
2003
Special Issue on Dynamic Symbolic Languages
Volume 9,
Number 5,
2003
Volume 9,
Number 6,
2003
Special Issue:
I-Know 03 - Hot Spots in Knowledge Management
- Klaus Tochtermann:
Special Issue: I-Know 03 - Hot Spots in Knowledge Management.
447-450
Electronic Edition (link) BibTeX
- Peter Schütt:
The post-Nonaka Knowledge Management.
451-462
Electronic Edition (link) BibTeX
- Klaus North, Tina Hornung:
The Benefits of Knowledge Management - Results of the German Award "Knowledge Manager 2002".
463-471
Electronic Edition (link) BibTeX
- Sheng-Tun Li, Huang-Chih Hsieh:
Managing Operation Knowledge for the Metal Industry.
472-480
Electronic Edition (link) BibTeX
- Leena Ilmola, Anna Kotsalo-Mustonen:
Filters in the Strategy Formulation Process.
481-490
Electronic Edition (link) BibTeX
- Matteo Bonifacio, Alessandra Molani:
The Richness of Diversity in Knowledge Creation: An Interdisciplinary Overview.
491-500
Electronic Edition (link) BibTeX
- José María Viedma:
SCBS Social Capital Benchmarking System - Profiting from Social Capital when Building Network Organisations.
501-509
Electronic Edition (link) BibTeX
- Yannis S. Avrithis, Giorgos B. Stamou, Manolis Wallace, Ferran Marqués, Philippe Salembier, Xavier Giro, Werner Haas, Heribert Vallant, Michael Zufferey:
Unified Access to Heterogeneous Audiovisual Archives.
510-519
Electronic Edition (link) BibTeX
- Raphael Volz, Rudi Studer, Alexander Maedche, Lauser B.:
Pruning-based Identification of Domain Ontologies.
520-529
Electronic Edition (link) BibTeX
- Christian Biemann, Uwe Quasthoff, Karsten Böhm, Christian Wolff:
Automatic Discovery and Aggregation of Compound Names for the Use in Knowledge Representations.
530-550
Electronic Edition (link) BibTeX
- Feng Tao, Liming Chen, Nigel Shadbolt, Graeme E. Pound, Simon J. Cox:
Towards the Semantic Grid: Putting Knowledge to Work in Design Optimisation.
551-562
Electronic Edition (link) BibTeX
- D. T. Lee, G. C. Lee, Yao-Wen Huang:
Knowledge Management for Computational Problem Solving.
563-570
Electronic Edition (link) BibTeX
- Lilia Efimova, Janine Swaak:
Converging Knowledge Management, Training and e-learning: Scenarios to Make it Work.
571-
Electronic Edition (link) BibTeX
Volume 9,
Number 7,
2003
Special Issue on Professional Knowledge Management - Experiences and Visions
- Ulrich Reimer, York Sure:
Special Issue on Professional Knowledge Management - Experiences and Visions.
579-580
Electronic Edition (link) BibTeX
- Tomas Bohinc, Strausie Markham:
The Strong Effects of the Soft Factors of Knowledge Management.
581-591
Electronic Edition (link) BibTeX
- Marc Kuhn:
A Note on Culture-sensitive Knowledge Management in OE-sales Area of Robert Bosch GmbH.
592-595
Electronic Edition (link) BibTeX
- Elisabeth Kamentz, Christa Womser-Hacker:
Defining Culture-Bound User Characteristics as a Starting-Point for the Design of Adaptive Learning Systems.
596-607
Electronic Edition (link) BibTeX
- Ralph Bergmann, Martin Schaaf:
Structural Case-Based Reasoning and Ontology-Based Knowledge Management: A Perfect Match?
608-626
Electronic Edition (link) BibTeX
- Markus Grabert, Derek G. Bridge:
Case-Based Reuse of Software Examplets.
627-641
Electronic Edition (link) BibTeX
- Márcio Greyck Batista Dias, Nicolas Anquetil, Káthia Marçal de Oliveira:
Organizing the Knowledge Used in Software Maintenance.
641-658
Electronic Edition (link) BibTeX
- Raimund L. Feldmann, Ralf Carbon:
Experience Base Schema Building Blocks of the PLEASERS Library.
659-669
Electronic Edition (link) BibTeX
- Luciana Landa Farias, Guilherme Horta Travassos, Ana Regina Rocha:
Managing Organizational Risk Knowledge.
670-681
Electronic Edition (link) BibTeX
- Eddie Mönch, Mike Ullrich, Hans-Peter Schnurr, Jürgen Angele:
SemanticMiner - Ontology-Based Knowledge Retrieval.
682-696
Electronic Edition (link) BibTeX
- Nenad Stojanovic:
On the Role of the Librarian Agent in Ontology-based Knowledge Management Systems.
697-718
Electronic Edition (link) BibTeX
- Josef Hofer-Alfeis:
Effective Integration of Knowledge Management into the Business Starts with a Top-down Knowledge Strategy.
719-
Electronic Edition (link) BibTeX
Volume 9,
Number 8,
2003
Special Issue:
7th Brasilian Symposium on Programming Languages
- Marcus Amorim Leal, Noemi de La Rocque Rodriguez, Roberto Ierusalimschy:
LuaTS - A Reactive Event-Driven Tuple Space.
730-744
Electronic Edition (link) BibTeX
- Álvaro Reis Figueira, Hervé Paulino, Luís M. B. Lopes, Fernando M. A. Silva:
Distributed Typed Concurrent Objects: a Programming Language for Distributed Computations with Mobile Resources.
745-760
Electronic Edition (link) BibTeX
- Wendell Figueiredo Taveira, Marco Tulio de Oliveira Valente, Mariza Andrade da Silva Bigonha, Roberto da Silva Bigonha:
Asynchronous Remote Method Invocation in Java.
761-775
Electronic Edition (link) BibTeX
- Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
Haskell#: Parallel Programming Made Simple and Efficient.
776-794
Electronic Edition (link) BibTeX
- Nélio Muniz Mendes Alves, Sérgio de Mello Schneider:
Implementation of an Embedded Hardware Description Language Using Haskell.
795-812
Electronic Edition (link) BibTeX
- Rafael Dueire Lins:
Lazy Cyclic Reference Counting.
813-828
Electronic Edition (link) BibTeX
- Jens Knoop, Oliver Rüthing:
Constant Propagation on Predicated Code.
829-872
Electronic Edition (link) BibTeX
- Cristiano Vasconcellos, Lucília Figueiredo, Carlos Camarão:
Practical Type Inference for Polymorphic Recursion: an Implementation in Haskell.
873-890
Electronic Edition (link) BibTeX
- Luís Soares Barbosa:
Towards a Calculus of State-based Software Components.
891-909
Electronic Edition (link) BibTeX
- Cláudio Carvilhe, Martin A. Musicante:
Object-Oriented Action Semantics Specifications.
910-934
Electronic Edition (link) BibTeX
- Ayla Dantas, Paulo Borba:
Developing Adaptive J2ME Applications Using AspectJ.
935-955
Electronic Edition (link) BibTeX
- Franklin Ramalho, Jacques Robin, Roberto Souto Maior de Barros:
XOCL - an XML Language for Specifying Logical Constraints in Object Oriented Models.
956-969
Electronic Edition (link) BibTeX
- Eduardo Kessler Piveta, Luiz Carlos Zancanella:
Aspect Weaving Strategies.
970-
Electronic Edition (link) BibTeX
Volume 9,
Number 9,
2003
- Hans W. Guesgen, Frank D. Anger, Gérard Ligozat, Rita V. Rodríguez:
Spatial and Temporal Reasoning.
984-985
Electronic Edition (link) BibTeX
- Michael Pool:
An Applied Calculus for Spatial Accessibility Reasoning.
986-1007
Electronic Edition (link) BibTeX
- Vincent Dugat, Pierre Gambarotto, Yannick Larvor:
Abstract Representation of Object and Structural Symmetries Detection.
1008-1029
Electronic Edition (link) BibTeX
- Kazuko Takahashi:
Reasoning about Propagation of Properties over Regions.
1030-1045
Electronic Edition (link) BibTeX
- Junko Araki:
Action Vectors: Modeling Spatial Relations between Objects and Routes.
1046-1072
Electronic Edition (link) BibTeX
- Florence Le Ber, Amedeo Napoli, Jean-Luc Metzger, Sylvie Lardon:
Modeling and Comparing Farm Maps using Graphs and Case-based Reasoning.
1073-1095
Electronic Edition (link) BibTeX
- Lledó Museros Cabedo, M. Teresa Escrig:
Modeling Motion by the Integration of Topology and Time.
1096-1122
Electronic Edition (link) BibTeX
- Claudio Bettini, Simone Ruffini:
Direct Granularity Conversions among Temporal Constraints.
1123-1136
Electronic Edition (link) BibTeX
- Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Propositional Interval Neighborhood Temporal Logics.
1137-1167
Electronic Edition (link) BibTeX
- Didier Dubois, Allel HadjAli, Henri Prade:
Fuzziness and Uncertainty in Temporal Reasoning.
1168-
Electronic Edition (link) BibTeX
Volume 9,
Number 10,
2003
Volume 9,
Number 11,
2003
Special Issue on Formal Specifications of Computer-Based Systems
Volume 9,
Number 12,
2003
Special Issue on Skills Management - Managing Competencies in the Knowledge-based Economy
- Kai Reinhardt, Klaus North:
Transparency and Transfer of Individual Competencies - A Concept of Integrative Competence Management.
1372-1380
Electronic Edition (link) BibTeX
- Simon Beck:
Skill and Competence Management as a Base of an Integrated Personnel Development (IPD) - A Pilot Project in the Putzmeister, Inc./Germany.
1381-1387
Electronic Edition (link) BibTeX
- Markus Won, Volkmar Pipek:
Sharing Knowledge on Knowledge - The eXact Peripheral Expertise Awareness System.
1388-1397
Electronic Edition (link) BibTeX
- Wolfgang Hiermann, Max Höfferer:
A Practical Knowledge-based Approach to Skill Management and Personal Development.
1398-1409
Electronic Edition (link) BibTeX
- José Braga de Vasconcelos, Chris Kimble, Álvaro Rocha:
Organisational Memory Information Systems An example of a Group Memory System for the Management of Group Competencies.
1410-1427
Electronic Edition (link) BibTeX
- Cord Hockemeyer, Owen Conlan, Vincent P. Wade, Dietrich Albert:
Applying Competence Prerequisite Structures for eLearning and Skill Management.
1428-1436
Electronic Edition (link) BibTeX
- Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello, Marco Mottola:
A Formal Approach to Ontology-Based Semantic Match of Skills Descriptions.
1437-1454
Electronic Edition (link) BibTeX
- Luca Stefanutti, Dietrich Albert:
Skill Assessment in Problem Solving and Simulated Learning Environments.
1455-1468
Electronic Edition (link) BibTeX
- Juan G. Cegarra-Navarro, Beatriz Rodrigo-Moya:
Individual Knowledge as a Bridge between Human and Customer Capital.
1469-1486
Electronic Edition (link) BibTeX
- Anna Mette Fuglseth, Kjell Groenhaug:
A Tool Kit for Measurement of Organisational Learning: Methodological Requirements and an Illustrative Example.
1487-1499
Electronic Edition (link) BibTeX
- Tobias Ley, Dietrich Albert:
Identifying Employee Competencies in Dynamic Work Domains: Methodological Considerations and a Case Study.
1500-1518
Electronic Edition (link) BibTeX
- Eduardo Tomé:
Bad Management and its Consequences in a Problematic European Union Member (Portugal).
1519-
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:12:22 2009
by Michael Ley (ley@uni-trier.de)
