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
Personalwirtschaft
M. Schneider, S. Eisele, in: Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, Springer, 2020, pp. 303–322.
LibreCat
 

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

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

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

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year

Export / Embed