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
@inproceedings{Jakobs_2017, series={Lecture Notes in Computer Science}, title={PART_PW: From Partial Analysis Results to a Proof Witness}, DOI={10.1007/978-3-319-66197-1_8}, booktitle={Software Engineering and Formal Methods}, author={Jakobs, Marie-Christine}, editor={Cimatti, Alessandro and Sirjani, MarjanEditors}, year={2017}, pages={120–135}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 84
@inproceedings{Platenius_Arifulina_Schäfer_2017, series={Lecture Notes in Informatics (LNI)}, title={MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (Extended Abstract)}, booktitle={Tagungsband Software Engineering}, author={Platenius, Marie Christin and Arifulina, Svetlana and Schäfer, Wilhelm}, year={2017}, pages={81--82}, collection={Lecture Notes in Informatics (LNI)} }
LibreCat
| Files available
2017 | Journal Article | LibreCat-ID: 8564
@article{Liebendörfer_Schukajlow_2017, title={Interest development during the first year at university: do mathematical beliefs predict interest in mathematics?}, volume={49}, DOI={10.1007/s11858-016-0827-3}, number={3}, journal={ZDM}, author={Liebendörfer, Michael and Schukajlow, Stanislaw}, year={2017}, pages={355–366} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 8752
@inproceedings{Peitz_Dellnitz_2017, place={Cham}, title={Gradient-Based Multiobjective Optimization with Uncertainties}, DOI={10.1007/978-3-319-64063-1_7}, booktitle={NEO 2016}, author={Peitz, Sebastian and Dellnitz, Michael}, year={2017}, pages={159–182} }
LibreCat
| DOI
2017 | Dissertation | LibreCat-ID: 89
@book{Bäumer_2017, title={Indikatorbasierte Erkennung und Kompensation von ungenauen und unvollständig beschriebenen Softwareanforderungen}, DOI={10.17619/UNIPB/1-157}, publisher={Universität Paderborn}, author={Bäumer, Frederik Simon}, year={2017} }
LibreCat
| DOI
2017 | Journal Article | LibreCat-ID: 9607
@article{Kakvi_Kiltz_2017, title={Optimal Security Proofs for Full Domain Hash, Revisited}, DOI={10.1007/s00145-017-9257-9}, journal={Journal of Cryptology}, author={Kakvi, Saqib and Kiltz, Eike}, year={2017}, pages={276–306} }
LibreCat
| DOI
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 9682
@inproceedings{Brecht_Lazo-Arjona_Kaczmarek_Parker_Ricken_Quiring_Eigner_Luo_Herrmann_Silberhorn_et al._2017, title={A monolithic, doubly-resonant parametric down-conversion source for Caesium Raman memories}, DOI={10.1364/fio.2017.jw4a.3}, booktitle={Frontiers in Optics 2017}, author={Brecht, Benjamin and Lazo-Arjona, O. and Kaczmarek, K. T. and Parker, T. and Ricken, R. and Quiring, V. and Eigner, Christof and Luo, K. H. and Herrmann, Harald and Silberhorn, Christine and et al.}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 97
@inproceedings{van Rooijen_Bäumer_Platenius_Geierhos_Hamann_Engels_2017, place={Piscataway, NJ, USA}, title={From User Demand to Software Service: Using Machine Learning to Automate the Requirements Specification Process}, DOI={10.1109/REW.2017.26}, booktitle={2017 IEEE 25th International Requirements Engineering Conference Workshops (REW)}, publisher={IEEE}, author={van Rooijen, Lorijn and Bäumer, Frederik Simon and Platenius, Marie Christin and Geierhos, Michaela and Hamann, Heiko and Engels, Gregor}, year={2017}, pages={379–385} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 98
@inproceedings{Schwichtenberg_Gerth_Engels_2017, title={From Open API to Semantic Specifications and Code Adapters}, booktitle={Proceedings of the 24th IEEE International Conference on Web Services (ICWS)}, author={Schwichtenberg, Simon and Gerth, Christian and Engels, Gregor}, year={2017}, pages={484--491} }
LibreCat
| Files available
2017 | Journal Article | LibreCat-ID: 9862 | 
@article{Mahnken_2017, title={“A variational formulation for fuzzy analysis in continuum mechanics”}, volume={5}, number={3–4}, journal={Mathematics and Mechanics of complex systems}, author={Mahnken, Rolf}, year={2017} }
LibreCat
| Download (ext.)
2017 | Book Chapter | LibreCat-ID: 9872
@inbook{Mahnken_2017, edition={2}, title={,,Identification of Material Parameters for Constitutive Equations “}, volume={4}, booktitle={Encyclopedia of Computational Mechanics}, publisher={John Wiley & Sons}, author={Mahnken, Rolf}, editor={Stein, Erwin and de Borst, Rene and Hughes, Thomas J.R.Editors}, year={2017}, pages={1165} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 99
@inproceedings{Wehrheim_2017, series={LNCS}, title={Fault localization in service compositions}, booktitle={Proceedings of the 14th International Conference on Formal Aspects of Component Software (FACS)}, author={Wehrheim, Heike}, year={2017}, collection={LNCS} }
LibreCat
| Files available
2017 | Conference Paper | LibreCat-ID: 9941
@inproceedings{Dridger_Caylak_Mahnken_2017, title={“A POSSIBILISTIC APPROACH FOR LINEAR ISOTROPIC ELASTICITY USING THE FUZZY FINITE ELEMENT METHOD”}, DOI={10.7712/120217.5392.16813}, booktitle={Proceedings of the 2nd International Conference on Uncertainty Quantification in Computational Sciences and Engineering (UNCECOMP 2017)}, author={Dridger, Alex and Caylak, Ismail and Mahnken, Rolf}, year={2017} }
LibreCat
| DOI
2017 | Conference Paper | LibreCat-ID: 9969
@inproceedings{Bender_Kaul_Sextro_2017, place={Wissenschaftsforum Intelligente Technische Systeme (WInTeSys) 2017}, title={Entwicklung eines Condition Monitoring Systems für Gummi-Metall-Elemente}, booktitle={Verlagsschriftenreihe des Heinz Nixdorf Instituts Band 369, Paderborn, 2017}, author={Bender, Amelie and Kaul, Thorben and Sextro, Walter}, year={2017}, pages={347–358} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 9970
@inproceedings{Bender_Kimotho_Kohl_Sextro_Reinke_2017, title={Modellbasierte Prognose der nutzbaren Restlebensdauer von Gummi-Metall-Elementen}, booktitle={15. Internationale Schienenfahrzeugtagung}, author={Bender, Amelie and Kimotho, James Kuria and Kohl, Sergej and Sextro, Walter and Reinke, Kai}, year={2017}, pages={123–125} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 9971
@inproceedings{Bender_Sextro_Reinke_2017, title={Neuartiges Konzept zur Lebensdauerprognose von Gummi-Metall-Elementen}, booktitle={VDI-Berichte 2301}, author={Bender, Amelie and Sextro, Walter and Reinke, Kai}, year={2017}, pages={49–60} }
LibreCat
2017 | Journal Article | LibreCat-ID: 9972
@article{Dunst_Hemsel_Sextro_2017, title={Analysis of pipe vibration in an ultrasonic powder transportationsystem}, volume={Sensors and Actuators A 263}, journal={elsevier}, author={Dunst, Paul and Hemsel, Tobias and Sextro, Walter}, year={2017}, pages={733–736} }
LibreCat
2017 | Journal Article | LibreCat-ID: 9973
@article{Eichwald_Althoff_Schemmel_Sextro_Unger_Brökelmann_Hunstig_2017, title={Multi-dimensional Ultrasonic Copper Bonding – New Challenges for Tool Design}, volume={Vol. 2017, No. 1}, journal={IMAPSource}, author={Eichwald, Paul and Althoff, Simon and Schemmel, Reinhard and Sextro, Walter and Unger, Andreas and Brökelmann, Michael and Hunstig, Matthias}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 9974
@inproceedings{Hentze_Kaul_Grässler_Sextro_2017, title={Integrated modeling og behavior and reliability in system development}, booktitle={ICED17, 21st International conference on enginieering design}, author={Hentze, Julian and Kaul, Thorben and Grässler, Iris and Sextro, Walter}, year={2017}, pages={385–394} }
LibreCat
2017 | Journal Article | LibreCat-ID: 9975
@article{Hunstig_2017, title={Piezoelectric Inertia Motors—A Critical Review of History, Concepts, Design, Applications, and Perspectives.}, DOI={10.3390/act6010007}, journal={Actuators. 2017, 6(1)-7.}, author={Hunstig, Matthias}, year={2017}, pages={1–35} }
LibreCat
| DOI