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.
9700 Publications
2014 | Mastersthesis | LibreCat-ID: 391
@book{Feldkord_2014, title={On Variants of the Page Migration Problem}, publisher={Universität Paderborn}, author={Feldkord, Björn}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 3128
@inproceedings{Fleischhacker_Jager_Schröder_2014, title={On Tight Security Proofs for Schnorr Signatures}, DOI={10.1007/978-3-662-45611-8_27}, booktitle={Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I}, author={Fleischhacker, Nils and Jager, Tibor and Schröder, Dominique}, year={2014}, pages={512--531} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3170
@inproceedings{Derrick_Dongol_Schellhorn_Tofan_Travkin_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Quiescent Consistency: Defining and Verifying Relaxed Linearizability}, DOI={10.1007/978-3-319-06410-9_15}, booktitle={{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings}, author={Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Tofan, Bogdan and Travkin, Oleg and Wehrheim, Heike}, editor={B. Jones, Cliff and Pihlajasaari, Pekka and Sun, JunEditors}, year={2014}, pages={200--214}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3171
@inproceedings{Travkin_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Handling {TSO} in Mechanized Linearizability Proofs}, DOI={10.1007/978-3-319-13338-6_11}, booktitle={Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings}, author={Travkin, Oleg and Wehrheim, Heike}, editor={Yahav, EranEditor}, year={2014}, pages={132--147}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
@inproceedings{Isenberg_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Timed Automata Verification via {IC3} with Zones}, DOI={10.1007/978-3-319-11737-9_14}, booktitle={Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings}, author={Isenberg, Tobias and Wehrheim, Heike}, editor={Merz, Stephan and Pang, JunEditors}, year={2014}, pages={203--218}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
@inproceedings{A. Schneider_Treharne_Wehrheim_M. Williams_2014, series={Lecture Notes in Computer Science}, title={Managing {LTL} Properties in Event-B Refinement}, DOI={10.1007/978-3-319-10181-1_14}, booktitle={Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings}, author={A. Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David}, editor={Albert, Elvira and Sekerinski, EmilEditors}, year={2014}, pages={221--237}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27059
@article{Bel-Serrat_Mouratidou_Huybrechts_Labayen_Cuenca-García_Palacios_Breidenassel_Molnár_Roccaldo_Widhalm_et al._2014, title={Associations between macronutrient intake and serum lipid profile depend on body fat in European adolescents: the Healthy Lifestyle in Europe by Nutrition in Adolescence (HELENA) study}, DOI={10.1017/s0007114514003183}, journal={British Journal of Nutrition}, author={Bel-Serrat, Silvia and Mouratidou, Theodora and Huybrechts, Inge and Labayen, Idoia and Cuenca-García, Magdalena and Palacios, Gonzalo and Breidenassel, Christina and Molnár, Dénes and Roccaldo, Romana and Widhalm, Kurt and et al.}, year={2014}, pages={2049–2059} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 27337
@inproceedings{Schöppner_Herken_Reinders_Westhues_2014, place={Düsseldorf (Deutschland)}, title={Simulation des Compoundiervorgangs im Doppelschneckenextruder, Modellierung - Simulation - Auslegung}, booktitle={Erfolgreich Compoundieren mit Pulvern und Stäuben}, author={Schöppner, Volker and Herken, T. and Reinders, F. and Westhues, K.}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 1135 | 
@inproceedings{Dollmann_Geierhos_2014, place={Hildesheim, Germany}, title={SentiBA: Lexicon-based Sentiment Analysis on German Product Reviews}, booktitle={Workshop Proceedings of the 12th Edition of the KONVENS Conference}, publisher={Universitätsverlag Hildesheim}, author={Dollmann, Markus and Geierhos, Michaela}, editor={Faaß, Gertrud and Ruppenhofer, JosefEditors}, year={2014}, pages={185–191} }
LibreCat
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 20982
@inbook{Koch_Holtmann_DeAntoni_2014, place={Cham}, title={Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications}, DOI={10.1007/978-3-319-09970-5_14}, booktitle={Software Architecture}, author={Koch, Thorsten and Holtmann, Jörg and DeAntoni, Julien}, year={2014} }
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 21211
@inbook{Herzig_Aßmann_Klar_2014, title={Grundbildung Medien im Profilstudium im Lehramt}, booktitle={Grundbildung Medien in pädagogischen Studiengängen}, publisher={kopaed}, author={Herzig, Bardo and Aßmann, Sandra and Klar, Tilman-Mathies}, editor={Imort, Peter and Niesyto, HorstEditors}, year={2014}, pages={65–80} }
LibreCat
2014 | Dissertation | LibreCat-ID: 21503
@book{Hein_2014, place={Düren}, series={Laboratorium für Werkstoff- und Fügetechnik}, title={Beitrag zur Kennwertermittlung für die numerische Simulation des Tragverhaltens von Halbhohlstanznietverbindungen unter Crashbelastung}, volume={Band 107}, publisher={Shaker Verlag GmbH}, author={Hein, David}, year={2014}, collection={Laboratorium für Werkstoff- und Fügetechnik} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 1781
@inproceedings{Steinle_Vrabec_Walther_2014, title={Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres}, DOI={10.1007/978-3-319-09063-4_19}, booktitle={Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC)}, publisher={Springer International Publishing}, author={Steinle, Tobias and Vrabec, Jadran and Walther, Andrea}, editor={Bock, Hans Georg and Hoang, Xuan Phu and Rannacher, Rolf and Schlöder, Johannes P.Editors}, year={2014}, pages={233–243} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 1782
@inproceedings{Graf_Schaefers_Platzner_2014, place={Switzerland}, series={Lecture Notes in Computer Science}, title={On Semeai Detection in Monte-Carlo Go}, DOI={10.1007/978-3-319-09165-5_2}, number={8427}, booktitle={Proc. Conf. on Computers and Games (CG)}, publisher={Springer}, author={Graf, Tobias and Schaefers, Lars and Platzner, Marco}, year={2014}, pages={14–25}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2014 | Dissertation | LibreCat-ID: 19039
@book{Petring_2014, place={Universität Paderborn}, title={Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit}, author={Petring, Ralf}, year={2014} }
LibreCat
| Files available
2014 | Book (Editor) | LibreCat-ID: 19060
@book{Assmann_Eke_Geulen_2014, place={Berlin}, title={Entsorgungsprobleme: Müll in der Literatur}, publisher={Erich Schmidt}, year={2014} }
LibreCat
2014 | Book (Editor) | LibreCat-ID: 19063
@book{Eke_Foit_Kaerlein_Künsemöller_2014, place={München}, title={Logiken strukturbildender Prozesse: Automatismen}, publisher={Fink}, year={2014} }
LibreCat
2014 | Book (Editor) | LibreCat-ID: 19064
@book{Eke_Füllner_Vidal_2014, place={Bielefeld}, title={„Zuckererbsen für Jedermann“. Literatur und Utopie. Heine und Bloch heute}, publisher={Aisthesis}, year={2014} }
LibreCat
2014 | Book (Editor) | LibreCat-ID: 19069
@book{Brauerhoch_Eke_Wieser_Zechner_2014, place={München}, title={Entautomatisierung}, publisher={Fink}, year={2014} }
LibreCat
2014 | Book (Editor) | LibreCat-ID: 19070
@book{Eke_Haß_Kaldrack_2014, place={München}, title={Bühne. Raumbildende Prozesse im Theater}, publisher={Fink}, year={2014} }
LibreCat