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.
3434 Publications
2013 | Conference Paper | LibreCat-ID: 3177
{SPIN} as a Linearizability Checker under Weak Memory Models
O. Travkin, A. Mütze, H. Wehrheim, in: V. Bertacco, A. Legay (Eds.), Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 2013, pp. 311--326.
LibreCat
| DOI
O. Travkin, A. Mütze, H. Wehrheim, in: V. Bertacco, A. Legay (Eds.), Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 2013, pp. 311--326.
2013 | Journal Article | LibreCat-ID: 21042
Theory of quantum frequency conversion and type-II parametric down-conversion in the high-gain regime
A. Christ, B. Brecht, W. Mauerer, C. Silberhorn, New Journal of Physics 15 (2013).
LibreCat
| DOI
A. Christ, B. Brecht, W. Mauerer, C. Silberhorn, New Journal of Physics 15 (2013).
2013 | Book (Editor) | LibreCat-ID: 19071
Ehrenpromotion der Fakultät für Kulturwissenschaften der Universität Paderborn an Herta Müller. Paderborn, 29.10.2012. Dokumentation
N.O. Eke, ed., Ehrenpromotion der Fakultät für Kulturwissenschaften der Universität Paderborn an Herta Müller. Paderborn, 29.10.2012. Dokumentation, Paderborn, 2013.
LibreCat
N.O. Eke, ed., Ehrenpromotion der Fakultät für Kulturwissenschaften der Universität Paderborn an Herta Müller. Paderborn, 29.10.2012. Dokumentation, Paderborn, 2013.
2013 | Book (Editor) | LibreCat-ID: 19072
„Nach der Mauer der Abgrund“? (Wieder-)Annäherungen an die DDR-Literatur
N.O. Eke, ed., „Nach der Mauer der Abgrund“? (Wieder-)Annäherungen an die DDR-Literatur, Rodopi, Amsterdam – New York, 2013.
LibreCat
N.O. Eke, ed., „Nach der Mauer der Abgrund“? (Wieder-)Annäherungen an die DDR-Literatur, Rodopi, Amsterdam – New York, 2013.
2013 | Book Chapter | LibreCat-ID: 19254
„Wenn ihr zufrieden seid, so ist’s vollkommen“. Vom Hof in Ferrara zur Villa Massimo in Rom oder: Der Autor im Betrieb
N.O. Eke, in: S. Horstkotte, L. Herrmann (Eds.), Poetiken der Gegenwart. Deutschsprachige Romane nach 2000, de Gruyter, Berlin/Boston, 2013, pp. 267–283.
LibreCat
N.O. Eke, in: S. Horstkotte, L. Herrmann (Eds.), Poetiken der Gegenwart. Deutschsprachige Romane nach 2000, de Gruyter, Berlin/Boston, 2013, pp. 267–283.
2013 | Book Chapter | LibreCat-ID: 19255
Zu „sagen […], ich unterschreibe Alles, Hunde sind wir ja doch!‘ halte ich des Mannes, des Christen unwürdig“ – Zivilcourage im Vormärz
N.O. Eke, in: E. Conze, J. Scholtyseck, E. Weede (Eds.), Jahrbuch zur Liberalismus-Forschung 25, Nomos, Baden-Baden, 2013, pp. 27–49.
LibreCat
N.O. Eke, in: E. Conze, J. Scholtyseck, E. Weede (Eds.), Jahrbuch zur Liberalismus-Forschung 25, Nomos, Baden-Baden, 2013, pp. 27–49.
2013 | Book Chapter | LibreCat-ID: 19256
„Südliches Meer“. Rausch und Ekstase in Gottfried Benns Werk
N.O. Eke, in: J. Dyck, H. Korte, N.J. Schmidt (Eds.), Benn Forum Band 3 2012/13. Beiträge zur literarischen Moderne [Jahrbuch], de Gruyter, Berlin/Boston, 2013, pp. 3–15.
LibreCat
N.O. Eke, in: J. Dyck, H. Korte, N.J. Schmidt (Eds.), Benn Forum Band 3 2012/13. Beiträge zur literarischen Moderne [Jahrbuch], de Gruyter, Berlin/Boston, 2013, pp. 3–15.
2013 | Book Chapter | LibreCat-ID: 19257
‚Macht nichts, macht nichts, sagte ich mir, macht nichts‘: Herta Müller’s Romanian Novels
N.O. Eke, in: B. Haines, L. Marven (Eds.), Herta Müller, Oxford University Press, Oxford, 2013, pp. 99–116.
LibreCat
N.O. Eke, in: B. Haines, L. Marven (Eds.), Herta Müller, Oxford University Press, Oxford, 2013, pp. 99–116.
2013 | Book Chapter | LibreCat-ID: 19258
Widerstehen und Widersprechen [Laudatio auf Herta Müller]
N.O. Eke, in: N.O. Eke (Ed.), Ehrenpromotion der Fakultät für Kulturwissenschaften der Universität Paderborn an Herta Müller. Paderborn, 29.10.2012. Dokumentation, Paderborn, 2013, pp. 14–27.
LibreCat
N.O. Eke, in: N.O. Eke (Ed.), Ehrenpromotion der Fakultät für Kulturwissenschaften der Universität Paderborn an Herta Müller. Paderborn, 29.10.2012. Dokumentation, Paderborn, 2013, pp. 14–27.
2013 | Book Chapter | LibreCat-ID: 19259
„Nach der Mauer der Abgrund“? (Wieder-)Annäherungen an die DDR-Literatur
N.O. Eke, in: N.O. Eke (Ed.), „Nach der Mauer der Abgrund“? (Wieder-)Annäherungen an die DDR-Literatur, Rodopi, Amsterdam – New York, 2013, pp. 7–25.
LibreCat
N.O. Eke, in: N.O. Eke (Ed.), „Nach der Mauer der Abgrund“? (Wieder-)Annäherungen an die DDR-Literatur, Rodopi, Amsterdam – New York, 2013, pp. 7–25.
2013 | Book Chapter | LibreCat-ID: 2036
AT 5 der MaComp: Zusammenarbeit mehrere Wertpapierdienstleistungsunternehmen
D. Krimphove, in: D. Krimphove, O. Kruse (Eds.), Kommentar: MaComp Mindestanforderungen an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§ 31 Ff. WpHG Für Wertpapierdienstleistungsunternehmen , C.H. Beck, München, 2013, pp. 44 – 48.
LibreCat
D. Krimphove, in: D. Krimphove, O. Kruse (Eds.), Kommentar: MaComp Mindestanforderungen an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§ 31 Ff. WpHG Für Wertpapierdienstleistungsunternehmen , C.H. Beck, München, 2013, pp. 44 – 48.
2013 | Bachelorsthesis | LibreCat-ID: 18000
Cliquenbildung in verteilten Systemen
F. Blumentritt, Cliquenbildung in Verteilten Systemen, Universität Paderborn, 2013.
LibreCat
F. Blumentritt, Cliquenbildung in Verteilten Systemen, Universität Paderborn, 2013.
2013 | Book Chapter | LibreCat-ID: 18475
Lithium niobate dielectric function and second-order polarizability tensor from massively parallel ab initio calculations
A. Riefer, M. Rohrmüller, M. Landmann, S. Sanna, E. Rauls, N.J. Vollmers, R. Hölscher, M. Witte, Y. Li, U. Gerstmann, A. Schindlmayr, W.G. Schmidt, in: W.E. Nagel, D.H. Kröner, M.M. Resch (Eds.), High Performance Computing in Science and Engineering ‘13, Springer, Cham, 2013, pp. 93–104.
LibreCat
| Files available
| DOI
| WoS
A. Riefer, M. Rohrmüller, M. Landmann, S. Sanna, E. Rauls, N.J. Vollmers, R. Hölscher, M. Witte, Y. Li, U. Gerstmann, A. Schindlmayr, W.G. Schmidt, in: W.E. Nagel, D.H. Kröner, M.M. Resch (Eds.), High Performance Computing in Science and Engineering ‘13, Springer, Cham, 2013, pp. 93–104.
2013 | Conference Paper | LibreCat-ID: 23135
Methodik zur anforderungsgerechten Wahl der Modellierungstiefe von Verhaltensmodellen fuer die virtuelle Inbetriebnahme
T. Schmuedderich, M. Lochbichler, A. Trächtler, in: Tagungsband Mechatronik 2013 (ISBN 3-86130-958-0), 2013, pp. 43–48.
LibreCat
T. Schmuedderich, M. Lochbichler, A. Trächtler, in: Tagungsband Mechatronik 2013 (ISBN 3-86130-958-0), 2013, pp. 43–48.
2013 | Conference Paper | LibreCat-ID: 23136
Procedural Model for the Virtual Commissioining on the Basis of Model-based Design
T. Schmuedderich, A. Trächtler, J. Brökelmann, J. Gausemeier, in: Smart Product Engineering - Proceedings of the 23rd CIRP Design Conference (ISBN 978-3-642-30816, Springer-Verlag), 2013, pp. 23–32.
LibreCat
T. Schmuedderich, A. Trächtler, J. Brökelmann, J. Gausemeier, in: Smart Product Engineering - Proceedings of the 23rd CIRP Design Conference (ISBN 978-3-642-30816, Springer-Verlag), 2013, pp. 23–32.
2013 | Conference Paper | LibreCat-ID: 774
The playground of Wireless Dense networks of the future
C. Cicconetti, A. Morelli, M. Dräxler, H. Karl, V. Mancuso, V. Sciancalepore, R. Gupta, A. de la Oliva, M. Isabel Sanchez, P. Serrano, L. Roullet, in: 2013 Future Network & Mobile Summit, Lisboa, Portugal, July 3-5, 2013, 2013, pp. 1--4.
LibreCat
C. Cicconetti, A. Morelli, M. Dräxler, H. Karl, V. Mancuso, V. Sciancalepore, R. Gupta, A. de la Oliva, M. Isabel Sanchez, P. Serrano, L. Roullet, in: 2013 Future Network & Mobile Summit, Lisboa, Portugal, July 3-5, 2013, 2013, pp. 1--4.
2013 | Conference Paper | LibreCat-ID: 777
Cross-layer scheduling for multi-quality video streaming in cellular wireless networks
M. Dräxler, H. Karl, in: 2013 9th International Wireless Communications and Mobile Computing Conference, IWCMC 2013, Sardinia, Italy, July 1-5, 2013, 2013, pp. 1181--1186.
LibreCat
| DOI
M. Dräxler, H. Karl, in: 2013 9th International Wireless Communications and Mobile Computing Conference, IWCMC 2013, Sardinia, Italy, July 1-5, 2013, 2013, pp. 1181--1186.
2013 | Conference Paper | LibreCat-ID: 6054
Releasing multimodal data as Linguistic Linked Open Data: An experience report
P. Menke, J. McCrae, P. Cimiano, in: Proceedings of the 2nd Workshop on Linked Data in Linguistics (LDL-2013): Representing and Linking Lexicons, Terminologies and Other Language Data, ACL, Pisa, 2013, pp. 44–52.
LibreCat
P. Menke, J. McCrae, P. Cimiano, in: Proceedings of the 2nd Workshop on Linked Data in Linguistics (LDL-2013): Representing and Linking Lexicons, Terminologies and Other Language Data, ACL, Pisa, 2013, pp. 44–52.
2013 | Journal Article | LibreCat-ID: 476
Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing
P. Kolman, C. Scheideler, Theory of Computing Systems (2013) 341–363.
LibreCat
| Files available
| DOI
P. Kolman, C. Scheideler, Theory of Computing Systems (2013) 341–363.
2013 | Conference Paper | LibreCat-ID: 477
Token Dissemination in Geometric Dynamic Networks
S. Abshoff, M. Benter, A. Cord-Landwehr, M. Malatyali, F. Meyer auf der Heide, in: Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers, 2013, pp. 22–34.
LibreCat
| Files available
| DOI
S. Abshoff, M. Benter, A. Cord-Landwehr, M. Malatyali, F. Meyer auf der Heide, in: Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers, 2013, pp. 22–34.