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
Schattkowsky T, Engels G, Förster A. 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). Washington, DC, USA: IEEE Computer Society; 2007:286ff. doi:http://doi.ieeecomputersociety.org/10.1109/HICSS.2007.22
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 7960
Küster J, Ryndina K, Gall H. 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. LNCS. Berlin/Heidelberg: Springer; 2007:165-181. doi:https://groups.uni-paderborn.de/fg-engels/Publications/dx.doi.org/10.1007/978-3-540-75183-0_13
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 7965
Förster A, Engels G, Schattkowsky T, Van Der Straeten R. 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). Washington, DC, USA: IEEE Computer Society; 2007:197-208. doi:http://dx.doi.org/10.1109/TASE.2007.56
LibreCat | DOI
 

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

2007 | Conference Paper | LibreCat-ID: 8413
Anastasakis K, Bordbar B, Küster J. 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. LNCS. Berlin/Heidelberg: Springer; 2007:47-56.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 831
van der Stok P, Karl H, De Ambroggi F, et al. WASP - Wirelessly Accessible Sensor Populations: A Project Overview. In: Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers. ; 2007:426--429. doi:10.1007/978-3-540-85379-4_49
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 836
Marie Feeney L, Cetin B, Hollos D, Kubisch M, Mengesha S, Karl H. 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. ; 2007:201--212. doi:10.1007/978-3-540-72697-5_17
LibreCat | DOI
 

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

2007 | Journal Article | LibreCat-ID: 8627
Greilich A, Wiemann M, Hernandez FGG, et al. Robust manipulation of electron spin coherence in an ensemble of singly charged quantum dots. Physical Review B. 2007. doi:10.1103/physrevb.75.233301
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 9562
Camarena Gandia F, Hemsel T, Espinosa V, et al. Non-destructive ultrasonic test of orange dehydration. In: Proceedings of 19th International Congress on Acoustics, Madrid. ; 2007.
LibreCat
 

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

2007 | Conference Paper | LibreCat-ID: 16666
Schütze O, Talbi E, Pulido GT, Coello CC, Santana-Quintero LV. A Memetic PSO Algorithm for Scalar Optimization Problems. In: 2007 IEEE Swarm Intelligence Symposium. ; 2007. doi:10.1109/sis.2007.368036
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 16630
Leyendecker S, Ober-Blöbaum S, Marsden JE, Ortiz M. 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. ; 2007. doi:10.1115/detc2007-34574
LibreCat | DOI
 

2007 | Book Chapter | LibreCat-ID: 4985
Bähring K, Thommes K. Kooperation und Konkurrenz in Personaldienstleistungsbeziehungen. In: Schreyögg G, Sydow J, eds. Kooperation und Konkurrenz. Wiesbaden: Gabler; 2007:41--74. doi:10.1007/978-3-8349-9331-1_2
LibreCat | DOI
 

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

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

2007 | Journal Article | LibreCat-ID: 17981
Ziegler M. Real Hypercomputation and Continuity. Theory of Computing Systems. 2007:177-206. doi:10.1007/s00224-006-1343-6
LibreCat | DOI
 

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

2007 | Journal Article | LibreCat-ID: 18143
Le Roux S, Ziegler M. Singular Coverings and Non-Uniform Notions of Closed Set Computability. Electronic Notes in Theoretical Computer Science. 2007:73-88. doi:10.1016/j.entcs.2008.03.009
LibreCat | DOI
 

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

Search

Filter Publications

Display / Sort

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

Export / Embed