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.

12537 Publications


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

2007 | Conference Paper | LibreCat-ID: 7965
A. Förster, G. Engels, T. Schattkowsky, and R. Van Der Straeten, “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), 2007, pp. 197–208.
LibreCat | DOI
 

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

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

2007 | Conference Paper | LibreCat-ID: 831
P. van der Stok 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, pp. 426--429.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 836
L. Marie Feeney, B. Cetin, D. Hollos, M. Kubisch, S. Mengesha, and H. Karl, “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, pp. 201--212.
LibreCat | DOI
 

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

2007 | Journal Article | LibreCat-ID: 8627
A. Greilich et al., “Robust manipulation of electron spin coherence in an ensemble of singly charged quantum dots,” Physical Review B, 2007.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 9562
F. Camarena Gandia 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
J. Szwedowicz, R. Visser, W. Sextro, and P. A. Masserey, “On Nonlinear Forced Vibration of Shrouded Turbine Blades,” Journal of Turbomachinery, vol. 130, no. 1, pp. 011002–011002, 2007.
LibreCat
 

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

2007 | Conference Paper | LibreCat-ID: 16630
S. Leyendecker, S. Ober-Blöbaum, J. E. Marsden, and M. Ortiz, “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.
LibreCat | DOI
 

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

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

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

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

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

2007 | Journal Article | LibreCat-ID: 18143
S. Le Roux and M. Ziegler, “Singular Coverings and Non-Uniform Notions of Closed Set Computability,” Electronic Notes in Theoretical Computer Science, pp. 73–88, 2007.
LibreCat | DOI
 

2007 | Book Review | LibreCat-ID: 18643
V. Peckhaus, “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.
LibreCat
 

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

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed