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.
10687 Publications
2019 | Preprint | LibreCat-ID: 19523
Pfannschmidt K, Gupta P, Hüllermeier E. Learning Choice Functions: Concepts and Architectures. arXiv:190110860. 2019.
LibreCat
2019 | Journal Article | LibreCat-ID: 19945 | 
McLachlan RI, Offen C, Tapley BK. Symplectic integration of PDEs using Clebsch variables. Journal of Computational Dynamics. 2019;6(1):111-130. doi:10.3934/jcd.2019005
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 24053
Humphreys D, Berekovic M, Kallfass I, et al. An overview of the Meteracom Project. In: Proc. 43-Nd Meeting of the Wireless World Research Forum (WWRF)",. ; 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 24058
Koppelmann B, Adelt P, Müller W, Scheytt C. RISC-V Extensions for Bit Manipulation Instructions. In: 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS). ; 2019. doi:10.1109/PATMOS.2019.8862170
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 24060
Adelt P, Koppelmann B, Müller W, Scheytt C. Analyse sicherheitskritischer Software für RISC-V Prozessoren. In: MBMV 2019-22.Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2019). ; 2019.
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 24061
Adelt P, Koppelmann B, Müller W, Scheytt C, Driessen B. QEMU for Dynamic Memory Analysis of Security Sensitive Software. In: 2nd International Workshop on Embedded Software for Industrial IoT in Conjunction with DATE 2019. ; 2019:32-34.
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 24063
Adelt P, Koppelmann B, Müller W, Scheytt C. QEMU Support for RISC-V: Current State and Future Releases. 2nd International Workshop on RISC-V Research Activities. 2019;(Presentation).
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 3287 |
Schneider SB, Sharma A, Karl H, Wehrheim H. Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets. In: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM). Washington, DC, USA: IFIP; 2019:116--124.
LibreCat
| Files available
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 3585
Witschen LM, Wiersema T, Ghasemzadeh Mohammadi H, Awais M, Platzner M. CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation. Microelectronics Reliability. 2019;99:277-290. doi:10.1016/j.microrel.2019.04.003
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 2916
Brauer S. Complexity of single-swap heuristics for metric facility location and related problems. Theoretical Computer Science. 2019;754:88-106. doi:10.1016/j.tcs.2018.04.048
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 21524
Lange S, Schröder D, Hedayat C, Otto T, Hilleringmann U. Inductive Locating Method to Locate Miniaturized Wireless Sensors within Inhomogeneous Dielectrics. In: 2019 17th IEEE International New Circuits and Systems Conference (NEWCAS). ; 2019. doi:10.1109/newcas44328.2019.8961227
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 17339
Carmona J, Engels G, Kumar A, Reichert M. Special issue: Selected papers of BPM 2017. Information Systems. 2019:238-239. doi:10.1016/j.is.2019.06.001
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 17342
Engels G, Burgueno L, Pretschner A, et al. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C). In: ; 2019. doi:10.1109/models-c48269.2019
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17343
Engels G, Becker C, Feenberg A, Ferrario MA, Fitzpatrick G. Values in Computing (Dagstuhl Seminar 19291). Dagstuhl Reports 9(7). 2019. doi:10.4230/DAGREP.9.7.40
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17392
Massmann M, Meyer M, Dumitrescu R, et al. Significance and Challenges of Data-driven Product Generation and Retrofit Planning. Procedia CIRP. 2019:992-997. doi:10.1016/j.procir.2019.04.226
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 17395
Koldewey C, Reinhold J, Dumitrescu R, Frank M, Schweppe T, Melzer A. Gestaltung hybrider Wertschöpfung und Arbeit im Kontext von Smart Services. ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb. 2019:380-384. doi:10.3139/104.112113
LibreCat
| DOI
2019 | Newspaper Article | LibreCat-ID: 17402
Koldewey C, Dumitrescu R. Strategie als Erfolgsfaktor. ServiceToday. 2019:76-77.
LibreCat
2019 | Conference Paper | LibreCat-ID: 17403
Koldewey C, Evers HH, Dumitrescu R, Frank M, Gausemeier J, Reinhold J. Development Process for Smart Service Strategies. In: Bitran I, Conn S, Gernreich C, et al., eds. Proceedings of The XXX ISPIM INNOVATION CONFERENCE. Vol 93. ISPIM Innovation Conference; 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 17404
Frank M, Rabe M, Koldewey C, et al. Classification-based Planning of Smart Service Portfolios. In: Proceedings of the ISPIM Connects. International Society for Professional Innovation Management (ISPIM); 2019.
LibreCat
2019 | Conference Paper | LibreCat-ID: 17432
Baswana S, Gupta S, Tulsyan A. Fault Tolerant and Fully Dynamic DFS in Undirected Graphs: Simple Yet Efficient. In: 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019). Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik; 2019:65:1--65:16. doi:10.4230/LIPICS.MFCS.2019.65
LibreCat
| DOI