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.
10450 Publications
2011 | Conference Paper | LibreCat-ID: 56547
A Practical Approach for Computing Generalization Inferences in \emphEL\textbackslashmathcalEL
R. Peñaloza, A.-Y. Turhan, in: G. Antoniou, M. Grobelnik, E. Simperl, B. Parsia, D. Plexousakis, P.D. Leenheer, J.Z. Pan (Eds.), The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I, Springer, 2011, pp. 410–423.
LibreCat
| DOI
R. Peñaloza, A.-Y. Turhan, in: G. Antoniou, M. Grobelnik, E. Simperl, B. Parsia, D. Plexousakis, P.D. Leenheer, J.Z. Pan (Eds.), The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I, Springer, 2011, pp. 410–423.
2011 | Book Review | LibreCat-ID: 24948
[Rezension zu:] Sprachliche Spur der Moderne. In Gedichten um 1900: Nietzsche, Holz, George, Rilke, Morgenstern. Von Helmut Henne. Berlin: de Gruyter, 2010. 151 Seiten + 58 s / w Abbildungen. 39,95.
S. Elit, Monatshefte (2011) 672–675.
LibreCat
| DOI
S. Elit, Monatshefte (2011) 672–675.
2011 | Book Chapter | LibreCat-ID: 34949
Leben schreiben als Fürstbischof. Die Autobiographie Ferdinands von Fürstenberg
J. Süßmann, in: M. Menne, M. Ströhmer (Eds.), Total regional. Studien zur frühneuzeitlichen Sozial- und Wirtschaftsgeschichte. Festschrift für Frank Göttmann zum 65. Geburtstag, Schnell & Steiner, Regensburg, 2011, pp. 169–187.
LibreCat
J. Süßmann, in: M. Menne, M. Ströhmer (Eds.), Total regional. Studien zur frühneuzeitlichen Sozial- und Wirtschaftsgeschichte. Festschrift für Frank Göttmann zum 65. Geburtstag, Schnell & Steiner, Regensburg, 2011, pp. 169–187.
2011 | Book Chapter | LibreCat-ID: 57782
„Körperbewusste Schule“?
A. Langer, in: R. Keller, M. Meuser (Eds.), Körperwissen, VS Verlag für Sozialwissenschaften, Wiesbaden, 2011, pp. 317–334.
LibreCat
| DOI
A. Langer, in: R. Keller, M. Meuser (Eds.), Körperwissen, VS Verlag für Sozialwissenschaften, Wiesbaden, 2011, pp. 317–334.
2011 | Book (Editor) | LibreCat-ID: 57343
Europa und die Welt 2020: Entwicklungen und Tendenzen
A. Marchetti, L.-M. Clouet, eds., Europa und die Welt 2020: Entwicklungen und Tendenzen, Nomos, Baden-Baden, 2011.
LibreCat
| Files available
A. Marchetti, L.-M. Clouet, eds., Europa und die Welt 2020: Entwicklungen und Tendenzen, Nomos, Baden-Baden, 2011.
2011 | Conference Paper | LibreCat-ID: 37002
HDL-Mutation Based Simulation Data Generation by Propagation Guided Search
T. Xie, W. Müller, F. Letombe, in: Proceedings of Euromicro DSD 2011, IEEE, Oulu, Finnland, 2011.
LibreCat
| DOI
T. Xie, W. Müller, F. Letombe, in: Proceedings of Euromicro DSD 2011, IEEE, Oulu, Finnland, 2011.
2011 | Journal Article | LibreCat-ID: 33564
Schriftliches Argumentieren. Zur Ontogenese konzessiver Argumentationskompetenz
S. Rezat, Didaktik Deutsch (2011) 50–67.
LibreCat
S. Rezat, Didaktik Deutsch (2011) 50–67.
2010 | Book (Editor) | LibreCat-ID: 24929
Antike – Lyrik – Heute. Griechisch-römische Antike in deutschsprachiger Lyrik und Altphilologie der Gegenwart
S. Elit, K. Bremer, eds., Antike – Lyrik – Heute. Griechisch-römische Antike in deutschsprachiger Lyrik und Altphilologie der Gegenwart, Gardez!, Remscheid, 2010.
LibreCat
S. Elit, K. Bremer, eds., Antike – Lyrik – Heute. Griechisch-römische Antike in deutschsprachiger Lyrik und Altphilologie der Gegenwart, Gardez!, Remscheid, 2010.
2010 | Conference Paper | LibreCat-ID: 19678
The Power of Uncertainty: Bundle-Pricing for Unit-Demand Customers
P. Briest, H. Röglin, in: Workshop on Approximation and Online Algorithms (WAOA), Springer, 2010.
LibreCat
| DOI
P. Briest, H. Röglin, in: Workshop on Approximation and Online Algorithms (WAOA), Springer, 2010.
2010 | Conference Paper | LibreCat-ID: 19796
Read-Write-Codes: An Erasure Resilient Encoding System for Flexible Reading and Writing in Storage Networks
M. Mense, C. Schindelhauer, in: Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2010, pp. 624--639.
LibreCat
| DOI
M. Mense, C. Schindelhauer, in: Proceedings of 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2010, pp. 624--639.
2010 | Book | LibreCat-ID: 20182
Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming
H. Hamann, Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming, Springer, Berlin, Germany, 2010.
LibreCat
| DOI
H. Hamann, Space-Time Continuous Models of Swarm Robotics Systems: Supporting Global-to-Local Programming, Springer, Berlin, Germany, 2010.
2010 | Conference Paper | LibreCat-ID: 20226
A Model of Symmetry Breaking in Collective Decision-Making
H. Hamann, B. Meyer, T. Schmickl, K. Crailsheim, in: From Animals to Animats 11, Springer, 2010, pp. 639–648.
LibreCat
| DOI
H. Hamann, B. Meyer, T. Schmickl, K. Crailsheim, in: From Animals to Animats 11, Springer, 2010, pp. 639–648.
2010 | Book | LibreCat-ID: 28105
Digitale Medien in Schule und Unterricht erfolgreich implementieren. Eine empirische Analyse aus Sicht der Schulentwicklungsforschung
B. Eickelmann, Digitale Medien in Schule und Unterricht erfolgreich implementieren. Eine empirische Analyse aus Sicht der Schulentwicklungsforschung, Waxmann, Münster, 2010.
LibreCat
B. Eickelmann, Digitale Medien in Schule und Unterricht erfolgreich implementieren. Eine empirische Analyse aus Sicht der Schulentwicklungsforschung, Waxmann, Münster, 2010.
2010 | Journal Article | LibreCat-ID: 28449
Negotiating identities through pronouns of address in an immigrant community
G. Liebscher, J. Dailey-O’Cain, M. Müller, T. Reichert, Pragmatics. Quarterly Publication of the International Pragmatics Association (IPrA) 20 (2010) 375–400.
LibreCat
| DOI
G. Liebscher, J. Dailey-O’Cain, M. Müller, T. Reichert, Pragmatics. Quarterly Publication of the International Pragmatics Association (IPrA) 20 (2010) 375–400.
2010 | Journal Article | LibreCat-ID: 26136
Interparticle forces in silica nanoparticle agglomerates
M. Seipenbusch, S. Rothenbacher, M. Kirchhoff, H.-J. Schmid, G. Kasper, A.P. Weber, Journal of Nanoparticle Research 12 (2010) 2037–2044.
LibreCat
| DOI
M. Seipenbusch, S. Rothenbacher, M. Kirchhoff, H.-J. Schmid, G. Kasper, A.P. Weber, Journal of Nanoparticle Research 12 (2010) 2037–2044.
2010 | Journal Article | LibreCat-ID: 26899
Trends in dietary carbohydrate quality during puberty from 1988 to 2007: a cause for concern?
G. Cheng, L. Libuda, N. Karaolis-Danckert, U. Alexy, K. Bolzenius, T. Remer, A. Buyken, British Journal of Nutrition (2010) 1375–1383.
LibreCat
| DOI
G. Cheng, L. Libuda, N. Karaolis-Danckert, U. Alexy, K. Bolzenius, T. Remer, A. Buyken, British Journal of Nutrition (2010) 1375–1383.
2010 | Conference Paper | LibreCat-ID: 3195
A {CSP} Approach to Control in Event-B
S. Schneider, H. Treharne, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.
LibreCat
| DOI
S. Schneider, H. Treharne, H. Wehrheim, in: D. M{\’{e}}ry, S. Merz (Eds.), Integrated Formal Methods - 8th International Conference, {IFM} 2010, Nancy, France, October 11-14, 2010. Proceedings, 2010, pp. 260--274.
2010 | Conference Paper | LibreCat-ID: 3196
{SLAB:} {A} Certifying Model Checker for Infinite-State Concurrent Systems
K. Dräger, A. Kupriyanov, B. Finkbeiner, H. Wehrheim, in: J. Esparza, R. Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, 2010, pp. 271--274.
LibreCat
| DOI
K. Dräger, A. Kupriyanov, B. Finkbeiner, H. Wehrheim, in: J. Esparza, R. Majumdar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, {TACAS} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, 2010, pp. 271--274.
2010 | Conference Paper | LibreCat-ID: 3468
Total Costs of Service Life: The Need of Decision Support in Selecting, Comparing and Orchestrating Services
J. Becker, D. Beverungen, M. Matzner, O. Müller, in: J.-H. Morin, J. Ralyté, M. Snene (Eds.), Exploring Service Sciences, Berlin, 2010, pp. 282--288.
LibreCat
| DOI
J. Becker, D. Beverungen, M. Matzner, O. Müller, in: J.-H. Morin, J. Ralyté, M. Snene (Eds.), Exploring Service Sciences, Berlin, 2010, pp. 282--288.
2010 | Book Chapter | LibreCat-ID: 2988
Bregman Clustering for Separable Instances
M.R. Ackermann, J. Blömer, in: SWAT 2010, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 212–223.
LibreCat
| DOI
M.R. Ackermann, J. Blömer, in: SWAT 2010, Springer Berlin Heidelberg, Berlin, Heidelberg, 2010, pp. 212–223.