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.

13891 Publications

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.

2020 | Journal Article | LibreCat-ID: 20233
Nonlinear dielectric properties of random paraelectric-dielectric composites
V. Myroshnychenko, S. Smirnov, P.M.M. Jose, C. Brosseau, J. Förstner, Acta Materialia 203 (2020) 116432.
LibreCat | Files available | DOI

2020 | Conference Paper | LibreCat-ID: 20512
CogniCrypt_GEN - Generating Code for the Secure Usage of Crypto APIs
S. Krüger, K. Ali, E. Bodden, in: International Symposium on Code Generation and Optimization (CGO), 2020, pp. 185–198.
LibreCat | Files available

Filters and Search Terms

year<=2030 AND year>=1980


Filter Publications

Display / Sort

Sorted by: Publishing Year

Export / Embed