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.
847 Publications
2007 | Conference Paper | LibreCat-ID: 3215
Analysis of {UML} Activities Using Dynamic Meta Modeling
G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.
LibreCat
| DOI
G. Engels, C. Soltenborn, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 76--90.
2007 | Conference Paper | LibreCat-ID: 3216
Refactoring Object-Oriented Specifications with Data and Processes
T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 236--251.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 236--251.
2007 | Conference Paper | LibreCat-ID: 3221
The Challenges of Building Advanced Mechatronic Systems
W. Schäfer, H. Wehrheim, in: L. C. Briand, A. L. Wolf (Eds.), International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}, 2007, pp. 72--84.
LibreCat
| DOI
W. Schäfer, H. Wehrheim, in: L. C. Briand, A. L. Wolf (Eds.), International Conference on Software Engineering, {ISCE} 2007, Workshop on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007, Minneapolis, MN, {USA}, 2007, pp. 72--84.
2007 | Conference Paper | LibreCat-ID: 3222
Proving Linearizability Via Non-atomic Refinement
J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
LibreCat
| DOI
J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
2007 | Book Chapter | LibreCat-ID: 3293
Global Shift – The European Union, the United States, and the Emergence of China
T. Gries, in: R. Tilly, P.J.J. Welfens, M. Heise (Eds.), 50 Years of EU Economic Dynamics, Springer, 2007, pp. 25–45.
LibreCat
T. Gries, in: R. Tilly, P.J.J. Welfens, M. Heise (Eds.), 50 Years of EU Economic Dynamics, Springer, 2007, pp. 25–45.
2007 | Book Chapter | LibreCat-ID: 3294
Educational Disparity and Income Inequality in Urban China
T. Gries, J. Xue, in: The Economic Science, 2007, pp. 101–116.
LibreCat
T. Gries, J. Xue, in: The Economic Science, 2007, pp. 101–116.
2007 | Journal Article | LibreCat-ID: 3470
Local Polynomial Estimation with a FARIMA-GARCH Error Process
J. Beran, Y. Feng, Bernoulli 7 (2007).
LibreCat
| DOI
J. Beran, Y. Feng, Bernoulli 7 (2007).
2007 | Conference Paper | LibreCat-ID: 3481
Identification of services --- A stakeholder-based approach to SOA development and its application in the area of production planning
K. Klose, R. Knackstedt, D. Beverungen, in: Proceedings of the 15th European Conference on Information System, St. Gallen, Switzerland, 2007.
LibreCat
K. Klose, R. Knackstedt, D. Beverungen, in: Proceedings of the 15th European Conference on Information System, St. Gallen, Switzerland, 2007.
2007 | Journal Article | LibreCat-ID: 3508
Bereitstellung von Artikelstammdaten
J. Becker, A. Winkelmann, D. Beverungen, C. Janiesch, HMD --- Praxis Der Wirtschaftsinformatik (2007) 45--56.
LibreCat
J. Becker, A. Winkelmann, D. Beverungen, C. Janiesch, HMD --- Praxis Der Wirtschaftsinformatik (2007) 45--56.
2007 | Book Chapter | LibreCat-ID: 3611
Measurement of learning culture: a motivational approach
J. Bauer, M. Rehrl, C. Harteis, in: H. Gruber, T. Palonen (Eds.), Learning in the Workplace--New Developments, Turun Yliopisto, Turku, 2007, pp. 21--50.
LibreCat
J. Bauer, M. Rehrl, C. Harteis, in: H. Gruber, T. Palonen (Eds.), Learning in the Workplace--New Developments, Turun Yliopisto, Turku, 2007, pp. 21--50.