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.

18409 Publications


2019 | Conference Paper | LibreCat-ID: 10093
Beyer, Dirk, et al. “Combining Verifiers in Conditional Model Checking via Reducers.” Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019, edited by Steffen Becker et al., vol. P-292, GI, 2019, pp. 151--152, doi:10.18420/se2019-46.
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 10334
Schemmel, Reinhard, et al. “Using Complex Multi-Dimensional Vibration Trajectories in Ultrasonic Bonding and Welding.” Sensors and Actuators A: Physical, vol. 295, 2019, pp. 653–62, doi:10.1016/j.sna.2019.04.025.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10586
Scheideler, Christian, and Alexander Setzer. “On the Complexity of Local Graph Transformations.” Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, vol. 132, Dagstuhl Publishing, 2019, pp. 150:1--150:14, doi:10.4230/LIPICS.ICALP.2019.150.
LibreCat | Files available | DOI
 

2019 | Journal Article | LibreCat-ID: 10593
Peitz, Sebastian, and Stefan Klus. “Koopman Operator-Based Model Reduction for Switched-System Control of PDEs.” Automatica, vol. 106, 2019, pp. 184–91, doi:10.1016/j.automatica.2019.05.016.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13143
Claes, Leander, et al. “Acoustic Absorption Measurement for the Determination of the Volume Viscosity of Pure Fluids / Messverfahren Für Die Akustischen Absorption Zur Bestimmung Der Volumenviskosität Reiner Fluide.” Tm - Technisches Messen, 2019, pp. 2–6, doi:10.1515/teme-2019-0038.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13148
Gu, Yiquan, et al. “Evolutionary Equilibrium in Contests with Stochastic Participation: Entry, Effort and Overdissipation.” Journal of Economic Behavior & Organization, 2019, pp. 469–85, doi:10.1016/j.jebo.2019.06.011.
LibreCat | DOI
 

2019 | Report | LibreCat-ID: 13181
Post, Till, et al. DIN SPEC 33453:2019-09, Entwicklung Digitaler Dienstleistungssysteme. 2019, doi:10.31030/3085072.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13232
Kaliannan, Naveen Kumar, et al. “Impact of Intermolecular Vibrational Coupling Effects on the Sum-Frequency Generation Spectra of the Water/Air Interface.” Molecular Physics, vol. 0, no. 0, Taylor & Francis, 2019, pp. 1–10, doi:10.1080/00268976.2019.1620358.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13237
Elgabarty, Hossam, et al. “Enhancement of the Asymmetry in the Hydrogen Bond Network of Liquid Water by an Ultrafast Electric Field Pulse.” Scientific Reports, vol. 9, 2019, p. 10002, doi:10.1038/s41598-019-46449-5.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 12912
Razzaghi Kouchaksaraei, Hadi, and Holger Karl. “Quantitative Analysis of Dynamically Provisioned Heterogeneous Network Services.” 15th International Conference on Network and Service Management (CNSM), 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 12929
Bräuer, Sebastian, et al. “Transactions for Trading Used Electric Vehicle Batteries: Theoretical Underpinning and Information Systems Design Principles.” Business Research, 2019, doi:10.1007/s40685-019-0091-9.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 12931
Ajjour, Yamen, et al. “Modeling Frames in Argumentation.” Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and 9th International Joint Conference on Natural Language Processing, 2019, pp. 2915–25.
LibreCat | Download (ext.)
 

2019 | Journal Article | LibreCat-ID: 12967
Hansmeier, Tim, et al. “An Accelerator for Resolution Proof Checking Based on FPGA and Hybrid Memory Cube Technology.” Journal of Signal Processing Systems, vol. 91, no. 11, 2019, pp. 1259–72, doi:10.1007/s11265-018-1435-y.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13390
Schulz, Andreas, et al. “Methode Zur Erfassung von Stofftransport an Fluiden Phasengrenzflächen.” Chemie Ingenieur Technik, 2019, doi:10.1002/cite.201900030.
LibreCat | DOI
 

2019 | Conference Abstract | LibreCat-ID: 13395
Heine, Jens, et al. Visualization of Marangoni Phenomena during Droplet Formation. 10th International Conference on Multiphase Flow, 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 13434
Mäck, Markus, et al. “‘Optimization with Constraints Considering Polymorphic Uncertainties.’” GAMM-Mitteilungen, e201900005, 2019, doi:10.1002/gamm.201900005.
LibreCat | DOI
 

2019 | Book Chapter | LibreCat-ID: 11952
Senft, Björn, et al. “A Value-Centered Approach for Unique and Novel Software Applications.” Design, User Experience, and Usability. Practice and Case Studies, 2019, doi:10.1007/978-3-030-23535-2_27.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13270
Guevara-Carrion, Gabriela, et al. “Diffusion of Methane in Supercritical Carbon Dioxide Across the Widom Line.” Scientific Reports, vol. 9, 8466, 2019, doi:10.1038/s41598-019-44687-1.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13294
Cho, F. H., et al. “Investigation of Near-Surface Defects of Nanodiamonds by High-Frequency EPR and DFT Calculation.” The Journal of Chemical Physics, vol. 150, no. 13, 2019, p. 134702, doi:10.1063/1.5085351.
LibreCat | DOI
 

2019 | Preprint | LibreCat-ID: 13340
Pukrop, Matthias, and Stefan Schumacher. “Externally Controlled Lotka-Volterra Dynamics in a Linearly Polarized  Polariton Fluid.” ArXiv:1903.12534, 2019.
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: MLA

Export / Embed