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.

18413 Publications


2019 | Conference Paper | LibreCat-ID: 20538
Albert Gorski Iii, S., Andow, B., Nadkarni, A., Manandhar, S., Enck, W., Bodden, E., & Bartel, A. (2019). ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware. ACM Conference on Data and Application Security and Privacy (CODASPY 2019).
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 23378
Piskachev, G., Do, L. N. Q., & Bodden, E. (2019). Codebase-adaptive detection of security-relevant methods. Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. https://doi.org/10.1145/3293882.3330556
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 20759
Gerking, C., & Schubert, D. (2019). Component-Based Refinement and Verification of Information-Flow Security Policies for Cyber-Physical Microservice Architectures. International Conference on Software Architecture (ICSA 2019).
LibreCat
 

2019 | Journal Article | LibreCat-ID: 27003
Perrar, I., Schmitting, S., Della Corte, K. W., Buyken, A., & Alexy, U. (2019). Age and time trends in sugar intake among children and adolescents: results from the DONALD study. European Journal of Nutrition, 1043–1054. https://doi.org/10.1007/s00394-019-01965-y
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 26668
Hellmich, F., Löper, M. F., & Hoya, F. K. (2019). Unterscheiden sich Studentinnen und Studenten des Lehramts an Grund- und Förderschulen in ihren Einstellungen und ihren Selbstwirksamkeitsüberzeugungen in Bezug auf den inklusiven Unterricht? . In T. Ehmke, P. Kuhl, & M. Pietsch (Eds.), Lehrer. Bildung. Gestalten. Beiträge zur empirischen Forschung in der Lehrerbildung (pp. 57–70). Beltz.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 27104
Reinhold, J., Frank, M., Koldewey, C., Dumitrescu, R., & Gausemeier, J. (2019). Competence-based Planning of Value Networks for Smart Services. Proceedings of the ISPIM Connects.
LibreCat
 

2019 | Book | LibreCat-ID: 27109
Gausemeier, J., Dumitrescu, R., Echterfeld, J., Pfänder, T., Steffen, D., & Thielemann, F. (2019). Innovationen für die Märkte von morgen - Strategische Planung von Produkten, Dienstleistungen und Geschäftsmodellen. Carl Hanser Verlag.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15976
Akbulut Irmak, E. F., Hanses, J., Schweizer, S., & Tröster, T. (2019). Modeling the Energy Absorption Characteristics of Wood Crash Elements. 12th European LS-DYNA Conference, Koblenz.
LibreCat
 

2019 | Dissertation | LibreCat-ID: 27654
Fiebig, I. (2019). Beitrag zur Erhöhung der Wirksamkeit der Faserverstärkung in der Schweißnaht faserverstärkter Thermoplaste .
LibreCat
 

2019 | Journal Article | LibreCat-ID: 28164
Matzner, T. (2019). The Human Is Dead – Long Live the Algorithm! Human-Algorithmic Ensembles and Liberal Subjectivity. Theory, Culture & Society, 123–144. https://doi.org/10.1177/0263276418818877
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 28169
Matzner, T. (2019). Autonome Trolleys und andere Probleme. Konfigurationen Künstlicher Intelligenz in ethischen Debatten über selbstfahrende Kraftfahrzeuge. Zeitschrift Für Medienwissenschaft, 11(2), 46–55.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10232
Wever, M. D., Mohr, F., Tornede, A., & Hüllermeier, E. (2019). Automating Multi-Label Classification Extending ML-Plan. Presented at the 6th ICML Workshop on Automated Machine Learning (AutoML 2019), Long Beach, CA, USA.
LibreCat | Files available
 

2019 | Journal Article | LibreCat-ID: 10011
Fränzle, M., Kapur, D., Wehrheim, H., & Zhan, N. (2019). Editorial. Formal Asp. Comput., 31(1), 1. https://doi.org/10.1007/s00165-018-00477-6
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10042
Johannesmann, S., Springer, D., Thiel, C., & Henning, B. (2019). Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN. In D. Gesellschaft für Akustik e.V. (Ed.), Fortschritte der Akustik - DAGA 2019 (Vol. 45, pp. 1055–1058). Rostock: Deutsche Gesellschaft für Akustik.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10092
Doherty, S., Dongol, B., Wehrheim, H., & Derrick, J. (2019). Verifying C11 programs operationally. In J. K. Hollingsworth & I. Keidar (Eds.), Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019 (pp. 355–365). {ACM}. https://doi.org/10.1145/3293883.3295702
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 10578
Tagne, V. K., Fotso, S., Fono, L. A., & Hüllermeier, E. (2019). Choice Functions Generated by Mallows and Plackett–Luce Relations. New Mathematics and Natural Computation, 15(2), 191–213.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10597
Hanke, S., Peitz, S., Wallscheid, O., Böcker, J., & Dellnitz, M. (2019). Finite-Control-Set Model Predictive Control for a Permanent Magnet Synchronous Motor Application with Online Least Squares System Identification. In 2019 IEEE International Symposium on Predictive Control of Electrical Drives and Power Electronics (PRECEDE). https://doi.org/10.1109/precede.2019.8753313
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 11709
Potthast, M., Gienapp, L., Euchner, F., Heilenkötter, N., Weidmann, N., Wachsmuth, H., … Hagen, M. (2019). Argument Search: Assessing Argument Relevance. In 42nd International ACM Conference on Research and Development in Information Retrieval (SIGIR 2019) (pp. 1117–1120). ACM. https://doi.org/10.1145/3331184.3331327
LibreCat | DOI | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 13250
Ansótegui, C., Heymann, B., Pon, J., Sellmann, M., & Tierney, K. (2019). Hyper-Reactive Tabu Search for MaxSAT. In Learning and Intelligent Optimization (pp. 309–325). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-030-05348-2_27
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13274
Fingerhut, R., & Vrabec, J. (2019). Kirkwood-Buff Integration: A Promising Route to Entropic Properties? Fluid Phase Equilibria, 270–281. https://doi.org/10.1016/j.fluid.2018.12.015
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed