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.

12246 Publications


2007 | Journal Article | LibreCat-ID: 3211
On using data abstractions for model checking refinements
J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 3216
Refactoring Object-Oriented Specifications with Data and Processes
T. Ruhroth, H. Wehrheim, in: M. M. Bonsangue, E. Broch Johnsen (Eds.), Formal Methods for Open Object-Based Distributed Systems, 9th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, 2007, pp. 236--251.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 4303
Line narrowing and hole burning within the homogeneous linewidth: a new wave-mixing effect in two-level systems
J. Förstner, A. Knorr, M. Lindberg, S.W. Koch, Optics Letters 27 (2007).
LibreCat | Files available | DOI
 

2007 | Journal Article | LibreCat-ID: 3470
Local Polynomial Estimation with a FARIMA-GARCH Error Process
J. Beran, Y. Feng, Bernoulli 7 (2007).
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 3704 LibreCat
 

2007 | Book Chapter | LibreCat-ID: 3709
Participation as predictor of responsibility in working life
D. Festner, C. Harteis, H. Kyhä, T. Tuominen, in: H. Gruber, T. Palonen (Eds.), Learning in the Workplace - New Developments in the Relation between Learning and Working, FERA, Turku, 2007, pp. 65–90.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 4497 LibreCat
 

2007 | Book Chapter | LibreCat-ID: 4529
Fallstudie: Social Software im Hochschulstudium
T. Sporer, T. Jenert, in: M. Koch, A. Richter (Eds.), Enterprise 2.0 - Planung, Einführung und erfolgreicher Einsatz von Social Software im Unternehmen, Oldenburg, München, 2007.
LibreCat
 

2007 | Book Chapter | LibreCat-ID: 5217
Vertikale Entflechtung netzgebundener Industrien: Kosten und Nutzen aus ökonomischer Sicht
J. Haucap, U. Heimeshoff, A. Uhde, in: Trennung von Infrastruktur und Betrieb, Beiträge zur öffentlichen Wirtschaft 25 (Ed.), Gesellschaft für öffentliche Wirtschaft, Berlin, 2007, pp. 27–65.
LibreCat
 

2007 | Journal Article | LibreCat-ID: 4613
On the asymptotic variance in nonparametric regression with fractional time-series errors
Y. Feng, Journal of Nonparametric Statistics 19 (2007) 63–76.
LibreCat | DOI
 

2007 | Journal Article | LibreCat-ID: 4978
Incentives to invest in the human capital of temporary agency workers
S. Schmidt, K. Thommes, German Journal of Human Resource Management (2007) 232--251.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 5654
Armed for the spam battle - a technological and organizational infrastructure framework
G. Schryen, in: 40th Annual Hawaii International Conference on System Sciences, 2007.
LibreCat | Files available
 

2007 | Misc | LibreCat-ID: 6126
Strategische Personalentwicklung: Wenn dem Bildungscontroller die Ziele fehlen
A. Giardini, R. Kabst, Strategische Personalentwicklung: Wenn Dem Bildungscontroller Die Ziele Fehlen, 2007.
LibreCat
 

2007 | Journal Article | LibreCat-ID: 5370
Managing Credit Risk with Credit Derivatives
U. Broll, B.M. Gilroy, E. Lukas, Annals of Financial Economics 3 (2007).
LibreCat
 
 

2007 | Conference Paper | LibreCat-ID: 6001
Außerbörslicher Emittentenhandel: Handelsplatzwahl von Online-Investoren
D. Kundisch, T. Stuber, in: A. Oberweis, C. Weinhardt, H. Gimpel, A. Koschmider, V. Pankratius, B. Schnizler (Eds.), Wirtschaftsinformatik 2007 - eOrganisation: Service-, Prozess-, Market-Engineering, Universitätsverlag, Karlsruhe, 2007, pp. 651–668.
LibreCat
 

2007 | Journal Article | LibreCat-ID: 5572
A Different View to Atypical Work: Interim Management.
R. Kabst, Korean Journal of Economics. 25 (2007) 25–41.
LibreCat
 

2007 | Journal Article | LibreCat-ID: 5577
Scenario-based scales measuring cultural orientations of business owners.
C. Koenig, H. Steinmetz, M. Frese, A. Rauch, Z.M. Wang, Journal of Evolutionary Economics. 17 (2007) 211–239.
LibreCat
 

2007 | Book | LibreCat-ID: 6429
Self-Organization in Sensor and Actor Networks
F. Dressler, Self-Organization in Sensor and Actor Networks, John Wiley & Sons, 2007.
LibreCat | DOI
 

2007 | Conference Paper | LibreCat-ID: 6703
Estimation of long term wind energy output at offshore wind farm locations
J. Bendfeld, M. Splett, C. Bastide, J. Voss, in: Proceedings of the European Wind Energy Conference & Exhibition (EWEC 2007), 2007.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 6708
Load Management for Offshore Wind Parks
J. Bendfeld, M. Splett, J. Voss, in: Proceedings of the American Wind Energy Association, WINDPOWER 2007 Conference and Exhibition, 2007.
LibreCat
 

2007 | Conference Paper | LibreCat-ID: 6710
The Performance of ADCP-Measurements and Comparision with Waverider-Data in the German Bight
J. Bendfeld, R. Ditscherlein, M. Splett, J. Voss, in: Proceedings of the European Offshore Wind Conference & Exhibition (EOW 2007), 2007.
LibreCat
 

2007 | Journal Article | LibreCat-ID: 7597 LibreCat
 

2007 | Journal Article | LibreCat-ID: 7643
Silicon nanoparticles: Absorption, emission, and the nature of the electronic bandgap
C. Meier, A. Gondorf, S. Lüttjohann, A. Lorke, H. Wiggers, Journal of Applied Physics 101 (2007).
LibreCat | DOI
 

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
 

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

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

2007 | Conference Paper | LibreCat-ID: 16630
Discrete Mechanics and Optimal Control for Constrained Multibody Dynamics
S. Leyendecker, S. Ober-Blöbaum, J.E. Marsden, M. Ortiz, 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
Kooperation und Konkurrenz in Personaldienstleistungsbeziehungen
K. Bähring, K. Thommes, in: G. Schreyögg, J. Sydow (Eds.), Kooperation und Konkurrenz, Gabler, Wiesbaden, 2007, pp. 41--74.
LibreCat | DOI
 

2007 | Book Review | LibreCat-ID: 17796 LibreCat
 

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

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

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

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

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

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

2007 | Book Review | LibreCat-ID: 18650 LibreCat
 

2007 | Conference Paper | LibreCat-ID: 18662
Small Space Representations for Metric Min-Sum k-Clustering and their Applications
C. Sohler, A. Czumaj, in: Proceedings of the 24th International Symposium on Theoretical Aspects of Computer Science (STACS’07), 2007, pp. 536–548.
LibreCat
 

2007 | Book Review | LibreCat-ID: 18821 LibreCat
 

2007 | Book | LibreCat-ID: 19007
Wort/Spiele. Drama – Film – Literatur
N.O. Eke, Wort/Spiele. Drama – Film – Literatur, Erich Schmidt, Berlin, 2007.
LibreCat
 

2007 | Dissertation | LibreCat-ID: 18927
Collective graph exploration
M. Dynia, Collective Graph Exploration, Universität Paderborn, 2007.
LibreCat | Files available
 

Search

Filter Publications

Display / Sort

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

Export / Embed