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.
5031 Publications
2019 | Conference Paper | LibreCat-ID: 8495
Reference Framework for Digital Twins within Cyber-Physical Systems
K. Josifovska, E. Yigitbas, G. Engels, in: Proceedings of 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS’19), IEEE Press, 2019, pp. 25–31.
LibreCat
K. Josifovska, E. Yigitbas, G. Engels, in: Proceedings of 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS’19), IEEE Press, 2019, pp. 25–31.
2019 | Conference Paper | LibreCat-ID: 8534
Skeap & Seap: Scalable Distributed Priority Queues for Constant and Arbitrary Priorities
M. Feldmann, C. Scheideler, in: Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM, 2019, pp. 287--296.
LibreCat
| Files available
| DOI
| arXiv
M. Feldmann, C. Scheideler, in: Proceedings of the 31st ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM, 2019, pp. 287--296.
2019 | Book Chapter | LibreCat-ID: 8577
Erklärung von Mathematikleistung im Ingenieursstudium
C. Kuklinski, E. Leis, M. Liebendörfer, R. Hochmuth, in: Beiträge Zum Mathematikunterricht 2019, 2019.
LibreCat
C. Kuklinski, E. Leis, M. Liebendörfer, R. Hochmuth, in: Beiträge Zum Mathematikunterricht 2019, 2019.
2019 | Conference Abstract | LibreCat-ID: 8868
Towards Automated Machine Learning for Multi-Label Classification
M.D. Wever, F. Mohr, E. Hüllermeier, A. Hetzer, in: 2019.
LibreCat
| Files available
M.D. Wever, F. Mohr, E. Hüllermeier, A. Hetzer, in: 2019.
2019 | Conference Paper | LibreCat-ID: 9809
Service Function Chaining Across OpenStack and Kubernetes Domains
H. Razzaghi Kouchaksaraei, H. Karl, in: 13th ACM International Conference on Distributed and Event-Based Systems, Darmstadt, 2019.
LibreCat
| Files available
| DOI
H. Razzaghi Kouchaksaraei, H. Karl, in: 13th ACM International Conference on Distributed and Event-Based Systems, Darmstadt, 2019.
2019 | Conference Paper | LibreCat-ID: 9265
Method of superposing a multiple driven magnetic field to minimize stray fields around the receiver for inductive wireless power transmission
S. Lange, M.-J. Büker, C. Hedayat, T. Otto, D. Sievers, J. Förstner, U. Hilleringmann, in: T. Otto (Ed.), 13th International Conference & Exhibition on Integration Issues of Miniaturized Systems Barcelona, Spain, 10 – 11 April 2019, VDE VERLAG GMBH, 2019.
LibreCat
| Files available
| Download (ext.)
S. Lange, M.-J. Büker, C. Hedayat, T. Otto, D. Sievers, J. Förstner, U. Hilleringmann, in: T. Otto (Ed.), 13th International Conference & Exhibition on Integration Issues of Miniaturized Systems Barcelona, Spain, 10 – 11 April 2019, VDE VERLAG GMBH, 2019.
2019 | Journal Article | LibreCat-ID: 9823
Empowering Network Service Developers: Enhanced NFV DevOps and Programmable MANO
T. Soenen, W. Tavernier, M. Peuster, F. Vicens, G. Xilouris, S. Kolometsos, M.-A. Kourtis, D. Colle, IEEE Communications Magazine (2019) 89–95.
LibreCat
| DOI
| Download (ext.)
T. Soenen, W. Tavernier, M. Peuster, F. Vicens, G. Xilouris, S. Kolometsos, M.-A. Kourtis, D. Colle, IEEE Communications Magazine (2019) 89–95.
2019 | Conference Paper | LibreCat-ID: 13144
Computational Argumentation Synthesis as a Language Modeling Task
R. El Baff, H. Wachsmuth, K. Al-Khatib, M. Stede, B. Stein, in: Proceedings of the 12th International Conference on Natural Language Generation, Association for Computational Linguistics, 2019, pp. 54–64.
LibreCat
| Download (ext.)
R. El Baff, H. Wachsmuth, K. Al-Khatib, M. Stede, B. Stein, in: Proceedings of the 12th International Conference on Natural Language Generation, Association for Computational Linguistics, 2019, pp. 54–64.
2019 | Journal Article | LibreCat-ID: 17343
Values in Computing (Dagstuhl Seminar 19291)
G. Engels, C. Becker, A. Feenberg, M.A. Ferrario, G. Fitzpatrick, Dagstuhl Reports 9(7) (2019).
LibreCat
| DOI
G. Engels, C. Becker, A. Feenberg, M.A. Ferrario, G. Fitzpatrick, Dagstuhl Reports 9(7) (2019).
2019 | Mastersthesis | LibreCat-ID: 14546
Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers
T. Hansmeier, Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers, Universität Paderborn, 2019.
LibreCat
T. Hansmeier, Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers, Universität Paderborn, 2019.
2019 | Conference Paper | LibreCat-ID: 13942
Online Algorithms for Leasing Vertex Cover and Leasing Non-metric Facility Location
C. Markarian, F. Meyer auf der Heide, in: Proceedings of the 8th International Conference on Operations Research and Enterprise Systems, SciTePress, 2019, pp. 315–321.
LibreCat
| DOI
C. Markarian, F. Meyer auf der Heide, in: Proceedings of the 8th International Conference on Operations Research and Enterprise Systems, SciTePress, 2019, pp. 315–321.
2019 | Conference Paper | LibreCat-ID: 17432
Fault Tolerant and Fully Dynamic DFS in Undirected Graphs: Simple Yet Efficient
S. Baswana, S. Gupta, A. Tulsyan, in: 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2019, pp. 65:1--65:16.
LibreCat
| DOI
S. Baswana, S. Gupta, A. Tulsyan, in: 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2019, pp. 65:1--65:16.
2019 | Book Chapter | LibreCat-ID: 13872
CoVeriTest: Cooperative Verifier-Based Testing
D. Beyer, M.-C. Jakobs, in: Fundamental Approaches to Software Engineering, Cham, 2019.
LibreCat
| DOI
D. Beyer, M.-C. Jakobs, in: Fundamental Approaches to Software Engineering, Cham, 2019.
2019 | Dissertation | LibreCat-ID: 14851
On Scheduling with Setup Times
A. Mäcker, On Scheduling with Setup Times, Universität Paderborn, 2019.
LibreCat
| Files available
| DOI
A. Mäcker, On Scheduling with Setup Times, Universität Paderborn, 2019.
2019 | Journal Article | LibreCat-ID: 19945
Symplectic integration of PDEs using Clebsch variables
R.I. McLachlan, C. Offen, B.K. Tapley, Journal of Computational Dynamics 6 (2019) 111–130.
LibreCat
| DOI
| Download (ext.)
R.I. McLachlan, C. Offen, B.K. Tapley, Journal of Computational Dynamics 6 (2019) 111–130.
2019 | Journal Article | LibreCat-ID: 15025
Multi-Oracle Coevolutionary Learning of Requirements Specifications from Examples in On-The-Fly Markets
M.D. Wever, L. van Rooijen, H. Hamann, Evolutionary Computation (n.d.).
LibreCat
| Files available
| DOI
M.D. Wever, L. van Rooijen, H. Hamann, Evolutionary Computation (n.d.).
2019 | Dissertation | LibreCat-ID: 14849
Using Just-in-Time Code Generation to Transparently Accelerate Applications in Heterogeneous Systems
G.F. Vaz, Using Just-in-Time Code Generation to Transparently Accelerate Applications in Heterogeneous Systems, Universität Paderborn, 2019.
LibreCat
| Files available
G.F. Vaz, Using Just-in-Time Code Generation to Transparently Accelerate Applications in Heterogeneous Systems, Universität Paderborn, 2019.
2019 | Dissertation | LibreCat-ID: 13125
Essays on Crowd Based Idea Evaluation - Empirical Evidence from an Anonymous Online Crowd
T. Görzen, Essays on Crowd Based Idea Evaluation - Empirical Evidence from an Anonymous Online Crowd, Universität Paderborn, 2019.
LibreCat
T. Görzen, Essays on Crowd Based Idea Evaluation - Empirical Evidence from an Anonymous Online Crowd, Universität Paderborn, 2019.
2018 | Conference Paper | LibreCat-ID: 10184
Preference-Based Reinforcement Learning Using Dyad Ranking
D. Schäfer, E. Hüllermeier, in: Proc. 21st Int. Conference on Discovery Science (DS), 2018, pp. 161–175.
LibreCat
D. Schäfer, E. Hüllermeier, in: Proc. 21st Int. Conference on Discovery Science (DS), 2018, pp. 161–175.
2018 | Conference Paper | LibreCat-ID: 1096
Reducer-Based Construction of Conditional Verifiers
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: Proceedings of the 40th International Conference on Software Engineering (ICSE), ACM, 2018, pp. 1182--1193.
LibreCat
| Files available
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: Proceedings of the 40th International Conference on Software Engineering (ICSE), ACM, 2018, pp. 1182--1193.
2018 | Journal Article | LibreCat-ID: 10331
Reproducible Web Corpora
J. Kiesel, F. Kneist, M. Alshomary, B. Stein, M. Hagen, M. Potthast, Journal of Data and Information Quality (2018) 1–25.
LibreCat
| DOI
| Download (ext.)
J. Kiesel, F. Kneist, M. Alshomary, B. Stein, M. Hagen, M. Potthast, Journal of Data and Information Quality (2018) 1–25.
2018 | Conference Paper | LibreCat-ID: 11839
Insights into the Interplay of Sampling Rate Offsets and MVDR Beamforming
J. Schmalenstroeer, R. Haeb-Umbach, in: ITG 2018, Oldenburg, Germany, 2018.
LibreCat
| Download (ext.)
J. Schmalenstroeer, R. Haeb-Umbach, in: ITG 2018, Oldenburg, Germany, 2018.
2018 | Conference Paper | LibreCat-ID: 11872
Integration neural network based beamforming and weighted prediction error dereverberation
L. Drude, C. Boeddeker, J. Heymann, K. Kinoshita, M. Delcroix, T. Nakatani, R. Haeb-Umbach, in: INTERSPEECH 2018, Hyderabad, India, 2018.
LibreCat
| Files available
| Download (ext.)
L. Drude, C. Boeddeker, J. Heymann, K. Kinoshita, M. Delcroix, T. Nakatani, R. Haeb-Umbach, in: INTERSPEECH 2018, Hyderabad, India, 2018.
2018 | Journal Article | LibreCat-ID: 11916
Machine learning techniques for semantic analysis of dysarthric speech: An experimental study
V. Despotovic, O. Walter, R. Haeb-Umbach, Speech Communication 99 (2018) 242-251 (Elsevier B.V.) (2018).
LibreCat
| Download (ext.)
V. Despotovic, O. Walter, R. Haeb-Umbach, Speech Communication 99 (2018) 242-251 (Elsevier B.V.) (2018).
2018 | Journal Article | LibreCat-ID: 12034
Bloom Hopping: Bloom Filter Based 2-Hop Neighbor Management in VANETs
F. Klingler, R. Cohen, C. Sommer, F. Dressler, IEEE Transactions on Mobile Computing (2018) 534–545.
LibreCat
| DOI
F. Klingler, R. Cohen, C. Sommer, F. Dressler, IEEE Transactions on Mobile Computing (2018) 534–545.
2018 | Journal Article | LibreCat-ID: 12041
Investigation of the impact of a wireless Fog Warning System with respect to road traffic on a highway
F. Outay, A.-U.-H. Ahmar, F. Kamoun, A.-U.-H. Yasar, C. Sommer, N. Jabeur, S. El-Amine, Personal and Ubiquitous Computing (2018).
LibreCat
| DOI
F. Outay, A.-U.-H. Ahmar, F. Kamoun, A.-U.-H. Yasar, C. Sommer, N. Jabeur, S. El-Amine, Personal and Ubiquitous Computing (2018).
2018 | Conference (Editor) | LibreCat-ID: 15588
Proceedings of the Workshop on Eye Movements in Programming, EMIP@ETRA 2018, Warsaw, Poland, June 15, 2018
R. Bednarik, C. Schulte, eds., Proceedings of the Workshop on Eye Movements in Programming, EMIP@ETRA 2018, Warsaw, Poland, June 15, 2018, (ACM), 2018.
LibreCat
R. Bednarik, C. Schulte, eds., Proceedings of the Workshop on Eye Movements in Programming, EMIP@ETRA 2018, Warsaw, Poland, June 15, 2018, (ACM), 2018.
2018 | Book | LibreCat-ID: 15595
Computer Science Education: Perspectives on Teaching and learning in school
S. Sentance, E. Barendsen, C. Schulte, Computer Science Education: Perspectives on Teaching and Learning in School, Bloomsbury Publishing, 2018.
LibreCat
S. Sentance, E. Barendsen, C. Schulte, Computer Science Education: Perspectives on Teaching and Learning in School, Bloomsbury Publishing, 2018.
2018 | Book Chapter | LibreCat-ID: 15160
The quantitative analysis of comics: Towards a visual stylometry of graphic narrative
A. Dunst, R. Hartel, in: A. Dunst, J. Laubrock, J. Wildfeuer (Eds.), Empirical Comics Research: Digital, Multimodal, and Cognitive Methods, Routledge, 2018, pp. 43–61.
LibreCat
A. Dunst, R. Hartel, in: A. Dunst, J. Laubrock, J. Wildfeuer (Eds.), Empirical Comics Research: Digital, Multimodal, and Cognitive Methods, Routledge, 2018, pp. 43–61.
2018 | Conference Paper | LibreCat-ID: 15646
Drafting a Data Science Curriculum for Secondary Schools
B. Heinemann, S.A. Opel, L. Budde, C. Schulte, D. Frischemeier, R. Biehler, S. Podworny, T. Wassong, in: Koli Calling, ACM, 2018, pp. 17:1-17:5.
LibreCat
B. Heinemann, S.A. Opel, L. Budde, C. Schulte, D. Frischemeier, R. Biehler, S. Podworny, T. Wassong, in: Koli Calling, ACM, 2018, pp. 17:1-17:5.
2018 | Journal Article | LibreCat-ID: 16714
Age- and Expertise-Related Differences of Sensorimotor Network Dynamics during Force Control
S. Vieluf, K. Mora, C. Gölz, E.-M. Reuter, B. Godde, M. Dellnitz, C. Reinsberger, C. Voelcker-Rehage, Neuroscience (2018) 203–213.
LibreCat
| DOI
S. Vieluf, K. Mora, C. Gölz, E.-M. Reuter, B. Godde, M. Dellnitz, C. Reinsberger, C. Voelcker-Rehage, Neuroscience (2018) 203–213.
2018 | Conference Paper | LibreCat-ID: 2474
MARVELO: Wireless Virtual Network Embedding for Overlay Graphs with Loops
H. Afifi, S. Auroux, H. Karl, in: Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018.
LibreCat
| Files available
H. Afifi, S. Auroux, H. Karl, in: Proc. of IEEE Wireless Communications and Networking Conference (WCNC), 2018.
2018 | Conference Paper | LibreCat-ID: 2479
(WIP) Towards the Automated Composition of Machine Learning Services
F. Mohr, M.D. Wever, E. Hüllermeier, A. Faez, in: SCC, IEEE, San Francisco, CA, USA, 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
F. Mohr, M.D. Wever, E. Hüllermeier, A. Faez, in: SCC, IEEE, San Francisco, CA, USA, 2018.
2018 | Conference Paper | LibreCat-ID: 2481
Scaling and Placing Bidirectional Services with Stateful Virtual and Physical Network Functions
S. Dräxler, S.B. Schneider, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), IEEE, 2018, pp. 123--131.
LibreCat
| Files available
S. Dräxler, S.B. Schneider, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), IEEE, 2018, pp. 123--131.
2018 | Conference Paper | LibreCat-ID: 3105
Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange
D. Derler, T. Jager, D. Slamanig, C. Striecks, in: Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III, 2018, pp. 425--455.
LibreCat
| Files available
| DOI
| Download (ext.)
D. Derler, T. Jager, D. Slamanig, C. Striecks, in: Advances in Cryptology - EUROCRYPT 2018 - 37th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Tel Aviv, Israel, April 29 - May 3, 2018 Proceedings, Part III, 2018, pp. 425--455.
2018 | Journal Article | LibreCat-ID: 4165
Unveiling and Imaging Degenerate States in Plasmonic Nanoparticles with Nanometer Resolution
V. Myroshnychenko, N. Nishio, F.J. García de Abajo, J. Förstner, N. Yamamoto, ACS Nano 12 (2018) 8436–8446.
LibreCat
| Files available
| DOI
V. Myroshnychenko, N. Nishio, F.J. García de Abajo, J. Förstner, N. Yamamoto, ACS Nano 12 (2018) 8436–8446.
2018 | Conference Paper | LibreCat-ID: 3852
ML-Plan for Unlimited-Length Machine Learning Pipelines
M.D. Wever, F. Mohr, E. Hüllermeier, in: ICML 2018 AutoML Workshop, 2018.
LibreCat
| Files available
| Download (ext.)
M.D. Wever, F. Mohr, E. Hüllermeier, in: ICML 2018 AutoML Workshop, 2018.
2018 | Conference Paper | LibreCat-ID: 3422
Breaking the $\tilde\Omega(\sqrt{n})$ Barrier: Fast Consensus under a Late Adversary
P. Robinson, C. Scheideler, A. Setzer, in: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), n.d.
LibreCat
| Files available
| DOI
P. Robinson, C. Scheideler, A. Setzer, in: Proceedings of the 30th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), n.d.
2018 | Journal Article | LibreCat-ID: 3427
Ultrafast electric phase control of a single exciton qubit
A. Widhalm, A. Mukherjee, S. Krehs, N. Sharma, P. Kölling, A. Thiede, D. Reuter, J. Förstner, A. Zrenner, Applied Physics Letters 112 (2018) 111105.
LibreCat
| Files available
| DOI
A. Widhalm, A. Mukherjee, S. Krehs, N. Sharma, P. Kölling, A. Thiede, D. Reuter, J. Förstner, A. Zrenner, Applied Physics Letters 112 (2018) 111105.
2018 | Conference Paper | LibreCat-ID: 3345
Let the state follow its flows: An SDN-based flow handover protocol to support state migration
M. Peuster, H. Küttner, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), Montreal, n.d.
LibreCat
| Files available
| DOI
| Download (ext.)
M. Peuster, H. Küttner, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), Montreal, n.d.
2018 | Journal Article | LibreCat-ID: 4324
Intensity surge and negative polarization of light from compact irregular particles
Y. Grynko, Y. Shkuratov, J. Förstner, Optics Letters 43 (2018).
LibreCat
| Files available
| DOI
Y. Grynko, Y. Shkuratov, J. Förstner, Optics Letters 43 (2018).
2018 | Journal Article | LibreCat-ID: 4831
Polarization Conversion Effect in Biological and Synthetic Photonic Diamond Structures
X. Wu, F.L. Rodríguez-Gallegos, M.-C. Heep, B. Schwind, G. Li, H.-O. Fabritius, G. von Freymann, J. Förstner, Advanced Optical Materials 6 (2018).
LibreCat
| Files available
| DOI
X. Wu, F.L. Rodríguez-Gallegos, M.-C. Heep, B. Schwind, G. Li, H.-O. Fabritius, G. von Freymann, J. Förstner, Advanced Optical Materials 6 (2018).
2018 | Misc | LibreCat-ID: 4576
Stochastische Kompaktierung für den Hochgeschwindigkeitstest
A. Sprenger, S. Hellebrand, Stochastische Kompaktierung für den Hochgeschwindigkeitstest, 30. Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen” (TuZ’18), Freiburg, Germany, 2018.
LibreCat
A. Sprenger, S. Hellebrand, Stochastische Kompaktierung für den Hochgeschwindigkeitstest, 30. Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen” (TuZ’18), Freiburg, Germany, 2018.
2018 | Conference Paper | LibreCat-ID: 4999
Do Android taint analysis tools keep their promises?
F. Pauck, E. Bodden, H. Wehrheim, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018, ACM Press, 2018.
LibreCat
| Files available
| DOI
F. Pauck, E. Bodden, H. Wehrheim, in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018, ACM Press, 2018.
2018 | Conference Paper | LibreCat-ID: 5738
On the development of consistent user interfaces (extended abstract)
A. Anjorin, E. Yigitbas, H. Kaindl, R. Popp, in: Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018, 2018, pp. 18–20.
LibreCat
| DOI
A. Anjorin, E. Yigitbas, H. Kaindl, R. Popp, in: Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018, 2018, pp. 18–20.
2018 | Journal Article | LibreCat-ID: 5757
Who Guards the Guards? On the Validation of Test Case Migration
I. Jovanovikj, E. Yigitbas, A. Anjorin, S. Sauer, Softwaretechnik-Trends, Proceedings of the 20th Workshop Software-Reengineering & Evolution (WSRE) & 9th Workshop Design for Future (DFF) (2018).
LibreCat
I. Jovanovikj, E. Yigitbas, A. Anjorin, S. Sauer, Softwaretechnik-Trends, Proceedings of the 20th Workshop Software-Reengineering & Evolution (WSRE) & 9th Workshop Design for Future (DFF) (2018).
2018 | Conference Paper | LibreCat-ID: 5764
Forming Tile Shapes with Simple Robots
R. Gmyr, K. Hinnenthal, I. Kostitsyna, F. Kuhn, D. Rudolph, C. Scheideler, T.F. Strothmann, in: Proceedings of the 24th International Conference on DNA Computing and Molecular Programming, Springer International Publishing, 2018, pp. 122–138.
LibreCat
| DOI
R. Gmyr, K. Hinnenthal, I. Kostitsyna, F. Kuhn, D. Rudolph, C. Scheideler, T.F. Strothmann, in: Proceedings of the 24th International Conference on DNA Computing and Molecular Programming, Springer International Publishing, 2018, pp. 122–138.
2018 | Conference Paper | LibreCat-ID: 5822
Real-time Graph-Based 3D Reconstruction of Sparse Feature Environments for Mobile Robot Applications
D. Gaspers, C. Knorr, T. Nickchen, D. Nickchen, B. Mertsching, M.A. Mohamed, in: 2018 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR), IEEE, 2018.
LibreCat
| DOI
D. Gaspers, C. Knorr, T. Nickchen, D. Nickchen, B. Mertsching, M.A. Mohamed, in: 2018 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR), IEEE, 2018.
2018 | Conference Paper | LibreCat-ID: 5985
Relays: Towards a Link Layer for Robust and Secure Fog Computing
C. Scheideler, in: Proceedings of the 2018 Workshop on Theory and Practice for Integrated Cloud, Fog and Edge Computing Paradigms, TOPIC@PODC 2018, Egham, United Kingdom, July 27, 2018, 2018, pp. 1–2.
LibreCat
| Files available
| DOI
C. Scheideler, in: Proceedings of the 2018 Workshop on Theory and Practice for Integrated Cloud, Fog and Edge Computing Paradigms, TOPIC@PODC 2018, Egham, United Kingdom, July 27, 2018, 2018, pp. 1–2.
2018 | Conference Paper | LibreCat-ID: 5442
On the Security of the PKCS#1 v1.5 Signature Scheme
T. Jager, S. Kakvi, A. May, in: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security - CCS ’18, ACM Press, 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
T. Jager, S. Kakvi, A. May, in: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security - CCS ’18, ACM Press, 2018.
2018 | Conference Paper | LibreCat-ID: 6236
Usability Evaluation of Model-Driven Cross-Device Web User Interfaces
E. Yigitbas, A. Anjorin, I. Jovanovikj, T. Kern, S. Sauer, G. Engels, in: Proceedings of the 7th International Working Conference on Human-Centered Software Engineering (HCSE’18), Springer, LNCS , 2018, pp. 231–247.
LibreCat
E. Yigitbas, A. Anjorin, I. Jovanovikj, T. Kern, S. Sauer, G. Engels, in: Proceedings of the 7th International Working Conference on Human-Centered Software Engineering (HCSE’18), Springer, LNCS , 2018, pp. 231–247.
2018 | Conference Paper | LibreCat-ID: 6483
A Prototyping Platform to Validate and Verify Network Service Header-based Service Chains
M. Peuster, S.B. Schneider, F. Christ, H. Karl, in: IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN) 5GNetApp, IEEE, Verona, 2018.
LibreCat
| Files available
M. Peuster, S.B. Schneider, F. Christ, H. Karl, in: IEEE Conference on Network Function Virtualisation and Software Defined Networks (NFV-SDN) 5GNetApp, IEEE, Verona, 2018.
2018 | Journal Article | LibreCat-ID: 6577
Guided ultrasonic waves for determining effective orthotropic material parameters of continuous-fiber reinforced thermoplastic plates
M. Webersen, S. Johannesmann, J. Düchting, L. Claes, B. Henning, Ultrasonics 84 (2018) 53–62.
LibreCat
| DOI
M. Webersen, S. Johannesmann, J. Düchting, L. Claes, B. Henning, Ultrasonics 84 (2018) 53–62.
2018 | Conference Paper | LibreCat-ID: 6584
Efficient optimisation of initial values for characterising piezoelectric material parameters
N. Feldmann, B. Henning, in: Fortschritte Der Akustik, München, 2018, pp. 1275–1278.
LibreCat
N. Feldmann, B. Henning, in: Fortschritte Der Akustik, München, 2018, pp. 1275–1278.
2018 | Journal Article | LibreCat-ID: 6743
Einsatz von Classroom-Response-Systemen und Peer Instruction in der Veranstaltung Grundlagen von Datenbanken
D. Wolters, die hochschullehre (2018).
LibreCat
| Download (ext.)
D. Wolters, die hochschullehre (2018).
2018 | Conference Paper | LibreCat-ID: 7570
Brief Announcement: Communication in Systems of Home Based Mobile Agents
F. Meyer auf der Heide, J.S. Schaefer, in: Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures - SPAA ’18, ACM Press, 2018.
LibreCat
| Files available
| DOI
F. Meyer auf der Heide, J.S. Schaefer, in: Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures - SPAA ’18, ACM Press, 2018.
2018 | Conference Paper | LibreCat-ID: 8162
On Efficiently Solvable Cases of Quantum k-SAT
M. Aldi, N. de Beaudrap, S. Gharibian, S. Saeedi, in: I. Potapov, P. Spirakis, J. Worrell (Eds.), 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2018, pp. 38:1-38:16.
LibreCat
| DOI
| Download (ext.)
| arXiv
M. Aldi, N. de Beaudrap, S. Gharibian, S. Saeedi, in: I. Potapov, P. Spirakis, J. Worrell (Eds.), 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 2018, pp. 38:1-38:16.
2018 | Journal Article | LibreCat-ID: 8167
Ground State Connectivity of Local Hamiltonians
S. Gharibian, J. Sikora, ACM Transactions on Computation Theory (TOCT) 10 (2018) 8:1-8:28.
LibreCat
| DOI
| Download (ext.)
| arXiv
S. Gharibian, J. Sikora, ACM Transactions on Computation Theory (TOCT) 10 (2018) 8:1-8:28.
2018 | Conference Paper | LibreCat-ID: 8085
An Automated Solar-Biomass Hybrid Dryer System for Rural Communities in Ghana
G. Obeng-Akrofi, J. Oppong Akowuah, G. Opoku-Agyemang, I. Nkrumah, M.K.E. Donkor, R.Y. Tamakloe, F.K. Ampong, T. Klaus, S. Krauter, M. Waldhoff, A. Olenberg, E. Kenig, in: Proceedings of SWC2017/SHC2017, International Solar Energy Society, 2018.
LibreCat
| DOI
G. Obeng-Akrofi, J. Oppong Akowuah, G. Opoku-Agyemang, I. Nkrumah, M.K.E. Donkor, R.Y. Tamakloe, F.K. Ampong, T. Klaus, S. Krauter, M. Waldhoff, A. Olenberg, E. Kenig, in: Proceedings of SWC2017/SHC2017, International Solar Energy Society, 2018.
2018 | Book Chapter | LibreCat-ID: 8573
Psychologische Grundbedürfnisse im frühen Mathematikstudium
M. Liebendörfer, in: F. Didaktik der Mathematik der Universität Paderborn (Ed.), Beiträge Zum Mathematikunterricht 2018, WTM-Verlag, Münster, 2018, pp. 1171–1174.
LibreCat
M. Liebendörfer, in: F. Didaktik der Mathematik der Universität Paderborn (Ed.), Beiträge Zum Mathematikunterricht 2018, WTM-Verlag, Münster, 2018, pp. 1171–1174.
2018 | Journal Article | LibreCat-ID: 8751
A Survey of Recent Trends in Multiobjective Optimal Control—Surrogate Models, Feedback Control and Objective Reduction
S. Peitz, M. Dellnitz, Mathematical and Computational Applications 23 (2018).
LibreCat
| DOI
| Download (ext.)
S. Peitz, M. Dellnitz, Mathematical and Computational Applications 23 (2018).
2018 | Conference Paper | LibreCat-ID: 3821
Retrieval of the Best Counterargument without Prior Topic Knowledge
H. Wachsmuth, S. Syed, B. Stein, in: Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2018, pp. 241–251.
LibreCat
| Download (ext.)
H. Wachsmuth, S. Syed, B. Stein, in: Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2018, pp. 241–251.
2018 | Journal Article | LibreCat-ID: 14888
中文情感語意分析套件 CSentiPackage 發展與應用
Chen W.-F., Ku L.-W., 圖書館學與資訊科學 (2018).
LibreCat
| Download (ext.)
Chen W.-F., Ku L.-W., 圖書館學與資訊科學 (2018).
2018 | Conference Paper | LibreCat-ID: 3807
SemEval-2018 Task 12: The Argument Reasoning Comprehension Task
I. Habernal, H. Wachsmuth, I. Gurevych, B. Stein, in: Proceedings of The 12th International Workshop on Semantic Evaluation, 2018, pp. 763–772.
LibreCat
| Download (ext.)
I. Habernal, H. Wachsmuth, I. Gurevych, B. Stein, in: Proceedings of The 12th International Workshop on Semantic Evaluation, 2018, pp. 763–772.
2018 | Bachelorsthesis | LibreCat-ID: 18032
Decontaminating Planar Regions with Finite Automaton Robots and Tiles
N. N., Decontaminating Planar Regions with Finite Automaton Robots and Tiles, 2018.
LibreCat
N. N., Decontaminating Planar Regions with Finite Automaton Robots and Tiles, 2018.
2018 | Conference Paper | LibreCat-ID: 18107
Performance of Mask Based Statistical Beamforming in a Smart Home Scenario
J. Heymann, M. Bacchiani, T.N. Sainath, in: 2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2018, pp. 6722–6726.
LibreCat
| DOI
J. Heymann, M. Bacchiani, T.N. Sainath, in: 2018 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2018, pp. 6722–6726.
2018 | Conference Paper | LibreCat-ID: 12899
Front-End Processing for the CHiME-5 Dinner Party Scenario
C. Boeddeker, J. Heitkaemper, J. Schmalenstroeer, L. Drude, J. Heymann, R. Haeb-Umbach, in: Proc. CHiME 2018 Workshop on Speech Processing in Everyday Environments, Hyderabad, India, 2018.
LibreCat
| Files available
| Download (ext.)
C. Boeddeker, J. Heitkaemper, J. Schmalenstroeer, L. Drude, J. Heymann, R. Haeb-Umbach, in: Proc. CHiME 2018 Workshop on Speech Processing in Everyday Environments, Hyderabad, India, 2018.
2018 | Journal Article | LibreCat-ID: 17394
Smart Services – Konzept einer neuen Marktleistung
M. Frank, C. Koldewey, M. Rabe, R. Dumitrescu, J. Gausemeier, A. Kühn, ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb (2018) 306–311.
LibreCat
| DOI
M. Frank, C. Koldewey, M. Rabe, R. Dumitrescu, J. Gausemeier, A. Kühn, ZWF Zeitschrift für wirtschaftlichen Fabrikbetrieb (2018) 306–311.
2018 | Misc | LibreCat-ID: 6596
Einfluss mechanischer Vorspannung auf das mechanische Materialverhalten von Polymeren
M. Webersen, S. Johannesmann, T. Brockschmidt, F. Rump, L. Claes, B. Henning, Einfluss mechanischer Vorspannung auf das mechanische Materialverhalten von Polymeren, 2018.
LibreCat
M. Webersen, S. Johannesmann, T. Brockschmidt, F. Rump, L. Claes, B. Henning, Einfluss mechanischer Vorspannung auf das mechanische Materialverhalten von Polymeren, 2018.
2018 | Bachelorsthesis | LibreCat-ID: 5404
Online Algorithmen für das k-Page Migration Problem
P.I. Kolpaczki, Online Algorithmen Für Das K-Page Migration Problem, Universität Paderborn, 2018.
LibreCat
P.I. Kolpaczki, Online Algorithmen Für Das K-Page Migration Problem, Universität Paderborn, 2018.
2018 | Dissertation | LibreCat-ID: 3720
FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization
N. Ho, FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization, Universität Paderborn, 2018.
LibreCat
| DOI
N. Ho, FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization, Universität Paderborn, 2018.
2018 | Journal Article | LibreCat-ID: 17666
Measuring the efficiency of SDN mitigations against attacks on computer infrastructures
R. Koning, B. de Graaff, G. Polevoy, R. Meijer, C. de Laat, P. Grosso, Future Generation Computer Systems (2018).
LibreCat
| DOI
R. Koning, B. de Graaff, G. Polevoy, R. Meijer, C. de Laat, P. Grosso, Future Generation Computer Systems (2018).
2018 | Conference Paper | LibreCat-ID: 20188
The Argument Reasoning Comprehension Task: Identification and Reconstruction of Implicit Warrants
I. Habernal, H. Wachsmuth, I. Gurevych, B. Stein, in: Proceedings of the 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2018, pp. 1930–1940.
LibreCat
I. Habernal, H. Wachsmuth, I. Gurevych, B. Stein, in: Proceedings of the 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2018, pp. 1930–1940.
2018 | Bachelorsthesis | LibreCat-ID: 1097
Enforcing IP Core Connection Properties with Verifiable Security Monitors
F.P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable Security Monitors, Universität Paderborn, 2018.
LibreCat
F.P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable Security Monitors, Universität Paderborn, 2018.
2018 | Conference (Editor) | LibreCat-ID: 10591
Research Directions for Principles of Data Management
S. Abiteboul, M. Arenas, P. Barceló, M. Bienvenu, D. Calvanese, C. David, R. Hull, E. Hüllermeier, B. Kimelfeld, L. Libkin, W. Martens, T. Milo, F. Murlak, F. Neven, M. Ortiz, T. Schwentick, J. Stoyanovich, J. Su, D. Suciu, V. Vianu, K. Yi, eds., Research Directions for Principles of Data Management, 2018.
LibreCat
S. Abiteboul, M. Arenas, P. Barceló, M. Bienvenu, D. Calvanese, C. David, R. Hull, E. Hüllermeier, B. Kimelfeld, L. Libkin, W. Martens, T. Milo, F. Murlak, F. Neven, M. Ortiz, T. Schwentick, J. Stoyanovich, J. Su, D. Suciu, V. Vianu, K. Yi, eds., Research Directions for Principles of Data Management, 2018.
2018 | Conference Paper | LibreCat-ID: 11835
Frame-Online DNN-WPE Dereverberation
J. Heymann, L. Drude, R. Haeb-Umbach, K. Kinoshita, T. Nakatani, in: IWAENC 2018, Tokio, Japan, 2018.
LibreCat
| Files available
| Download (ext.)
J. Heymann, L. Drude, R. Haeb-Umbach, K. Kinoshita, T. Nakatani, in: IWAENC 2018, Tokio, Japan, 2018.
2018 | Mastersthesis | LibreCat-ID: 1186
Pure Nash Equilibria in Robust Congestion Games via Potential Functions
A. Kemper, Pure Nash Equilibria in Robust Congestion Games via Potential Functions, Universität Paderborn, 2018.
LibreCat
A. Kemper, Pure Nash Equilibria in Robust Congestion Games via Potential Functions, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 11710
Learning to Flip the Bias of News Headlines
W.-F. Chen, H. Wachsmuth, K. Al Khatib, B. Stein, in: Proceedings of the 11th International Conference on Natural Language Generation, Association for Computational Linguistics, 2018, pp. 79–88.
LibreCat
| Download (ext.)
W.-F. Chen, H. Wachsmuth, K. Al Khatib, B. Stein, in: Proceedings of the 11th International Conference on Natural Language Generation, Association for Computational Linguistics, 2018, pp. 79–88.
2018 | Conference Paper | LibreCat-ID: 11760
Evaluation of Modulation-MFCC Features and DNN Classification for Acoustic Event Detection
J. Ebbers, A. Nelus, R. Martin, R. Haeb-Umbach, in: DAGA 2018, München, 2018.
LibreCat
| Download (ext.)
J. Ebbers, A. Nelus, R. Martin, R. Haeb-Umbach, in: DAGA 2018, München, 2018.
2018 | Conference Paper | LibreCat-ID: 11873
NARA-WPE: A Python package for weighted prediction error dereverberation in Numpy and Tensorflow for online and offline processing
L. Drude, J. Heymann, C. Boeddeker, R. Haeb-Umbach, in: ITG 2018, Oldenburg, Germany, 2018.
LibreCat
| Files available
| Download (ext.)
L. Drude, J. Heymann, C. Boeddeker, R. Haeb-Umbach, in: ITG 2018, Oldenburg, Germany, 2018.
2018 | Journal Article | LibreCat-ID: 12965
R-Codesign: Codesign Methodology for Real-Time Reconfigurable Embedded Systems Under Energy Constraints
I. Ghribi, R.B. Abdallah, M. Khalgui, Z. Li, K. Alnowibet, M. Platzner, IEEE Access (2018) 14078–14092.
LibreCat
| DOI
I. Ghribi, R.B. Abdallah, M. Khalgui, Z. Li, K. Alnowibet, M. Platzner, IEEE Access (2018) 14078–14092.
2018 | Conference Paper | LibreCat-ID: 11986
Bridging worlds: Integrating hardware-in-the-loop testing with large-scale VANET simulation
D.S. Buse, M. Schettler, N. Kothe, P. Reinold, C. Sommer, F. Dressler, in: 2018 14th Annual Conference on Wireless On-Demand Network Systems and Services (WONS), 2018.
LibreCat
| DOI
D.S. Buse, M. Schettler, N. Kothe, P. Reinold, C. Sommer, F. Dressler, in: 2018 14th Annual Conference on Wireless On-Demand Network Systems and Services (WONS), 2018.
2018 | Journal Article | LibreCat-ID: 12009
Cooperative vehicle applications with cellular communication
S. Gläser, C. Sommer, G. Gehlen, S. Sories, ATZelektronik Worldwide (2018) 14–17.
LibreCat
| DOI
S. Gläser, C. Sommer, G. Gehlen, S. Sories, ATZelektronik Worldwide (2018) 14–17.
2018 | Conference Paper | LibreCat-ID: 12042
QQDCA: Adapting IEEE 802.11 EDCA for unicast transmissions at high topology dynamics
G.S. Pannu, F. Klingler, C. Sommer, F. Dressler, in: 2017 IEEE Vehicular Networking Conference (VNC), 2018.
LibreCat
| DOI
G.S. Pannu, F. Klingler, C. Sommer, F. Dressler, in: 2017 IEEE Vehicular Networking Conference (VNC), 2018.
2018 | Journal Article | LibreCat-ID: 13057
Design For Small Delay Test - A Simulation Study
M. Kampmann, S. Hellebrand, Microelectronics Reliability 80 (2018) 124–133.
LibreCat
M. Kampmann, S. Hellebrand, Microelectronics Reliability 80 (2018) 124–133.
2018 | Journal Article | LibreCat-ID: 1369
Pure Nash equilibria in restricted budget games
M. Drees, M. Feldotto, S. Riechers, A. Skopalik, Journal of Combinatorial Optimization (2018).
LibreCat
| Files available
| DOI
M. Drees, M. Feldotto, S. Riechers, A. Skopalik, Journal of Combinatorial Optimization (2018).
2018 | Conference Paper | LibreCat-ID: 15647
A Framework for Computing Education: Hybrid Interaction System: The need for a bigger picture in computing education
C. Schulte, L. Budde, in: Koli Calling, ACM, 2018, pp. 12:1-12:10.
LibreCat
C. Schulte, L. Budde, in: Koli Calling, ACM, 2018, pp. 12:1-12:10.
2018 | Conference Paper | LibreCat-ID: 15584
Evaluation of Learning Informatics in Primary Education - Views of Teachers and Students
J. Magenheim, K. Müller, C. Schulte, N. Bergner, K. Haselmeier, L. Humbert, D. Müller, U. Schroeder, in: Informatics in Schools. Fundamentals of Computer Science and Software Engineering - 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, (ISSEP) 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings, 2018, pp. 339–353.
LibreCat
| DOI
J. Magenheim, K. Müller, C. Schulte, N. Bergner, K. Haselmeier, L. Humbert, D. Müller, U. Schroeder, in: Informatics in Schools. Fundamentals of Computer Science and Software Engineering - 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, (ISSEP) 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings, 2018, pp. 339–353.
2018 | Book Chapter | LibreCat-ID: 16392
A Dynamic Distributed Data Structure for Top-k and k-Select Queries
B. Feldkord, M. Malatyali, F. Meyer auf der Heide, in: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, Cham, 2018.
LibreCat
| DOI
B. Feldkord, M. Malatyali, F. Meyer auf der Heide, in: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, Cham, 2018.
2018 | Conference Paper | LibreCat-ID: 1910
Poster: CrossEcore: An Extendible Framework to Use Ecore and OCL across Platforms
S. Schwichtenberg, I. Jovanovikj, C. Gerth, G. Engels, in: Proceedings of the 40th International Conference on Software Engineering, ICSE 2018 - Companion Volume, n.d.
LibreCat
S. Schwichtenberg, I. Jovanovikj, C. Gerth, G. Engels, in: Proceedings of the 40th International Conference on Software Engineering, ICSE 2018 - Companion Volume, n.d.
2018 | Conference Paper | LibreCat-ID: 2379
Delegatable Attribute-based Anonymous Credentials from Dynamically Malleable Signatures
J. Blömer, J. Bobolz, in: ACNS 2018 Applied Cryptography & Network Security, n.d.
LibreCat
| Files available
| Download (ext.)
J. Blömer, J. Bobolz, in: ACNS 2018 Applied Cryptography & Network Security, n.d.
2018 | Conference Paper | LibreCat-ID: 2831
Disaggregating User Evaluations Using the Shapley Value
M. Feldotto, C.-J. Haake, A. Skopalik, N. Stroh-Maraun, in: Proceedings of the 13th Workshop on Economics of Networks, Systems and Computation (NetEcon 2018), 2018, pp. 5:1-5:6.
LibreCat
| Files available
| DOI
M. Feldotto, C.-J. Haake, A. Skopalik, N. Stroh-Maraun, in: Proceedings of the 13th Workshop on Economics of Networks, Systems and Computation (NetEcon 2018), 2018, pp. 5:1-5:6.
2018 | Journal Article | LibreCat-ID: 2848
Towards Flexible Demands in Online Leasing Problems.
S. Li, C. Markarian, F. Meyer auf der Heide, Algorithmica 80 (2018) 1556–1574.
LibreCat
| Files available
| DOI
S. Li, C. Markarian, F. Meyer auf der Heide, Algorithmica 80 (2018) 1556–1574.
2018 | Conference Paper | LibreCat-ID: 2862
Practical, Anonymous, and Publicly Linkable Universally-Composable Reputation Systems
J. Blömer, F. Eidens, J. Juhnke, in: Topics in Cryptology - {CT-RSA} 2018 - The Cryptographers’ Track at the {RSA} Conference 2018, Proceedings, Springer International Publishing, Cham, 2018, pp. 470–490.
LibreCat
| Files available
| DOI
| Download (ext.)
J. Blömer, F. Eidens, J. Juhnke, in: Topics in Cryptology - {CT-RSA} 2018 - The Cryptographers’ Track at the {RSA} Conference 2018, Proceedings, Springer International Publishing, Cham, 2018, pp. 470–490.
2018 | Preprint | LibreCat-ID: 2711
Do Android Taint Analysis Tools Keep their Promises?
F. Pauck, E. Bodden, H. Wehrheim, ArXiv:1804.02903 (2018).
LibreCat
| Files available
F. Pauck, E. Bodden, H. Wehrheim, ArXiv:1804.02903 (2018).
2018 | Journal Article | LibreCat-ID: 3740
Oblique incidence of semi-guided planar waves on slab waveguide steps: effects of rounded edges
L. Ebers, M. Hammer, J. Förstner, Optics Express 26 (2018) 18621–18632.
LibreCat
| Files available
| DOI
L. Ebers, M. Hammer, J. Förstner, Optics Express 26 (2018) 18621–18632.
2018 | Book Chapter | LibreCat-ID: 3536
FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity
G. Schellhorn, M. Wedel, O. Travkin, J. König, H. Wehrheim, in: Software Engineering and Formal Methods, Springer International Publishing, Cham, 2018, pp. 105–120.
LibreCat
| DOI
G. Schellhorn, M. Wedel, O. Travkin, J. König, H. Wehrheim, in: Software Engineering and Formal Methods, Springer International Publishing, Cham, 2018, pp. 105–120.
2018 | Conference Paper | LibreCat-ID: 3550
Design Options of Store-Oriented Software Ecosystems: An Investigation of Business Decisions
B. Jazayeri, O. Zimmermann, G. Engels, J. Küster, D. Kundisch, D. Szopinski, in: Proceeding of International Symposium on Business Modeling and Software Design, Springer, Wien, Austria, 2018, pp. 390–400.
LibreCat
| Files available
| DOI
B. Jazayeri, O. Zimmermann, G. Engels, J. Küster, D. Kundisch, D. Szopinski, in: Proceeding of International Symposium on Business Modeling and Software Design, Springer, Wien, Austria, 2018, pp. 390–400.
2018 | Preprint | LibreCat-ID: 3586
CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation
L.M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner, Third Workshop on Approximate Computing (AxC 2018) (n.d.).
LibreCat
| Files available
L.M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner, Third Workshop on Approximate Computing (AxC 2018) (n.d.).
2018 | Conference Paper | LibreCat-ID: 3346
Containernet 2.0: A Rapid Prototyping Platform for Hybrid Service Function Chains
M. Peuster, J. Kampmeyer, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), Montreal, n.d.
LibreCat
| Files available
| DOI
| Download (ext.)
M. Peuster, J. Kampmeyer, H. Karl, in: 4th IEEE International Conference on Network Softwarization (NetSoft 2018), Montreal, n.d.