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.

13401 Publications

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


Filter Publications

Display / Sort

Citation Style: APA

Export / Embed