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.

4678 Publications


2019 | Dissertation | LibreCat-ID: 15030
Ein Beitrag zur kombinierten (quasi-)statischen und dynamischen Umformung von blechförmigen Halbzeugen
E. Djakow, Ein Beitrag zur kombinierten (quasi-)statischen und dynamischen Umformung von blechförmigen Halbzeugen, Shaker, Düren, 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15244
Messung hochfrequenter In-Plane-Schwingungen mittels Laservibrometrie in räumlich eingeschränkten Umgebungen
O.E.C. Hagedorn, D. Pielsticker, T. Hemsel, W. Sextro, in: 2. VDI-Fachtagung Schwingungen 2019, VDI Verlag GmbH · Düsseldorf 2019, 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 16217
Editorial
M. Fränzle, D. Kapur, H. Wehrheim, N. Zhan, Formal Asp. Comput. 31 (2019) 1.
LibreCat | DOI
 

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

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

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

2019 | Book Chapter | LibreCat-ID: 13974
AT 5 der MaComp: Zusammenarbeit mehrere Wertpapierdienstleistungsunternehmen
D. Krimphove, in: D. Krimphove, O. Kruse (Eds.), Kommentar: MaComp - Mindestanforderungen an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§ 63 Ff. WpHG Für Wertpapierdienstleistungsunternehmen, 2nd ed., C. H. Beck, München, 2019, pp. 64–68.
LibreCat
 

2019 | Book Chapter | LibreCat-ID: 13976
BT 6 Zur Verfügungstellen der Geeignetheitserklärung: nach § 64 Abs. 4 WpHG
D. Krimphove, in: D. Krimphove, O. Kruse (Eds.), Kommentar: MaComp - Mindestanforderungen an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§ 63 Ff. WpHG Für Wertpapierdienstleistungsunternehmen, 2nd ed., C. H. Beck, München, 2019, pp. 447–458.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 14539
A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks
J. Castenow, C. Kolb, C. Scheideler, in: Proceedings of the 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO), 2019, pp. 345–348.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13107
A Hypothetical Learning Trajectory for the Learning of the Rules for Manipulating Integers
J. Schumacher, S. Rezat, in: U.T. Jankvist, M. Van den Heuvel-Panhuizen, M. Veldhuis (Eds.), Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education (CERME11, February 6 – 10, 2019), Freudenthal Group & Freudenthal Institute, Utrecht University and ERME, Utrecht, the Netherlands, n.d.
LibreCat
 

2019 | Conference Paper | LibreCat-ID: 13182
A Loosely Self-stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory
M. Feldmann, T. Götte, C. Scheideler, in: Proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, Cham, 2019, pp. 149–164.
LibreCat | Files available | DOI | arXiv
 

2019 | Journal Article | LibreCat-ID: 13237
Enhancement of the asymmetry in the hydrogen bond network of liquid water by an ultrafast electric field pulse
H. Elgabarty, N.K. Kaliannan, T.D. Kühne, Scientific Reports 9 (2019) 10002.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13250
Hyper-Reactive Tabu Search for MaxSAT
C. Ansótegui, B. Heymann, J. Pon, M. Sellmann, K. Tierney, in: Learning and Intelligent Optimization, Springer International Publishing, Cham, 2019, pp. 309–325.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13261
Specifying Web Interfaces for Command-line Applications Based on OpenAPI
D. Wolters, J. Kirchhoff, G. Engels, in: S. Yangui, A. Bouguettaya, X. Xue, N. Faci, W. Gaaloul, Q. Yu, Z. Zhou, N. Hernandez, E.Y. Nakagawa (Eds.), Service-Oriented Computing – ICSOC 2019 Workshops, Springer, 2019, pp. 30–41.
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 10011
Editorial
M. Fränzle, D. Kapur, H. Wehrheim, N. Zhan, Formal Asp. Comput. 31 (2019) 1.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 10095
PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)
C. Richter, H. Wehrheim, in: D. Beyer, M. Huisman, F. Kordon, B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}, Springer, 2019, pp. 229–233.
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 10258 LibreCat
 

2019 | Conference Paper | LibreCat-ID: 13652
Fast Distributed Algorithms for LP-Type Problems of Low Dimension
K. Hinnenthal, C. Scheideler, M. Struijs, in: 33rd International Symposium on Distributed Computing (DISC 2019), 2019.
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 16441 LibreCat
 

2019 | Conference Paper | LibreCat-ID: 16442
Analytical Modeling and Design of an Active Clamp Forward Converter Applied as a Single-Stage On-Board DC-DC Converter for EVs
P. Rehlaender, T. Grote, F. Schafmeister, J. Böcker, in: PCIM Europe 2019, 2019.
LibreCat | Download (ext.)
 

Filters and Search Terms

isbn%3D978-960-99994-6-5

Search

Filter Publications

Display / Sort

Export / Embed