en
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.
8643 Publications
2019 | Journal Article | LibreCat-ID: 10103
Who trades cryptocurrencies, how do they trade it, and how do they perform? Evidence from brokerage accounts
T. Hasso, M. Pelster, B. Breitmayer, Journal of Behavioral and Experimental Finance 23 (2019) 64–74.
LibreCat
| DOI
T. Hasso, M. Pelster, B. Breitmayer, Journal of Behavioral and Experimental Finance 23 (2019) 64–74.
2019 | Journal Article | LibreCat-ID: 12919
Metasurface interferometry toward quantum sensors
P. Georgi, M. Massaro, K.-H. Luo, B. Sain, N. Montaut, H. Herrmann, T. Weiss, G. Li, C. Silberhorn, T. Zentgraf, Light: Science & Applications (2019).
LibreCat
| Files available
| DOI
P. Georgi, M. Massaro, K.-H. Luo, B. Sain, N. Montaut, H. Herrmann, T. Weiss, G. Li, C. Silberhorn, T. Zentgraf, Light: Science & Applications (2019).
2019 | Journal Article | LibreCat-ID: 12933
Relocating Women in the History of Philosophy and Science. EMILIE DU CHÂTELET (1706-1749), LAURA BASSI (1711-1778), AND LUISE GOTTSCHED (1713-1762) IN BRUCKER’S PINACOTHECA
R. Hagengruber, Bruniana & Campanelliana Suppl XLIII (2019).
LibreCat
R. Hagengruber, Bruniana & Campanelliana Suppl XLIII (2019).
2019 | Journal Article | LibreCat-ID: 3585
CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation
L.M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner, Microelectronics Reliability 99 (2019) 277–290.
LibreCat
| DOI
L.M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner, Microelectronics Reliability 99 (2019) 277–290.
2019 | Conference Paper | LibreCat-ID: 10108
Together Strong: Cooperative Android App Analysis
F. Pauck, H. Wehrheim, in: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, n.d., pp. 374–384.
LibreCat
| Files available
| DOI
F. Pauck, H. Wehrheim, in: Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, n.d., pp. 374–384.
2019 | Conference Paper | LibreCat-ID: 12952
A DC bias approach to the characterisation of non-linear material parameters of piezoelectric ceramics
D. Dreiling, N. Feldmann, B. Henning, in: AMA Service GmbH, 2019.
LibreCat
| DOI
| Download (ext.)
D. Dreiling, N. Feldmann, B. Henning, in: AMA Service GmbH, 2019.
2019 | Conference Paper | LibreCat-ID: 7626
PhASAR: An Inter-Procedural Static Analysis Framework for C/C++
P. Schubert, B. Hermann, E. Bodden, in: Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), 2019, pp. 393–410.
LibreCat
| Files available
| DOI
P. Schubert, B. Hermann, E. Bodden, in: Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019), 2019, pp. 393–410.
2019 | Conference Paper | LibreCat-ID: 8871
Distributed Computation in Node-Capacitated Networks
J. Augustine, M. Ghaffari, R. Gmyr, K. Hinnenthal, F. Kuhn, J. Li, C. Scheideler, in: Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2019, pp. 69--79.
LibreCat
| Files available
| DOI
J. Augustine, M. Ghaffari, R. Gmyr, K. Hinnenthal, F. Kuhn, J. Li, C. Scheideler, in: Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2019, pp. 69--79.
2019 | Journal Article | LibreCat-ID: 12971
Unions of 1-factors in r-graphs and overfull graphs
L. Jin, E. Steffen, J. of Combinatorics, to Appear (2019).
LibreCat
L. Jin, E. Steffen, J. of Combinatorics, to Appear (2019).
2019 | Misc | LibreCat-ID: 8112
A Hybrid Space Compactor for Varying X-Rates
M.U. Maaz, A. Sprenger, S. Hellebrand, A Hybrid Space Compactor for Varying X-Rates, 31. Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen” (TuZ’19), Prien am Chiemsee, 2019.
LibreCat
M.U. Maaz, A. Sprenger, S. Hellebrand, A Hybrid Space Compactor for Varying X-Rates, 31. Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen” (TuZ’19), Prien am Chiemsee, 2019.
2019 | Conference Paper | LibreCat-ID: 7669
A Digital Twin-Based Multi-Modal UI Adaptation Framework for Assistance Systems in Industry 4.0
K. Josifovska, E. Yigitbas, G. Engels, in: Proceedings of the 21st International Conference on Human-Computer Interaction (HCII 2019), Springer, LNCS, 2019, pp. 398–409.
LibreCat
K. Josifovska, E. Yigitbas, G. Engels, in: Proceedings of the 21st International Conference on Human-Computer Interaction (HCII 2019), Springer, LNCS, 2019, pp. 398–409.
2019 | Preprint | LibreCat-ID: 13114
Flows on signed graphs without long barbells
Y. Lu, R. Luo, M. Schubert, E. Steffen, C.-Q. Zhang, ArXiv:1908.11004 (2019).
LibreCat
Y. Lu, R. Luo, M. Schubert, E. Steffen, C.-Q. Zhang, ArXiv:1908.11004 (2019).
2019 | Dissertation | LibreCat-ID: 13126
Organic Programming of Dynamic Real-Time Applications
L. Khaluf, Organic Programming of Dynamic Real-Time Applications, Paderborn University, 2019.
LibreCat
L. Khaluf, Organic Programming of Dynamic Real-Time Applications, Paderborn University, 2019.
2019 | Journal Article | LibreCat-ID: 13121
Culture and the disposition effect
B. Breitmayer, T. Hasso, M. Pelster, Economics Letters 184 (2019).
LibreCat
| DOI
B. Breitmayer, T. Hasso, M. Pelster, Economics Letters 184 (2019).
2019 | Working Paper | LibreCat-ID: 13145
Determinants of CDS trading on major banks
B. Hippert, A. Uhde, S.T. Wengerek, Determinants of CDS Trading on Major Banks, Working Papers Dissertations from Paderborn University, Faculty of Business Administration and Economics, 2019.
LibreCat
B. Hippert, A. Uhde, S.T. Wengerek, Determinants of CDS Trading on Major Banks, Working Papers Dissertations from Paderborn University, Faculty of Business Administration and Economics, 2019.
2019 | Conference Paper | LibreCat-ID: 13140
From Pattern Invocation Networks to Rule Preconditions
N. Weidmann, A. Anjorin, F. Stolte, F. Kraus, in: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, 2019, pp. 195–211.
LibreCat
| DOI
N. Weidmann, A. Anjorin, F. Stolte, F. Kraus, in: Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15-16, 2019, Proceedings, 2019, pp. 195–211.
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
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.
2019 | Journal Article | LibreCat-ID: 10792
Assessing the long-term fragmentation of information systems research with a longitudinal multi-network analysis
G.F. Khan, M. Trier, European Journal of Information Systems 28 (2019) 370–393.
LibreCat
| DOI
G.F. Khan, M. Trier, European Journal of Information Systems 28 (2019) 370–393.
2019 | Journal Article | LibreCat-ID: 8667
Divide and Compact - Stochastic Space Compaction for Faster-than-At-Speed Test
A. Sprenger, S. Hellebrand, Journal of Circuits, Systems and Computers (2019).
LibreCat
| DOI
A. Sprenger, S. Hellebrand, Journal of Circuits, Systems and Computers (2019).
2019 | Journal Article | LibreCat-ID: 13246
The gender pay gap in European executive boards: the role of executives’ pathway into the board
M. Schneider, A. Iseke, K. Pull, The International Journal of Human Resource Management (2019) 1–23.
LibreCat
| DOI
| Download (ext.)
M. Schneider, A. Iseke, K. Pull, The International Journal of Human Resource Management (2019) 1–23.
2019 | Journal Article | LibreCat-ID: 13284
Higher-order contributions and nonperturbative effects in the nondegenerate nonlinear optical absorption of semiconductors using a two-band model
W.-R. Hannes, T. Meier, Physical Review B 99 (2019).
LibreCat
| DOI
W.-R. Hannes, T. Meier, Physical Review B 99 (2019).
2019 | Conference Paper | LibreCat-ID: 3287
Specifying and Analyzing Virtual Network Services Using Queuing Petri Nets
S.B. Schneider, A. Sharma, H. Karl, H. Wehrheim, in: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), IFIP, Washington, DC, USA, 2019, pp. 116--124.
LibreCat
| Files available
| Download (ext.)
S.B. Schneider, A. Sharma, H. Karl, H. Wehrheim, in: 2019 IFIP/IEEE International Symposium on Integrated Network Management (IM), IFIP, Washington, DC, USA, 2019, pp. 116--124.
2019 | Preprint | LibreCat-ID: 13347
Molecular Doping of PCPDT-BT Copolymers: Comparison of Molecular Complexes with and Without Integer Charge Transfer
C. Dong, S. Schumacher, (2019).
LibreCat
C. Dong, S. Schumacher, (2019).
2019 | Preprint | LibreCat-ID: 13335
Optical Vortex Core Switching in Spinor Polariton Condensates
M. Pukrop, S. Schumacher, X. Ma, ArXiv:1907.10974 (2019).
LibreCat
M. Pukrop, S. Schumacher, X. Ma, ArXiv:1907.10974 (2019).
2019 | Journal Article | LibreCat-ID: 13429
Oxygen and potassium vacancies in KTP calculated from first principles
A. Bocchini, S. Neufeld, U. Gerstmann, W.G. Schmidt, Journal of Physics: Condensed Matter (2019).
LibreCat
| DOI
A. Bocchini, S. Neufeld, U. Gerstmann, W.G. Schmidt, Journal of Physics: Condensed Matter (2019).
2019 | Journal Article | LibreCat-ID: 13431
"A possibilistic finite element method for sparse data"
A. Dridger, I. Caylak, R. Mahnken, E. Penner, Safety and Reliability (2019) 58–82.
LibreCat
| DOI
A. Dridger, I. Caylak, R. Mahnken, E. Penner, Safety and Reliability (2019) 58–82.
2019 | Book Chapter | LibreCat-ID: 13436
TAILORED STACKED HYBRIDS – AN OPTIMIZATION-BASED APPROACH IN MATERIAL DESIGN FOR FURTHER IMPROVEMENT IN LIGHTWEIGHT CAR BODY STRUCTURES
A.A. Camberg, I. Stratmann, T. Tröster, in: Technologies for Economical and Functional Lightweight Design, Berlin, Heidelberg, 2019.
LibreCat
| DOI
A.A. Camberg, I. Stratmann, T. Tröster, in: Technologies for Economical and Functional Lightweight Design, Berlin, Heidelberg, 2019.
2019 | Conference Paper | LibreCat-ID: 13443
Deep reinforcement learning for scheduling in large-scale networked control systems
A. Redder, A. Ramaswamy, D. Quevedo, in: Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2019.
LibreCat
| Files available
| Download (ext.)
A. Redder, A. Ramaswamy, D. Quevedo, in: Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2019.
2019 | Conference Paper | LibreCat-ID: 11714
Data Acquisition for Argument Search: The args.me Corpus.
Y. Ajjour, H. Wachsmuth, J. Kiesel, M. Potthast, M. Hagen, B. Stein, in: 2019.
LibreCat
Y. Ajjour, H. Wachsmuth, J. Kiesel, M. Potthast, M. Hagen, B. Stein, in: 2019.
2019 | Journal Article | LibreCat-ID: 13455
Exploring the link between payment schemes and customer fraud: a mental accounting perspective
I. Garnefeld, A. Eggert, M. Husemann-Kopetzky, E. Boehm, Journal of the Academy of Marketing Science 47 (2019) 595--616.
LibreCat
I. Garnefeld, A. Eggert, M. Husemann-Kopetzky, E. Boehm, Journal of the Academy of Marketing Science 47 (2019) 595--616.
2019 | Book Chapter | LibreCat-ID: 13551
Emilie Du Châtelet zwischen Leibniz und Kant. Du Châtelet in der Eberhard-Kant-Kontroverse
R. Hagengruber, in: R. Hagengruber, H. Hecht (Eds.), Emilie Du Châtelet und die deutsche Aufklärung, Springer Fachmedien Wiesbaden; Imprint: Springer VS, Wiesbaden, 2019, pp. 173–196.
LibreCat
R. Hagengruber, in: R. Hagengruber, H. Hecht (Eds.), Emilie Du Châtelet und die deutsche Aufklärung, Springer Fachmedien Wiesbaden; Imprint: Springer VS, Wiesbaden, 2019, pp. 173–196.
2019 | Journal Article | LibreCat-ID: 13549
Introduction
R. Hagengruber, H. Sarah, British Journal for the History of Philosophy 27 (2019).
LibreCat
| DOI
| Download (ext.)
R. Hagengruber, H. Sarah, British Journal for the History of Philosophy 27 (2019).
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
K. Hinnenthal, C. Scheideler, M. Struijs, in: 33rd International Symposium on Distributed Computing (DISC 2019), 2019.
2019 | Journal Article | LibreCat-ID: 10014
Quasiparticle and excitonic effects in the optical response of KNbO3
F. Schmidt, A. Riefer, W.G. Schmidt, A. Schindlmayr, M. Imlau, F. Dobener, N. Mengel, S. Chatterjee, S. Sanna, Physical Review Materials (2019).
LibreCat
| DOI
F. Schmidt, A. Riefer, W.G. Schmidt, A. Schindlmayr, M. Imlau, F. Dobener, N. Mengel, S. Chatterjee, S. Sanna, Physical Review Materials (2019).
2019 | Book Chapter | LibreCat-ID: 13811
Eine Analyse ausbildungsvorbereitender Bildungsgänge
H.-H. Kremer, P. Frehe-Halliwell, in: M. Veber, R. Benölken, M. Pfitzner (Eds.), Potenzialorientierte Förderung in den Fachdidaktiken, Waxmann, Münster, 2019, pp. 151–170.
LibreCat
H.-H. Kremer, P. Frehe-Halliwell, in: M. Veber, R. Benölken, M. Pfitzner (Eds.), Potenzialorientierte Förderung in den Fachdidaktiken, Waxmann, Münster, 2019, pp. 151–170.
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
| DOI
B. Feldkord, F. Meyer auf der Heide, ACM Transactions on Parallel Computing (TOPC) 6 (2019).
2019 | Journal Article | LibreCat-ID: 13809
Entwicklungsförderliche Gestaltung von Qualifizierungsbausteinen in der dualisierten Ausbildungsvorbereitung
H.-H. Kremer, P. Frehe-Halliwell, BWP (2019) 5.
LibreCat
H.-H. Kremer, P. Frehe-Halliwell, BWP (2019) 5.
2019 | Conference Paper | LibreCat-ID: 9850
Can stimuli improve business model idea generation? Developing software-based tools for business model innovation
D. Szopinski, in: Proceedings of the ACM Creativity & Cognition, 2019.
LibreCat
| Files available
D. Szopinski, in: Proceedings of the ACM Creativity & Cognition, 2019.
2019 | Journal Article | LibreCat-ID: 13900
Attosecond temporal confinement of interband excitation by intraband motion
X. Song, R. Zuo, S. Yang, P. Li, T. Meier, W. Yang, Optics Express 27 (2019).
LibreCat
| DOI
X. Song, R. Zuo, S. Yang, P. Li, T. Meier, W. Yang, Optics Express 27 (2019).
2019 | Conference Paper | LibreCat-ID: 12870
Managing Multiple Mobile Resources
B. Feldkord, T. Knollmann, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 17th Workshop on Approximation and Online Algorithms (WAOA) (Accepted), Springer, n.d.
LibreCat
| arXiv
B. Feldkord, T. Knollmann, M. Malatyali, F. Meyer auf der Heide, in: Proceedings of the 17th Workshop on Approximation and Online Algorithms (WAOA) (Accepted), Springer, n.d.
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
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.
2019 | Book Chapter | LibreCat-ID: 13981
Art. 9 VO-Rom II Arbeitskampfmaßnahmen
D. Krimphove, in: H.-T. Soergel (Ed.), Bürgerliches Gesetzbuch Mit Einführungsgesetz Und Nebengesetzen (BGB), Kohlhammer, Stuttgart, 2019.
LibreCat
D. Krimphove, in: H.-T. Soergel (Ed.), Bürgerliches Gesetzbuch Mit Einführungsgesetz Und Nebengesetzen (BGB), Kohlhammer, Stuttgart, 2019.
2019 | Book Chapter | LibreCat-ID: 13979
Internationales Bank- und Kapitalmarktrecht
D. Krimphove, in: H.-T. Soergel (Ed.), Bürgerliches Gesetzbuch Mit Einführungsgesetz Und Nebengesetzen (BGB), Kohlhammer, Stuttgart, 2019.
LibreCat
D. Krimphove, in: H.-T. Soergel (Ed.), Bürgerliches Gesetzbuch Mit Einführungsgesetz Und Nebengesetzen (BGB), Kohlhammer, Stuttgart, 2019.
2019 | Journal Article | LibreCat-ID: 14023
Smart service systems: An interdisciplinary perspective
D. Beverungen, C.F. Breidbach, J. Poeppelbuss, V.K. Tuunainen, Information Systems Journal (2019).
LibreCat
| DOI
D. Beverungen, C.F. Breidbach, J. Poeppelbuss, V.K. Tuunainen, Information Systems Journal (2019).
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
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.
2019 | Conference Paper | LibreCat-ID: 14819
Modeling Cycling Behavior to Improve Bicyclists' Safety at Intersections - A Networking Perspective
J. Heinovski, L. Stratmann, D.S. Buse, F. Klingler, M. Franke, M.-C.H. Oczko, C. Sommer, I. Scharlau, F. Dressler, in: 2019 IEEE 20th International Symposium on “A World of Wireless, Mobile and Multimedia Networks” (WoWMoM), 2019.
LibreCat
| DOI
J. Heinovski, L. Stratmann, D.S. Buse, F. Klingler, M. Franke, M.-C.H. Oczko, C. Sommer, I. Scharlau, F. Dressler, in: 2019 IEEE 20th International Symposium on “A World of Wireless, Mobile and Multimedia Networks” (WoWMoM), 2019.
2019 | Journal Article | LibreCat-ID: 14821
Aufführungs- und zensurbedingte Veränderungen im Wiener Manuskript der Freischütz-Erstaufführung 1821 in Wien
A.R. Seipelt, Weberiana 29 (2019) 107–161.
LibreCat
A.R. Seipelt, Weberiana 29 (2019) 107–161.
2019 | Conference Paper | LibreCat-ID: 12875
Joint Optimization of Neural Network-based WPE Dereverberation and Acoustic Model for Robust Online ASR
J. Heymann, L. Drude, R. Haeb-Umbach, K. Kinoshita, T. Nakatani, in: ICASSP 2019, Brighton, UK, 2019.
LibreCat
J. Heymann, L. Drude, R. Haeb-Umbach, K. Kinoshita, T. Nakatani, in: ICASSP 2019, Brighton, UK, 2019.
2019 | Conference Paper | LibreCat-ID: 14826
Guided Source Separation Meets a Strong ASR Backend: Hitachi/Paderborn University Joint Investigation for Dinner Party ASR
N. Kanda, C. Boeddeker, J. Heitkaemper, Y. Fujita, S. Horiguchi, R. Haeb-Umbach, in: INTERSPEECH 2019, Graz, Austria, 2019.
LibreCat
| Files available
N. Kanda, C. Boeddeker, J. Heitkaemper, Y. Fujita, S. Horiguchi, R. Haeb-Umbach, in: INTERSPEECH 2019, Graz, Austria, 2019.
2019 | Book Chapter | LibreCat-ID: 14890
Exploiting Counterfactuals for Scalable Stochastic Optimization
S. Kuhlemann, M. Sellmann, K. Tierney, in: Lecture Notes in Computer Science, Cham, 2019.
LibreCat
| DOI
S. Kuhlemann, M. Sellmann, K. Tierney, in: Lecture Notes in Computer Science, Cham, 2019.