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.
367 Publications
2018 | Conference Paper | LibreCat-ID: 1181 | 
@inproceedings{Bäumer_Geierhos_2018, series={CEUR Workshop Proceedings}, title={How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas}, volume={2075}, booktitle={Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)}, publisher={CEUR-WS.org}, author={Bäumer, Frederik Simon and Geierhos, Michaela}, editor={Schmid, Klaus and Spoletini, Paola and Ben Charrada, Eya and Chisik, Yoram and Dalpiaz, Fabiano and Ferrari, Alessio and Forbrig, Peter and Franch, Xavier and Kirikova, Marite and Madhavji, Nazim and et al.Editors}, year={2018}, collection={CEUR Workshop Proceedings} }
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1182 |
@inproceedings{Friesen_Bäumer_Geierhos_2018, series={CEUR Workshop Proceedings}, title={CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface}, volume={2075}, booktitle={Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)}, publisher={CEUR-WS.org}, author={Friesen, Edwin and Bäumer, Frederik Simon and Geierhos, Michaela}, editor={Schmid, Klaus and Spoletini, Paola and Ben Charrada, Eya and Chisik, Yoram and Dalpiaz, Fabiano and Ferrari, Alessio and Forbrig, Peter and Franch, Xavier and Kirikova, Marite and Madhavji, Nazim and et al.Editors}, year={2018}, collection={CEUR Workshop Proceedings} }
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1183 |
@inproceedings{Caron_Bäumer_Geierhos_2018, series={CEUR Workshop Proceedings}, title={Back to Basics: Extracting Software Requirements with a Syntactic Approach}, volume={2075}, booktitle={Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018)}, publisher={CEUR-WS.org}, author={Caron, Matthew and Bäumer, Frederik Simon and Geierhos, Michaela}, editor={Schmid, Klaus and Spoletini, Paola and Ben Charrada, Eya and Chisik, Yoram and Dalpiaz, Fabiano and Ferrari, Alessio and Forbrig, Peter and Franch, Xavier and Kirikova, Marite and Madhavji, Nazim and et al.Editors}, year={2018}, collection={CEUR Workshop Proceedings} }
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11710
@inproceedings{Chen_Wachsmuth_Al Khatib_Stein_2018, title={Learning to Flip the Bias of News Headlines}, booktitle={Proceedings of the 11th International Conference on Natural Language Generation}, publisher={Association for Computational Linguistics}, author={Chen, Wei-Fan and Wachsmuth, Henning and Al Khatib, Khalid and Stein, Benno}, year={2018}, pages={79–88} }
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 14873
@inproceedings{Chen_Hagen_Stein_Potthast_2018, title={A User Study on Snippet Generation: Text Reuse vs. Paraphrases}, booktitle={Proceedings of the 41st International ACM SIGIR Conference on Research & Development in Information Retrieval}, author={Chen, Wei-Fan and Hagen, Matthias and Stein, Benno and Potthast, Martin}, year={2018}, pages={1033–1036} }
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 14885
@inproceedings{Potthast_Chen_Hagen_Stein_2018, title={A Plan for Ancillary Copyright: Original Snippets.}, booktitle={Proceedings of the Second International Workshop on Recent Trends in News Information Retrieval}, author={Potthast, Martin and Chen, Wei-Fan and Hagen, Matthias and Stein, Benno}, year={2018}, pages={3–5} }
LibreCat
| Download (ext.)
2017 | Conference Paper | LibreCat-ID: 3325
@inproceedings{Melnikov_Hüllermeier_2017, title={Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics}, DOI={10.5445/KSP/1000074341}, booktitle={Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017}, publisher={KIT Scientific Publishing}, author={Melnikov, Vitalik and Hüllermeier, Eyke}, year={2017} }
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 3512
@book{Börding_2017, title={Testing Java Method Contracts}, publisher={Universität Paderborn}, author={Börding, Paul}, year={2017} }
LibreCat
2017 | Bachelorsthesis | LibreCat-ID: 3580
@book{Hansmeier_2017, title={An FPGA Accelerator for Checking Resolution Proofs}, publisher={Universität Paderborn}, author={Hansmeier, Tim}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 114
@inproceedings{Jakobs_Wehrheim_2017, series={Lecture Notes in Computer Science}, title={Compact Proof Witnesses}, DOI={10.1007/978-3-319-57288-8_28}, booktitle={NASA Formal Methods: 9th International Symposium}, author={Jakobs, Marie-Christine and Wehrheim, Heike}, editor={Barrett, Clark and Davies, Misty and Kahsai, TemesghenEditors}, year={2017}, pages={389–403}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2017 | Conference Paper | LibreCat-ID: 115
@inproceedings{Jakobs_Krämer_van Straaten_Lettmann_2017, title={Certification Matters for Service Markets}, booktitle={The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, author={Jakobs, Marie-Christine and Krämer, Julia and van Straaten, Dirk and Lettmann, Theodor}, editor={Marcelo De Barros, Janusz Klink,Tadeus Uhl, Thomas PrinzEditor}, year={2017}, pages={7–12} }
LibreCat
| Files available
2017 | Mastersthesis | LibreCat-ID: 1157
@book{Witschen_2017, title={A Framework for the Synthesis of Approximate Circuits}, publisher={Universität Paderborn}, author={Witschen, Linus Matthias}, year={2017} }
LibreCat
2017 | Journal Article | LibreCat-ID: 90
@article{Isenberg_2017, title={Incremental Inductive Verification of Parameterized Timed Systems}, DOI={10.1145/2984640}, number={2}, journal={ACM Transactions on Embedded Computing Systems}, publisher={ACM}, author={Isenberg, Tobias}, year={2017}, pages={47:1-47:24} }
LibreCat
| Files available
| DOI
2017 | Book Chapter | LibreCat-ID: 93
@inbook{Geierhos_Bäumer_2017, place={Newcastle upon Tyne, UK}, edition={1}, title={Guesswork? Resolving Vagueness in User-Generated Software Requirements}, booktitle={Partiality and Underspecification in Information, Languages, and Knowledge}, publisher={Cambridge Scholars Publishing}, author={Geierhos, Michaela and Bäumer, Frederik Simon}, editor={Christiansen, Henning and Jiménez-López, M. Dolores and Loukanova, Roussanka and Moss, Lawrence S.Editors}, year={2017}, pages={65–108} }
LibreCat
| Files available
2017 | Bachelorsthesis | LibreCat-ID: 5694
@book{Schnitker_2017, title={Genetischer Algorithmus zur Erstellung von Ensembles von Nested Dichotomies}, publisher={Universität Paderborn}, author={Schnitker, Nino Noel}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 57
@inproceedings{Bäumer_Dollmann_Geierhos_2017, place={New York, NY, USA}, title={Studying Software Descriptions in SourceForge and App Stores for a better Understanding of real-life Requirements}, DOI={10.1145/3121264.3121269}, booktitle={Proceedings of the 2nd ACM SIGSOFT International Workshop on App Market Analytics}, publisher={ACM}, author={Bäumer, Frederik Simon and Dollmann, Markus and Geierhos, Michaela}, editor={Sarro, Federica and Shihab, Emad and Nagappan, Meiyappan and Platenius, Marie Christin and Kaimann, DanielEditors}, year={2017}, pages={19–25} }
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 5724
@book{Hetzer_Tornede_2017, title={Solving the Container Pre-Marshalling Problem using Reinforcement Learning and Structured Output Prediction}, publisher={Universität Paderborn}, author={Hetzer, Alexander and Tornede, Tanja}, year={2017} }
LibreCat
2017 | Conference Paper | LibreCat-ID: 5769
@inproceedings{Töws_Wehrheim_2017, title={Policy Dependent and Independent Information Flow Analyses}, DOI={10.1007/978-3-319-68690-5_22}, booktitle={Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods (ICFEM 2017)}, publisher={Springer International Publishing}, author={Töws, Manuel and Wehrheim, Heike}, year={2017}, pages={362–378} }
LibreCat
| Files available
| DOI
2017 | Mastersthesis | LibreCat-ID: 46
@book{Grobbel_2017, title={Was kommt zuerst? Erkennung von zeitlichen Abläufen infunktionalen Softwareanforderungsbeschreibungen}, publisher={Universität Paderborn}, author={Grobbel, Florian}, year={2017} }
LibreCat
2017 | Mastersthesis | LibreCat-ID: 47
@book{Theda_2017, title={Was ist gemeint? Strukturell ambige Sätze als Herausforderung für Parsing-Ansätze}, publisher={Universität Paderborn}, author={Theda, Mona}, year={2017} }
LibreCat