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.
5676 Publications
2013 | Bachelorsthesis | LibreCat-ID: 2868
Laudemann, S. (2013). Themenmodellierung zur Identifikation und Gruppierung von Spam-Webseiten.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 2869
Leder, L. (2013). Nichtapproximierbarkeitsresultate zu Radius- und Durchmesserclustering unter Verwendung von L_p-Metriken.
LibreCat
2013 | Journal Article | LibreCat-ID: 25740
He, D., & Müller, W. (2013). A heuristic energy-aware approach for hard real-time systems on multi-core platforms. Microprocessors and Microsystems - Embedded Hardware Design 37(6-7), 845–857.
LibreCat
2013 | Book (Editor) | LibreCat-ID: 25741
Schirner, G., Götz, M., Rettberg, A., Zanella, M. C., & Rammig, F.-J. (Eds.). (2013). Embedded Systems: Design, Analysis and Verification. Proceedings of the 4th IFIP TC10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013. Springer.
LibreCat
2013 | Conference Paper | LibreCat-ID: 25742
Khaluf, L., & Rammig, F.-J. (2013). Organic Programming of Real-Time Operating Systems. The Ninth International Conference on Autonomic and Autonomous Systems.
LibreCat
2013 | Book Chapter | LibreCat-ID: 25743
Anacker, H., Dellnitz, M., Flaßkamp, K., Grösbrink, S., Hartmann, P., Heinzemann, C., Horenkamp, C., Kleinjohann, L., Kleinjohann, B., Korf, S., Krüger, M., Müller, W., Ober-Blöbaum, S., Oberthür, S., Porrmann, M., Priesterjahn, C., Radkowski, W., Rasche, C., Rieke, J., … Ziegert, S. (2013). Methods for the Design and Development. In Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future (pp. 187–356). Springer-Verlag.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3813
Wachsmuth, H., Stein, B., & Engels, G. (2013). Learning Efficient Information Extraction on Heterogeneous Texts. In A. Gelbukh (Ed.), Proceedings of the Sixth International Joint Conference on Natural Language Processing (pp. 534–542).
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 3814
Wachsmuth, H., Stein, B., & Engels, G. (2013). Information Extraction as a Filtering Task. In Proceedings of the 22nd ACM International Conference on Conference on Information & Knowledge Management (pp. 2049–2058).
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 3876
Wachsmuth, H., Rose, M., & Engels, G. (2013). Automatic Pipeline Construction for Real-Time Annotation. In A. Gelbukh (Ed.), 14th International Conference on Intelligent Text Processing and Computational Linguistics (pp. 38–49).
LibreCat
| Download (ext.)
2013 | Dissertation | LibreCat-ID: 2909
Kuntze, D. (2013). Practical algorithms for clustering and modeling large data sets - Analysis and improvements. Universität Paderborn.
LibreCat
| Download (ext.)
2013 | Report | LibreCat-ID: 2917
Juhnke, J., Lefmann, H., & Strehl, V. (2013). An Approach for Determining Optimal Contrast in Visual Cryptography. Fortschritt-Berichte VDI.
LibreCat
2013 | Book Chapter | LibreCat-ID: 2979
Blömer, J., Günther, P., & Liske, G. (2013). Improved Side Channel Attacks on Pairing Based Cryptography. In Constructive Side-Channel Analysis and Secure Design (pp. 154–168). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-40026-1_10
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 3129
Jager, T., & Schwenk, J. (2013). On the Analysis of Cryptographic Assumptions in the Generic Ring Model. J. Cryptology, (2), 225--245. https://doi.org/10.1007/s00145-012-9120-y
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3130
Böhl, F., Hofheinz, D., Jager, T., Koch, J., Hong Seo, J., & Striecks, C. (2013). Practical Signatures from Standard Assumptions. In Advances in Cryptology - EUROCRYPT 2013, 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Athens, Greece, May 26-30, 2013. Proceedings (pp. 461--485). https://doi.org/10.1007/978-3-642-38348-9_28
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3131
Jager, T., Paterson, K. G., & Somorovsky, J. (2013). One Bad Apple: Backwards Compatibility Attacks on State-of-the-Art Cryptography. In 20th Annual Network and Distributed System Security Symposium, NDSS 2013, San Diego, California, USA, February 24-27, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 3176
Isenberg, T., Steenken, D., & Wehrheim, H. (2013). Bounded Model Checking of Graph Transformation Systems via {SMT} Solving. In D. Beyer & M. Boreale (Eds.), Formal Techniques for Distributed Systems - Joint {IFIP} {WG} 6.1 International Conference, {FMOODS/FORTE} 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings (pp. 178--192). https://doi.org/10.1007/978-3-642-38592-6_13
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3177
Travkin, O., Mütze, A., & Wehrheim, H. (2013). {SPIN} as a Linearizability Checker under Weak Memory Models. In V. Bertacco & A. Legay (Eds.), Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings (pp. 311--326). https://doi.org/10.1007/978-3-319-03077-7_21
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3178
Dongol, B., Travkin, O., Derrick, J., & Wehrheim, H. (2013). A High-Level Semantics for Program Execution under Total Store Order Memory. In Z. Liu, J. Woodcock, & H. Zhu (Eds.), Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings (pp. 177--194). https://doi.org/10.1007/978-3-642-39718-9_11
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 3179
Ziegert, S., & Wehrheim, H. (2013). Temporal Reconfiguration Plans for Self-Adaptive Systems. In S. Kowalewski & B. Rumpe (Eds.), Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen (pp. 271--284).
LibreCat
2013 | Conference Paper | LibreCat-ID: 27054
Gausemeier, J., Grafe, M., & Meyer auf der Heide, F. (2013). 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung. 311.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27168
Keil, R., & Winkelnkemper, F. (2013). Approaches for an informational separation of powers in learning platforms. 131–142.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27169
Fischer, H. G., Geis, T., Molich, R., Kluge, O., Heimg{\"a}rtner, R{\"u}diger, Hunkirchen, Peter , & Polkehn, K. (2013). „Do You Speak Usability?“ – Aktueller Stand des Glossars und des Curriculums f{\"u}r den „Certified Professional for Usability and User Experience (CPUX)“ der German UPA. 28–34.
LibreCat
2013 | Dissertation | LibreCat-ID: 27171
K {\ "u} hnel, B. (2013). Contextual tagging in the coactive knowledge organization. Heinz Nixdorf Institute, Universit {\ "a} t Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27172
Fischer, H. G., Strenge, B., & Nebe, Karsten. (2013). Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design (pp. 252–261). Springer Verlag.
LibreCat
2013 | Journal Article | LibreCat-ID: 27173
Keil, Reinhard, Selke, H., & Winkelnkemper, F. (2013). Computer science and education - A struggle for creative sovereignty in society? FIfF-Kommunikation, 61–65.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27174
Keil, R. (2013). Media contexts - context media. 217–226.
LibreCat
2013 | Conference Paper | LibreCat-ID: 27175
Klompmaker, F., Paelke, V., & Fischer, H. G. (2013). A Taxonomy-Based Approach Towards NUI Interaction Design (pp. 32–41). Springer Verlag.
LibreCat
2013 | Dissertation | LibreCat-ID: 11619
Kaufmann, P. (2013). Adapting Hardware Systems by Means of Multi-Objective Evolution. Berlin: Logos Verlag Berlin GmbH.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 20978
Hüwe, M. (2013). Das Verteilungsproblem für mechatronische Systeme. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.
LibreCat
2013 | Conference Paper | LibreCat-ID: 20980
Farshizadeh, E., Briese, H., Steinmann, D., Stockmann, L., Beringer, S., Holler, D., Klobedanz, K., Heinzemann, C., Peter, K., & Leuer, M. (2013). Simulationsgestützter Entwurf für Elektrofahrzeuge. 8. Dortmunder Autotag.
LibreCat
2013 | Mastersthesis | LibreCat-ID: 20985
Koch, T. (2013). Combining Scenario-based and Architecture-based Timing Requirements. University of Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 17439
Petring, R., Eikel, B., Jähn, C., Fischer, M., & Meyer auf der Heide, F. (2013). Darstellung heterogener 3-D-Szenen in Echtzeit. In 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung (Vol. 311, pp. 49--60). Paderborn.
LibreCat
2013 | Dissertation | LibreCat-ID: 17440
Eikel, B. (2013). Spherical visibility sampling : preprocessed visibility for occlusion culling in complex 3D scenes. Universität Paderborn.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 17442
Meyer auf der Heide, F. (2013). Algorithmische Grundlagen für die Selbstorganisation von Roboterschwärmen. 11. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, 311, 7–16.
LibreCat
2013 | Conference (Editor) | LibreCat-ID: 17443
Gausemeier, J., Grafe, M., & Meyer auf der Heide, F. (Eds.). (2013). 11. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung (Vol. 311). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2013 | Journal Article | LibreCat-ID: 17663
Cohen, R., Nudelman, I., & Polevoy, G. (2013). On the Admission of Dependent Flows in Powerful Sensor Networks. Networking, IEEE/ACM Transactions On, 21(5), 1461–1471. https://doi.org/10.1109/TNET.2012.2227792
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 1785
Rammig, F., Stahl, K., & Vaz, G. F. (2013). A framework for enhancing dependability in self-x systems by Artificial Immune Systems. In IEEE Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC) (pp. 1–10). IEEE. https://doi.org/10.1109/ISORC.2013.6913240
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 1786
Kasap, S., & Redif, S. (2013). FPGA Implementation of a Second-Order Convolutive Blind Signal Separation Algorithm. In Proc. IEEE Signal Processing and Communications Conf. (SUI). IEEE. https://doi.org/10.1109/SIU.2013.6531530
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 1792
Kasap, S., & Redif, S. (2013). Novel Field-Programmable Gate Array Architecture for Computing the Eigenvalue Decomposition of Para-Hermitian Polynomial Matrices. IEEE Trans. on Very Large Scale Integration (VLSI) Systems, 22(3), 522–536. https://doi.org/10.1109/TVLSI.2013.2248069
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 1868
W. Richa, A., Scheideler, C., Schmid, S., & Zhang, J. (2013). Competitive throughput in multi-hop wireless networks despite adaptive jamming. Distributed Computing, (3), 159--171. https://doi.org/10.1007/s00446-012-0180-x
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 1870
Mohd Nor, R., Nesterenko, M., & Scheideler, C. (2013). Corona: A stabilizing deterministic message-passing skip list. Theor. Comput. Sci., 119--129. https://doi.org/10.1016/j.tcs.2012.08.029
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 1871
W. Richa, A., Scheideler, C., Schmid, S., & Zhang, J. (2013). An Efficient and Fair MAC Protocol Robust to Reactive Interference. IEEE/ACM Trans. Netw., (3), 760--771. https://doi.org/10.1109/TNET.2012.2210241
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 20831
Geismann, J. (2013). Quelltextgenerierung für LEGO Mindstorms-Roboter. Berichtsband Der Informatiktage 2013: Smarte Sichten, Smarte Schichten, 12, 71–74.
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 20913
Frieben, J., Heutger, H., Meyer, M., & Becker, S. (2013). Modulare Leistungsprognose von Kompaktsteuerungen. 9. Paderborner Workshop Entwurf Mechatronischer Systeme, 147–160.
LibreCat
2013 | Conference Paper | LibreCat-ID: 1798
Keller, M., Robbert, C., & Peuster, M. (2013). An evaluation testbed for adaptive, topology-aware deployment of elastic applications. In Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM .
LibreCat
| Download (ext.)
2013 | Conference Paper | LibreCat-ID: 1799
Ali-Ahmad, H., Cicconetti, C., de la Oliva, A., Draxler, M., Gupta, R., Mancuso, V., … Sciancalepore, V. (2013). CROWD: An SDN Approach for DenseNets. In 2013 Second European Workshop on Software Defined Networks. IEEE. https://doi.org/10.1109/ewsdn.2013.11
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 1800
Blanckenstein, J., Garcia-Jimenez, J., Klaue, J., & Karl, H. (2013). A Scalable Redundant TDMA Protocol for High-Density WSNs Inside an Aircraft. In Lecture Notes in Electrical Engineering (pp. 165–177). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-03071-5_18
LibreCat
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 18000
Blumentritt, F. (2013). Cliquenbildung in verteilten Systemen. Universität Paderborn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 1802
Wette, P., & Graffi, K. (2013). Adding Capacity-Aware Storage Indirection to Homogeneous Distributed Hash Tables. In 2013 Conference on Networked Systems. IEEE. https://doi.org/10.1109/netsys.2013.9
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 1803
Dannewitz, C., Herlich, M., & Karl, H. (2013). OpenNetInf - prototyping an information-centric Network Architecture. In 37th Annual IEEE Conference on Local Computer Networks -- Workshops. IEEE. https://doi.org/10.1109/lcnw.2012.6424044
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 1804
de la Oliva, A., Morelli, A., Mancuso, V., Draexler, M., Hentschel, T., Melia, T., … Cicconetti, C. (2013). Denser Networks for the Future Internet, the CROWD Approach. In Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (pp. 28–41). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-37935-2_3
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 22932
Dumitrescu, R., & Kühn, A. (2013). Intelligenz in der Produktion - Spitzencluster it’s OWL als Wegbereiter für Industrie 4.0. In Markt&Technik Summit Industrie 4.0, München, 16. - 17. Okt. 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 22933
Schmitt, N., Kaiser, L., Dumitrescu, R., & Hofmann, M. (2013). Von der Anforderungserfassung bis zur Funktionsstruktur - Ein Systems Engineering-Vorgehen für die industrielle Praxis. In M. Maurer & S.-O. Schulze (Eds.), Tag des Systems Engineering. München: Carl Hanser Verlag.
LibreCat
2013 | Conference Paper | LibreCat-ID: 22934
Low, C. Y., Kasim, M. A. A., Koch, T., Dumitrescu, R., Yussof, H., Jaafar, R., … Ng, K. M. (2013). Hybrid-Actuated Finger Prosthesis with Tactile Sensing. In International Journal of Advanced Robotic Systems (Vol. Band 10).
LibreCat
2013 | Newspaper Article | LibreCat-ID: 22935
Low, C., Aldemir, M., Aziz, N., Dumitrescu, R., & Anacker, H. (2013). Strategy Planning of Collaborative Humanoid Soccer Robots based on Principle Solution. Journal of Production Engineering Research & Development (PERE) 7, pp. 23–34.
LibreCat
2013 | Journal Article | LibreCat-ID: 21748
Joel, W. J. (2013). The Need to Start Research Education Early. IEEE Computer Graphics and Applications, 33(5), 79–81. https://doi.org/10.1109/MCG.2013.79
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 21752
Kerren, A. (2013). Information Visualization Courses for Students with a Computer Science Background. IEEE Computer Graphics and Applications, 33(2), 12–15. https://doi.org/10.1109/MCG.2013.27
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 21807
Schell, J., & Klug, C. (2013). Building Virtual Worlds Carrying on the Legacy of Randy Pausch’s “Head Fake.” IEEE Computer Graphics and Applications, 33(3), 12–15. https://doi.org/10.1109/MCG.2013.42
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 770
Dannewitz, C., Kutscher, D., Ohlman, B., Farrell, S., Ahlgren, B., & Karl, H. (2013). Network of Information (NetInf) - An information-centric networking architecture. Computer Communications, (7), 721--735. https://doi.org/10.1016/j.comcom.2013.01.009
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 771
Dräxler, M., Biermann, T., & Karl, H. (2013). Improving Cooperative Transmission Feasibility by Network Reconfiguration in Limited Backhaul Networks. International Journal of Wireless Information Networks, (3), 183--194. https://doi.org/10.1007/s10776-013-0207-7
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 772
Hohenberger, T., Herlich, M., & Karl, H. (2013). Trade-off between latency and coverage in cooperative radio access networks. In IEEE International Conference on Advanced Networks and Telecommunications Systems, ANTS 2013, Kattankulathur, India, December 15-18, 2013 (pp. 1--6). https://doi.org/10.1109/ANTS.2013.6802869
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 773
M. Facca, F., Salvadori, E., Karl, H., R. Lopez, D., Arranda Gutierrez, P., Kostic, D., & Riggio, R. (2013). NetIDE: First Steps towards an Integrated Development Environment for Portable Network Apps. In Second European Workshop on Software Defined Networks, EWSDN 2013, Berlin, Germany, October 10-11, 2013 (pp. 105--110). https://doi.org/10.1109/EWSDN.2013.24
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 774
Cicconetti, C., Morelli, A., Dräxler, M., Karl, H., Mancuso, V., Sciancalepore, V., … Roullet, L. (2013). The playground of Wireless Dense networks of the future. In 2013 Future Network & Mobile Summit, Lisboa, Portugal, July 3-5, 2013 (pp. 1--4).
LibreCat
2013 | Conference Paper | LibreCat-ID: 775
Keller, M., Peuster, M., Robbert, C., & Karl, H. (2013). A topology-aware adaptive deployment framework for elastic applications. In 17th International Conference on Intelligence in Next Generation Networks, {ICIN} 2013, Venice, Italy, October 15-16, 2013 (pp. 61--69). https://doi.org/10.1109/ICIN.2013.6670895
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 776
Herlich, M., & Karl, H. (2013). Energy-Efficient Assignment of User Equipment to Cooperative Base Stations. In ISWCS 2013, The Tenth International Symposium on Wireless Communication Systems, Ilmenau, Germany, August 27-30, 2013 (pp. 1--5).
LibreCat
2013 | Conference (Editor) | LibreCat-ID: 7762
Fazal-Baqaie, M. (Ed.). (2013). Vorgehensmodelle 2013: Vorgehensmodelle - Anspruch und Wirklichkeit - Proceedings der 20. Tagung der Fachgruppe Vorgehensmodelle im Fachgebiet Wirtschaftsinformatik (WI-VM) der Gesellschaft für Informatik e.V., Lörrach (Germany) (Vol. P-224). GI, Köllen Druck+Verlag GmbH, Bonn.
LibreCat
2013 | Conference Paper | LibreCat-ID: 777
Dräxler, M., & Karl, H. (2013). Cross-layer scheduling for multi-quality video streaming in cellular wireless networks. In 2013 9th International Wireless Communications and Mobile Computing Conference, IWCMC 2013, Sardinia, Italy, July 1-5, 2013 (pp. 1181--1186). https://doi.org/10.1109/IWCMC.2013.6583724
LibreCat
| DOI
2013 | Preprint | LibreCat-ID: 781
Dräxler, M., Blobel, J., Dreimann, P., Valentin, S., & Karl, H. (2013). Anticipatory Buffer Control and Quality Selection for Wireless Video Streaming. CoRR.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 8057
Nagel, B., Gerth, C., Post, J., & Engels, G. (2013). Ensuring Consistency Among Business Goals and Business Process Models. In Proceedings of the 17th IEEE International EDOC Conference (EDOC’13) (pp. 17–26). IEEE Computer Society.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8058
Schumacher, C., Engels, G., Güldali, B., Niehammer, M., & Hamburg, M. (2013). Modellbasierte Bewertung von Testprozessen nach TPI NEXT® mit Geschäftsprozess-Mustern. In S. Kowalewski & B. Rumpe (Eds.), Proceedings of the conference on Software Enginneering, Fachtagung des GI Fachbereichs Softwaretechnik (SE 2013), Aachen (Germany) (Vol. P-213, pp. 331–344). Bonn: Gesellschaft für Informatik (GI).
LibreCat
2013 | Conference Paper | LibreCat-ID: 8059
Engels, G. (2013). On-the-Fly Computing - Das Entwicklungs- und Betriebsparadigma für Softwaresysteme der Zukunft. In Software Engineering 2013 (Vol. P-213, pp. 17–18).
LibreCat
2013 | Conference Paper | LibreCat-ID: 8060
Huma, Z., Gerth, C., Engels, G., & Juwig, O. (2013). Automated Service Composition for On-the-Fly SOAs. In Proceedings of the 11th International Conference on Service Oriented Computing (ICSOC’13) (Vol. 8274, pp. 524–532). Berlin/Heidelberg: Springer-Verlag.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8061
Luckey, M., & Engels, G. (2013). High-Quality Specification of Self-Adaptive Software Systems. In Proceeding of the 8th international symposium on Software engineering for adaptive and self-managing systems (pp. 143–152). New York, NY, USA: ACM.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 8062
Brüseke, F., Becker, S., & Engels, G. (2013). Decision Support via Automated Metric Comparison for the Palladio-based Performance Blame Analysis. In Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), Prague (Czech Republic) (pp. 77–88). ACM New York, NY, USA.
LibreCat
2013 | Conference Paper | LibreCat-ID: 8063
Becker, M., Luckey, M., & Becker, S. (2013). Performance Analysis of Self-Adaptive Systems for Requirements Validation at Design-Time. In Ninth International ACM Sigsoft Conference on the Quality of Software Architectures (pp. 43–52). New York, NY, USA: ACM New York, NY, USA.
LibreCat
2013 | Report | LibreCat-ID: 8222
Küster, J., Kovács, D., Bauer, E., & Gerth, C. (2013). Integrating Coverage Analysis into Test-driven Development of Model Transformations. Zurich: IBM Research.
LibreCat
2013 | Report | LibreCat-ID: 8223
Huma, Z., Gerth, C., & Engels, G. (2013). Automated Service Discovery and Composition for On-the-Fly SOAs. University of Paderborn, Germany.
LibreCat
2013 | Conference Paper | LibreCat-ID: 5752
Yigitbas, E., Gerth, C., & Sauer, S. (2013). Konzeption modellbasierter Benutzungsschnittstellen für verteilte Selbstbedienungssysteme. In Informatik 2013, 43. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Informatik angepasst an Mensch, Organisation und Umwelt, 16.-20. September 2013, Koblenz, Deutschland (pp. 2714–2723).
LibreCat
2013 | Book Chapter | LibreCat-ID: 6276
Klompmaker, F., Paelke, V., & Fischer, H. G. (2013). A Taxonomy-Based Approach towards NUI Interaction Design. In Distributed, Ambient, and Pervasive Interactions (Vol. 8028, pp. 32–41). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39351-8_4
LibreCat
| DOI
2013 | Book Chapter | LibreCat-ID: 6279
Fischer, H. G., Strenge, B., & Nebe, K. (2013). Towards a Holistic Tool for the Selection and Validation of Usability Method Sets Supporting Human-Centered Design. In Design, User Experience, and Usability. Design Philosophy, Methods, and Tools (Vol. 8012, pp. 252–261). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-39229-0_28
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 6284
Fischer, H. G., Geis, T., Molich, R., Kluge, O., Heimgärtner, R., & Hunkirchen, P. (2013). Do You Speak Usability? - Aktueller Stand des Glossars und des Curriculums für den Certified Professional for Usability and User Experience (CPUX) der German UPA. In Jahresband Usability Professionals (pp. 28–34). German UPA.
LibreCat
2013 | Conference Paper | LibreCat-ID: 469
Wonisch, D., Schremmer, A., & Wehrheim, H. (2013). Zero Overhead Runtime Monitoring. In Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM) (pp. 244–258). https://doi.org/10.1007/978-3-642-40561-7_17
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 470
Wette, P., & Karl, H. (2013). Which Flows Are Hiding Behind My Wildcard Rule? Adding Packet Sampling to OpenFlow. In Proceedings of the ACM SIGCOMM ’13 (pp. 541–542). https://doi.org/10.1145/2486001.2491710
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 471
Tezer, A. (2013). Verteilte Erstellung und Aktualisierung von Schlüsselservern in identitätsbasierten Verschlüsselungssystemen. Universität Paderborn.
LibreCat
2013 | Journal Article | LibreCat-ID: 476
Kolman, P., & Scheideler, C. (2013). Towards Duality of Multicommodity Multiroute Cuts and Flows: Multilevel Ball-Growing. Theory of Computing Systems, (2), 341–363. https://doi.org/10.1007/s00224-013-9454-3
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 477
Abshoff, S., Benter, M., Cord-Landwehr, A., Malatyali, M., & Meyer auf der Heide, F. (2013). Token Dissemination in Geometric Dynamic Networks. In Algorithms for Sensor Systems - 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics, {ALGOSENSORS} 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers (pp. 22–34). https://doi.org/10.1007/978-3-642-45346-5_3
LibreCat
| Files available
| DOI
2013 | Dissertation | LibreCat-ID: 478
Timm, N. (2013). Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems. Universität Paderborn.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 481
Graffi, K., & Bremer, L. (2013). Symbiotic Coupling of P2P and Cloud Systems: The Wikipedia Case. In Proceedings of the International Conference on Communications (ICC’13) (pp. 3444–3449). https://doi.org/10.1109/ICC.2013.6655082
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 484
Platenius, M. C., von Detten, M., Gerth, C., Schäfer, W., & Engels, G. (2013). Service Matching under Consideration of Explicitly Specified Service Variants. In IEEE 20th International Conference on Web Services (ICWS 2013) (pp. 613–614). https://doi.org/10.1109/ICWS.2013.98
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 485
Mohr, F., & Kleine Büning, H. (2013). Semi-Automated Software Composition Through Generated Components. In Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS) (pp. 676–680). https://doi.org/10.1145/2539150.2539235
LibreCat
| Files available
| DOI
2013 | Bachelorsthesis | LibreCat-ID: 486
Otte, O. (2013). Seitenkanalresistenz paarungsbasierter Kryptographie. Universität Paderborn.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 487 | 
Bobolz, J. (2013). Security Proofs for Pairing-Based Cryptography in the Generic Group Model. Universität Paderborn.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 488
Blömer, J., Günther, P., & Krummel, V. (2013). Securing Critical Unattended Systems with Identity Based Cryptography - A Case Study. In Proceedings of the 5th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS) (pp. 98–105).
LibreCat
| Files available
2013 | Bachelorsthesis | LibreCat-ID: 490
Wallaschek, F. (2013). Routing in heterogenen OpenFlow Netzwerken. Universität Paderborn.
LibreCat
2013 | Bachelorsthesis | LibreCat-ID: 492
Robbert, C. (2013). Ressource-Optimized Deployment of Multi-Tier Applications - The Data Rate-Constrained Case. Universität Paderborn.
LibreCat
2013 | Dissertation | LibreCat-ID: 494
von Detten, M. (2013). Reengineering of Component-Based Software Systems in the Presence of Design Deficiencies. Universität Paderborn.
LibreCat
| Files available
2013 | Conference Paper | LibreCat-ID: 495
Mohr, F., Lettmann, T., & Kleine Büning, H. (2013). Reducing Nondeterminism in Automated Service Composition. In Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA) (pp. 154–161). https://doi.org/10.1109/SOCA.2013.25
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 496
Benter, M., Neumann, F., & Frey, H. (2013). Reactive Planar Spanner Construction in Wireless Ad Hoc and Sensor Networks. In Proceedings of the 32nd IEEE International Conference on Computer Communications (INFOCOM) (pp. 2193–2201). https://doi.org/10.1109/INFCOM.2013.6567022
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 498
Wonisch, D., Schremmer, A., & Wehrheim, H. (2013). Programs from Proofs – A PCC Alternative. In Proceedings of the 25th International Conference on Computer Aided Verification (CAV) (pp. 912–927). https://doi.org/10.1007/978-3-642-39799-8_65
LibreCat
| Files available
| DOI
2013 | Conference Paper | LibreCat-ID: 499
Kling, P., & Pietrzyk, P. (2013). Profitable Scheduling on Multiple Speed-Scalable Processors. In Proceedings of the 25th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA) (pp. 251–260). https://doi.org/10.1145/2486159.2486183
LibreCat
| Files available
| DOI