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.
11566 Publications
2016 | Conference Paper | LibreCat-ID: 3159
@inproceedings{Schellhorn_Travkin_Wehrheim_2016, series={Lecture Notes in Computer Science}, title={Towards a Thread-Local Proof Technique for Starvation Freedom}, DOI={10.1007/978-3-319-33693-0_13}, booktitle={Integrated Formal Methods - 12th International Conference, {IFM} 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings}, author={Schellhorn, Gerhard and Travkin, Oleg and Wehrheim, Heike}, editor={Huisman, MariekeEditor}, year={2016}, pages={193--209}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2016 | Conference Paper | LibreCat-ID: 3160
@inproceedings{Doherty_Dongol_Derrick_Schellhorn_Wehrheim_2016, series={LIPIcs}, title={Proving Opacity of a Pessimistic {STM}}, DOI={10.4230/LIPIcs.OPODIS.2016.35}, booktitle={20th International Conference on Principles of Distributed Systems, {OPODIS} 2016, December 13-16, 2016, Madrid, Spain}, author={Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Fatourou, Panagiota and Jim{\’{e}}nez, Ernesto and Pedone, FernandoEditors}, year={2016}, pages={35:1--35:17}, collection={LIPIcs} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 3161
@article{Isenberg_Jakobs_Pauck_Wehrheim_2016, title={Deriving approximation tolerance constraints from verification runs}, journal={CoRR}, author={Isenberg, Tobias and Jakobs, Marie{-}Christine and Pauck, Felix and Wehrheim, Heike}, year={2016} }
LibreCat
2016 | Journal Article | LibreCat-ID: 27036
@article{Schröder_Müller_Falkenstein_Stehle_Kersting_Libuda_2016, title={Lunch at school and children’s cognitive functioning in the early afternoon: results from the Cognition Intervention Study Dortmund Continued (CoCo)}, DOI={10.1017/s0007114516002932}, journal={British Journal of Nutrition}, author={Schröder, Maike and Müller, Katrin and Falkenstein, Michael and Stehle, Peter and Kersting, Mathilde and Libuda, Lars}, year={2016}, pages={1298–1305} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27037
@article{Muckelbauer_Gortmaker_Libuda_Kersting_Clausen_Adelberger_Müller-Nordhorn_2016, title={Changes in water and sugar-containing beverage consumption and body weight outcomes in children}, DOI={10.1017/s0007114516001136}, journal={British Journal of Nutrition}, author={Muckelbauer, Rebecca and Gortmaker, Steven L. and Libuda, Lars and Kersting, Mathilde and Clausen, Kerstin and Adelberger, Bettina and Müller-Nordhorn, Jacqueline}, year={2016}, pages={2057–2066} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 27249
@article{Schöppner_Littek_Döring_Kuckling_2016, title={Berechnung des Materialabbaus von PP und PS in der Plastifiziereinheit Teil 1: Belastung und Materialmodellierung}, journal={Zeitschrift Kunststofftechnik / Journal of Plastics Technology}, author={Schöppner, Volker and Littek, S. and Döring, Artjom and Kuckling, Dirk}, year={2016}, pages={18} }
LibreCat
2016 | Journal Article | LibreCat-ID: 27451
@article{Eckelt_Dülme_Gausemeier_Hemel_2016, title={Detecting White Spots in Innovation-Driven Intellectual Property Management}, journal={Technology Innovation Management Review 6(7)}, author={Eckelt, Daniel and Dülme, Christian and Gausemeier, Jürgen and Hemel, Simon}, year={2016}, pages={34–47} }
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 27452
@article{Kage_Drewel_Gausemeier_Schneider_2016, title={Value Network Design for Innovations: Developing Alternative Value Network Drafts}, journal={Technology Innovation Management Review 6(7)}, author={Kage, Martin and Drewel, Marvin and Gausemeier, Jürgen and Schneider, Marcel}, year={2016}, pages={21–33} }
LibreCat
| Download (ext.)
2016 | Journal Article | LibreCat-ID: 27483
@article{Rehage_Isenberg_Reisch_Weber_Jurke_Pruschek_2016, title={Intelligente Arbeitsvorbereitung in der Cloud}, journal={wt Werkstattstechnik online (1/2-2016)}, author={Rehage, Gerald and Isenberg, Florian and Reisch, Raphael-Elias and Weber, Jens and Jurke, Benjamin and Pruschek, Peter}, year={2016}, pages={077–082} }
LibreCat
2016 | Conference Paper | LibreCat-ID: 1151 | 
@inproceedings{Stotz_Geierhos_2016, place={Duisburg, Germany}, title={Wie verhalten sich Aktionäre bei Unternehmenszusammenschlüssen? Modellierung sprachlicher Muster zur Analyse treibender Faktoren bei der Berichterstattung}, booktitle={DHd 2016: Modellierung - Vernetzung - Visualisierung. Die Digital Humanities als fächerübergreifendes Forschungsparadigma. Konferenzabstracts, Universität Leipzig, 7. bis 12. März 2016}, publisher={Nisaba-Verlag}, author={Stotz, Sophia and Geierhos, Michaela}, year={2016}, pages={378–381} }
LibreCat
| Download (ext.)
2016 | Encyclopedia Article | LibreCat-ID: 1152 |
@inbook{Geierhos_2016, place={Berlin, Germany}, edition={9}, title={Webmonitoring}, booktitle={Enzyklopädie der Wirtschaftsinformatik}, publisher={GITO-Verlag}, author={Geierhos, Michaela}, editor={Gronau, Norbert and Becker, Jörg and Sinz, Elmar and Suhl, Leena and Leimeister, Jan M.Editors}, year={2016} }
LibreCat
| Download (ext.)
2016 | Encyclopedia Article | LibreCat-ID: 1153 |
@inbook{Geierhos_2016, place={Berlin, Germany}, edition={9}, title={Sentimentanalyse}, booktitle={Enzyklopädie der Wirtschaftsinformatik}, publisher={GITO-Verlag}, author={Geierhos, Michaela}, editor={Gronau, Norbert and Becker, Jörg and Sinz, Elmar and Suhl, Leena and Leimeister, Jan M.Editors}, year={2016} }
LibreCat
| Download (ext.)
2016 | Encyclopedia Article | LibreCat-ID: 1154 |
@inbook{Geierhos_2016, place={Berlin, Germany}, edition={9}, title={Text Mining}, booktitle={Enzyklopädie der Wirtschaftsinformatik}, publisher={GITO-Verlag}, author={Geierhos, Michaela}, editor={Gronau, Norbert and Becker, Jörg and Sinz, Elmar and Suhl, Leena and Leimeister, Jan M.Editors}, year={2016} }
LibreCat
| Download (ext.)
2016 | Encyclopedia Article | LibreCat-ID: 1155 |
@inbook{Geierhos_2016, place={Berlin, Germany}, edition={9}, title={Crawler (fokussiert / nicht fokussiert)}, booktitle={Enzyklopädie der Wirtschaftsinformatik}, publisher={GITO-Verlag}, author={Geierhos, Michaela}, editor={Gronau, Norbert and Becker, Jörg and Sinz, Elmar and Suhl, Leena and Leimeister, Jan M.Editors}, year={2016} }
LibreCat
| Download (ext.)
2016 | Mastersthesis | LibreCat-ID: 210
@book{Leder_2016, title={Congestion Games with Mixed Objectives}, publisher={Universität Paderborn}, author={Leder, Lennart}, year={2016} }
LibreCat
2016 | Journal Article | LibreCat-ID: 21034
@article{Brecht_Luo_Herrmann_Silberhorn_2016, title={A versatile design for resonant guided-wave parametric down-conversion sources for quantum repeaters}, volume={122}, DOI={10.1007/s00340-016-6381-4}, journal={Applied Physics B}, author={Brecht, Benjamin and Luo, Kai-Hong and Herrmann, Harald and Silberhorn, Christine}, year={2016}, pages={116} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 21035
@article{Krapick_Brecht_Herrmann_Quiring_Silberhorn_2016, title={On-chip generation of photon-triplet states}, volume={24}, DOI={10.1364/oe.24.002836}, number={32836–2849}, journal={Optics Express}, author={Krapick, Stephan and Brecht, Benjamin and Herrmann, Harald and Quiring, Viktor and Silberhorn, Christine}, year={2016} }
LibreCat
| DOI
2016 | Journal Article | LibreCat-ID: 211
@article{Brangewitz_Manegold_2016, title={Competition of Intermediaries in a Differentiated Duopoly}, volume={6}, DOI={10.4236/tel.2016.66124}, number={6}, journal={Theoretical Economics Letters}, publisher={Scientific Research Publishing (SCIRP)}, author={Brangewitz, Sonja and Manegold, Jochen}, year={2016}, pages={1341–1362} }
LibreCat
| Files available
| DOI
2016 | Dissertation | LibreCat-ID: 212
@book{Manegold_2016, title={Competition in Markets with Intermediaries}, publisher={Universität Paderborn}, author={Manegold, Jochen}, year={2016} }
LibreCat
| Files available
2016 | Bachelorsthesis | LibreCat-ID: 213
@book{Porzenheim_2016, title={Comparison of different Definitions of Chosen-Ciphertext Security in Encryption schemes}, publisher={Universität Paderborn}, author={Porzenheim, Laurens}, year={2016} }
LibreCat