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.

4878 Publications


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.)
 

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.)
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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.)
 

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
 

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.)
 

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
 

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.)
 

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
 

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
 

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, Paderborn University, 2018.
LibreCat | DOI
 

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.)
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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, 2018.
LibreCat
 

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.)
 

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
 

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
 

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
 

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
 

2018 | Conference Abstract | LibreCat-ID: 6596
Einfluss mechanischer Vorspannung auf das mechanische Materialverhalten von Polymeren
M. Webersen, S. Johannesmann, T. Brockschmidt, F. Rump, L. Claes, B. Henning, in: Messtechnische Anwendungen von Ultraschall, 2018.
LibreCat
 

2018 | Journal Article | LibreCat-ID: 6743 LibreCat | Download (ext.)
 

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
 

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
 

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
 

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
 

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
 

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.)
 

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.)
 

2018 | Journal Article | LibreCat-ID: 14888
中文情感語意分析套件 CSentiPackage 發展與應用
Chen W.-F., Ku L.-W., 圖書館學與資訊科學 (2018).
LibreCat | Download (ext.)
 

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.)
 

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
 

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
 

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.)
 

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
 

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
 

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
 

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.)
 

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
 

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.)
 

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.)
 

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.)
 

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
 

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
 

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
 

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
 

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
 

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
 

2018 | Conference Paper | LibreCat-ID: 15647 LibreCat
 

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
 

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
 

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
 

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.)
 

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
 

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
 

2018 | Conference Paper | LibreCat-ID: 2850
Pick, Pack, & Survive: Charging Robots in a Modern Warehouse based on Online Connected Dominating Sets
H. Hamann, C. Markarian, F. Meyer auf der Heide, M. Wahby, in: Ninth International Conference on Fun with Algorithms (FUN), 2018.
LibreCat | Files available | DOI
 

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.)
 

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
 

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
 

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
 

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
 

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
 

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.)
 

2018 | Bachelorsthesis | LibreCat-ID: 3365
Static Scheduling Algorithms for Heterogeneous Compute Nodes
J.-P. Schnuer, Static Scheduling Algorithms for Heterogeneous Compute Nodes, 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 4236
Argumentation Synthesis following Rhetorical Strategies
H. Wachsmuth, M. Stede, R. El Baff, K. Al Khatib, M. Skeppstedt, B. Stein, in: Proceedings of the 27th International Conference on Computational Linguistics, 2018, pp. 3753–3765.
LibreCat | Files available | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 4344
Coresets for Fuzzy K-Means with Applications
J. Blömer, S. Brauer, K. Bujna, in: 29th International Symposium on Algorithms and Computation  (ISAAC 2018), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018, pp. 46:1--46:12.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 4351
Self-stabilizing Overlays for high-dimensional Monotonic Searchability
M. Feldmann, C. Kolb, C. Scheideler, in: Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), Springer, Cham, 2018, pp. 16–31.
LibreCat | Files available | DOI | arXiv
 

2018 | Conference Paper | LibreCat-ID: 4375
A Peer-to-Peer based Cloud Storage supporting orthogonal Range Queries of arbitrary Dimension
M. Benter, T. Knollmann, F. Meyer auf der Heide, A. Setzer, J. Sundermeier, in: Proceedings of the 4th International Symposium on Algorithmic Aspects of Cloud Computing (ALGOCLOUD), 2018.
LibreCat | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 4565
Brief Announcement: Competitive Routing in Hybrid Communication Networks
D. Jung, C. Kolb, C. Scheideler, J. Sundermeier, in: Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures (SPAA), ACM Press, 2018.
LibreCat | Files available | DOI
 

2018 | Journal Article | LibreCat-ID: 5758
Model-based UI Modernization: From Legacy UIs to Self-adaptive UIs
I. Jovanovikj, E. Yigitbas, S. Sauer, Softwaretechnik-Trends, Proceedings of the 20th Workshop Software-Reengineering & Evolution (WSRE) & 9th Workshop Design for Future (DFF) (2018).
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 5796
Adapt Cases 4 BPM - A Modeling Framework for Process Flexibility in IIoT
G. Engels, T.F. Strothmann, A. Teetz, in: 2018 IEEE 22nd International Enterprise Distributed Object Computing Workshop (EDOCW), IEEE, 2018.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 5816
Tolerant consistency management in model-driven engineering
N. Weidmann, in: Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings - MODELS ’18, ACM Press, 2018.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 5203
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, in: European Conference on Object-Oriented Programming (ECOOP), 2018, pp. 10:1-10:27.
LibreCat | Files available | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 5222
On Underlay-Aware Self-Stabilizing Overlay Networks
T. Götte, C. Scheideler, A. Setzer, in: Proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2018), Springer, 2018, pp. 50–64.
LibreCat | Files available
 

2018 | Conference Paper | LibreCat-ID: 5861
Short Digital Signatures and ID-KEMs via Truncation Collision Resistance
T. Jager, R. Kurek, in: Advances in Cryptology - ASIACRYPT 2018 - 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part II, 2018, pp. 221–250.
LibreCat | DOI
 

2018 | Bachelorsthesis | LibreCat-ID: 5936
Learning about learning curves from dataset properties
M. Scheibl, Learning about Learning Curves from Dataset Properties, 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 5986
Shape Recognition by a Finite Automaton Robot
R. Gmyr, K. Hinnenthal, I. Kostitsyna, F. Kuhn, D. Rudolph, C. Scheideler, in: 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool, UK, 2018, pp. 52:1-52:15.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 6016
Understand your chains and keep your deadlines: Introducing time-constrained profiling for NFV
M. Peuster, H. Karl, in: IEEE/IFIP 14th International Conference on Network and Service Management (CNSM), IEEE/IFIP, Rome, n.d.
LibreCat | Files available | Download (ext.)
 

2018 | Journal Article | LibreCat-ID: 6516
Sprint diagnostic with GPS and inertial sensor fusion
J.C. Mertens, A. Boschmann, M. Schmidt, C. Plessl, Sports Engineering 21 (2018) 441–451.
LibreCat | Files available | DOI
 

2018 | Conference Paper | LibreCat-ID: 6523
Lifetime Extension of Photovoltaic Modules by Influencing the Module Temperature Using Phase Change Material
D. Weber, M.I. Rafsan Jani, M. Grabo, O. Wallscheid, T. Klaus, S. Krauter, J. Böcker, in: World Conference on Photovoltaic Energy Conversion (WCPEC-7), 45th IEEE PVSC, 28th PVSEC, 34th EU PVSEC., Waikoloa Village, Big Island, Hawaii (USA), 2018.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 6578
Akustische Charakterisierung der richtungsabhängigen elastischen Eigenschaften faserverstärkter Kunststoffe
M. Webersen, S. Johannesmann, J. Düchting, L. Claes, B. Henning, in: Fortschritte Der Akustik - DAGA 2018, 2018, pp. 1263–1266.
LibreCat
 

2018 | Dissertation | LibreCat-ID: 6597
Models and Constructions for Secure Reputation Systems
J. Juhnke, Models and Constructions for Secure Reputation Systems, 2018.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 6972
A Generic Emulation Framework for Reusing and Evaluating VNF Placement Algorithms
S.B. Schneider, M. Peuster, H. Karl, in: IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN 2018), IEEE, 2018.
LibreCat | Files available | DOI | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 6763
Model-Driven Test Case Migration: The Test Case Reengineering Horseshoe Model
I. Jovanovikj, G. Engels, A. Anjorin, S. Sauer, in: J. Mendling, H. Mouratidis (Eds.), Information Systems in the Big Data Era - CAiSE Forum 2018, Tallinn, Estonia, June 11-15, 2018, ProceedingIs, Springer International Publishing, Cham, 2018, pp. 133–147.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 6838
Making Linearizability Compositional for Partially Ordered Executions
S. Doherty, B. Dongol, H. Wehrheim, J. Derrick, in: Integrated Formal Methods - 14th International Conference, {IFM} 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, 2018, pp. 110–129.
LibreCat | DOI
 

2018 | Conference Paper | LibreCat-ID: 7766
Semiotische Analyse von Sinnkonstruktionsprozessen bei einem innermathematischen Zugang zum Erlernen negativer Zahlen
J. Schumacher, in: Fachgruppe Didaktik der Mathematik der Universität Paderborn (Ed.), Beiträge zum Mathematikunterricht 2018, WTM-Verlag, Münster, 2018.
LibreCat | Download (ext.)
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed