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.
10727 Publications
2018 | Journal Article | LibreCat-ID: 6828
Derrick, John, et al. “Mechanized Proofs of Opacity: A Comparison of Two Techniques.” Formal Asp. Comput., vol. 30, no. 5, 2018, pp. 597–625, doi:10.1007/s00165-017-0433-3.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6836
Doherty, Simon, et al. “Making Linearizability Compositional for Partially Ordered Executions.” Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–29, doi:10.1007/978-3-319-98938-9\_7.
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 6838
Doherty, Simon, et al. “Making Linearizability Compositional for Partially Ordered Executions.” Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–29, doi:10.1007/978-3-319-98938-9\_7.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 1689
Krimphove, Dieter. “Die „neue“ MaRisk (BA) 9/2017.” Zeitschrift Für Bank- Und Kapitalmarktrecht BKR, no. Heft 1, 2018, p. 1 ff.
LibreCat
2018 | Book Chapter | LibreCat-ID: 16938
Engels, Gregor, et al. “Gerechtigkeit in Flexiblen Arbeits- Und Managementprozessen.” Zukunft Der Arbeit – Eine Praxisnahe Betrachtung, edited by Steffen Wischmann and Ernst Andreas Hartmann, Springer Verlag, 2018, pp. 221–31, doi:10.1007/978-3-662-49266-6_16.
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 1043
Isenberg, Tobias, et al. “Validity of Software Verification Results on Approximate Hardware.” IEEE Embedded Systems Letters, Institute of Electrical and Electronics Engineers (IEEE), 2018, pp. 22–25, doi:10.1109/LES.2017.2758200.
LibreCat
| Files available
| DOI
2018 | Bachelorsthesis | LibreCat-ID: 1044
Leer, Richard. Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1045
Strüwer, Jan Niclas. Interactive Data Visualization for Exploded Supergraphs. Universität Paderborn, 2018.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 1096
Beyer, Dirk, et al. “Reducer-Based Construction of Conditional Verifiers.” Proceedings of the 40th International Conference on Software Engineering (ICSE), ACM, 2018, pp. 1182--1193.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
Jentzsch, Felix Paul. Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn, 2018.
LibreCat
2018 | Book Chapter | LibreCat-ID: 1104
Geierhos, Michaela. “Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen.” Unschärfe - Der Umgang mit fehlender Eindeutigkeit, edited by Steffen Freitag et al., 1st ed., Ferdinand Schöningh, 2018, pp. 111–28.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 11760 | 
Ebbers, Janek, et al. “Evaluation of Modulation-MFCC Features and DNN Classification for Acoustic Event Detection.” DAGA 2018, München, 2018.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1181 |
Bäumer, Frederik Simon, and Michaela Geierhos. “How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas.” 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), edited by Klaus Schmid et al., vol. 2075, CEUR-WS.org, 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1182 |
Friesen, Edwin, et al. “CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface.” 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), edited by Klaus Schmid et al., vol. 2075, CEUR-WS.org, 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1183 |
Caron, Matthew, et al. “Back to Basics: Extracting Software Requirements with a Syntactic Approach.” 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), edited by Klaus Schmid et al., vol. 2075, CEUR-WS.org, 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11835 |
Heymann, Jahn, et al. “Frame-Online DNN-WPE Dereverberation.” IWAENC 2018, Tokio, Japan, 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11837 |
Heitkaemper, Jens, et al. “Smoothing along Frequency in Online Neural Network Supported Acoustic Beamforming.” ITG 2018, Oldenburg, Germany, 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11872 |
Drude, Lukas, et al. “Integration Neural Network Based Beamforming and Weighted Prediction Error Dereverberation.” INTERSPEECH 2018, Hyderabad, India, 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11873 |
Drude, Lukas, et al. “NARA-WPE: A Python Package for Weighted Prediction Error Dereverberation in Numpy and Tensorflow for Online and Offline Processing.” ITG 2018, Oldenburg, Germany, 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 11916 |
Despotovic, Vladimir, et al. “Machine Learning Techniques for Semantic Analysis of Dysarthric Speech: An Experimental Study.” Speech Communication 99 (2018) 242-251 (Elsevier B.V.), 2018.
LibreCat
| Download (ext.)