Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
309 Publications
1998 | Conference Paper | LibreCat-ID: 3255
A Process Algebra Semantics for {MSC} Including Conditions
T. Gehrke, M. Huhn, P. Niebert, A. Rensink, H. Wehrheim, in: H. K{\"{o}}nig, P. Langend{\"{o}}rfer (Eds.), Formale Beschreibungstechniken F{\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, 1998, pp. 185--196.
LibreCat
T. Gehrke, M. Huhn, P. Niebert, A. Rensink, H. Wehrheim, in: H. K{\"{o}}nig, P. Langend{\"{o}}rfer (Eds.), Formale Beschreibungstechniken F{\"{u}}r Verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. Und 5. Juni 1998, 1998, pp. 185--196.
1998 | Conference Paper | LibreCat-ID: 3256
An Algebraic Semantics for Message Sequence Chart Documents
T. Gehrke, M. Huhn, A. Rensink, H. Wehrheim, in: S. Budkowski, A. R. Cavalli, E. Najm (Eds.), Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France, 1998, pp. 3--18.
LibreCat
T. Gehrke, M. Huhn, A. Rensink, H. Wehrheim, in: S. Budkowski, A. R. Cavalli, E. Najm (Eds.), Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France, 1998, pp. 3--18.
1998 | Conference Paper | LibreCat-ID: 3257
Partial Order Reductions for Bisimulation Checking
M. Huhn, P. Niebert, H. Wehrheim, in: V. Arvind, R. Ramanujam (Eds.), Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, 1998, pp. 271--282.
LibreCat
| DOI
M. Huhn, P. Niebert, H. Wehrheim, in: V. Arvind, R. Ramanujam (Eds.), Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, 1998, pp. 271--282.
1998 | Book Chapter | LibreCat-ID: 3359
Information Technologies, Endogenous Human Capital Depreciation and Unemployment
T. Gries, H. Meyer, in: T. Gries, L. Suhl (Eds.), Economic Aspects of Digital Information Technology, DUV, 1998.
LibreCat
T. Gries, H. Meyer, in: T. Gries, L. Suhl (Eds.), Economic Aspects of Digital Information Technology, DUV, 1998.
1998 | Book Chapter | LibreCat-ID: 3360
The Impacts of Information Technologies on Innovation Dynamics and Labor Demand
T. Gries, S. Jungblut, in: T. Gries, L. Suhl (Eds.), Economic Aspects of Digital Information Technology, DUV, 1998.
LibreCat
T. Gries, S. Jungblut, in: T. Gries, L. Suhl (Eds.), Economic Aspects of Digital Information Technology, DUV, 1998.
1998 | Book Chapter | LibreCat-ID: 3361
The Dynamics of Growth and Employment in a Two-Sector Model of Job Matching
T. Gries, S. Jungblut, in: Operations Research Proceedings 1997, Springer, 1998, pp. 241–246.
LibreCat
T. Gries, S. Jungblut, in: Operations Research Proceedings 1997, Springer, 1998, pp. 241–246.
1998 | Book | LibreCat-ID: 3382
Economic Aspects of Digital Information Technology
T. Gries, L. Suhl, Economic Aspects of Digital Information Technology, DUV, 1998.
LibreCat
T. Gries, L. Suhl, Economic Aspects of Digital Information Technology, DUV, 1998.
1998 | Book | LibreCat-ID: 3383
Internationale Wettbewerbsfähigkeit - eine Fallstudie für Deutschland
T. Gries, Internationale Wettbewerbsfähigkeit - Eine Fallstudie Für Deutschland, Gabler, Wiesbaden, 1998.
LibreCat
T. Gries, Internationale Wettbewerbsfähigkeit - Eine Fallstudie Für Deutschland, Gabler, Wiesbaden, 1998.
1998 | Book Chapter | LibreCat-ID: 3396
Russland vor der Schuldenfalle?
T. Gries, S. Jungblut, H. Meyer, in: Vestnik Sankt Peterskogo Universiteta – Seraja Ekonomiceskaja, St. Petersburg, 1998.
LibreCat
T. Gries, S. Jungblut, H. Meyer, in: Vestnik Sankt Peterskogo Universiteta – Seraja Ekonomiceskaja, St. Petersburg, 1998.
1998 | Journal Article | LibreCat-ID: 3601
Welche Kompetenzen brauchen betriebliche Weiterbildner in Zukunft
C. Harteis, M. Prenzel, Zeitschrift Für Pädagogik, H (1998) 583--601.
LibreCat
C. Harteis, M. Prenzel, Zeitschrift Für Pädagogik, H (1998) 583--601.