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.
10988 Publications
2017 | Conference Paper | LibreCat-ID: 73
Jakobs M-C. PART_PW: From Partial Analysis Results to a Proof Witness. In: Cimatti A, Sirjani M, eds. Software Engineering and Formal Methods. Lecture Notes in Computer Science. ; 2017:120-135. doi:10.1007/978-3-319-66197-1_8
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 84
Platenius MC, Arifulina S, Schäfer W. MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract). In: Tagungsband Software Engineering. Lecture Notes in Informatics (LNI). ; 2017:81--82.
LibreCat
| Files available
2017 | Journal Article | LibreCat-ID: 8564
Liebendörfer M, Schukajlow S. Interest development during the first year at university: do mathematical beliefs predict interest in mathematics? ZDM. 2017;49(3):355-366. doi:10.1007/s11858-016-0827-3
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 8752
Peitz S, Dellnitz M. Gradient-Based Multiobjective Optimization with Uncertainties. In: NEO 2016. Cham; 2017:159-182. doi:10.1007/978-3-319-64063-1_7
LibreCat
| DOI
2017 | Dissertation | LibreCat-ID: 89
Bäumer FS. Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen. Universität Paderborn; 2017. doi:10.17619/UNIPB/1-157
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 9607
Kakvi S, Kiltz E. Optimal Security Proofs for Full Domain Hash, Revisited. Journal of Cryptology. 2017:276-306. doi:10.1007/s00145-017-9257-9
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 9682
Brecht B, Lazo-Arjona O, Kaczmarek KT, et al. A monolithic, doubly-resonant parametric down-conversion source for Caesium Raman memories. In: Frontiers in Optics 2017. ; 2017. doi:10.1364/fio.2017.jw4a.3
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 97
van Rooijen L, Bäumer FS, Platenius MC, Geierhos M, Hamann H, Engels G. From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process. In: 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW). Piscataway, NJ, USA: IEEE; 2017:379-385. doi:10.1109/REW.2017.26
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 98
Schwichtenberg S, Gerth C, Engels G. From Open API to Semantic Specifications and Code Adapters. In: Proceedings of the 24th IEEE International Conference on Web Services (ICWS). ; 2017:484--491.
LibreCat
| Files available
2017 | Journal Article | LibreCat-ID: 9862 | 
Mahnken R. “A variational formulation for fuzzy analysis in continuum mechanics.” Mathematics and Mechanics of complex systems. 2017;5(3-4).
LibreCat
| Download (ext.)
2017 | Book Chapter | LibreCat-ID: 9872
Mahnken R. ,,Identification of Material Parameters for Constitutive Equations “. In: Stein E, de Borst R, Hughes TJR, eds. Encyclopedia of Computational Mechanics. Vol 4. 2nd ed. John Wiley & Sons; 2017:1165.
LibreCat
2017 | Conference Paper | LibreCat-ID: 99
Wehrheim H. Fault localization in service compositions. In: Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS). LNCS. ; 2017.
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 9941
Dridger A, Caylak I, Mahnken R. “A POSSIBILISTIC APPROACH FOR LINEAR ISOTROPIC ELASTICITY USING THE FUZZY FINITE ELEMENT METHOD.” In: Proceedings of the 2nd International Conference on Uncertainty Quantification in Computational Sciences and Engineering (UNCECOMP 2017). ; 2017. doi:10.7712/120217.5392.16813
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 9969
Bender A, Kaul T, Sextro W. Entwicklung eines Condition Monitoring Systems für Gummi-Metall-Elemente. In: Verlagsschriftenreihe Des Heinz Nixdorf Instituts Band 369, Paderborn, 2017. Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017; 2017:347-358.
LibreCat
2017 | Conference Paper | LibreCat-ID: 9970
Bender A, Kimotho JK, Kohl S, Sextro W, Reinke K. Modellbasierte Prognose der nutzbaren Restlebensdauer von Gummi-Metall-Elementen. In: 15. Internationale Schienenfahrzeugtagung. ; 2017:123-125.
LibreCat
2017 | Conference Paper | LibreCat-ID: 9971
Bender A, Sextro W, Reinke K. Neuartiges Konzept zur Lebensdauerprognose von Gummi-Metall-Elementen. In: VDI-Berichte 2301. ; 2017:49-60.
LibreCat
2017 | Journal Article | LibreCat-ID: 9972
Dunst P, Hemsel T, Sextro W. Analysis of pipe vibration in an ultrasonic powder transportationsystem. elsevier. 2017;Sensors and Actuators A 263:733-736.
LibreCat
2017 | Journal Article | LibreCat-ID: 9973
Eichwald P, Althoff S, Schemmel R, et al. Multi-dimensional Ultrasonic Copper Bonding – New Challenges for Tool Design. IMAPSource. 2017;Vol. 2017, No. 1.
LibreCat
2017 | Conference Paper | LibreCat-ID: 9974
Hentze J, Kaul T, Grässler I, Sextro W. Integrated modeling og behavior and reliability in system development. In: ICED17, 21st International Conference on Enginieering Design. ; 2017:385-394.
LibreCat
2017 | Journal Article | LibreCat-ID: 9975
Hunstig M. Piezoelectric Inertia Motors—A Critical Review of History, Concepts, Design, Applications, and Perspectives. Actuators 2017, 6(1)-7. 2017:1-35. doi:10.3390/act6010007
LibreCat
| DOI