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.

6667 Publications


2019 | Conference Paper | LibreCat-ID: 10108
Pauck, Felix, and Heike Wehrheim. “Together Strong: Cooperative Android App Analysis.” Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE).
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 9913
Ahmed, Qazi Arbab, et al. “Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan.” Applied Reconfigurable Computing, edited by Christian Hochberger et al., vol. 11444, Springer International Publishing, 2019, pp. 127–36, doi:10.1007/978-3-030-17227-5_10.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 10095
Richter, Cedric, and Heike Wehrheim. “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).” Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, edited by Dirk Beyer et al., vol. 11429, Springer, 2019, pp. 229–33, doi:10.1007/978-3-030-17502-3\_19.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 10090
Gries, Thomas. “A New Theory of Demand-Restricted Growth: The Basic Idea.” The American Economist, 056943451984647, 2019, doi:10.1177/0569434519846477.
LibreCat | DOI
 

2019 | Report | LibreCat-ID: 7622
Kundisch, Dennis, and Daniel Beverungen. Als Wirtschaftsinformatiker die digitale Transformation in Organisationen gestalten. 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 7800
Henksmeier, Tobias, et al. “Molecular Beam Epitaxy Growth and Temperature-Dependent Electrical Characterization of Carbon-Doped GaAs on GaAs(1 1 1)B.” Journal of Crystal Growth, vol. 512, Elsevier BV, 2019, pp. 164–68, doi:10.1016/j.jcrysgro.2019.02.006.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 8240
Dräxler, Sevil, and Holger Karl. “SPRING: Scaling, Placement, and Routing of Heterogeneous Services with Flexible Structures.” 5th IEEE International Conference on Network Softwarization (NetSoft) 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 7689
Riebler, Heinrich, et al. “Transparent Acceleration for Heterogeneous Platforms with Compilation to OpenCL (to Appear).” ACM Trans. Archit. Code Optim. (TACO), 2019.
LibreCat | Files available
 

2019 | Conference Abstract | LibreCat-ID: 8529
Seemann, Nina, and Marie-Luis Merten. “UPB-Annotate: Ein maßgeschneidertes Toolkit für historische Texte.” DHd 2019 Digital Humanities: multimedial & multimodal. Konferenzabstracts, edited by Patrick Sahle, Zenodo, 2019, pp. 352–53, doi:10.5281/ZENODO.2596094.
LibreCat | DOI | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 8543
Strothmann, Thim Frederik. “Förderung von Kreativität in Studentischen Kleingruppenprojekten in Der Informatik – Ein Prototyping-Basierter Ansatz.” Die Hochschullehre, 2019.
LibreCat | Download (ext.)
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: MLA

Export / Embed