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.

842 Publications


2007 | Conference Paper | LibreCat-ID: 3215
G. Engels, C. Soltenborn, and H. Wehrheim, “Analysis of {UML} Activities Using Dynamic Meta Modeling,” in 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
 

2007 | Conference Paper | LibreCat-ID: 3216
T. Ruhroth and H. Wehrheim, “Refactoring Object-Oriented Specifications with Data and Processes,” in 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
 

2007 | Conference Paper | LibreCat-ID: 3221
W. Schäfer and H. Wehrheim, “The Challenges of Building Advanced Mechatronic Systems,” in 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
 

2007 | Conference Paper | LibreCat-ID: 3222
J. Derrick, G. Schellhorn, and H. Wehrheim, “Proving Linearizability Via Non-atomic Refinement,” in Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 3293
T. Gries, “Global Shift – The European Union, the United States, and the Emergence of China,” in 50 Years of EU Economic Dynamics, R. Tilly, P. J. J. Welfens, and M. Heise, Eds. Springer, 2007, pp. 25–45.
LibreCat
 

2007 | Book Chapter | LibreCat-ID: 3294
T. Gries and J. Xue, “Educational Disparity and Income Inequality in Urban China,” in The Economic Science, vol. 55, No. 3, 2007, pp. 101–116.
LibreCat
 

2007 | Journal Article | LibreCat-ID: 3470
J. Beran and Y. Feng, “Local Polynomial Estimation with a FARIMA-GARCH Error Process,” Bernoulli, vol. 7, no. 5, 2007.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3481
K. Klose, R. Knackstedt, and D. Beverungen, “Identification of services --- A stakeholder-based approach to SOA development and its application in the area of production planning,” in Proceedings of the 15th European Conference on Information System, St. Gallen, Switzerland, 2007.
LibreCat
 

2007 | Journal Article | LibreCat-ID: 3508
J. Becker, A. Winkelmann, D. Beverungen, and C. Janiesch, “Bereitstellung von Artikelstammdaten,” HMD --- Praxis der Wirtschaftsinformatik, no. 258, pp. 45--56, 2007.
LibreCat
 

2007 | Book Chapter | LibreCat-ID: 3611
J. Bauer, M. Rehrl, and C. Harteis, “Measurement of learning culture: a motivational approach,” in Learning in the workplace--new developments, H. Gruber and T. Palonen, Eds. Turku: Turun Yliopisto, 2007, pp. 21--50.
LibreCat
 

Filters and Search Terms

year=2007

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed