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.

14279 Publications

2020 | Journal Article | LibreCat-ID: 16299
J. Castenow, M. Fischer, J. Harbig, D. Jung, and F. Meyer auf der Heide, “Gathering Anonymous, Oblivious Robots on a Grid,” Theoretical Computer Science, vol. 815, pp. 289–309, 2020.
LibreCat | DOI

2020 | Journal Article | LibreCat-ID: 20257
T. Kohlmeyer, O. Reis, F. Viertel, and K. Rohlfing, “Wie meinst du das? - Begriffserwerb im Religionsunterricht ,” Theo Web, 2020.
LibreCat | DOI

2020 | Conference Paper | LibreCat-ID: 20276
D. Beyer and H. Wehrheim, “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework,” in Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, 2020, vol. 12476, pp. 143–167.
LibreCat | DOI

2020 | Book Chapter | LibreCat-ID: 20295
M. Schneider and S. Eisele, “Personalwirtschaft,” in Handbuch Gestaltung digitaler und vernetzter Arbeitswelten, Springer, 2020, pp. 303–322.

2020 | Conference Paper | LibreCat-ID: 18276
A. Tornede, M. D. Wever, S. Werner, F. Mohr, and E. Hüllermeier, “Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis,” in ACML 2020, Bangkok, Thailand, 2020.
LibreCat | Download (ext.)

2020 | Journal Article | LibreCat-ID: 20269
C. Böhne, G. Meschut, M. Biegler, and M. Rethmeier, “Avoidance of liquid metal embrittlement during resistance spot welding by heat input dependent hold time adaption,” Science and Technology of Welding and Joining, vol. 25, no. 7, pp. 617–624, 2020.
LibreCat | DOI

2020 | Book Chapter | LibreCat-ID: 20365
C. Koldewey, J. Reinhold, and R. Dumitrescu, “Planning a Smart Service Business Integrating External Partners,” in Managing Digital Open Innovation, vol. Volume 5, P.-J. Barlatier and A.-L. Mention, Eds. World Scientific Publishing Company, 2020, pp. 255–298.
LibreCat | DOI

2020 | Conference Paper | LibreCat-ID: 20409
P. Heyser, C. Scharr, T. Nehls, S. Wiesenmayer, W. Flügge, and G. Meschut, “Prozesskettenbegleitende Vorgehensweise beim Mechanischen Fügen,” in 4. Workshop Digitalisierung, Erlangen, 2020.

2020 | Journal Article | LibreCat-ID: 19938
R. I. McLachlan and C. Offen, “Preservation of Bifurcations of Hamiltonian Boundary Value Problems Under Discretisation,” Foundations of Computational Mathematics, vol. 20, no. 6, pp. 1363–1400, 2020.
LibreCat | DOI | Download (ext.)

2020 | Conference Paper | LibreCat-ID: 20442
I. Turcanu, M. Kim, and F. Klingler, “Poster: Towards 2-Hop Neighbor Management for Heterogeneous Vehicular Networks,” in 12th IEEE Vehicular Networking Conference (VNC 2020), 2020.

Filters and Search Terms



Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: IEEE

Export / Embed