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.

18621 Publications

2007 | Conference Paper | LibreCat-ID: 7958
Schattkowsky, T., Engels, G., & Förster, A. (2007). A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency. In Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS 2007) (p. 286ff.). Washington, DC, USA: IEEE Computer Society.
LibreCat | DOI

2007 | Conference Paper | LibreCat-ID: 7960
Küster, J., Ryndina, K., & Gall, H. (2007). Generation of Business Process Models for Object Life Cycle Compliance. In Proceedings of the conference on Business Process Management (BPM 2007), Brisbane (Australia) (Vol. 4714, pp. 165–181). Berlin/Heidelberg: Springer.
LibreCat | DOI

2007 | Conference Paper | LibreCat-ID: 7965
Förster, A., Engels, G., Schattkowsky, T., & Van Der Straeten, R. (2007). Verification of Business Process Quality Constraints Based on Visual Process Patterns. In Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China) (pp. 197–208). Washington, DC, USA: IEEE Computer Society.
LibreCat | DOI

2007 | Report | LibreCat-ID: 8216
Gehrke, M., Güldali, B., & Kindler, E. (2007). “Modelchecking” - Eine Methode zur Verbesserung der Softwarequalität. University of Paderborn, s-lab.

2007 | Conference Paper | LibreCat-ID: 8413
Anastasakis, K., Bordbar, B., & Küster, J. (2007). Analysis of Model Transformations via Alloy. In Proceedings of the workshop on Model-Driven Engineering, Verification and Validation (MoDeVVA 2007), Nashville, TN (USA) (Vol. 5002, pp. 47–56). Berlin/Heidelberg: Springer.

2007 | Conference Paper | LibreCat-ID: 831
van der Stok, P., Karl, H., De Ambroggi, F., Decotignie, J., Siegemund, F., Lokhorst, K., & Hellenschmidt, M. (2007). WASP - Wirelessly Accessible Sensor Populations: A Project Overview. In Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers (pp. 426--429).
LibreCat | DOI

2007 | Conference Paper | LibreCat-ID: 836
Marie Feeney, L., Cetin, B., Hollos, D., Kubisch, M., Mengesha, S., & Karl, H. (2007). Multi-rate Relaying for Performance Improvement in IEEE 802.11 WLANs. In Wired/Wireless Internet Communications, 5th International Conference, WWIC 2007, Coimbra, Portugal, May 23-25, 2007, Proceedings (pp. 201--212).
LibreCat | DOI

2007 | Journal Article | LibreCat-ID: 8622
Bryja, L., Wójs, A., Misiewicz, J., Potemski, M., Reuter, D., & Wieck, A. (2007). Magneto-optical probing of weak disorder in a two-dimensional hole gas. Physical Review B.
LibreCat | DOI

2007 | Journal Article | LibreCat-ID: 8627
Greilich, A., Wiemann, M., Hernandez, F. G. G., Yakovlev, D. R., Yugova, I. A., Bayer, M., … Wieck, A. D. (2007). Robust manipulation of electron spin coherence in an ensemble of singly charged quantum dots. Physical Review B.
LibreCat | DOI

2007 | Conference Paper | LibreCat-ID: 9562
Camarena Gandia, F., Hemsel, T., Espinosa, V., Twiefel, J., Ardid, M., Martinez-Mora, J., & Gandia, J. B. (2007). Non-destructive ultrasonic test of orange dehydration. In Proceedings of 19th international congress on Acoustics, Madrid.

2007 | Journal Article | LibreCat-ID: 9567
Szwedowicz, J., Visser, R., Sextro, W., & Masserey, P. A. (2007). On Nonlinear Forced Vibration of Shrouded Turbine Blades. Journal of Turbomachinery, 130(1), 011002–011002.

2007 | Conference Paper | LibreCat-ID: 16666
Schütze, O., Talbi, E., Pulido, G. T., Coello, C. C., & Santana-Quintero, L. V. (2007). A Memetic PSO Algorithm for Scalar Optimization Problems. In 2007 IEEE Swarm Intelligence Symposium.
LibreCat | DOI

2007 | Conference Paper | LibreCat-ID: 16630
Leyendecker, S., Ober-Blöbaum, S., Marsden, J. E., & Ortiz, M. (2007). Discrete Mechanics and Optimal Control for Constrained Multibody Dynamics. In Volume 5: 6th International Conference on Multibody Systems, Nonlinear Dynamics, and Control, Parts A, B, and C.
LibreCat | DOI

2007 | Book Chapter | LibreCat-ID: 4985
Bähring, K., & Thommes, K. (2007). Kooperation und Konkurrenz in Personaldienstleistungsbeziehungen. In G. Schreyögg & J. Sydow (Eds.), Kooperation und Konkurrenz (pp. 41--74). Wiesbaden: Gabler.
LibreCat | DOI

2007 | Book Review | LibreCat-ID: 17796
Peckhaus, V. (2007). Karl Sigmund/John Dawson/Kurt Mühlberger, Kurt Gödel. Das Album. The Album, Vieweg: Wiesbaden 2006. Bulletin of Symbolic Logic.

2007 | Conference Paper | LibreCat-ID: 17284
Hegel, F., Lohse, M., Swadzba, A., Wachsmuth, S., Rohlfing, K., & Wrede, B. (2007). Classes of Applications for Social Robots: A User Study. In 16th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN’07) (pp. 938–943). IEEE.
LibreCat | DOI

2007 | Journal Article | LibreCat-ID: 17981
Ziegler, M. (2007). Real Hypercomputation and Continuity. Theory of Computing Systems, 177–206.
LibreCat | DOI

2007 | Book | LibreCat-ID: 17448
Ebbinghaus, H.-D., & Peckhaus, V. (2007). Ernst Zermelo. An Approach to His Life and Work. Berlin/Heidelberg: Springer.

2007 | Book Review | LibreCat-ID: 18643
Peckhaus, V. (2007). Vollmar, Roland, „Von Zielen und Grenzen der Informatik“, Abh. Braunschw. Wiss. Ges. 51 (2002), 9–24. Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 1111.68301; Wiederabdruck von MR 2003d:68002].

2007 | Conference Paper | LibreCat-ID: 18655
Sohler, C., & Czumaj, A. (2007). On Testable Properties in Bounded Degree Graphs. In Proceedings of the 17th ACM-SIAM Symposium on Discrete Algorithms (SODA’07) (pp. 494–501).


Filter Publications

Display / Sort

Citation Style: APA

Export / Embed