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
Engels, Gregor, Christian Soltenborn, and Heike 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, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 76--90. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-72952-5_5.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3216
Ruhroth, Thomas, and Heike 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, edited by Marcello M. Bonsangue and Einar Broch Johnsen, 236--251. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-72952-5_15.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3221
Schäfer, Wilhelm, and Heike 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}, edited by Lionel C. Briand and Alexander L. Wolf, 72--84, 2007. https://doi.org/10.1109/FOSE.2007.28.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3222
Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Proving Linearizability Via Non-Atomic Refinement.” In Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, edited by Jim Davies and Jeremy Gibbons, 195--214. Lecture Notes in Computer Science, 2007. https://doi.org/10.1007/978-3-540-73210-5_11.
LibreCat
| DOI
2007 | Book Chapter | LibreCat-ID: 3293
Gries, Thomas. “Global Shift – The European Union, the United States, and the Emergence of China.” In 50 Years of EU Economic Dynamics, edited by Richard Tilly, Paul J.J. Welfens, and Michael Heise, 25–45. Springer, 2007.
LibreCat
2007 | Book Chapter | LibreCat-ID: 3294
Gries, Thomas, and Jinjun Xue. “Educational Disparity and Income Inequality in Urban China.” In The Economic Science, 55, No. 3:101–16, 2007.
LibreCat
2007 | Journal Article | LibreCat-ID: 3470
Beran, Jan, and Yuanhua Feng. “Local Polynomial Estimation with a FARIMA-GARCH Error Process.” Bernoulli 7, no. 5 (2007). https://doi.org/10.2307/3318539.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 3481
Klose, Karsten, Ralf Knackstedt, and Daniel 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
Becker, Jörg, Axel Winkelmann, Daniel Beverungen, and Christian Janiesch. “Bereitstellung von Artikelstammdaten.” HMD --- Praxis Der Wirtschaftsinformatik, no. 258 (2007): 45--56.
LibreCat
2007 | Book Chapter | LibreCat-ID: 3611
Bauer, J, M Rehrl, and Christian Harteis. “Measurement of Learning Culture: A Motivational Approach.” In Learning in the Workplace--New Developments, edited by Hans Gruber and Tuire Palonen, 21--50. Turku: Turun Yliopisto, 2007.
LibreCat