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.
7301 Publications
2014 | Journal Article | LibreCat-ID: 3890
Hammer, M. (2014). Oblique incidence of semi-guided waves on rectangular slab waveguide discontinuities: A vectorial QUEP solver. Optics Communications, 338, 447–456. https://doi.org/10.1016/j.optcom.2014.09.087
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 390
Huma, Z., Gerth, C., & Engels, G. (2014). On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains. Computer Science - Research and Development, (3–4), 333–361. https://doi.org/10.1007/s00450-014-0254-z
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 3128
Fleischhacker, N., Jager, T., & Schröder, D. (2014). On Tight Security Proofs for Schnorr Signatures. In 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 (pp. 512--531). https://doi.org/10.1007/978-3-662-45611-8_27
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3167
Schneider, S., Treharne, H., & Wehrheim, H. (2014). The behavioural semantics of Event-B refinement. Formal Asp. Comput., (2), 251--280. https://doi.org/10.1007/s00165-012-0265-0
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3170
Derrick, J., Dongol, B., Schellhorn, G., Tofan, B., Travkin, O., & Wehrheim, H. (2014). Quiescent Consistency: Defining and Verifying Relaxed Linearizability. In C. B. Jones, P. Pihlajasaari, & J. Sun (Eds.), {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (pp. 200--214). https://doi.org/10.1007/978-3-319-06410-9_15
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3171
Travkin, O., & Wehrheim, H. (2014). Handling {TSO} in Mechanized Linearizability Proofs. In E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings (pp. 132--147). https://doi.org/10.1007/978-3-319-13338-6_11
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
Isenberg, T., & Wehrheim, H. (2014). Timed Automata Verification via {IC3} with Zones. In S. Merz & J. Pang (Eds.), Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings (pp. 203--218). https://doi.org/10.1007/978-3-319-11737-9_14
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
A. Schneider, S., Treharne, H., Wehrheim, H., & M. Williams, D. (2014). Managing {LTL} Properties in Event-B Refinement. In E. Albert & E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (pp. 221--237). https://doi.org/10.1007/978-3-319-10181-1_14
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27059
Bel-Serrat, S., Mouratidou, T., Huybrechts, I., Labayen, I., Cuenca-García, M., Palacios, G., Breidenassel, C., Molnár, D., Roccaldo, R., Widhalm, K., Gottrand, F., Kafatos, A., Manios, Y., Vyncke, K., Sjöström, M., Libuda, L., Gómez-Martínez, S., & Moreno, L. A. (2014). 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. British Journal of Nutrition, 2049–2059. https://doi.org/10.1017/s0007114514003183
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 27337
Schöppner, V., Herken, T., Reinders, F., & Westhues, K. (2014). Simulation des Compoundiervorgangs im Doppelschneckenextruder, Modellierung - Simulation - Auslegung. Erfolgreich Compoundieren mit Pulvern und Stäuben. Erfolgreich Compoundieren mit Pulvern und Stäuben, Düsseldorf (Deutschland).
LibreCat
2014 | Conference Paper | LibreCat-ID: 1135 | 
Dollmann, M., & Geierhos, M. (2014). SentiBA: Lexicon-based Sentiment Analysis on German Product Reviews. In G. Faaß & J. Ruppenhofer (Eds.), Workshop Proceedings of the 12th Edition of the KONVENS Conference (pp. 185–191). Hildesheim, Germany: Universitätsverlag Hildesheim.
LibreCat
| Download (ext.)
2014 | Book Chapter | LibreCat-ID: 20982
Koch, T., Holtmann, J., & DeAntoni, J. (2014). Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications. In Software Architecture. Cham. https://doi.org/10.1007/978-3-319-09970-5_14
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 21211
Herzig, B., Aßmann, S., & Klar, T.-M. (2014). Grundbildung Medien im Profilstudium im Lehramt. In P. Imort & H. Niesyto (Eds.), Grundbildung Medien in pädagogischen Studiengängen (pp. 65–80). kopaed.
LibreCat
2014 | Dissertation | LibreCat-ID: 21503
Hein, D. (2014). Beitrag zur Kennwertermittlung für die numerische Simulation des Tragverhaltens von Halbhohlstanznietverbindungen unter Crashbelastung (Vol. Band 107). Düren: Shaker Verlag GmbH.
LibreCat
2014 | Conference Paper | LibreCat-ID: 1781
Steinle, T., Vrabec, J., & Walther, A. (2014). Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres. In H. G. Bock, X. P. Hoang, R. Rannacher, & J. P. Schlöder (Eds.), Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC) (pp. 233–243). Springer International Publishing. https://doi.org/10.1007/978-3-319-09063-4_19
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 1782
Graf, T., Schaefers, L., & Platzner, M. (2014). On Semeai Detection in Monte-Carlo Go. In Proc. Conf. on Computers and Games (CG) (pp. 14–25). Switzerland: Springer. https://doi.org/10.1007/978-3-319-09165-5_2
LibreCat
| DOI
2014 | Dissertation | LibreCat-ID: 19039
Petring, R. (2014). Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit. Universität Paderborn.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 23682
Mittag, T., Gausemeier, J., Gräßler, I., Iwanek, P., Köchling, D., & Petersen, M. (2014). Conceptual Design of a Self-Optimising Production Control System. In 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 (Vol. 8). Fraunhofer-Institut für Arbeitswirtschaft und Organisation (IAO), Fraunhofer Verlag.
LibreCat
2014 | Journal Article | LibreCat-ID: 23688
Heim, H.-P., Ries, A., Schöppner, V., Wibbeke, A., Turek, S., Damanik, H., … Petersen, M. (2014). Eigenverstärkte Thermoplastverbunde - Verbundwerkstoffe (Teil 2). Kunststoffe 104 (3/2014), 72–78.
LibreCat
2014 | Journal Article | LibreCat-ID: 23690
Heim, H.-P., Ries, A., Schöppner, V., Wibbeke, A., Turek, S., Damanik, H., … Petersen, M. (2014). Self-Reinforced Thermoplastic Composites - Composite Materials (Part 2). Kunststoffe International 104 (3/2014), 41–46.
LibreCat