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.

14013 Publications

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

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

2020 | Conference Paper | LibreCat-ID: 20276
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
D. Beyer, H. Wehrheim, in: T. Margaria, B. Steffen (Eds.), 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}, Springer, 2020, pp. 143–167.
LibreCat | DOI

2020 | Book Chapter | LibreCat-ID: 20295
M. Schneider, S. Eisele, in: Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, Springer, 2020, pp. 303–322.

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

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

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

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

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

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

Filters and Search Terms

year<=2030 AND year>=1980


Filter Publications

Display / Sort

Sorted by: Publishing Year

Export / Embed