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.
7302 Publications
2014 | Journal Article | LibreCat-ID: 387
@article{Awerbuch_Richa_Scheideler_Schmid_Zhang_2014, title={Principles of Robust Medium Access and an Application to Leader Election}, DOI={10.1145/2635818}, number={4}, journal={Transactions on Algorithms}, publisher={ACM}, author={Awerbuch, Baruch and Richa, Andrea W. and Scheideler, Christian and Schmid, Stefan and Zhang, Jin}, year={2014} }
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 3890
@article{Hammer_2014, title={Oblique incidence of semi-guided waves on rectangular slab waveguide discontinuities: A vectorial QUEP solver}, volume={338}, DOI={10.1016/j.optcom.2014.09.087}, journal={Optics Communications}, publisher={Elsevier BV}, author={Hammer, Manfred}, year={2014}, pages={447–456} }
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 390
@article{Huma_Gerth_Engels_2014, title={On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains}, DOI={10.1007/s00450-014-0254-z}, number={3–4}, journal={Computer Science - Research and Development}, publisher={Springer}, author={Huma, Zille and Gerth, Christian and Engels, Gregor}, year={2014}, pages={333–361} }
LibreCat
| Files available
| DOI
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 | Journal Article | LibreCat-ID: 3167
@article{Schneider_Treharne_Wehrheim_2014, title={The behavioural semantics of Event-B refinement}, DOI={10.1007/s00165-012-0265-0}, number={2}, journal={Formal Asp. Comput.}, author={Schneider, Steve and Treharne, Helen and Wehrheim, Heike}, year={2014}, pages={251--280} }
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 | Conference Paper | LibreCat-ID: 23682
@inproceedings{Mittag_Gausemeier_Gräßler_Iwanek_Köchling_Petersen_2014, title={Conceptual Design of a Self-Optimising Production Control System}, volume={8}, booktitle={Disruptive Innovation in Manufacturing Engineering towards the 4th Industrial Revolution: mit CD-ROM - Proceedings of the 8th International CIRP Conference on Digital Enterprise Technology - DET 2014, International CIRP Conference on Digital Enterprise Technology (DET), Nr. 8}, publisher={Fraunhofer-Institut für Arbeitswirtschaft und Organisation (IAO), Fraunhofer Verlag}, author={Mittag, Tobias and Gausemeier, Jürgen and Gräßler, Iris and Iwanek, Peter and Köchling, Daniel and Petersen, Marcus}, year={2014} }
LibreCat
2014 | Journal Article | LibreCat-ID: 23688
@article{Heim_Ries_Schöppner_Wibbeke_Turek_Damanik_Mahnken_Dammann_Wünsch_Al-Baldawi_et al._2014, title={Eigenverstärkte Thermoplastverbunde - Verbundwerkstoffe (Teil 2)}, journal={Kunststoffe 104 (3/2014)}, author={Heim, Hans-Peter and Ries, Angela and Schöppner, Volker and Wibbeke, Andrea and Turek, Stefan and Damanik, Hogenrich and Mahnken, Rolf and Dammann, Christian and Wünsch, Olaf and Al-Baldawi, Ammar and et al.}, year={2014}, pages={72–78} }
LibreCat