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.

32329 Publications


2019 | Conference Paper | LibreCat-ID: 16215
J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, “Verifying Correctness of Persistent Concurrent Data Structures,” in Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, vol. 11800, pp. 179–195.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 16216
A. Russo, A. Schürr, and H. Wehrheim, “Editorial,” Formal Asp. Comput., vol. 31, no. 5, pp. 457–458, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 16217
M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, “Editorial,” Formal Asp. Comput., vol. 31, no. 1, p. 1, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 16271
L. Claes, S. Johannesmann, E. Baumhögger, and B. Henning, “Quantification of frequency-dependent absorption phenomena,” in 2019 International Congress on Ultrasonics, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 16275
A. Franke-Wiekhorst, C. Günther, K. Brünger, J. Magenheim, and R. Romeike, “„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material,” GdSU-Journal,(9), pp. 10–21, 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 16305
M. Linnemann, P. A. Nikolaychuk, Y. M. Muñoz-Muñoz, E. Baumhögger, and J. Vrabec, “Henry’s Law Constant of Noble Gases in Water, Methanol, Ethanol, and Isopropanol by Experiment and Molecular Simulation,” Journal of Chemical & Engineering Data, pp. 1180–1188, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 16314
S. Preiß et al., “Gold(II) Porphyrins in Photoinduced Electron Transfer Reactions,” Chemistry – A European Journal, pp. 5940–5949, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 16320
P. Müller, A. Neuba, U. Flörke, G. Henkel, T. D. Kühne, and M. Bauer, “Experimental and Theoretical High Energy Resolution Hard X-ray Absorption and Emission Spectroscopy on Biomimetic Cu2S2 Complexes,” The Journal of Physical Chemistry A, pp. 3575–3581, 2019.
LibreCat | DOI
 

2019 | Dissertation | LibreCat-ID: 16325
L. Burkhardt,   Probing Iron-Ligand interactions by combining modern high-resolution hard X-ray spectroscopy and density functional theory : a powerful methodology in cases where conventional methods fail / vorgelegt von Lukas Burkhardt ; [Prof. Dr. Matthias Bauer (Erstgutachter), Prof. Dr. Thomas Kühne (Zweitgutachter), Jun. Prof. Dr. Stephan Hohloch (Drittprüfer)]. Paderborn, 2019.
LibreCat | DOI | Download (ext.)
 

2019 | Dissertation | LibreCat-ID: 16327
P. Müller,   Experimental and theoretical (high energy resolution) X-ray absorption and emission spectroscopy / vorgelegt von Patrick Müller ; [Promotionskommission: Prof. Dr.-Ing. Hans-Joachim Warnecke, Vorsitz; Prof. Dr. Matthias Bauer, Erstgutachter; Prof. Dr. Thomas D. Kühne, Zweitgutachter; Prof. Dr. Wolf Gero Schmidt]. Paderborn, 2019.
LibreCat | DOI | Download (ext.)
 

2019 | Preprint | LibreCat-ID: 16341 | OA
S. Brandt, C. Jähn, M. Fischer, and F. Meyer auf der Heide, “Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels,” arXiv:1904.08225. 2019.
LibreCat | Download (ext.) | arXiv
 

2019 | Book Chapter | LibreCat-ID: 16361
H. G. Fischer, F. Rittmeier, T. F. Strothmann, and N. Schwenniger, “Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode,” in Arbeit 4.0 im Mittelstand, C. K. Bosse and K. J. Zink, Eds. Berlin, Heidelberg: Springer Gabler, 2019.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 13872
D. Beyer and M.-C. Jakobs, “CoVeriTest: Cooperative Verifier-Based Testing,” in Fundamental Approaches to Software Engineering, Cham, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13873
B. Feldkord and F. Meyer auf der Heide, “The Mobile Server Problem,” ACM Transactions on Parallel Computing (TOPC), vol. 6, no. 3, 2019.
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 13937
F. Meyer auf der Heide, “Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln,” Mathematische Semesterberichte, vol. 66, no. 2, pp. 259–260, 2019.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 13939
P. Kling and F. Meyer auf der Heide, “Continuous Protocols for Swarm Robotics,” in Distributed Computing by Mobile Entities, Current Research in Moving and Computing, vol. 11340, Springer, 2019, pp. 317–334.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13942
C. Markarian and F. Meyer auf der Heide, “Online Algorithms for Leasing Vertex Cover and Leasing Non-metric Facility Location,” in Proceedings of the 8th International Conference on Operations Research and Enterprise Systems, 2019, pp. 315–321.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13946
F. N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, and P. Podlipyan, “Efficient parallel algorithms for parameterized problems,” Theoretical Computer Science, vol. 786, pp. 2–12, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13965
J. H. Buß, T. Schupp, D. J. As, D. Hägele, and J. Rudolph, “Optical excitation density dependence of spin dynamics in bulk cubic GaN,” Journal of Applied Physics, 2019.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13966
E. Baron, R. Goldhahn, M. Deppe, D. J. As, and M. Feneberg, “Influence of the free-electron concentration on the optical properties of zincblende GaN up to 1×1020cm−3,” Physical Review Materials, 2019.
LibreCat | DOI
 

Filters and Search Terms

department=43

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed