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.
2306 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