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.
32945 Publications
2020 | Preprint | LibreCat-ID: 17825
J. F. Haltermann and H. Wehrheim, “Cooperative Verification via Collective Invariant Generation,” arXiv:2008.04551. 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 18686
J. Kersting and F. S. Bäumer, “SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH,” in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020, Lisbon, Portugal, 2020, pp. 119--123.
LibreCat
| Files available
2020 | Book Chapter | LibreCat-ID: 18776
E.-M. Seng and F. Göttmann, “Einleitung – Introduction,” in Innovation in der Bauwirtschaft – Innovation in the building industry. Wesersandstein vom 16. bis 19. Jahrhundert – Weser Sandstone form the 16th to the 19th Century, Dies., Ed. Berlin, Boston: (im Druck), 2020, pp. 1–78.
LibreCat
2020 | Book Chapter | LibreCat-ID: 18779
E.-M. Seng and M. Silvestri, “Die Wiedereinrichtung der Bauhütten in Europa im 19. und 20. Jahrhundert,” in LE CHANTIER CATHÉDRAL EN EUROPE diffusion et sauvegarde des savoirs, savoir-faire et matériaux du Moyen Âge à nos jours, I. Chave, Ed. Paris: (im Druck), 2020.
LibreCat
2020 | Book Chapter | LibreCat-ID: 18784
E.-M. Seng, “Kandidatur zum Bauhüttenwesen Die internationale für das immaterielle Kulturerbe der UNESCO,” in Europäische Bauhütten – Immaterielles Kulturerbe der Menschheit, S. Bengel and Dombaumeister e.V. Europäische Vereinigung der Dombaumeister, Münsterbaumeister und Hüttenmeister, Eds. Neulingen, 2020, pp. 29–39.
LibreCat
2020 | Book Chapter | LibreCat-ID: 18815
E.-M. Seng and M. Hilbert, “Die Ulmer Münsterbauhütte,” in Europäische Bauhütten – Immaterielles Kulturerbe der Menschheit, S. Bengel and Dombaumeister e.V. Europäische Vereinigung der Dombaumeister, Münsterbaumeister und Hüttenmeister, Eds. Neulingen, 2020, pp. 107–110.
LibreCat
2020 | Journal Article | LibreCat-ID: 18844
E.-M. Seng, “Pall Mall. From the sportsground to the urban pleasure ground,” Vortrag am 17.09.2016 auf dem 34. Weltkongreß für Kunstgeschichte (CIHA) in Beijing , vol. (im Druck), 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 18876 | 
J. Reinhold, M. Frank, C. Koldewey, R. Dumitrescu, and E. Buss, “In-depth Analysis of the Effects of Smart Services on Value Creation,” in Proceedings of the ISPIM Connects Bangkok – Partnering for an Innovative Community, 2020.
LibreCat
| Files available
2020 | Book (Editor) | LibreCat-ID: 19051
N. O. Eke, Ed., Vormärz-Handbuch. Bielefeld: Aisthesis, 2020.
LibreCat
2020 | Book Chapter | LibreCat-ID: 19093
N. O. Eke, “„Romantik“ und „Vormärz“. Ein Streitfall,” in Georg Büchner und die Romantik, R. Borgards and B. Dedner, Eds. Berlin/Boston: de Gruyter, 2020, pp. 13–32.
LibreCat
2020 | Book Chapter | LibreCat-ID: 19094
N. O. Eke, “Ethische Erinnerungskultur. Peter Weiss‘ Memorial des ‚ganzen‘ Widerstands,” in Peter Weiss erinnernd – Ansichten und Einsichten, H.-C. Stillmark, Ed. Berlin: Weidler, 2020, pp. 51–65.
LibreCat
2020 | Book Chapter | LibreCat-ID: 19095
N. O. Eke, “Vormärz – Prolegomenon einer Epochendarstellung,” in Vormärz-Handbuch, N. O. Eke, Ed. Bielefeld: Aisthesis, 2020, pp. 9–18.
LibreCat
2020 | Book Chapter | LibreCat-ID: 19097
N. O. Eke, “Vormärz und Klassik,” in Vormärz-Handbuch, N. O. Eke, Ed. Bielefeld: Aisthesis, 2020, pp. 155–164.
LibreCat
2020 | Book Chapter | LibreCat-ID: 19098
N. O. Eke, “Vormärz und Aufklärung,” in Vormärz-Handbuch, N. O. Eke, Ed. Bielefeld: Aisthesis, 2020, pp. 171–178.
LibreCat
2020 | Book Chapter | LibreCat-ID: 19099
N. O. Eke, “Exil,” in Vormärz-Handbuch, N. O. Eke, Ed. Bielefeld: Aisthesis, 2020, pp. 289–297.
LibreCat