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.

14011 Publications


2020 | Journal Article | LibreCat-ID: 16299
Castenow, Jannik, Matthias Fischer, Jonas Harbig, Daniel Jung, and Friedhelm Meyer auf der Heide. “Gathering Anonymous, Oblivious Robots on a Grid.” Theoretical Computer Science 815 (2020): 289–309. https://doi.org/10.1016/j.tcs.2020.02.018.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 20257
Kohlmeyer, Theresa, Oliver Reis, Franziska Viertel, and Katharina Rohlfing. “Wie Meinst Du Das? - Begriffserwerb Im Religionsunterricht .” Theo Web, 2020. https://doi.org/10.23770/tw0137.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20276
Beyer, Dirk, and Heike 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}, edited by Tiziana Margaria and Bernhard Steffen, 12476:143–67. Lecture Notes in Computer Science. Springer, 2020. https://doi.org/10.1007/978-3-030-61362-4\_8.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 20295
Schneider, Martin, and Simon Eisele. “Personalwirtschaft.” In Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, 303–22. Springer, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 18276
Tornede, Alexander, Marcel Dominik Wever, Stefan Werner, Felix Mohr, and Eyke Hüllermeier. “Run2Survive: A Decision-Theoretic Approach to Algorithm Selection Based on Survival Analysis.” In ACML 2020, 2020.
LibreCat | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 20269
Böhne, Christoph, Gerson Meschut, Max Biegler, and Michael Rethmeier. “Avoidance of Liquid Metal Embrittlement during Resistance Spot Welding by Heat Input Dependent Hold Time Adaption.” Science and Technology of Welding and Joining 25, no. 7 (2020): 617–24. https://doi.org/10.1080/13621718.2019.1693731.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 20365
Koldewey, Christian, Jannik Reinhold, and Roman Dumitrescu. “Planning a Smart Service Business Integrating External Partners.” In Managing Digital Open Innovation, edited by Pierre-Jean Barlatier and Anne-Laure Mention, Volume 5:255–98. Open Innovation: Bridging Theory and Practice. World Scientific Publishing Company, 2020. https://doi.org/10.1142/9789811219238_0010.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20409
Heyser, Per, Christian Scharr, Thomas Nehls, Sebastian Wiesenmayer, Wilko Flügge, and Gerson Meschut. “Prozesskettenbegleitende Vorgehensweise beim Mechanischen Fügen.” In 4. Workshop Digitalisierung, 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 19938
McLachlan, Robert I, and Christian Offen. “Preservation of Bifurcations of Hamiltonian Boundary Value Problems Under Discretisation.” Foundations of Computational Mathematics 20, no. 6 (2020): 1363–1400. https://doi.org/10.1007/s10208-020-09454-z.
LibreCat | DOI | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 20442
Turcanu, Ion, Minsuk Kim, and Florian Klingler. “Poster: Towards 2-Hop Neighbor Management for Heterogeneous Vehicular Networks.” In 12th IEEE Vehicular Networking Conference (VNC 2020). Virtual Conference: IEEE, 2020.
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: Chicago

Export / Embed