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.

12549 Publications


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

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

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

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

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

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

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

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

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

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

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: Default

Export / Embed