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.

18617 Publications


2019 | Journal Article | LibreCat-ID: 20533
Krüger, Stefan, et al. “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.” IEEE Transactions on Software Engineering, 2019, pp. 1–1, doi:10.1109/TSE.2019.2948910.
LibreCat | DOI | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 14896
Dann, Andreas, et al. “ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules.” IEEE Transactions on Software Engineering, 2019, pp. 1–1, doi:10.1109/tse.2019.2931331.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 20538
Albert Gorski Iii, Sigmund, et al. “ACMiner: Extraction and Analysis of Authorization Checks in Android’s Middleware.” ACM Conference on Data and Application Security and Privacy (CODASPY 2019), 2019.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 23378
Piskachev, Goran, et al. “Codebase-Adaptive Detection of Security-Relevant Methods.” Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019, doi:10.1145/3293882.3330556.
LibreCat | DOI
 

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

2019 | Journal Article | LibreCat-ID: 27003
Perrar, Ines, et al. “Age and Time Trends in Sugar Intake among Children and Adolescents: Results from the DONALD Study.” European Journal of Nutrition, 2019, pp. 1043–54, doi:10.1007/s00394-019-01965-y.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 26668
Hellmich, Frank, et al. “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? .” Lehrer. Bildung. Gestalten. Beiträge Zur Empirischen Forschung in Der Lehrerbildung , edited by Timo Ehmke et al., Beltz, 2019, pp. 57–70.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 27104
Reinhold, Jannik, et al. “Competence-Based Planning of Value Networks for Smart Services.” Proceedings of the ISPIM Connects, International Society for Professional Innovation Management (ISPIM), 2019.
LibreCat
 

2019 | Book | LibreCat-ID: 27109
Gausemeier, Jürgen, et al. Innovationen Für Die Märkte von Morgen - Strategische Planung von Produkten, Dienstleistungen Und Geschäftsmodellen. Carl Hanser Verlag, 2019.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 15976
Akbulut Irmak, Emine Fulya, et al. Modeling the Energy Absorption Characteristics of Wood Crash Elements. 2019.
LibreCat
 

2019 | Dissertation | LibreCat-ID: 27654
Fiebig, Isabel. Beitrag Zur Erhöhung Der Wirksamkeit Der Faserverstärkung in Der Schweißnaht Faserverstärkter Thermoplaste . 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 28164
Matzner, Tobias. “The Human Is Dead – Long Live the Algorithm! Human-Algorithmic Ensembles and Liberal Subjectivity.” Theory, Culture & Society, 2019, pp. 123–44, doi:10.1177/0263276418818877.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 28169
Matzner, Tobias. “Autonome Trolleys Und Andere Probleme. Konfigurationen Künstlicher Intelligenz in Ethischen Debatten Über Selbstfahrende Kraftfahrzeuge.” Zeitschrift Für Medienwissenschaft, vol. 11, no. 2, 2019, pp. 46–55.
LibreCat
 

2019 | Dissertation | LibreCat-ID: 28366
Pai, Arathi. Computationally Efficient Modelling and Precision Position and Force Control of SMA Actuators. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 28467
D{\’{\i}}az S{\’{a}}nchez, Daniel, et al. “DNS/DANE Collision-Based Distributed and Dynamic Authentication for Microservices in IoT.” Sensors, vol. 19, no. 15, 2019, p. 3292, doi:10.3390/s19153292.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10232
Wever, Marcel Dominik, et al. Automating Multi-Label Classification Extending ML-Plan. 2019.
LibreCat | Files available
 

2019 | Journal Article | LibreCat-ID: 10011
Fränzle, Martin, et al. “Editorial.” Formal Asp. Comput., vol. 31, no. 1, 2019, p. 1, doi:10.1007/s00165-018-00477-6.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10042
Johannesmann, Sarah, et al. “Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN.” Fortschritte der Akustik - DAGA 2019, edited by Deutsche Gesellschaft für Akustik e.V., vol. 45, Deutsche Gesellschaft für Akustik, 2019, pp. 1055–58.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 10092
Doherty, Simon, et al. “Verifying C11 Programs Operationally.” Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019, edited by Jeffrey K. Hollingsworth and Idit Keidar, {ACM}, 2019, pp. 355–65, doi:10.1145/3293883.3295702.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 10578
Tagne, V. K., et al. “Choice Functions Generated by Mallows and Plackett–Luce Relations.” New Mathematics and Natural Computation, vol. 15, no. 2, 2019, pp. 191–213.
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: MLA

Export / Embed