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.
2136 Publications
2019 | Journal Article | LibreCat-ID: 14896
@article{Dann_Hermann_Bodden_2019, title={ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules}, DOI={10.1109/tse.2019.2931331}, journal={IEEE Transactions on Software Engineering}, author={Dann, Andreas and Hermann, Ben and Bodden, Eric}, year={2019}, pages={1–1} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 14897
@inproceedings{Dann_Hermann_Bodden_2019, title={SootDiff: bytecode comparison across different Java compilers}, DOI={10.1145/3315568.3329966}, booktitle={Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis - SOAP 2019}, author={Dann, Andreas and Hermann, Ben and Bodden, Eric}, year={2019} }
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 14899
@inproceedings{Kruger_Hermann_2019, title={Can an Online Service Predict Gender? On the State-of-the-Art in Gender Identification from Texts}, DOI={10.1109/ge.2019.00012}, booktitle={2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE)}, author={Kruger, Stefan and Hermann, Ben}, year={2019} }
LibreCat
| DOI
2019 | Working Paper | LibreCat-ID: 14902 | 
@book{Mair_Scheffler_Senger_Sureth-Sloane_2019, series={TAF Wokring Paper Series}, title={Analyse der Veränderung der zwischenstaatlichen Gewinnaufteilung bei Einführung einer standardisierten Gewinnverteilungsmethode am Beispiel des Einsatzes von 3D-Druckern}, volume={42}, author={Mair, Christina and Scheffler, Wolfram and Senger, Isabell and Sureth-Sloane, Caren}, year={2019}, collection={TAF Wokring Paper Series} }
LibreCat
| Files available
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 14904
@article{Hoppe_Rechbauer_Sturm_2019, title={Steuerkomplexität im Vergleich zwischen Deutschland und Österreich - Eine Analyse des Status quo}, volume={96}, number={4}, journal={Steuer und Wirtschaft}, author={Hoppe, Thomas and Rechbauer, Martina and Sturm, Susann}, year={2019}, pages={397–412} }
LibreCat
2019 | Journal Article | LibreCat-ID: 14905
@article{Kourouxous_Bauer_2019, title={Violations of Dominance in Decision-Making}, volume={12}, DOI={10.1007/s40685-019-0093-7}, number={1}, journal={Business Research}, author={Kourouxous, Thomas and Bauer, Thomas}, year={2019}, pages={209–239} }
LibreCat
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 14910
@article{Majdanska_Wu_2019, title={Using Impact Evaluation to Examine Domestic and International Cooperative Compliance Programs}, volume={93}, number={10}, journal={Tax Notes International}, author={Majdanska, Alicja and Wu, Yuchen}, year={2019}, pages={1045–1065} }
LibreCat
2019 | Journal Article | LibreCat-ID: 14990 |
@article{Ebers_Hammer_Berkemeier_Menzel_Förstner_2019, title={Coupled microstrip-cavities under oblique incidence of semi-guided waves: a lossless integrated optical add-drop filter}, volume={2}, DOI={10.1364/osac.2.003288}, journal={OSA Continuum}, author={Ebers, Lena and Hammer, Manfred and Berkemeier, Manuel B. and Menzel, Alexander and Förstner, Jens}, year={2019}, pages={3288} }
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 15001
@article{Couso_Borgelt_Hüllermeier_Kruse_2019, title={Fuzzy Sets in Data Analysis: From Statistical Foundations to Machine Learning}, DOI={10.1109/mci.2018.2881642}, journal={IEEE Computational Intelligence Magazine}, author={Couso, Ines and Borgelt, Christian and Hüllermeier, Eyke and Kruse, Rudolf}, year={2019}, pages={31–44} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 15002 |
@article{Waegeman_Dembczynski_Hüllermeier_2019, title={Multi-target prediction: a unifying view on problems and methods}, volume={33}, DOI={10.1007/s10618-018-0595-5}, number={2}, journal={Data Mining and Knowledge Discovery}, author={Waegeman, Willem and Dembczynski, Krzysztof and Hüllermeier, Eyke}, year={2019}, pages={293–324} }
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 15003
@inproceedings{Mortier_Wydmuch_Dembczynski_Hüllermeier_Waegeman_2019, title={Set-Valued Prediction in Multi-Class Classification}, booktitle={Proceedings of the 31st Benelux Conference on Artificial Intelligence {(BNAIC} 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), Brussels, Belgium, November 6-8, 2019}, author={Mortier, Thomas and Wydmuch, Marek and Dembczynski, Krzysztof and Hüllermeier, Eyke and Waegeman, Willem}, year={2019} }
LibreCat
2019 | Book Chapter | LibreCat-ID: 15004
@inbook{Ahmadi Fahandar_Hüllermeier_2019, place={Cham}, title={Feature Selection for Analogy-Based Learning to Rank}, DOI={10.1007/978-3-030-33778-0_22}, booktitle={Discovery Science}, author={Ahmadi Fahandar, Mohsen and Hüllermeier, Eyke}, year={2019} }
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 15005
@inbook{Ahmadi Fahandar_Hüllermeier_2019, place={Cham}, title={Analogy-Based Preference Learning with Kernels}, DOI={10.1007/978-3-030-30179-8_3}, booktitle={KI 2019: Advances in Artificial Intelligence}, author={Ahmadi Fahandar, Mohsen and Hüllermeier, Eyke}, year={2019} }
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 15006
@inbook{Nguyen_Destercke_Hüllermeier_2019, place={Cham}, title={Epistemic Uncertainty Sampling}, DOI={10.1007/978-3-030-33778-0_7}, booktitle={Discovery Science}, author={Nguyen, Vu-Linh and Destercke, Sébastien and Hüllermeier, Eyke}, year={2019} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 15007 |
@inproceedings{Melnikov_Hüllermeier_2019, title={Learning to Aggregate: Tackling the Aggregation/Disaggregation Problem for OWA}, DOI={10.1016/j.jmva.2019.02.017}, booktitle={Proceedings ACML, Asian Conference on Machine Learning (Proceedings of Machine Learning Research, 101)}, author={Melnikov, Vitaly and Hüllermeier, Eyke}, year={2019} }
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 15009
@inproceedings{Epple_Dari_Drees_Protschky_Riener_2019, title={Influence of Cruise Control on Driver Guidance - a Comparison between System Generations and Countries}, DOI={10.1109/ivs.2019.8814100}, booktitle={2019 IEEE Intelligent Vehicles Symposium (IV)}, author={Epple, Nico and Dari, Simone and Drees, Ludwig and Protschky, Valentin and Riener, Andreas}, year={2019} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 15011 |
@inproceedings{Tornede_Wever_Hüllermeier_2019, title={Algorithm Selection as Recommendation: From Collaborative Filtering to Dyad Ranking}, booktitle={Proceedings - 29. Workshop Computational Intelligence, Dortmund, 28. - 29. November 2019}, publisher={KIT Scientific Publishing, Karlsruhe}, author={Tornede, Alexander and Wever, Marcel Dominik and Hüllermeier, Eyke}, editor={Hoffmann, Frank and Hüllermeier, Eyke and Mikut, RalfEditors}, year={2019}, pages={135–146} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 15013
@inproceedings{Brinker_Hüllermeier_2019, place={Würzburg, Germany}, title={A Reduction of Label Ranking to Multiclass Classification}, booktitle={Proceedings ECML/PKDD, European Conference on Machine Learning and Knowledge Discovery in Databases}, author={Brinker, Klaus and Hüllermeier, Eyke}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 15014
@inproceedings{Hüllermeier_Couso_Diestercke_2019, title={Learning from Imprecise Data: Adjustments of Optimistic and Pessimistic Variants}, booktitle={Proceedings SUM 2019, International Conference on Scalable Uncertainty Management}, author={Hüllermeier, Eyke and Couso, Ines and Diestercke, Sebastian}, year={2019} }
LibreCat
2019 | Journal Article | LibreCat-ID: 15015
@article{Henzgen_Hüllermeier_2019, title={Mining Rank Data}, DOI={10.1145/3363572}, journal={ACM Transactions on Knowledge Discovery from Data}, author={Henzgen, Sascha and Hüllermeier, Eyke}, year={2019}, pages={1–36} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 15024
@inproceedings{Bader_Hengsbach_Hoyer_Homberg_Schaper_2019, title={Intrinsically lubricated tool inserts for deep drawing applications generated by selective laser melting}, DOI={10.1063/1.5112720}, booktitle={PROCEEDINGS OF THE 22ND INTERNATIONAL ESAFORM CONFERENCE ON MATERIAL FORMING: ESAFORM 2019}, author={Bader, Fabian and Hengsbach, Florian and Hoyer, Kay-Peter and Homberg, Werner and Schaper, Mirko}, year={2019} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 15028
@article{Tillmann_Fehr_Stangier_Dildrop_Homberg_Lossen_Hijazi_2019, title={Al2O3/ZrO2-8Y2O3 and (Cr,Ti)AlSiN tool coatings to influence the temperature and surface quality in friction-spinning processes}, DOI={10.1007/s11740-019-00899-y}, journal={Production Engineering}, author={Tillmann, Wolfgang and Fehr, Alexander and Stangier, Dominic and Dildrop, Markus and Homberg, Werner and Lossen, Benjamin and Hijazi, Dina}, year={2019}, pages={449–457} }
LibreCat
| DOI
2019 | Dissertation | LibreCat-ID: 15030
@book{Djakow_2019, place={Düren}, series={Paderborner Umformtechnik}, title={Ein Beitrag zur kombinierten (quasi-)statischen und dynamischen Umformung von blechförmigen Halbzeugen}, DOI={ISBN 978-3-8440-6723-1}, publisher={Shaker}, author={Djakow, Eugen}, year={2019}, collection={Paderborner Umformtechnik} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 15031
@article{Linnemann_Psyk_Djakow_Springer_Homberg_Landgrebe_2019, title={High-Speed Incremental Forming – New Technologies For Flexible Production Of Sheet Metal Parts}, DOI={10.1016/j.promfg.2018.12.038}, journal={Procedia Manufacturing}, author={Linnemann, M. and Psyk, V. and Djakow, Eugen and Springer, R. and Homberg, W. and Landgrebe, D.}, year={2019}, pages={21–26} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 15036
@article{Piper_Zibart_Djakow_Springer_Homberg_Kenig_2019, title={Heat transfer enhancement in pillow-plate heat exchangers with dimpled surfaces: A numerical study}, DOI={10.1016/j.applthermaleng.2019.02.082}, journal={Applied Thermal Engineering}, author={Piper, M. and Zibart, A. and Djakow, Eugen and Springer, R. and Homberg, W. and Kenig, E.Y.}, year={2019}, pages={142–146} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 15080
@inproceedings{Hartel_Dunst_2019, title={How Good Is Good Enough? Establishing Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics}, DOI={10.1007/978-3-030-05716-9_59}, booktitle={International Conference on Multimedia Modeling, MMM}, publisher={Springer}, author={Hartel, Rita and Dunst, Alexander}, year={2019}, pages={662–671} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 15121
@article{Bolenz_Fischer_Toye_Kenig_2019, title={Tomographische Untersuchung der Fluiddynamik viskoser Systeme in Packungskolonnen}, DOI={10.1002/cite.201900077}, journal={Chemie Ingenieur Technik}, author={Bolenz, Lukas and Fischer, Florian and Toye, Dominique and Kenig, Eugeny}, year={2019}, pages={1892–1896} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 15123
@article{Bolenz_Toye_Kenig_2019, title={Liquid Flow Morphology of Viscous Systems in Structured Packings: Investigations by X-ray Tomography}, volume={74}, DOI={10.3303/CET1974153}, journal={Chemical Engineering Transactions}, author={Bolenz, Lukas and Toye, Dominique and Kenig, Eugeny}, year={2019}, pages={913–918} }
LibreCat
| DOI
2019 | Conference Abstract | LibreCat-ID: 15125
@inproceedings{Bolenz_Toye_Kenig_2019, title={Tomographische Untersuchung der Fluiddynamik viskoser Systeme in Packungskolonnen}, author={Bolenz, Lukas and Toye, Dominique and Kenig, Eugeny}, year={2019} }
LibreCat
2019 | Conference Abstract | LibreCat-ID: 15126
@inproceedings{Bolenz_Toye_Kenig_2019, title={Experimental and theoretical investigation of fluid dynamics in structured packings}, author={Bolenz, Lukas and Toye, Dominique and Kenig, Eugeny}, year={2019} }
LibreCat
2019 | Conference Abstract | LibreCat-ID: 15128
@inproceedings{Bolenz_Toye_Kenig_2019, title={Liquid Flow Morphology of Viscous Systems in Structured Packings: Investigations by X-ray Tomography}, author={Bolenz, Lukas and Toye, Dominique and Kenig, Eugeny}, year={2019} }
LibreCat
2019 | Conference Abstract | LibreCat-ID: 15145
@inproceedings{Salten_Maćkowiak_Maćkowiak_Kenig_2019, place={Potsdam}, title={Modellierung des Stofftransports in Füllkörperkolonnen mit dem Ansatz der hydrodynamischen Analogien}, publisher={Jahrestreffen der ProcessNet-Fachgruppen Fluidverfahrenstechnik und Membrantechnik}, author={Salten, Alexander Heinrich Johannes and Maćkowiak, Jan F. and Maćkowiak, Jerzy and Kenig, Eugeny}, year={2019} }
LibreCat
2019 | Journal Article | LibreCat-ID: 15148
@article{Rieks_Wende_Preußer_Gambaryan-Roisman_Kenig_2019, title={A hydrodynamic analogy based modelling approach for zero-gravity distillation with metal foams}, volume={147}, DOI={10.1016/j.cherd.2019.05.022}, journal={Chemical Engineering Research and Design}, author={Rieks, Sebastian and Wende, Marc and Preußer, Niklas and Gambaryan-Roisman, Tatiana and Kenig, Eugeny}, year={2019}, pages={615–623} }
LibreCat
| DOI
2019 | Conference Abstract | LibreCat-ID: 15149
@inproceedings{Wende_Kenig_2019, series={ Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stoffübertragung}, title={Modellierungsansatz zur Simulation von Gravidestillation mit Metallschäumen}, booktitle={ Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stoffübertragung}, author={Wende, Marc and Kenig, Eugeny}, year={2019}, collection={ Jahrestreffen der ProcessNet-Fachgruppe Wärme- und Stoffübertragung} }
LibreCat
2019 | Conference Abstract | LibreCat-ID: 15154
@inproceedings{Wende_Staggenborg_Kenig_2019, series={Workshop Wärmeübertragung mit Phasenwechsel in fluiden Systemen: Ein Update}, title={Simulation von Gravidestillationsprozessen mit Metallschäumen}, booktitle={Workshop Wärmeübertragung mit Phasenwechsel in fluiden Systemen: Ein Update}, author={Wende, Marc and Staggenborg, Christoph and Kenig, Eugeny}, year={2019}, collection={Workshop Wärmeübertragung mit Phasenwechsel in fluiden Systemen: Ein Update} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 15164
@inproceedings{Feldmann_Jurgelucks_Claes_Henning_2019, title={A sensitivity-based optimisation procedure for the characterisation of piezoelectric discs}, DOI={10.1121/2.0001070}, booktitle={2019 International Congress on Ultrasonics}, author={Feldmann, Nadine and Jurgelucks, Benjamin and Claes, Leander and Henning, Bernd}, year={2019} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 15173
@article{Jenert_Brahm_Naeve-Stoß_2019, title={Fachbezogene Reflexion in der beruflichen Lehrer*innenbildung}, volume={37}, journal={bwpat}, author={Jenert, Tobias and Brahm, Taiga and Naeve-Stoß, Nicole}, year={2019} }
LibreCat
2019 | Journal Article | LibreCat-ID: 15174
@article{Jenert_Brahm _2019, title={Untangling Faculty Misinformation From an Educational Perspective: Rejoinder to “‘The Menace of Misinformation: Faculty Misstatements in Management Education and Their Consequences’”}, volume={43}, number={4}, journal={Journal of Management Education }, author={Jenert, Tobias and Brahm , Taiga}, year={2019}, pages={446–453} }
LibreCat
2019 | Book (Editor) | LibreCat-ID: 15175
@book{Jenert_Reinmann_Schmohl_2019, place={Wiesbaden}, edition={1}, title={Theorie und Praxis der Hochschulbildungsforschung}, publisher={Springer VS}, year={2019} }
LibreCat
2019 | Conference Abstract | LibreCat-ID: 15182
@inproceedings{Dunst_Hartel_2019, title={Multimodale Stilometrie: Herausforderungen und Potenzial kombinatorischer Bild- und Textanalysen am Beispiel Comics}, booktitle={DHd Konferenz 2019, multimedial und multimodal}, author={Dunst, Alexander and Hartel, Rita}, year={2019} }
LibreCat
2019 | Conference Abstract | LibreCat-ID: 15186
@inproceedings{Dunst_Hartel_2019, title={Quantifying Complexity in Multimodal Media: AlanMoore and the “Density” of the Graphic Novel}, booktitle={Digital Humanities, DH 2019}, author={Dunst, Alexander and Hartel, Rita}, year={2019} }
LibreCat
2019 | Working Paper | LibreCat-ID: 15202
@book{Haake_Upmann_Duman_2019, series={Working Papers CIE}, title={The Decomposability of the Nash Bargaining Solution in Labor Markets}, volume={128}, publisher={CIE Working Paper Series, Paderborn University}, author={Haake, Claus-Jochen and Upmann, Thorsten and Duman, Papatya}, year={2019}, collection={Working Papers CIE} }
LibreCat
| Files available
2019 | Working Paper | LibreCat-ID: 15204
@book{Aslan_Duman_Trockel_2019, series={Working Papers CIE}, title={Duality for General TU-games Redefined}, volume={121}, publisher={CIE Working Paper Series, Paderborn University}, author={Aslan, Fatma and Duman, Papatya and Trockel, Walter}, year={2019}, collection={Working Papers CIE} }
LibreCat
| Files available
2019 | Conference (Editor) | LibreCat-ID: 15235
@book{Stein_Wachsmuth_2019, place={Florence, Italy}, title={Proceedings of the 6th Workshop on Argument Mining}, publisher={Association for Computational Linguistics}, year={2019} }
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15244
@inproceedings{Hagedorn_Pielsticker_Hemsel_Sextro_2019, title={Messung hochfrequenter In-Plane-Schwingungen mittels Laservibrometrie in räumlich eingeschränkten Umgebungen}, booktitle={2. VDI-Fachtagung Schwingungen 2019}, publisher={VDI Verlag GmbH · Düsseldorf 2019}, author={Hagedorn, Oliver Ernst Caspar and Pielsticker, Daniel and Hemsel, Tobias and Sextro, Walter}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 15247
@inproceedings{Grabo_Weber_Paul_Klaus_Bermpohl_Krauter_Kenig_2019, title={Entwicklung eines thermischen 1D-Simulationsmodells zur Bestimmung der Temperaturverteilung in Solarmodulen}, author={Grabo, Matti and Weber, Daniel and Paul, Andreas and Klaus, Tobias and Bermpohl, Wolfgang and Krauter, Stefan and Kenig, Eugeny}, year={2019} }
LibreCat
2019 | Conference Abstract | LibreCat-ID: 15248
@inproceedings{Grabo_Weber_Paul_Klaus_Bermpohl_Kenig_2019, title={Numerische Untersuchung der Temperaturverteilung in PCM-integrierten Solarmodulen}, author={Grabo, Matti and Weber, Daniel and Paul, Andreas and Klaus, Tobias and Bermpohl, Wolfgang and Kenig, Eugeny}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 15261
@inproceedings{Lugovtsova_Johannesmann_Henning_Prager_2019, place={Bruges}, series={Proceedings of Meetings on Acoustics}, title={Analysis of Lamb wave mode repulsion and its implications to the characterisation of adhesive bonding strength}, DOI={10.1121/2.0001074}, booktitle={2019 International Congress on Ultrasonics}, publisher={Acoustical Society of America}, author={Lugovtsova, Yevgeniya and Johannesmann, Sarah and Henning, Bernd and Prager, Jens}, year={2019}, collection={Proceedings of Meetings on Acoustics} }
LibreCat
| DOI
2019 | Book (Editor) | LibreCat-ID: 15265
@book{Linssen_Mikusz_Volland_Yigitbas_Engstler_Fazal-Baqaie_Kuhrmann_2019, series={Lecture Notes in Informatics (LNI) - Proceedings}, title={Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen im Wandel.}, volume={Volume P-298}, year={2019}, collection={Lecture Notes in Informatics (LNI) - Proceedings} }
LibreCat
2019 | Journal Article | LibreCat-ID: 15268
@article{Szierbowski-Seibel_Wach_Kabst_2019, title={The Collaboration of Human Resource Management and Line Management–An International Comparison}, DOI={10.1080/15416518.2019.1679076}, journal={Organization Management Journal}, author={Szierbowski-Seibel, Klaas and Wach, Bernhard A. and Kabst, Rüdiger}, year={2019}, pages={262–277} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 15269
@article{Prince_Kabst_2019, title={Impact of national culture on organizations’ use of selection practices}, DOI={10.1108/er-10-2018-0284}, journal={Employee Relations: The International Journal}, author={Prince, Nicholas Ryan and Kabst, Rüdiger}, year={2019}, pages={1145–1161} }
LibreCat
| DOI
2019 | Mastersthesis | LibreCat-ID: 15946
@book{Mehta_2019, title={Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Recongurable System-on-Chip}, author={Mehta, Jinay}, year={2019} }
LibreCat
2019 | Journal Article | LibreCat-ID: 15950
@article{Akbulut Irmak_Tröster_2019, title={Fracture prediction of additively manufactured AlSi10Mg materials}, DOI={10.1016/j.prostr.2019.12.101}, journal={Procedia Structural Integrity}, author={Akbulut Irmak, Emine Fulya and Tröster, Thomas}, year={2019}, pages={190–197} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 15976
@inproceedings{Akbulut Irmak_Hanses_Schweizer_Tröster_2019, title={Modeling the Energy Absorption Characteristics of Wood Crash Elements}, author={Akbulut Irmak, Emine Fulya and Hanses, Julius and Schweizer, Swetlana and Tröster, Thomas}, year={2019} }
LibreCat
2019 | Report | LibreCat-ID: 16029
@book{Marten_Tröster_2019, place={Düsseldorf}, title={Einsatz neuartiger Stähle und Generierung gradierter Leichtbaustrukturen im Presshärteprozess}, publisher={Forschungsvereinigung Stahlanwendung e.V. im Stahl Zentrum, P920, Verlag und Vertriebsgesellschaft mbH}, author={Marten, Thorsten and Tröster, Thomas}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 16030
@inproceedings{Triebus_Bienia_Marten_Tröster_Dröder_2019, title={Press Hardening Integrated Structuring for Hybrid Components}, publisher={Verlag Wissenschaftliche Scripten}, author={Triebus, Marcel and Bienia, S. and Marten, Thorsten and Tröster, Thomas and Dröder, K.}, year={2019} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 16076
@inproceedings{Hetkämper_Claes_Henning_2019, title={Evolutionary algorithm for the design of passive electric matching networks for ultrasonic transducers}, DOI={10.1121/2.0001110}, booktitle={2019 International Congress on Ultrasonics}, author={Hetkämper, Tim and Claes, Leander and Henning, Bernd}, year={2019} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16113
@article{Tiedau_Bartley_Harder_Lita_Nam_Gerrits_Silberhorn_2019, title={Scalability of parametric down-conversion for generating higher-order Fock states}, DOI={10.1103/physreva.100.041802}, journal={Physical Review A}, author={Tiedau, Johannes and Bartley, Tim and Harder, Georg and Lita, Adriana E. and Nam, Sae Woo and Gerrits, Thomas and Silberhorn, Christine}, year={2019} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16215
@inproceedings{Derrick_Doherty_Dongol_Schellhorn_Wehrheim_2019, series={Lecture Notes in Computer Science}, title={Verifying Correctness of Persistent Concurrent Data Structures}, volume={11800}, DOI={10.1007/978-3-030-30942-8\_12}, booktitle={Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings}, publisher={Springer}, author={Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}, editor={H. ter Beek, Maurice and McIver, Annabelle and N. Oliveira, Jos{\’{e}}Editors}, year={2019}, pages={179–195}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16216
@article{Russo_Schürr_Wehrheim_2019, title={Editorial}, volume={31}, DOI={10.1007/s00165-019-00495-y}, number={5}, journal={Formal Asp. Comput.}, author={Russo, Alessandra and Schürr, Andy and Wehrheim, Heike}, year={2019}, pages={457–458} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16217
@article{Fränzle_Kapur_Wehrheim_Zhan_2019, title={Editorial}, volume={31}, DOI={10.1007/s00165-018-00477-6}, number={1}, journal={Formal Asp. Comput.}, author={Fränzle, Martin and Kapur, Deepak and Wehrheim, Heike and Zhan, Naijun}, year={2019}, pages={1} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16223
@inproceedings{Groth_Schmitt_Teich_Hannig_2019, title={SYCL Code Generation for Multigrid Methods}, DOI={10.1145/3323439.3323984}, booktitle={Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems - SCOPES ’19}, author={Groth, Stefan and Schmitt, Christian and Teich, Jürgen and Hannig, Frank}, year={2019} }
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 16251
@inbook{Müller_2019, title={Structuring Unstructured Data—Or: How Machine Learning Can Make You a Wine Sommelier}, DOI={10.1007/978-3-030-06234-7_29}, booktitle={The Art of Structuring}, author={Müller, Oliver}, year={2019} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16271
@inproceedings{Claes_Johannesmann_Baumhögger_Henning_2019, title={Quantification of frequency-dependent absorption phenomena}, DOI={10.1121/2.0001043}, booktitle={2019 International Congress on Ultrasonics}, author={Claes, Leander and Johannesmann, Sarah and Baumhögger, Elmar and Henning, Bernd}, year={2019} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16275
@article{Franke-Wiekhorst_Günther_Brünger_Magenheim_Romeike_2019, title={„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material}, journal={GdSU-Journal,(9)}, author={Franke-Wiekhorst, Antonia and Günther, Christine and Brünger, Karen and Magenheim, Johannes and Romeike, Ralf}, year={2019}, pages={10–21} }
LibreCat
2019 | Journal Article | LibreCat-ID: 16305
@article{Linnemann_Nikolaychuk_Muñoz-Muñoz_Baumhögger_Vrabec_2019, title={Henry’s Law Constant of Noble Gases in Water, Methanol, Ethanol, and Isopropanol by Experiment and Molecular Simulation}, DOI={10.1021/acs.jced.9b00565}, journal={Journal of Chemical & Engineering Data}, author={Linnemann, Matthias and Nikolaychuk, Pavel Anatolyevich and Muñoz-Muñoz, Y. Mauricio and Baumhögger, Elmar and Vrabec, Jadran}, year={2019}, pages={1180–1188} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16314
@article{Preiß_Päpcke_Burkhardt_Großmann_Lochbrunner_Bauer_Opatz_Heinze_2019, title={Gold(II) Porphyrins in Photoinduced Electron Transfer Reactions}, DOI={10.1002/chem.201900050}, journal={Chemistry – A European Journal}, author={Preiß, Sebastian and Päpcke, Ayla and Burkhardt, Lukas and Großmann, Luca and Lochbrunner, Stefan and Bauer, Matthias and Opatz, Till and Heinze, Katja}, year={2019}, pages={5940–5949} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 16320
@article{Müller_Neuba_Flörke_Henkel_Kühne_Bauer_2019, title={Experimental and Theoretical High Energy Resolution Hard X-ray Absorption and Emission Spectroscopy on Biomimetic Cu2S2 Complexes}, DOI={10.1021/acs.jpca.9b00463}, journal={The Journal of Physical Chemistry A}, author={Müller, Patrick and Neuba, Adam and Flörke, Ulrich and Henkel, Gerald and Kühne, Thomas D. and Bauer, Matthias}, year={2019}, pages={3575–3581} }
LibreCat
| DOI
2019 | Dissertation | LibreCat-ID: 16325
@book{Burkhardt_2019, place={Paderborn}, title={ 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)]}, DOI={10.17619/UNIPB/1-745}, author={Burkhardt, Lukas}, year={2019} }
LibreCat
| DOI
| Download (ext.)
2019 | Dissertation | LibreCat-ID: 16327
@book{Müller_2019, place={Paderborn}, title={ 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]}, DOI={10.17619/UNIPB/1-705}, author={Müller, Patrick}, year={2019} }
LibreCat
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 16337 |
@article{Brandt_Jähn_Fischer_Meyer auf der Heide_2019, title={Visibility‐Aware Progressive Farthest Point Sampling on the GPU}, volume={38}, DOI={10.1111/cgf.13848}, number={7}, journal={Computer Graphics Forum}, author={Brandt, Sascha and Jähn, Claudius and Fischer, Matthias and Meyer auf der Heide, Friedhelm}, year={2019}, pages={413–424} }
LibreCat
| DOI
| Download (ext.)
2019 | Preprint | LibreCat-ID: 16341 |
@article{Brandt_Jähn_Fischer_Meyer auf der Heide_2019, title={Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels}, journal={arXiv:1904.08225}, author={Brandt, Sascha and Jähn, Claudius and Fischer, Matthias and Meyer auf der Heide, Friedhelm}, year={2019} }
LibreCat
| Download (ext.)
| arXiv
2019 | Book Chapter | LibreCat-ID: 16361
@inbook{Fischer_Rittmeier_Strothmann_Schwenniger_2019, place={Berlin, Heidelberg}, title={Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode}, DOI={10.1007/978-3-662-59474-2_11}, booktitle={Arbeit 4.0 im Mittelstand}, publisher={Springer Gabler}, author={Fischer, Holger Gerhard and Rittmeier, Florian and Strothmann, Thim Frederik and Schwenniger, Nina}, editor={Bosse, Christian K. and Zink, Klaus J.Editors}, year={2019} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16375
@inproceedings{Heinovski_Stratmann_Buse_Klingler_Franke_Oczko_Sommer_Scharlau_Dressler_2019, title={Modeling Cycling Behavior to Improve Bicyclists’ Safety at Intersections - A Networking Perspective}, DOI={10.1109/wowmom.2019.8793008}, booktitle={2019 IEEE 20th International Symposium on “A World of Wireless, Mobile and Multimedia Networks” (WoWMoM)}, author={Heinovski, Julian and Stratmann, Lukas and Buse, Dominik S. and Klingler, Florian and Franke, Mario and Oczko, Marie-Christin H. and Sommer, Christoph and Scharlau, Ingrid and Dressler, Falko}, year={2019} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 16376
@inproceedings{Klingler_Dressler_2019, title={Poster Abstract: Jamming WLAN Data Frames and Acknowledgments using Commodity Hardware}, DOI={10.1109/infcomw.2019.8845228}, booktitle={IEEE INFOCOM 2019 - IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)}, author={Klingler, Florian and Dressler, Falko}, year={2019} }
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 16377
@inbook{Reinold_Meyer_Buse_Klingler_Sommer_Dressler_Eisenbarth_Andert_2019, place={Wiesbaden}, title={Verkehrssimulation im Hardware-in-the-Loop-Steuergerätetest}, DOI={10.1007/978-3-658-25294-6_15}, booktitle={Proceedings}, author={Reinold, Peter and Meyer, Norbert and Buse, Dominik and Klingler, Florian and Sommer, Christoph and Dressler, Falko and Eisenbarth, Markus and Andert, Jakob}, year={2019} }
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13872
@inbook{Beyer_Jakobs_2019, place={Cham}, title={CoVeriTest: Cooperative Verifier-Based Testing}, DOI={10.1007/978-3-030-16722-6_23}, booktitle={Fundamental Approaches to Software Engineering}, author={Beyer, Dirk and Jakobs, Marie-Christine}, year={2019} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13873
@article{Feldkord_Meyer auf der Heide_2019, title={The Mobile Server Problem}, volume={6}, DOI={10.1145/3364204}, number={314}, journal={ACM Transactions on Parallel Computing (TOPC)}, author={Feldkord, Björn and Meyer auf der Heide, Friedhelm}, year={2019} }
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 13937
@article{Meyer auf der Heide_2019, title={Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln}, volume={66}, DOI={10.1007/s00591-019-00249-0}, number={2}, journal={Mathematische Semesterberichte}, author={Meyer auf der Heide, Friedhelm}, year={2019}, pages={259–260} }
LibreCat
| DOI
2019 | Book Chapter | LibreCat-ID: 13939
@inbook{Kling_Meyer auf der Heide_2019, series={Lecture Notes in Computer Science}, title={Continuous Protocols for Swarm Robotics}, volume={11340}, DOI={10.1007/978-3-030-11072-7\_13}, booktitle={Distributed Computing by Mobile Entities, Current Research in Moving and Computing}, publisher={Springer}, author={Kling, Peter and Meyer auf der Heide, Friedhelm}, year={2019}, pages={317–334}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2019 | Conference Paper | LibreCat-ID: 13942
@inproceedings{Markarian_Meyer auf der Heide_2019, title={Online Algorithms for Leasing Vertex Cover and Leasing Non-metric Facility Location}, DOI={10.5220/0007369503150321}, booktitle={Proceedings of the 8th International Conference on Operations Research and Enterprise Systems}, publisher={SciTePress}, author={Markarian, Christine and Meyer auf der Heide, Friedhelm}, year={2019}, pages={315–321} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13946
@article{Abu-Khzam_Li_Markarian_Meyer auf der Heide_Podlipyan_2019, title={Efficient parallel algorithms for parameterized problems}, volume={786}, DOI={10.1016/j.tcs.2018.11.006}, journal={Theoretical Computer Science}, author={Abu-Khzam, Faisal N. and Li, Shouwei and Markarian, Christine and Meyer auf der Heide, Friedhelm and Podlipyan, Pavel}, year={2019}, pages={2–12} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13965
@article{Buß_Schupp_As_Hägele_Rudolph_2019, title={Optical excitation density dependence of spin dynamics in bulk cubic GaN}, DOI={10.1063/1.5123914}, number={153901}, journal={Journal of Applied Physics}, author={Buß, J. H. and Schupp, T. and As, Donat Josef and Hägele, D. and Rudolph, J.}, year={2019} }
LibreCat
| DOI
2019 | Journal Article | LibreCat-ID: 13966
@article{Baron_Goldhahn_Deppe_As_Feneberg_2019, title={Influence of the free-electron concentration on the optical properties of zincblende GaN up to 1×1020cm−3}, DOI={10.1103/physrevmaterials.3.104603}, journal={Physical Review Materials}, author={Baron, Elias and Goldhahn, Rüdiger and Deppe, Michael and As, Donat Josef and Feneberg, Martin}, year={2019} }
LibreCat
| DOI
2019 | Book | LibreCat-ID: 13968
@book{Krimphove_Kruse_2019, place={München}, edition={2}, title={Kommentar: MaComp Mindestanforderungen an die Compliance-Funktion und die weiteren Verhaltens-, Organisations- und Transparenzpflichten nach §§ 63 ff. WpHG für Wert-papierdienstleistungsunternehmen}, publisher={C. H. Beck}, author={Krimphove, Dieter and Kruse, Oliver}, year={2019} }
LibreCat
2019 | Book (Editor) | LibreCat-ID: 13969
@book{Krimphove_Kruse_2019, place={München}, edition={2}, title={Kommentar: MaComp Mindestanforderungen an die Compliance-Funktion und die weiteren Verhaltens-, Organisations- und Transparenzpflichten nach §§ 63 ff. WpHG für Wert-papierdienstleistungsunternehmen}, publisher={C. H. Beck}, year={2019} }
LibreCat
2019 | Book Chapter | LibreCat-ID: 13973
@inbook{Krimphove_Kruse_2019, place={München}, edition={2}, title={AT 2 Quellen}, booktitle={Kommentar: MaComp - Mindestanforderungen an die Compliance-Funktion und die weiteren Verhaltens-, Organisations- und Transparenzpflichten nach §§ 63 ff. WpHG für Wertpapierdienstleistungsunternehmen}, publisher={C. H. Beck}, author={Krimphove, Dieter and Kruse, Oliver}, editor={Krimphove, Dieter and Kruse, OliverEditors}, year={2019}, pages={24–49} }
LibreCat
2019 | Book Chapter | LibreCat-ID: 13974
@inbook{Krimphove_2019, place={München}, edition={2}, title={AT 5 der MaComp: Zusammenarbeit mehrere Wertpapierdienstleistungsunternehmen}, booktitle={Kommentar: MaComp - Mindestanforderungen an die Compliance-Funktion und die weiteren Verhaltens-, Organisations- und Transparenzpflichten nach §§ 63 ff. WpHG für Wertpapierdienstleistungsunternehmen}, publisher={C. H. Beck}, author={Krimphove, Dieter}, editor={Krimphove, Dieter and Kruse, OliverEditors}, year={2019}, pages={64–68} }
LibreCat
2019 | Book Chapter | LibreCat-ID: 13975
@inbook{Krimphove_2019, place={München}, edition={2}, title={AT 7 der MaComp: Verhältnis §§ 63 ff. WpHG zu § 25a , §25e KWG}, booktitle={Kommentar: MaComp - Mindestanforderungen an die Compliance-Funktion und die weiteren Verhaltens-, Organisations- und Transparenzpflichten nach §§ 63 ff. WpHG für Wertpapierdienstleistungsunternehmen}, publisher={C. H. Beck}, author={Krimphove, Dieter}, editor={Krimphove, Dieter and Kruse, OliverEditors}, year={2019}, pages={88–102} }
LibreCat
2019 | Book Chapter | LibreCat-ID: 13976
@inbook{Krimphove_2019, place={München}, edition={2}, title={BT 6 Zur Verfügungstellen der Geeignetheitserklärung: nach § 64 Abs. 4 WpHG}, booktitle={Kommentar: MaComp - Mindestanforderungen an die Compliance-Funktion und die weiteren Verhaltens-, Organisations- und Transparenzpflichten nach §§ 63 ff. WpHG für Wertpapierdienstleistungsunternehmen}, publisher={C. H. Beck}, author={Krimphove, Dieter}, editor={Krimphove, Dieter and Kruse, OliverEditors}, year={2019}, pages={447–458} }
LibreCat
2019 | Book Chapter | LibreCat-ID: 13977
@inbook{Krimphove_Lüke_2019, place={München}, edition={2}, title={ BT 11 Qualifikation der Mittarbeiter von Wertpapierdienstleistungsunternehmen}, booktitle={Kommentar: MaComp - Mindestanforderungen an die Compliance-Funktion und die weiteren Verhaltens-, Organisations- und Transparenzpflichten nach §§ 63 ff. WpHG für Wertpapierdienstleistungsunternehmen}, publisher={C. H. Beck}, author={Krimphove, Dieter and Lüke, Christoph}, editor={Krimphove, Dieter and Kruse, OliverEditors}, year={2019}, pages={570–596} }
LibreCat
2019 | Book Chapter | LibreCat-ID: 13978
@inbook{Krimphove_2019, place={Stuttgart}, series={Rom II-VO; Internationales Handelsrecht; Internationales Bank- und Kapitalmarktrecht}, title={Internationales Handelsrecht}, volume={27/1}, booktitle={Bürgerliches Gesetzbuch mit Einführungsgesetz und Nebengesetzen (BGB)}, publisher={Kohlhammer}, author={Krimphove, Dieter}, editor={Soergel, Hans-TheodorEditor}, year={2019}, collection={Rom II-VO; Internationales Handelsrecht; Internationales Bank- und Kapitalmarktrecht} }
LibreCat
2019 | Book Chapter | LibreCat-ID: 13979
@inbook{Krimphove_2019, place={Stuttgart}, series={Rom II-VO; Internationales Handelsrecht; Internationales Bank- und Kapitalmarktrecht}, title={Internationales Bank- und Kapitalmarktrecht}, volume={27/1}, booktitle={Bürgerliches Gesetzbuch mit Einführungsgesetz und Nebengesetzen (BGB)}, publisher={Kohlhammer}, author={Krimphove, Dieter}, editor={Soergel, Hans-TheodorEditor}, year={2019}, collection={Rom II-VO; Internationales Handelsrecht; Internationales Bank- und Kapitalmarktrecht} }
LibreCat
2019 | Book Chapter | LibreCat-ID: 13980
@inbook{Krimphove_2019, place={Stuttgart}, series={Rom II-VO; Internationales Handelsrecht; Internationales Bank- und Kapitalmarktrecht}, title={Art. 8 VO-Rom II Verletzung von Rechten des geistigen Eigentums}, volume={27/1}, booktitle={Bürgerliches Gesetzbuch mit Einführungsgesetz und Nebengesetzen (BGB)}, publisher={Kohlhammer}, author={Krimphove, Dieter}, editor={Soergel, Hans-TheodorEditor}, year={2019}, collection={Rom II-VO; Internationales Handelsrecht; Internationales Bank- und Kapitalmarktrecht} }
LibreCat
2019 | Book Chapter | LibreCat-ID: 13981
@inbook{Krimphove_2019, place={Stuttgart}, series={Rom II-VO; Internationales Handelsrecht; Internationales Bank- und Kapitalmarktrecht}, title={Art. 9 VO-Rom II Arbeitskampfmaßnahmen}, volume={27/1}, booktitle={Bürgerliches Gesetzbuch mit Einführungsgesetz und Nebengesetzen (BGB)}, publisher={Kohlhammer}, author={Krimphove, Dieter}, editor={Soergel, Hans-TheodorEditor}, year={2019}, collection={Rom II-VO; Internationales Handelsrecht; Internationales Bank- und Kapitalmarktrecht} }
LibreCat
2019 | Book Chapter | LibreCat-ID: 13982
@inbook{Krimphove_2019, place={Stuttgart}, series={Rom II-VO; Internationales Handelsrecht; Internationales Bank- und Kapitalmarktrecht}, title={Art. 13 VO-Rom II Anwendbarkeit des Artikels 8}, volume={27/1}, booktitle={Bürgerliches Gesetzbuch mit Einführungsgesetz und Nebengesetzen (BGB)}, publisher={Kohlhammer}, author={Krimphove, Dieter}, editor={Soergel, Hans-TheodorEditor}, year={2019}, collection={Rom II-VO; Internationales Handelsrecht; Internationales Bank- und Kapitalmarktrecht} }
LibreCat
2019 | Encyclopedia Article | LibreCat-ID: 13983
@inbook{Krimphove_2019, series={Bd. 105}, title={Die Struktur der Gleichheit – oder die Problematik der sog. „diskriminierungsfreien Tatbestände“}, volume={3}, booktitle={Archiv für Rechts- und Sozialphilosophie}, author={Krimphove, Dieter}, year={2019}, pages={S. 404 ff.}, collection={Bd. 105} }
LibreCat
2019 | Journal Article | LibreCat-ID: 13989
@article{Krimphove_2019, title={Arbeitsrechtliche Rechtsprechung des EuGH im Jahre 2018}, volume={2}, journal={ArbR – Arbeitsrecht Aktuell}, publisher={Beck online}, author={Krimphove, Dieter}, year={2019}, pages={27–29} }
LibreCat
2019 | Journal Article | LibreCat-ID: 13990
@article{Krimphove_2019, title={Die Nachhaltigkeit im Bankrecht}, volume={18}, journal={Zeitschrift für das gesamte Kreditwesen}, publisher={Verlagsgruppe Knapp - Richardi - Verlag für Absatzwirtschaft}, author={Krimphove, Dieter}, year={2019}, pages={39–41} }
LibreCat
2019 | Conference Paper | LibreCat-ID: 13993
@inproceedings{Derrick_Doherty_Dongol_Schellhorn_Wehrheim_2019, title={Verifying Correctness of Persistent Concurrent Data Structures}, DOI={10.1007/978-3-030-30942-8\_12}, booktitle={Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings}, author={Derrick, John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}, year={2019}, pages={179–195} }
LibreCat
| DOI