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.

6683 Publications


2019 | Conference Paper | LibreCat-ID: 10108
F. Pauck and H. Wehrheim, “Together Strong: Cooperative Android App Analysis,” in 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
Q. A. Ahmed, T. Wiersema, and M. Platzner, “Proof-Carrying Hardware Versus the Stealthy Malicious LUT Hardware Trojan,” in Applied Reconfigurable Computing, Darmstadt, Germany, 2019, vol. 11444, pp. 127–136.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 10095
C. Richter and H. Wehrheim, “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution),” in 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}, 2019, vol. 11429, pp. 229–233.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10285
M. Alshomary et al., “Wikipedia Text Reuse: Within and Without,” in Advances in Information Retrieval, 2019, pp. 747–754.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 10090
T. Gries, “A New Theory of Demand-Restricted Growth: The Basic Idea,” The American Economist, 2019.
LibreCat | DOI
 

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

2019 | Journal Article | LibreCat-ID: 7800
T. Henksmeier, S. Shvarkov, A. Trapp, and D. Reuter, “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, pp. 164–168, 2019.
LibreCat | DOI
 

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

2019 | Journal Article | LibreCat-ID: 7689
H. Riebler, G. F. Vaz, T. Kenter, and C. Plessl, “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
N. Seemann and M.-L. Merten, “UPB-Annotate: Ein maßgeschneidertes Toolkit für historische Texte,” in DHd 2019 Digital Humanities: multimedial & multimodal. Konferenzabstracts, Mainz and Frankfurt am Main, Germany, 2019, pp. 352–353.
LibreCat | DOI | Download (ext.)
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed