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.
9783 Publications
2021 | Journal Article | LibreCat-ID: 34629
Local RBF-based penalized least-squares approximation on the sphere with noisy scattered data
K. Hesse, I.H. Sloan, R.S. Womersley, Journal of Computational and Applied Mathematics 382 (2021).
LibreCat
| DOI
K. Hesse, I.H. Sloan, R.S. Womersley, Journal of Computational and Applied Mathematics 382 (2021).
2021 | Journal Article | LibreCat-ID: 53268
Distributed Algorithms for Spectral and Energy-Efficiency Maximization of K-User Interference Channels
M. Soleymani, I. Santamaria, P.J. Schreier, IEEE Access 9 (2021) 96948–96963.
LibreCat
| DOI
M. Soleymani, I. Santamaria, P.J. Schreier, IEEE Access 9 (2021) 96948–96963.
2021 | Journal Article | LibreCat-ID: 32006
Spectral Theory of the Frame Flow on Hyperbolic 3-Manifolds
C. Guillarmou, B. Küster, Annales Henri Poincaré 22 (2021) 3565–3617.
LibreCat
| DOI
C. Guillarmou, B. Küster, Annales Henri Poincaré 22 (2021) 3565–3617.
2021 | Conference Paper | LibreCat-ID: 46194
Algorithm-hardware co-design of a discontinuous Galerkin shallow-water model for a dataflow architecture on FPGA
T. Kenter, A. Shambhu, S. Faghih-Naini, V. Aizinger, in: Proceedings of the Platform for Advanced Scientific Computing Conference (PASC), ACM, 2021.
LibreCat
| Files available
| DOI
| Download (ext.)
T. Kenter, A. Shambhu, S. Faghih-Naini, V. Aizinger, in: Proceedings of the Platform for Advanced Scientific Computing Conference (PASC), ACM, 2021.
2021 | Journal Article | LibreCat-ID: 53363
Mathematics textbooks and curriculum resources as instruments for change
S. Rezat, L. Fan, B. Pepin, ZDM – Mathematics Education 53 (2021) 1189–1206.
LibreCat
| DOI
S. Rezat, L. Fan, B. Pepin, ZDM – Mathematics Education 53 (2021) 1189–1206.
2021 | Book Chapter | LibreCat-ID: 34161
Challenges of making sense of tasks and automated feedback in digital mathematics textbooks
S. Rezat, F. Schacht, U. Häsel-Weide, in: A. Clark-Wilson, A. Donevska-Todorova, E. Faggiano, J. Trgalová , H.-G. Weigang (Eds.), Mathematics Education in the Digital Age. Learning, Practice and Theory, Routledge, London, 2021, pp. 168–184.
LibreCat
| Files available
| DOI
S. Rezat, F. Schacht, U. Häsel-Weide, in: A. Clark-Wilson, A. Donevska-Todorova, E. Faggiano, J. Trgalová , H.-G. Weigang (Eds.), Mathematics Education in the Digital Age. Learning, Practice and Theory, Routledge, London, 2021, pp. 168–184.
2021 | Journal Article | LibreCat-ID: 44683
How automated feedback from a digital mathematics textbook affects primary students’ conceptual development: two case studies
S. Rezat, ZDM Mathematics Education 53 (2021) 1433–1445.
LibreCat
| DOI
S. Rezat, ZDM Mathematics Education 53 (2021) 1433–1445.
2021 | Book Chapter | LibreCat-ID: 35757
Fachwissen zur Arithmetik bei Grundschullehramtsstudierenden – Entwicklung im ersten Semester und Veränderungen durch eine Lehrinnovation
R. Hochmuth, R. Biehler, W. Blum, K. Achmetli, J. Rode, J. Krawitz, S. Schukajlow, P. Bender, J. Haase, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 611–644.
LibreCat
| DOI
R. Hochmuth, R. Biehler, W. Blum, K. Achmetli, J. Rode, J. Krawitz, S. Schukajlow, P. Bender, J. Haase, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 611–644.
2021 | Book Chapter | LibreCat-ID: 35746
Integration digitaler Lernmaterialien in die Präsenzlehre am Beispiel des Mathematikvorkurses für Ingenieure an der Universität Paderborn
Y. Fleischmann, R. Biehler, A. Gold, T. Mai, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 321–363.
LibreCat
| DOI
Y. Fleischmann, R. Biehler, A. Gold, T. Mai, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 321–363.
2021 | Book Chapter | LibreCat-ID: 35755
Die Online-Lernmaterialien im Online-Mathematikvorkurs studiVEMINT: Konzeption und Ergebnisse von Nutzer- und Evaluationsstudien
A. Gold, Y. Fleischmann, T. Mai, R. Biehler, L. Kempen, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 365–397.
LibreCat
| DOI
A. Gold, Y. Fleischmann, T. Mai, R. Biehler, L. Kempen, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 365–397.
2021 | Book Chapter | LibreCat-ID: 35730
Einführung: Lehrinnovationen in der Hochschulmathematik – praxisrelevant – didaktisch fundiert – forschungsbasiert
R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in Der Hochschulmathematik . Konzepte Und Studien Zur Hochschuldidaktik Und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 1–6.
LibreCat
| DOI
R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in Der Hochschulmathematik . Konzepte Und Studien Zur Hochschuldidaktik Und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 1–6.
2021 | Book Chapter | LibreCat-ID: 35720
Mathematikvorkurse als Brücke in das Studium–Einführung
R. Biehler, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in Der Hochschulmathematik . Konzepte Und Studien Zur Hochschuldidaktik Und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 285–290.
LibreCat
| DOI
R. Biehler, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in Der Hochschulmathematik . Konzepte Und Studien Zur Hochschuldidaktik Und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 285–290.
2021 | Journal Article | LibreCat-ID: 35737
Introducing students to machine learning with decision trees using CODAP and Jupyter Notebooks
R. Biehler, Y. Fleischer, Teaching Statistics 43 (2021) S133–S142.
LibreCat
| DOI
R. Biehler, Y. Fleischer, Teaching Statistics 43 (2021) S133–S142.
2021 | Book (Editor) | LibreCat-ID: 35734
Lehrinnovationen in der Hochschulmathematik
R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper, eds., Lehrinnovationen in Der Hochschulmathematik, Springer Spektrum, Berlin, Heidelberg, 2021.
LibreCat
| DOI
R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper, eds., Lehrinnovationen in Der Hochschulmathematik, Springer Spektrum, Berlin, Heidelberg, 2021.
2021 | Journal Article | LibreCat-ID: 35744
3D-Geometrie–virtuell und real
R. Biehler, H.-G. Weigand, mathematik lehren 2021 (2021) 2–5.
LibreCat
R. Biehler, H.-G. Weigand, mathematik lehren 2021 (2021) 2–5.
2021 | Journal Article | LibreCat-ID: 35778
Mathematics in Engineering Education: a Review of the Recent Literature with a View towards Innovative Practices
B. Pepin, R. Biehler, G. Gueudet, International Journal of Research in Undergraduate Mathematics Education 7 (2021) 163–188.
LibreCat
| DOI
B. Pepin, R. Biehler, G. Gueudet, International Journal of Research in Undergraduate Mathematics Education 7 (2021) 163–188.
2021 | Book Chapter | LibreCat-ID: 35776
Design-Based Research in der Hochschullehre am Beispiel der Lehrveranstaltung „Einführung in die Kultur der Mathematik“
L. Kempen, R. Biehler, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 477–525.
LibreCat
| DOI
L. Kempen, R. Biehler, in: R. Biehler, A. Eichler, R. Hochmuth, S. Rach, N. Schaper (Eds.), Lehrinnovationen in der Hochschulmathematik . Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik, Springer Spektrum, Berlin, Heidelberg, 2021, pp. 477–525.
2021 | Book Chapter | LibreCat-ID: 35704
Education and professional development of university mathematics teachers
C. Winsløw, R. Biehler, B. Jaworski, F. Rønning, M. Wawro, in: V. Durand-Guerrier, R. Hochmuth, E. Nardi, C. Winsløw (Eds.), Research and Development in University Mathematics Education, Routledge, 2021, pp. 59–79.
LibreCat
| DOI
C. Winsløw, R. Biehler, B. Jaworski, F. Rønning, M. Wawro, in: V. Durand-Guerrier, R. Hochmuth, E. Nardi, C. Winsløw (Eds.), Research and Development in University Mathematics Education, Routledge, 2021, pp. 59–79.
2021 | Journal Article | LibreCat-ID: 35761
Schatten von 3D-Objekten: Modellierung mit GeoGebra 3D und Anwendungen in der Computergrafik
L. Höper, L. Malin, R. Biehler, mathematik lehren 2021 (2021) 19–22.
LibreCat
L. Höper, L. Malin, R. Biehler, mathematik lehren 2021 (2021) 19–22.
2021 | Journal Article | LibreCat-ID: 35763
Faszination 3D-Film: Entwicklung einer 3D-Konstruktion
S. Hüsing, N. Weiser, R. Biehler, mathematik lehren 2021 (2021) 23–27.
LibreCat
S. Hüsing, N. Weiser, R. Biehler, mathematik lehren 2021 (2021) 23–27.
2021 | Journal Article | LibreCat-ID: 35702
Consultation Phases in Mathematics Learning and Support Centres
M. Schürmann, A. Panse, Z. Shaikh, R. Biehler, N. Schaper, M. Liebendörfer, J. Hilgert, International Journal of Research in Undergraduate Mathematics Education 8 (2021) 94–120.
LibreCat
| DOI
M. Schürmann, A. Panse, Z. Shaikh, R. Biehler, N. Schaper, M. Liebendörfer, J. Hilgert, International Journal of Research in Undergraduate Mathematics Education 8 (2021) 94–120.
2021 | Journal Article | LibreCat-ID: 35781
The process of actively building a model for a randomization test – insights into learners’ modeling activities based on a case study
S. Podworny, R. Biehler, Mathematical Thinking and Learning 24 (2021) 291–311.
LibreCat
| DOI
S. Podworny, R. Biehler, Mathematical Thinking and Learning 24 (2021) 291–311.
2021 | Journal Article | LibreCat-ID: 35751
A first introduction to data science education in secondary schools: Teaching and learning about data exploration withCODAPusing survey data
D. Frischemeier, R. Biehler, S. Podworny, L. Budde, Teaching Statistics 43 (2021) S182–S189.
LibreCat
| DOI
D. Frischemeier, R. Biehler, S. Podworny, L. Budde, Teaching Statistics 43 (2021) S182–S189.
2021 | Journal Article | LibreCat-ID: 24786
Opportunities and Possibilities of a Network of Mathematical Learning and Support Centres in Germany
M. Schürmann, M. Liebendörfer, L. Gildehaus, N. Schaper, R. Hochmuth, R. Biehler, E. Lankeit, C. Kuklinski, J. Ruge, Sigma Newsletter 22 (2021) 5–6.
LibreCat
M. Schürmann, M. Liebendörfer, L. Gildehaus, N. Schaper, R. Hochmuth, R. Biehler, E. Lankeit, C. Kuklinski, J. Ruge, Sigma Newsletter 22 (2021) 5–6.
2021 | Journal Article | LibreCat-ID: 45335
Was ist eine gute Skizze? Strategiewissen beim mathematischen Modellieren im Bereich der Geometrie fördern
J. Schönherr, S. Schukajlow, J. Blomberg, mathematik lehren 224 (2021) 22–27.
LibreCat
J. Schönherr, S. Schukajlow, J. Blomberg, mathematik lehren 224 (2021) 22–27.
2021 | Journal Article | LibreCat-ID: 45333
Does strategic knowledge matter? Effects of strategic knowledge about drawing on students’ modeling competencies in the domain of geometry
J. Schönherr, S. Schukajlow, J. Blomberg, C. Leopold, Mathematical Thinking and Learning (2021).
LibreCat
| DOI
J. Schönherr, S. Schukajlow, J. Blomberg, C. Leopold, Mathematical Thinking and Learning (2021).
2021 | Journal Article | LibreCat-ID: 45342
Do emotions and prior performance facilitate the use of the learner-generated drawing strategy? Effects of enjoyment, anxiety, and intramathematical performance on the use of the drawing strategy and modelling performance
J. Schönherr, J. Blomberg, S. Schukajlow, C. Leopold, Contemporary Educational Psychology 65 (2021).
LibreCat
| DOI
J. Schönherr, J. Blomberg, S. Schukajlow, C. Leopold, Contemporary Educational Psychology 65 (2021).
2020 | Conference Paper | LibreCat-ID: 25334
Analysis of DTLS Implementations Using Protocol State Fuzzing
P. Fiterau-Brostean, B. Jonsson, R. Merget, J. de Ruiter, K. Sagonas, J. Somorovsky, in: 29th {USENIX} Security Symposium ({USENIX} Security 20), {USENIX} Association, 2020, pp. 2523–2540.
LibreCat
P. Fiterau-Brostean, B. Jonsson, R. Merget, J. de Ruiter, K. Sagonas, J. Somorovsky, in: 29th {USENIX} Security Symposium ({USENIX} Security 20), {USENIX} Association, 2020, pp. 2523–2540.
2020 | Book Chapter | LibreCat-ID: 19521
Learning Choice Functions via Pareto-Embeddings
K. Pfannschmidt, E. Hüllermeier, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat
| DOI
K. Pfannschmidt, E. Hüllermeier, in: Lecture Notes in Computer Science, Cham, 2020.
2020 | Conference Paper | LibreCat-ID: 19606 | 
ProConAR: A Tool Support for Model-based AR Product Configuration
S. Gottschalk, E. Yigitbas, E. Schmidt, G. Engels, in: R. Bernhaupt, C. Ardito, S. Sauer (Eds.), Human-Centered Software Engineering. HCSE 2020, Springer, Cham, 2020.
LibreCat
| Files available
| DOI
S. Gottschalk, E. Yigitbas, E. Schmidt, G. Engels, in: R. Bernhaupt, C. Ardito, S. Sauer (Eds.), Human-Centered Software Engineering. HCSE 2020, Springer, Cham, 2020.
2020 | Conference Paper | LibreCat-ID: 19607 |
Every Node for Itself: Fully Distributed Service Coordination
S.B. Schneider, L.D. Klenner, H. Karl, in: IEEE International Conference on Network and Service Management (CNSM), IEEE, 2020.
LibreCat
| Files available
S.B. Schneider, L.D. Klenner, H. Karl, in: IEEE International Conference on Network and Service Management (CNSM), IEEE, 2020.
2020 | Conference Paper | LibreCat-ID: 19609 |
Self-Driving Network and Service Coordination Using Deep Reinforcement Learning
S.B. Schneider, A. Manzoor, H. Qarawlus, R. Schellenberg, H. Karl, R. Khalili, A. Hecker, in: IEEE International Conference on Network and Service Management (CNSM), IEEE, 2020.
LibreCat
| Files available
S.B. Schneider, A. Manzoor, H. Qarawlus, R. Schellenberg, H. Karl, R. Khalili, A. Hecker, in: IEEE International Conference on Network and Service Management (CNSM), IEEE, 2020.
2020 | Conference Paper | LibreCat-ID: 19632
Augmented and Virtual Reality Object Repository for Rapid Prototyping
I. Jovanovikj, E. Yigitbas, S. Sauer, G. Engels, in: Proceedings of the 8th International Working Conference on Human-Centered Software Engineering (HCSE’20), Springer, 2020, pp. 216–224.
LibreCat
I. Jovanovikj, E. Yigitbas, S. Sauer, G. Engels, in: Proceedings of the 8th International Working Conference on Human-Centered Software Engineering (HCSE’20), Springer, 2020, pp. 216–224.
2020 | Conference Paper | LibreCat-ID: 19656
Automatic Fairness Testing of Machine Learning Models
A. Sharma, H. Wehrheim, in: Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS), Springer, n.d.
LibreCat
A. Sharma, H. Wehrheim, in: Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS), Springer, n.d.
2020 | Journal Article | LibreCat-ID: 19864
Research and Consulting in Data-Driven Strategic Product Planning
M. Meyer, M. Frank, M. Massmann, R. Dumitrescu, Proceedings of The 11th International Multi-Conference on Complexity, Informatics and Cybernetics (IMCIC 2020) (2020).
LibreCat
M. Meyer, M. Frank, M. Massmann, R. Dumitrescu, Proceedings of The 11th International Multi-Conference on Complexity, Informatics and Cybernetics (IMCIC 2020) (2020).
2020 | Journal Article | LibreCat-ID: 19866
Research and Consulting in Data-Driven Strategic Product Planning
M. Meyer, M. Frank, M. Massmann, R. Dumitrescu, Journal of Systemics, Cybernetics and Informatics 18 (2020) 55–61.
LibreCat
M. Meyer, M. Frank, M. Massmann, R. Dumitrescu, Journal of Systemics, Cybernetics and Informatics 18 (2020) 55–61.
2020 | Conference Paper | LibreCat-ID: 19899
A Discrete and Continuous Study of the Max-Chain-Formation Problem – Slow Down to Speed Up
J. Castenow, P. Kling, T. Knollmann, F. Meyer auf der Heide, in: S. Devismes , N. Mittal (Eds.), Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings, Springer, 2020, pp. 65–80.
LibreCat
| DOI
| arXiv
J. Castenow, P. Kling, T. Knollmann, F. Meyer auf der Heide, in: S. Devismes , N. Mittal (Eds.), Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings, Springer, 2020, pp. 65–80.
2020 | Journal Article | LibreCat-ID: 19938
Preservation of Bifurcations of Hamiltonian Boundary Value Problems Under Discretisation
R.I. McLachlan, C. Offen, Foundations of Computational Mathematics 20 (2020) 1363–1400.
LibreCat
| DOI
| Download (ext.)
R.I. McLachlan, C. Offen, Foundations of Computational Mathematics 20 (2020) 1363–1400.
2020 | Journal Article | LibreCat-ID: 19939 |
Detection of high codimensional bifurcations in variational PDEs
L.M. Kreusser, R.I. McLachlan, C. Offen, Nonlinearity 33 (2020) 2335–2363.
LibreCat
| DOI
| Download (ext.)
L.M. Kreusser, R.I. McLachlan, C. Offen, Nonlinearity 33 (2020) 2335–2363.
2020 | Conference Paper | LibreCat-ID: 19953 |
A Novel Higher-order Weisfeiler-Lehman Graph Convolution
C. Damke, V. Melnikov, E. Hüllermeier, in: S. Jialin Pan, M. Sugiyama (Eds.), Proceedings of the 12th Asian Conference on Machine Learning (ACML 2020), PMLR, Bangkok, Thailand, 2020, pp. 49–64.
LibreCat
| Files available
| arXiv
C. Damke, V. Melnikov, E. Hüllermeier, in: S. Jialin Pan, M. Sugiyama (Eds.), Proceedings of the 12th Asian Conference on Machine Learning (ACML 2020), PMLR, Bangkok, Thailand, 2020, pp. 49–64.
2020 | Bachelorsthesis | LibreCat-ID: 19999
Optimierung von JMCTest beim Testen von Inter Method Contracts
S. Mayer, Optimierung von JMCTest Beim Testen von Inter Method Contracts, Universität Paderborn, 2020.
LibreCat
S. Mayer, Optimierung von JMCTest Beim Testen von Inter Method Contracts, Universität Paderborn, 2020.
2020 | Conference Paper | LibreCat-ID: 20116
Mining Crowdsourcing Problems from Discussion Forums of Workers
Z. Nouri, H. Wachsmuth, G. Engels, in: Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics, n.d., pp. 6264–6276.
LibreCat
| Files available
Z. Nouri, H. Wachsmuth, G. Engels, in: Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics, n.d., pp. 6264–6276.
2020 | Conference Paper | LibreCat-ID: 20122
Persuasiveness of News Editorials depending on Ideology and Personality
R. El Baff, K. Al-Khatib, B. Stein, H. Wachsmuth, in: Third Workshop on Computational Modeling of People’s Opinions, Personality, and Emotions in Social Media (PEOPLES 2020), 2020, pp. 29–40.
LibreCat
| Download (ext.)
R. El Baff, K. Al-Khatib, B. Stein, H. Wachsmuth, in: Third Workshop on Computational Modeling of People’s Opinions, Personality, and Emotions in Social Media (PEOPLES 2020), 2020, pp. 29–40.
2020 | Conference Paper | LibreCat-ID: 20139 |
Argument from Old Man's View: Assessing Social Bias in Argumentation
M. Spliethöver, H. Wachsmuth, in: Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020), 2020, pp. 76–87.
LibreCat
| Download (ext.)
M. Spliethöver, H. Wachsmuth, in: Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020), 2020, pp. 76–87.
2020 | Conference Paper | LibreCat-ID: 20140
Semi-Supervised Cleansing of Web Argument Corpora
J. Dorsch, H. Wachsmuth, in: Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020), 2020, pp. 19–29.
LibreCat
| Download (ext.)
J. Dorsch, H. Wachsmuth, in: Proceedings of the 7th Workshop on Argument Mining (ArgMining 2020), 2020, pp. 19–29.
2020 | Conference Paper | LibreCat-ID: 20159
Mincut Sensitivity Data Structures for the Insertion of an Edge
S. Baswana, S. Gupta, T. Knollmann, in: F. Grandoni, G. Herman, P. Sanders (Eds.), 28th Annual European Symposium on Algorithms (ESA 2020), Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2020, pp. 12:1-12:14.
LibreCat
| DOI
S. Baswana, S. Gupta, T. Knollmann, in: F. Grandoni, G. Herman, P. Sanders (Eds.), 28th Annual European Symposium on Algorithms (ESA 2020), Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2020, pp. 12:1-12:14.
2020 | Conference Paper | LibreCat-ID: 20166
Overview of Touché 2020: Argument Retrieval
A. Bondarenko, M. Fröbe, M. Beloucif, L. Gienapp, Y. Ajjour, A. Panchenko, C. Biemann, B. Stein, H. Wachsmuth, M. Potthast, M. Hagen, in: CEUR Workshop Proceedings, 2020, pp. 384–395.
LibreCat
| Download (ext.)
A. Bondarenko, M. Fröbe, M. Beloucif, L. Gienapp, Y. Ajjour, A. Panchenko, C. Biemann, B. Stein, H. Wachsmuth, M. Potthast, M. Hagen, in: CEUR Workshop Proceedings, 2020, pp. 384–395.
2020 | Conference Paper | LibreCat-ID: 20185
Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented & Luminous Robots with Limited Visibility
J. Castenow, J. Harbig, D. Jung, T. Knollmann, F. Meyer auf der Heide, in: S. Devismes, N. Mittal (Eds.), Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings , Springer, 2020, pp. 60–64.
LibreCat
| DOI
| arXiv
J. Castenow, J. Harbig, D. Jung, T. Knollmann, F. Meyer auf der Heide, in: S. Devismes, N. Mittal (Eds.), Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings , Springer, 2020, pp. 60–64.
2020 | Journal Article | LibreCat-ID: 20189
Hybrid coupled mode modelling of the evanescent excitation of a dielectric tube by semi-guided waves at oblique angles
M. Hammer, L. Ebers, J. Förstner, Optical and Quantum Electronics 52 (2020).
LibreCat
| Files available
| DOI
M. Hammer, L. Ebers, J. Förstner, Optical and Quantum Electronics 52 (2020).
2020 | Mastersthesis | LibreCat-ID: 20221
Plurality Consensus in Hybrid Networks
P.K. Yeole, Plurality Consensus in Hybrid Networks, 2020.
LibreCat
P.K. Yeole, Plurality Consensus in Hybrid Networks, 2020.
2020 | Journal Article | LibreCat-ID: 20233 |
Nonlinear dielectric properties of random paraelectric-dielectric composites
V. Myroshnychenko, S. Smirnov, P.M.M. Jose, C. Brosseau, J. Förstner, Acta Materialia 203 (2020) 116432.
LibreCat
| Files available
| DOI
V. Myroshnychenko, S. Smirnov, P.M.M. Jose, C. Brosseau, J. Förstner, Acta Materialia 203 (2020) 116432.
2020 | Conference Paper | LibreCat-ID: 20274
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, H. Wehrheim, in: A. Gotsman, A. Sokolova (Eds.), Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, Springer, 2020, pp. 39–58.
LibreCat
| DOI
E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, H. Wehrheim, in: A. Gotsman, A. Sokolova (Eds.), Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings, Springer, 2020, pp. 39–58.
2020 | Conference Paper | LibreCat-ID: 20275
Consistency Analysis of AUTOSAR Timing Requirements
S. Beringer, H. Wehrheim, in: M. van Sinderen, H.-}Georg Fill, L. A. Maciaszek (Eds.), Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020, ScitePress, 2020, pp. 15–26.
LibreCat
| DOI
S. Beringer, H. Wehrheim, in: M. van Sinderen, H.-}Georg Fill, L. A. Maciaszek (Eds.), Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020, ScitePress, 2020, pp. 15–26.
2020 | Conference Paper | LibreCat-ID: 20276
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework
D. Beyer, H. Wehrheim, in: T. Margaria, B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, Springer, 2020, pp. 143–167.
LibreCat
| DOI
D. Beyer, H. Wehrheim, in: T. Margaria, B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, Springer, 2020, pp. 143–167.
2020 | Conference (Editor) | LibreCat-ID: 20277
Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
H. Wehrheim, J. Cabot, eds., Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Springer, 2020.
LibreCat
| DOI
H. Wehrheim, J. Cabot, eds., Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Springer, 2020.
2020 | Conference (Editor) | LibreCat-ID: 20278
Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]
W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.
LibreCat
| DOI
W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.
2020 | Journal Article | LibreCat-ID: 20279
Testing Monotonicity of Machine Learning Models
A. Sharma, H. Wehrheim, CoRR abs/2002.12278 (2020).
LibreCat
A. Sharma, H. Wehrheim, CoRR abs/2002.12278 (2020).
2020 | Conference Paper | LibreCat-ID: 24021
Above 60 GHz Bandwidth 10 GS/s Sampling Rate Track-and-Hold Amplifier in 130 nm SiGe BiCMOS Technology
L. Wu, M. Weizel, C. Scheytt, in: 2020 IEEE International Symposium on Circuits and Systems (ISCAS), IEEE, Sevilla, Spain, 2020.
LibreCat
| Files available
| DOI
L. Wu, M. Weizel, C. Scheytt, in: 2020 IEEE International Symposium on Circuits and Systems (ISCAS), IEEE, Sevilla, Spain, 2020.
2020 | Conference Paper | LibreCat-ID: 24022
Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator
S. Abughannam, C. Scheytt, in: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) , IEEE, Virtuelle Konferenz, 2020.
LibreCat
| Files available
| DOI
S. Abughannam, C. Scheytt, in: IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) , IEEE, Virtuelle Konferenz, 2020.
2020 | Conference Paper | LibreCat-ID: 24027
A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures
P. Adelt, B. Koppelmann, W. Müller, C. Scheytt, in: MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop, Stuttgart, DE, 2020.
LibreCat
| Files available
P. Adelt, B. Koppelmann, W. Müller, C. Scheytt, in: MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop, Stuttgart, DE, 2020.
2020 | Journal Article | LibreCat-ID: 24029
Analysis, Design and Implementation of a Fully Integrated Analog Front-End for Microwave RFIDs at 5.8 GHz to be Used with Compact MIMO Readers
S. Haddadian, C. Scheytt, IEEE Journal of Radio Frequency Identification (2020) 1–1.
LibreCat
| Files available
| DOI
S. Haddadian, C. Scheytt, IEEE Journal of Radio Frequency Identification (2020) 1–1.
2020 | Conference Paper | LibreCat-ID: 24030
Design and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power Wake-up Receivers
S. Ballandras, S. Abughannam, E. Courjon, C. Scheytt, in: GeMiC 2020 - German Microwave Conference, 2020.
LibreCat
| Files available
S. Ballandras, S. Abughannam, E. Courjon, C. Scheytt, in: GeMiC 2020 - German Microwave Conference, 2020.
2020 | Conference Paper | LibreCat-ID: 3583
Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices
Z. Guetttatfi, P. Kaufmann, M. Platzner, in: Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC), 2020.
LibreCat
Z. Guetttatfi, P. Kaufmann, M. Platzner, in: Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC), 2020.
2020 | Conference Paper | LibreCat-ID: 3800
Intrinsic Quality Assessment of Arguments
H. Wachsmuth, T. Werner, in: Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics, 2020, pp. 6739–6745.
LibreCat
| Download (ext.)
H. Wachsmuth, T. Werner, in: Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics, 2020, pp. 6739–6745.
2020 | Conference Paper | LibreCat-ID: 3878
Analyzing the Persuasive Effect of Style in News Editorial Argumentation
R. El Baff, H. Wachsmuth, K. Al-Khatib, B. Stein, in: J. Tsujii, J. Hajic (Eds.), Proceedings of 58th Annual Meeting of the Association for Computational Linguistics, 2020, pp. 553–564.
LibreCat
R. El Baff, H. Wachsmuth, K. Al-Khatib, B. Stein, in: J. Tsujii, J. Hajic (Eds.), Proceedings of 58th Annual Meeting of the Association for Computational Linguistics, 2020, pp. 553–564.
2020 | Journal Article | LibreCat-ID: 29045 |
Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen und Menschen
G. Engels, Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte Organisationspsychologie (GIO) (2020) 363–370.
LibreCat
| DOI
| Download (ext.)
G. Engels, Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte Organisationspsychologie (GIO) (2020) 363–370.
2020 | Journal Article | LibreCat-ID: 21016
Owicki-Gries Reasoning for C11 RAR (Artifact)
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser. 6 (2020) 15:1-15:2.
LibreCat
| DOI
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser. 6 (2020) 15:1-15:2.
2020 | Conference Paper | LibreCat-ID: 21017
Owicki-Gries Reasoning for C11 RAR
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, in: R. Hirschfeld, T. Pape (Eds.), 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, 2020, pp. 11:1-11:26.
LibreCat
| DOI
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, in: R. Hirschfeld, T. Pape (Eds.), 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, 2020, pp. 11:1-11:26.
2020 | Conference Paper | LibreCat-ID: 21018
Attend and Represent: A Novel View on Algorithm Selection for Software Verification
C. Richter, H. Wehrheim, in: 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, {IEEE}, 2020, pp. 1016–1028.
LibreCat
C. Richter, H. Wehrheim, in: 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, {IEEE}, 2020, pp. 1016–1028.
2020 | Conference (Editor) | LibreCat-ID: 21019
Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]
W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.
LibreCat
| DOI
W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 21117
On Batch Proofs of Partial Knowledge
P. Manegold, On Batch Proofs of Partial Knowledge, 2020.
LibreCat
P. Manegold, On Batch Proofs of Partial Knowledge, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 21118
Measuring the Performance of SNARK Libraries
A. Anonymous, Measuring the Performance of SNARK Libraries, 2020.
LibreCat
A. Anonymous, Measuring the Performance of SNARK Libraries, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 21119
Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions
M. Westerwelle, Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions, 2020.
LibreCat
M. Westerwelle, Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 21121
Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems
A. Anonymous, Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems, 2020.
LibreCat
A. Anonymous, Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems, 2020.
2020 | Book Chapter | LibreCat-ID: 21268
Der Darstellungsflüchtigkeit im Geometrieunterricht durch digitale Unterstützung entgegenwirken
T. Huhmann, K. Eilterts, C. Schulte, F. Winkelnkemper, in: Digitales Lernen in der Grundschule II: Aktuelle Trends in Forschung und Praxis, Waxmann Verlag, 2020.
LibreCat
T. Huhmann, K. Eilterts, C. Schulte, F. Winkelnkemper, in: Digitales Lernen in der Grundschule II: Aktuelle Trends in Forschung und Praxis, Waxmann Verlag, 2020.
2020 | Journal Article | LibreCat-ID: 21269
Consulting via Research in IMPRESS
P. Ködding, J. Reinhold, M. Scholtysik, R. Dumitrescu, Journal of Systemics, Cybernetics and Informatics 18 (2020) 14–19.
LibreCat
P. Ködding, J. Reinhold, M. Scholtysik, R. Dumitrescu, Journal of Systemics, Cybernetics and Informatics 18 (2020) 14–19.
2020 | Journal Article | LibreCat-ID: 21281
Pattern‐based development of digital platforms
M. Drewel, L. Özcan, C. Koldewey, J. Gausemeier, Creativity and Innovation Management (2020).
LibreCat
| DOI
M. Drewel, L. Özcan, C. Koldewey, J. Gausemeier, Creativity and Innovation Management (2020).
2020 | Mastersthesis | LibreCat-ID: 21324
Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis
K. Chandrakar, Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis, 2020.
LibreCat
K. Chandrakar, Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis, 2020.
2020 | Conference Paper | LibreCat-ID: 21377
Developing Strategies for Digital Transformation in SMEs with Maturity Models
C. Pierenkemper, J. Gausemeier, in: Proceeding of the ISPIM Connects, 2020.
LibreCat
C. Pierenkemper, J. Gausemeier, in: Proceeding of the ISPIM Connects, 2020.
2020 | Journal Article | LibreCat-ID: 21379
KI-Marktplatz: Das Ökosystem für Künstliche Intelligenz in der Produktentstehung
R. Dumitrescu, M. Drewel, T. Falkowski, ZWF, Zeitschrift für wirtschaftliche Fabrikplanung (2020) 86–90.
LibreCat
R. Dumitrescu, M. Drewel, T. Falkowski, ZWF, Zeitschrift für wirtschaftliche Fabrikplanung (2020) 86–90.
2020 | Conference Paper | LibreCat-ID: 21380
Pattern based systems engineering – application of solution patterns in the design of intelligent technical systems
H. Anacker, R. Dumitrescu, A. Kharatyan, A. Lipsmeier, in: Proceedings of the Design Society, 2020, pp. 1195–1204.
LibreCat
H. Anacker, R. Dumitrescu, A. Kharatyan, A. Lipsmeier, in: Proceedings of the Design Society, 2020, pp. 1195–1204.
2020 | Conference Paper | LibreCat-ID: 21381
Process for the development of a digital strategy
A. Lipsmeier, A. Kühn, R. Joppen, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 173–178.
LibreCat
A. Lipsmeier, A. Kühn, R. Joppen, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 173–178.
2020 | Conference Paper | LibreCat-ID: 21382
Method for 3D-Environment Driven Domain Knowledge Elicitaion and System Model Generation
S. Japs, A. Kharatyan, J. Tekaat, L. Kaiser, R. Dumitrescu, in: Proceedings of the Design Society, 2020.
LibreCat
S. Japs, A. Kharatyan, J. Tekaat, L. Kaiser, R. Dumitrescu, in: Proceedings of the Design Society, 2020.
2020 | Conference Paper | LibreCat-ID: 21383
The digital Stadium – From future scenarios to technology and business model development
C. Jürgenhake, H. Anacker, R. Dumitrescu, in: Proceedings of the IEEE, 2020.
LibreCat
C. Jürgenhake, H. Anacker, R. Dumitrescu, in: Proceedings of the IEEE, 2020.
2020 | Conference Paper | LibreCat-ID: 21384
Classification of Industrial Augmented Reality Use Cases
D. Röltgen, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 93–100.
LibreCat
D. Röltgen, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 93–100.
2020 | Conference Paper | LibreCat-ID: 21385
Development of risk-optimized implementation paths for Industry 4.0 based on socio-technical pattern
D. Hobscheidt, A. Kühn, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 832–837.
LibreCat
D. Hobscheidt, A. Kühn, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 832–837.
2020 | Conference Paper | LibreCat-ID: 21386
Ideation for digital platforms based on a companies‘ ecosystem
F. Wortmann, K. Ellermann, A. Kühn, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 559–564.
LibreCat
F. Wortmann, K. Ellermann, A. Kühn, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 559–564.
2020 | Conference Paper | LibreCat-ID: 21387
Mixed Mock-up – Development of an Interactive Augmented Reality System for Assembly Planning
F. Dyck, J. Stöcklein, D. Eckertz, R. Dumitrescu, in: Virtual, Augmented and Mixed Reality. Design and Interaction , 2020, pp. 37–49.
LibreCat
F. Dyck, J. Stöcklein, D. Eckertz, R. Dumitrescu, in: Virtual, Augmented and Mixed Reality. Design and Interaction , 2020, pp. 37–49.
2020 | Conference Paper | LibreCat-ID: 21388
A contribution to the design of organizational structures suitable for Systems Engineering
L. Bretz, U. Koenemann, H. Anacker, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 101–106.
LibreCat
L. Bretz, U. Koenemann, H. Anacker, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 101–106.
2020 | Conference Paper | LibreCat-ID: 21389
Advanced Monkey Testing for connected autonomous systems
M. Hillebrand, M. Greinert, O. Herzog, R. Dumitrescu, in: Proceedings of the 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE), 2020, pp. 163–168.
LibreCat
M. Hillebrand, M. Greinert, O. Herzog, R. Dumitrescu, in: Proceedings of the 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE), 2020, pp. 163–168.
2020 | Conference Paper | LibreCat-ID: 21390
A design methodology for deep reinforcement learning for autonomous Systems
M. Hillebrand, M. Lakhani, R. Dumitrescu, in: Procedia Manufacturing 52, 2020, pp. 266–271.
LibreCat
| DOI
M. Hillebrand, M. Lakhani, R. Dumitrescu, in: Procedia Manufacturing 52, 2020, pp. 266–271.
2020 | Book Chapter | LibreCat-ID: 21391
Machine Learning for Process-X: A Taxonomy
F. Reinhart, S. von Enzberg, A. Kühn, R. Dumitrescu, in: J. Beyerer, A. Maier, O. Niggemann (Eds.), Machine Learning for Cyber Physical Systems. Technologien Für Die Intelligente Automation (Technologies for Intelligent Automation), Springer Vieweg, Berlin, Heidelberg, 2020, pp. 25–33.
LibreCat
F. Reinhart, S. von Enzberg, A. Kühn, R. Dumitrescu, in: J. Beyerer, A. Maier, O. Niggemann (Eds.), Machine Learning for Cyber Physical Systems. Technologien Für Die Intelligente Automation (Technologies for Intelligent Automation), Springer Vieweg, Berlin, Heidelberg, 2020, pp. 25–33.
2020 | Conference Paper | LibreCat-ID: 21392
Identification and specification of standard modules in production for a material flow simulation
M. Henkenjohann, R. Joppen, D. Köchling, S. von Enzberg, A. Kühn, R. Dumitrescu, in: Procedia CIRP, 2020.
LibreCat
M. Henkenjohann, R. Joppen, D. Köchling, S. von Enzberg, A. Kühn, R. Dumitrescu, in: Procedia CIRP, 2020.
2020 | Conference Paper | LibreCat-ID: 21394
Towards defining role models in Advanced Systems Engineering
E.-M. Grote, S. Pfeifer, D. Röltgen, A. Kühn, R. Dumitrescu, in: Proceedings of the 2020 IEEE International Symposium on Systems Engineering, 2020.
LibreCat
E.-M. Grote, S. Pfeifer, D. Röltgen, A. Kühn, R. Dumitrescu, in: Proceedings of the 2020 IEEE International Symposium on Systems Engineering, 2020.
2020 | Book Chapter | LibreCat-ID: 21395
Systems Engineering als Grundlage der Gestaltung digitaler Arbeitswelten in der Produktentstehung
R. Dumitrescu, C. Tschirner, M. Bansmann, in: G. Maier, G. Engels, E. Steffen (Eds.), Handbuch Gestaltung digitaler und vernetzter Arbeitswelten, Springer-Verlag GmbH, 2020, pp. 405–432.
LibreCat
R. Dumitrescu, C. Tschirner, M. Bansmann, in: G. Maier, G. Engels, E. Steffen (Eds.), Handbuch Gestaltung digitaler und vernetzter Arbeitswelten, Springer-Verlag GmbH, 2020, pp. 405–432.
2020 | Book Chapter | LibreCat-ID: 21396
On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions
T. Jager, D. Niehues, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat
| Files available
| DOI
| Download (ext.)
T. Jager, D. Niehues, in: Lecture Notes in Computer Science, Cham, 2020.
2020 | Bachelorsthesis | LibreCat-ID: 21432
Evaluation of a ReconOS-ROS Combination based on a Video Processing Application
L.-S. Henke, Evaluation of a ReconOS-ROS Combination Based on a Video Processing Application, 2020.
LibreCat
L.-S. Henke, Evaluation of a ReconOS-ROS Combination Based on a Video Processing Application, 2020.
2020 | Conference Paper | LibreCat-ID: 21438
CONSENS 3D: Method for 3D-Environment Driven Domain Knowledge Elicitaion and System Model Generation
S. Japs, A. Kharatyan, L. Kaiser, R. Dumitrescu, in: Proceedings of the 16th International Design Conference (DESIGN 2020), 2020.
LibreCat
S. Japs, A. Kharatyan, L. Kaiser, R. Dumitrescu, in: Proceedings of the 16th International Design Conference (DESIGN 2020), 2020.
2020 | Conference Paper | LibreCat-ID: 21439
Towards a modular product architecture for electric ferries using Model- Based Systems Engineering
S. Pfeifer, T. Seidenberg, C. Jürgenhake, H. Anacker, R. Dumitrescu, in: Procedia Manufacturing, 2020.
LibreCat
S. Pfeifer, T. Seidenberg, C. Jürgenhake, H. Anacker, R. Dumitrescu, in: Procedia Manufacturing, 2020.
2020 | Conference Paper | LibreCat-ID: 21440
Scenarios in the Loop: Integrated Requirements Analysis and Automotive System Validation
C. Wiecher, S. Japs, L. Kaiser, J. Greenyer, C. Wolff, R. Dumitrescu, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20 Companion), 2020.
LibreCat
C. Wiecher, S. Japs, L. Kaiser, J. Greenyer, C. Wolff, R. Dumitrescu, in: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20 Companion), 2020.