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.
9749 Publications
2015 | Conference Paper | LibreCat-ID: 19991
Hamann, H., Schmickl, T., Kengyel, D., Zahadat, P., Radspieler, G., & Wotawa, F. (2015). Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms. In Principles and Practice of Multi-Agent Systems (PRIMA 2015) (pp. 201–217).
LibreCat
2015 | Journal Article | LibreCat-ID: 19992
Valentini, G., & Hamann, H. (2015). Time-variant feedback processes in collective decision-making systems: influence and effect of dynamic neighborhood sizes. Swarm Intelligence, 153–176. https://doi.org/10.1007/s11721-015-0108-8
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 20005
Dorigo, M., Hamann, H., & Valentini, G. (2015). Efficient Decision-Making in a Self-Organizing Robot Swarm: On the Speed Versus Accuracy Trade-Off. In Proceedings of the 14th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2015).
LibreCat
2015 | Conference Paper | LibreCat-ID: 20006
Dorigo, M., Hamann, H., & Valentini, G. (2015). Self-organized collective decisions in a robot swarm. In AAAI-15 Video Proceedings.
LibreCat
2015 | Conference Paper | LibreCat-ID: 280
Arifulina, S., Platenius, M. C., Mohr, F., Engels, G., & Schäfer, W. (2015). Market-Specific Service Compositions: Specification and Matching. In Proceedings of the IEEE 11th World Congress on Services (SERVICES), Visionary Track: Service Composition for the Future Internet (pp. 333--340). https://doi.org/10.1109/SERVICES.2015.58
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 283
Czech, M., Jakobs, M.-C., & Wehrheim, H. (2015). Just test what you cannot verify! In A. Egyed & I. Schaefer (Eds.), Fundamental Approaches to Software Engineering (pp. 100–114). https://doi.org/10.1007/978-3-662-46675-9_7
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 284
Eikel, M., & Scheideler, C. (2015). IRIS: A Robust Information System Against Insider DoS Attacks. Transactions on Parallel Computing, (3), 18:1--18:33. https://doi.org/10.1145/2809806
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 285
Isenberg, T. (2015). Incremental Inductive Verification of Parameterized Timed Systems. In Proceedings of the 15th International Conference on Application of Concurrency to System Design (ACSD) (pp. 1–9). https://doi.org/10.1109/ACSD.2015.13
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 286
Kalde, B. (2015). Implementierung eines hybriden Verschlüsselungsverfahrens nach Cramer und Shoup. Universität Paderborn.
LibreCat
2015 | Bachelorsthesis | LibreCat-ID: 2865
Strotmann, D. (2015). Singulärwertzerlegung für μ-ähnliche Bregman-Divergenzen.
LibreCat
2015 | Conference Paper | LibreCat-ID: 287
Wette, P., & Karl, H. (2015). HybridTE: Traffic Engineering for Very Low-Cost Software-Defined Data-Center Networks. In Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015) (pp. 1--7). https://doi.org/10.1109/EWSDN.2015.57
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 241
Scheideler, C., Setzer, A., & Strothmann, T. F. (2015). Towards Establishing Monotonic Searchability in Self-Stabilizing Data Structures. In Proceedings of the 19th International Conference on Principles of Distributed Systems (OPODIS). https://doi.org/10.4230/LIPIcs.OPODIS.2015.24
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 242
Koutsopoulos, A., Scheideler, C., & Strothmann, T. F. (2015). Towards a Universal Approach for the Finite Departure Problem in Overlay Networks. In Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) (pp. 201–216). https://doi.org/10.1007/978-3-319-21741-3_14
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 243
Strothmann, T. F. (2015). The impact of communication patterns on distributed locally self-adjusting binary search trees. In Proceedings of the 9th International Workshop on Algorithms and Computation (WALCOM) (pp. 175--186). https://doi.org/10.1007/978-3-319-15612-5_16
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 246
Besova, G. (2015). Systematic Development and Re-Use of Model Tranformations. Universität Paderborn.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 247
Schwabe, A., & Karl, H. (2015). SynRace: Decentralized Load-Adaptive Multi-path Routing without Collecting Statistics. In Proceedings of the 4th European Workshop on Software Defined Networks (EWSDN 2015) (pp. 37–42). https://doi.org/10.1109/EWSDN.2015.58
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 261
Eisenhofer, T. (2015). Protokolle zur authentifizierten Schüsselvereinbarung. Universität Paderborn.
LibreCat
2015 | Conference Paper | LibreCat-ID: 262
Jakobs, M.-C., & Wehrheim, H. (2015). Programs from Proofs of Predicated Dataflow Analyses. In Proceedings of the 30th Annual ACM Symposium on Applied Computing (pp. 1729–1736). https://doi.org/10.1145/2695664.2695690
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 264
Wette, P. (2015). Optimizing Software-Defined Networks using Application-Layer Knowledge. Universität Paderborn.
LibreCat
| Files available
2015 | Book | LibreCat-ID: 26446
Pongratz, H., & Keil, R. (2015). DeLFI 2015 - The 13th e-Learning Conference on Computer Science of the E-Learning Section of the Society for Computer Science eV. Koellen Druck + Verlag GmbH.
LibreCat
2015 | Conference Paper | LibreCat-ID: 26449
Winkelnkemper, F., & Oberhoff, A. (2015). WebArena - R {\ “a} spacious structures for {\” u} r the learning locations of the future (R. wedge & H. Selke, Eds.; Vol. 330, pp. 103–117). Publication series of the Heinz Nixdorf Institute, Paderborn.
LibreCat
2015 | Book (Editor) | LibreCat-ID: 26531
Keil, R., & Selke, H. (Eds.). (2015). 20 years of learning with the World Wide Web - technology and education in dialogue (Vol. 330). publishing series of the Heinz Nixdorf Institute, Paderborn.
LibreCat
2015 | Conference Paper | LibreCat-ID: 26532
Keil, R., & Selke, H. (2015). Learn with, through and {\ "about the WWW (R. Keil & H. Selke, Eds.; Vol. 330, pp. 1–7). Publishing series of the Heinz Nixdorf Institute, Paderborn.
LibreCat
2015 | Conference Paper | LibreCat-ID: 26533
Keil, R., & Selke, H. (2015). Virtual knowledge {\ “a} ume - From the presentation of content to virtual learning {\” a} tten (R. Keil & H. Selke, Eds.; Vol. 330, pp. 39–53). publishing series of the Heinz Nixdorf Institute, Paderborn.
LibreCat
2015 | Dissertation | LibreCat-ID: 26534
Klompmaker, F. (2015). Development of a structured process of interaction design for {\ “u} r nat {\” u} local user interfaces. Universitaetsbibliothek Paderborn.
LibreCat
2015 | Conference Paper | LibreCat-ID: 26536
Schild, C., & Petrausch, V. (2015). Empirical validation of design patterns. Human and Computer 2015 - Proceedings, 173–182.
LibreCat
2015 | Conference Paper | LibreCat-ID: 266
Markarian, C., & Meyer auf der Heide, F. (2015). Online Resource Leasing. In Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC) (pp. 343–344). https://doi.org/10.1145/2767386.2767454
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 267
Markarian, C. (2015). Online Resource Leasing. Universität Paderborn.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 269
Wiersema, T., Wu, S., & Platzner, M. (2015). On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach. In Proceedings of the International Symposium in Reconfigurable Computing (ARC) (pp. 365--372). https://doi.org/10.1007/978-3-319-16214-0_32
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 320
Caragiannis, I., Fanelli, A., Gravin, N., & Skopalik, A. (2015). Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure. Transactions on Economics and Computation, 3(1). https://doi.org/10.1145/2614687
LibreCat
| Files available
| DOI
2015 | Mastersthesis | LibreCat-ID: 321
Eidens, F. (2015). Anonymous credential system based on q-Strong Diffie-Hellman Assumption. Universität Paderborn.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 322 | 
Blömer, J., Juhnke, J., & Kolb, C. (2015). Anonymous and Publicly Linkable Reputation Systems. In Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC) (pp. 478--488). https://doi.org/10.1007/978-3-662-47854-7_29
LibreCat
| Files available
| DOI
| Download (ext.)
2015 | Journal Article | LibreCat-ID: 323
Jungmann, A., & Mohr, F. (2015). An approach towards adaptive service composition in markets of composed services. Journal of Internet Services and Applications, (1), 1–18. https://doi.org/10.1186/s13174-015-0022-8
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 324
Mohr, F. (2015). A Metric for Functional Reusability of Services. In Proceedings of the 14th International Conference on Software Reuse (ICSR) (pp. 298--313). https://doi.org/10.1007/978-3-319-14130-5_21
LibreCat
| Files available
| DOI
2015 | Mastersthesis | LibreCat-ID: 325
Löken, N. (2015). A Group Signature Scheme with Distributed Group Management - An Application of Threshold Encryption. Universität Paderborn.
LibreCat
| Files available
2015 | Bachelorsthesis | LibreCat-ID: 326
Heihoff, F. (2015). A group signature scheme based on the LSRW assumption. Universität Paderborn.
LibreCat
2015 | Journal Article | LibreCat-ID: 327
Kniesburges, S., Koutsopoulos, A., & Scheideler, C. (2015). A deterministic worst-case message complexity optimal solution for resource discovery. Theoretical Computer Science, 67–79. https://doi.org/10.1016/j.tcs.2014.11.027
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 3343
Bubeck, U., & Kleine Büning, H. (2015). Learning Boolean Specifications. Artificial Intelligence, 246–257. https://doi.org/10.1016/j.artint.2015.09.003
LibreCat
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 3364
Knorr, C. (2015). Evaluation von Bildverarbeitungsalgorithmen in heterogenen Rechenknoten. Universität Paderborn.
LibreCat
2015 | Conference Paper | LibreCat-ID: 3815
Wachsmuth, H., Kiesel, J., & Stein, B. (2015). Sentiment Flow - A General Model of Web Review Argumentation. In J. Tsujii & J. Hajic (Eds.), Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing (pp. 601–611). https://doi.org/10.18653/v1/D15-1072
LibreCat
| DOI
| Download (ext.)
2015 | Journal Article | LibreCat-ID: 3845
Civitci, F., Hammer, M., & Hoekstra, H. J. W. M. (2015). Planar prism spectrometer based on adiabatically connected waveguiding slabs. Optics Communications, 365, 29–37. https://doi.org/10.1016/j.optcom.2015.11.066
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 3847
Hammer, M., Hildebrandt, A., & Förstner, J. (2015). Full Resonant Transmission of Semiguided Planar Waves Through Slab Waveguide Steps at Oblique Incidence. Journal of Lightwave Technology, 34(3), 997–1005. https://doi.org/10.1109/jlt.2015.2502431
LibreCat
| Files available
| DOI
2015 | Book | LibreCat-ID: 3879
Wachsmuth, H. (2015). Text Analysis Pipelines - Towards Ad-hoc Large-scale Text Mining. http://dx.doi.org/10.1007/978-3-319-25741-9
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 3892 |
Losquin, A., Zagonel, L. F., Myroshnychenko, V., Rodríguez-González, B., Tencé, M., Scarabelli, L., … Kociak, M. (2015). Unveiling Nanometer Scale Extinction and Scattering Phenomena through Combined Electron Energy Loss Spectroscopy and Cathodoluminescence Measurements. Nano Letters, 15(2), 1229–1237. https://doi.org/10.1021/nl5043775
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 3894 |
Hammer, M., Hildebrandt, A., & Förstner, J. (2015). How planar optical waves can be made to climb dielectric steps. Optics Letters, 40(16), 3711–3714. https://doi.org/10.1364/ol.40.003711
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 3896 |
Kou, Y., & Förstner, J. (2015). Subwavelength binary plasmonic solitons. Optics Letters, 40(6), 851–854. https://doi.org/10.1364/ol.40.000851
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 3900 |
Mantei, D., Förstner, J., Gordon, S., Leier, Y. A., Rai, A. K., Reuter, D., … Zrenner, A. (2015). Robust Population Inversion by Polarization Selective Pulsed Excitation. Scientific Reports, 5(1), 10313. https://doi.org/10.1038/srep10313
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 290
Besova, G., Steenken, D., & Wehrheim, H. (2015). Grammar-based model transformations: Definition, execution, and quality properties. Computer Languages, Systems & Structures, 116–138. https://doi.org/10.1016/j.cl.2015.05.003
LibreCat
| Files available
| DOI
2015 | Book Chapter | LibreCat-ID: 2921 |
Blazy, O., Kakvi, S., Kiltz, E., & Pan, J. (2015). Tightly-Secure Signatures from Chameleon Hash Functions. In Lecture Notes in Computer Science (pp. 256–279). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-46447-2_12
LibreCat
| DOI
| Download (ext.)
2015 | Mastersthesis | LibreCat-ID: 297
Sosniak, M. (2015). Evaluation of Pairing Optimization for Embedded Platforms. Universität Paderborn.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 299
Gerken, B. (2015). Elektromagnetische Seitenkanalangriffe auf paarungsbasierte Kryptographie. Universität Paderborn.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 301 |
Bobolz, J. (2015). Efficient Verifier-Local Revocation for Anonymous Credentials. Universität Paderborn.
LibreCat
| Files available
2015 | Mastersthesis | LibreCat-ID: 302
Stroh, C. (2015). Efficient Attributes for Pairing-Based Anonymous Credentials. Universität Paderborn.
LibreCat
2015 | Dissertation | LibreCat-ID: 304
Koutsopoulos, A. (2015). Dynamics and Efficiency in Topological Self-Stabilization. Universität Paderborn.
LibreCat
| Files available
2015 | Dissertation | LibreCat-ID: 305
Kniesburges, S. (2015). Distributed Data Structures and the Power of topological Self-Stabilization. Universität Paderborn.
LibreCat
| Files available
2015 | Mastersthesis | LibreCat-ID: 312
Schleiter, P. (2015). Constructions of Fully Secure Predicate Encryption Schemes. Universität Paderborn.
LibreCat
| Files available
2015 | Journal Article | LibreCat-ID: 3120
Böhl, F., Hofheinz, D., Jager, T., Koch, J., & Striecks, C. (2015). Confined Guessing: New Signatures From Standard Assumptions. J. Cryptology, (1), 176--208. https://doi.org/10.1007/s00145-014-9183-z
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3121
Jager, T., Schwenk, J., & Somorovsky, J. (2015). On the Security of TLS 1.3 and QUIC Against Weaknesses in PKCS#1 v1.5 Encryption. In Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015 (pp. 1185--1196). https://doi.org/10.1145/2810103.2813657
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3122
Jager, T., Schwenk, J., & Somorovsky, J. (2015). Practical Invalid Curve Attacks on TLS-ECDH. In Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I (pp. 407--425). https://doi.org/10.1007/978-3-319-24174-6_21
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3123
Heuer, F., Jager, T., Kiltz, E., & Schäge, S. (2015). On the Selective Opening Security of Practical Public-Key Encryption Schemes. In Public-Key Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings (pp. 27--51). https://doi.org/10.1007/978-3-662-46447-2_2
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3124
Bergsma, F., Jager, T., & Schwenk, J. (2015). One-Round Key Exchange with Strong Security: An Efficient and Generic Construction in the Standard Model. In Public-Key Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings (pp. 477--494). https://doi.org/10.1007/978-3-662-46447-2_21
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3125
Jager, T. (2015). Verifiable Random Functions from Weaker Assumptions. In Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part {II} (pp. 121--143). https://doi.org/10.1007/978-3-662-46497-7_5
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3126
Bader, C., Hofheinz, D., Jager, T., Kiltz, E., & Li, Y. (2015). Tightly-Secure Authenticated Key Exchange. In Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I (pp. 629--658). https://doi.org/10.1007/978-3-662-46494-6_26
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 313
Börding, P., Bruns, M., & Platenius, M. C. (2015). Comprehensive Service Matching with MatchBox. In 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15) (pp. 974--977). https://doi.org/10.1145/2786805.2803181
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 316
Pautz, J. (2015). Budget Games with priced strategies. Universität Paderborn.
LibreCat
2015 | Journal Article | LibreCat-ID: 3162
Ziegert, S., & Wehrheim, H. (2015). Temporal plans for software architecture reconfiguration. Computer Science - R & D, (3–4), 303--320. https://doi.org/10.1007/s00450-014-0259-7
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 3163
Meyer, R., & Wehrheim, H. (2015). From Program Verification to Time and Space: The Scientific Life of Ernst-R{\"{u}}diger Olderog. In R. Meyer, A. Platzer, & H. Wehrheim (Eds.), Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings (pp. 3--4). https://doi.org/10.1007/978-3-319-23506-6_1
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3164
Derrick, J., Dongol, B., Schellhorn, G., Travkin, O., & Wehrheim, H. (2015). Verifying Opacity of a Transactional Mutex Lock. In N. Bj{\o}rner & F. S. de Boer (Eds.), {FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (pp. 161--177). https://doi.org/10.1007/978-3-319-19249-9_11
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 3165
Wehrheim, H., & Travkin, O. (2015). {TSO} to {SC} via Symbolic Execution. In N. Piterman (Ed.), Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, {HVC} 2015, Haifa, Israel, November 17-19, 2015, Proceedings (pp. 104--119). https://doi.org/10.1007/978-3-319-26287-1_7
LibreCat
| DOI
2015 | Conference (Editor) | LibreCat-ID: 3166
Meyer, R., Platzer, A., & Wehrheim, H. (Eds.). (2015). Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. https://doi.org/10.1007/978-3-319-23506-6
LibreCat
| DOI
2015 | Dissertation | LibreCat-ID: 317
Jähn, C. (2015). Bewertung von Renderingalgorithmen für komplexe 3-D-Szenen. Universität Paderborn.
LibreCat
| Files available
2015 | Dissertation | LibreCat-ID: 318
Huma, Z. (2015). Automatic Service Discovery and Composition for heterogeneous service partners. Universität Paderborn.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 319
Mohr, F., Jungmann, A., & Kleine Büning, H. (2015). Automated Online Service Composition. In Proceedings of the 12th IEEE International Conference on Services Computing (SCC) (pp. 57--64). https://doi.org/10.1109/SCC.2015.18
LibreCat
| Files available
| DOI
2015 | Dissertation | LibreCat-ID: 270
Abshoff, S. (2015). On the Complexity of Fundamental Problems in Dynamic Ad-hoc Networks. Universität Paderborn.
LibreCat
| Files available
2015 | Conference Paper | LibreCat-ID: 271
Drees, M., Feldotto, M., Riechers, S., & Skopalik, A. (2015). On Existence and Properties of Approximate Pure Nash Equilibria in Bandwidth Allocation Games. In Proceedings of the 8th International Symposium on Algorithmic Game Theory (SAGT) (pp. 178–189). https://doi.org/10.1007/978-3-662-48433-3_14
LibreCat
| Files available
| DOI
| arXiv
2015 | Conference Paper | LibreCat-ID: 27163
Keil, Reinhard , & Selke, H. (2015). Virtual knowledge {\ “a} ume - From the presentation of content to virtual learning {\” a} tten (R. Keil & Harald Selke, Eds.; Vol. 330, pp. 39–53). publishing series of the Heinz Nixdorf Institute, Paderborn.
LibreCat
2015 | Dissertation | LibreCat-ID: 27164
Klompmaker, F. (2015). Development of a structured process of interaction design for {\ “u} r nat {\” u} local user interfaces. Universitaetsbibliothek Paderborn.
LibreCat
2015 | Conference Paper | LibreCat-ID: 27165
Schild, Christian, & Petrausch, V. (2015). Empirical validation of design patterns . 173–182.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 273
Kohn, K. (2015). Number of Voronoi-relevant vectors in lattices with respect to arbitrary norms. Universität Paderborn.
LibreCat
2015 | Conference Paper | LibreCat-ID: 274
Mäcker, A., Malatyali, M., Meyer auf der Heide, F., & Riechers, S. (2015). Non-preemptive Scheduling on Machines with Setup Times. In F. Dehne, J. R. Sack, & U. Stege (Eds.), Algorithms and Data Structures: 14th International Symposium, WADS 2015, Victoria, BC, Canada, August 5-7, 2015. Proceedings (pp. 542--553). https://doi.org/10.1007/978-3-319-21840-3_45
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 275
Cord-Landwehr, A., & Lenzner, P. (2015). Network Creation Games: Think Global - Act Local. In Proceedings of the 40th Conference on Mathematical Foundations of Computer Science (MFCS) (pp. 248--260). https://doi.org/10.1007/978-3-662-48054-0_21
LibreCat
| Files available
| DOI
2015 | Bachelorsthesis | LibreCat-ID: 277
Kothe, N. (2015). Multilevel Netzwerk Spiele mit konstanten Entfernungen im Highspeed-Netzwerk. Universität Paderborn.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 278
Feldmann, M. (2015). Monotonic Searchability for distributed sorted Lists and De Bruijn Graphs. Universität Paderborn.
LibreCat
2015 | Conference Paper | LibreCat-ID: 279
Platenius, M. C., Arifulina, S., & Schäfer, W. (2015). MatchBox: A Framework for Dynamic Configuration of Service Matching Processes. In Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE’15) (pp. 75–84). https://doi.org/10.1145/2737166.2737174
LibreCat
| Files available
| DOI
2015 | Report | LibreCat-ID: 20977
Schäfer, W., Dziwok, S., Pohlmann, U., Bobolz, J., Czech, M., Dann, A. P., Geismann, J., Hüwe, M., Krieger, A., Piskachev, G., Schubert, D., & Wohlrab, R. (2015). Seminar Theses of the Project Group Cybertron.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20979
Stockmann, L. (2015). Debugging Models in the Context of Automotive Software Development. In M. Chechik & D. Kolovos (Eds.), Proceedings of the Doctoral Symposium of the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems.
LibreCat
2015 | Conference Paper | LibreCat-ID: 17425
Berssenbrügge, J., Wiederkehr, O., Jähn, C., & Fischer, M. (2015). Anbindung des Virtuellen Prototypen an die Partialmodelle intelligenter technischer Systeme. 12. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, 343, 65–78.
LibreCat
2015 | Conference Paper | LibreCat-ID: 17427
Jähn, C., Fischer, M., Gerges, M., & Berssenbrügge, J. (2015). Automatische Ableitung geometrischer Eigenschaften von Bauteilen aus dem 3-D-Polygonmodell. 12. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, 342, 107–120.
LibreCat
2015 | Book (Editor) | LibreCat-ID: 17431
Gausemeier, J., Grafe, M., & Meyer auf der Heide, F. (Eds.). (2015). Augmented & Virtual Reality in der Produktentstehung: Grundlagen, Methoden und Werkzeuge; Interaktions- und Visualisierungstechniken, Virtual Prototyping intelligenter technischer Systeme mit AR/VR (12. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, Vol. 342). Verlagsschriftenreihe des Heinz Nixdorf Instituts.
LibreCat
2015 | Journal Article | LibreCat-ID: 17657
Cohen, R., & Polevoy, G. (2015). Inter-Datacenter Scheduling of Large Data Flows. Cloud Computing, IEEE Transactions On, PP(99), 1–1. https://doi.org/10.1109/TCC.2015.2487964
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 17658
Bar-Yehuda, R., Polevoy, G., & Rawitz, D. (2015). Bandwidth allocation in cellular networks with multiple interferences. Discrete Applied Mathematics , 194, 23–36. http://dx.doi.org/10.1016/j.dam.2015.05.013
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 1769
Hegler, S., Statz, C., Mütze, M., Mooshofer, H., Goldammer, M., Fendt, K., … Plettemeier, D. (2015). Simulative Ultraschall-Untersuchung von Pitch-Catch-Messanordnungen für große zylindrische Stahl-Prüflinge und gradientenbasierte Bildgebung. Tm - Technisches Messen, 82(9), 440–450. https://doi.org/doi:10.1515/teme-2015-0031
LibreCat
| DOI
2015 | Journal Article | LibreCat-ID: 1772
Torresen, J., Plessl, C., & Yao, X. (2015). Self-Aware and Self-Expressive Systems – Guest Editor’s Introduction. IEEE Computer, 48(7), 18–20. https://doi.org/10.1109/MC.2015.205
LibreCat
| Files available
| DOI
2015 | Journal Article | LibreCat-ID: 1774
Peitz, S., & Dellnitz, M. (2015). Multiobjective Optimization of the Flow Around a Cylinder Using Model Order Reduction. PAMM, 15(1), 613–614. https://doi.org/10.1002/pamm.201510296
LibreCat
| DOI
2015 | Mastersthesis | LibreCat-ID: 1794
Lass, M. (2015). Localization and Analysis of Code Paths Suitable for Acceleration using Approximate Computing. Paderborn: Paderborn University.
LibreCat
2015 | Conference Paper | LibreCat-ID: 239
Heindorf, S., Potthast, M., Stein, B., & Engels, G. (2015). Towards Vandalism Detection in Knowledge Bases: Corpus Construction and Analysis. In Proceedings of the 38th International ACM Conference on Research and Development in Information Retrieval (SIGIR 15) (pp. 831--834). https://doi.org/10.1145/2766462.2767804
LibreCat
| Files available
| DOI
2015 | Conference Paper | LibreCat-ID: 240
Li, S., Mäcker, A., Markarian, C., Meyer auf der Heide, F., & Riechers, S. (2015). Towards Flexible Demands in Online Leasing Problems. In Proceedings of the 21st Annual International Computing and Combinatorics Conference (COCOON) (pp. 277--288). https://doi.org/10.1007/978-3-319-21398-9_22
LibreCat
| Files available
| DOI
2015 | Report | LibreCat-ID: 20832
Schäfer, W., Dziwok, S., Pohlmann, U., Bobolz, J., Czech, M., Dann, A. P., Geismann, J., Hüwe, M., Krieger, A., Piskachev, G., Schubert, D., & Wohlrab, R. (2015). Seminar Theses of the Project Group Cybertron.
LibreCat
2015 | Mastersthesis | LibreCat-ID: 20833
Geismann, J. (2015). Multi-Core Execution of Safety-Critical Component-Based Software. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.
LibreCat
2015 | Conference Paper | LibreCat-ID: 20902
Meyer, J., Holtmann, J., Koch, T., & Meyer, M. (2015). Generierung von AUTOSAR-Modellen aus UML-Spezifikationen. In J. Gausemeier, R. Dumitrescu, F.-J. Rammig, W. Schäfer, & A. Trächtler (Eds.), 10. Paderborner Workshop Entwurf mechatronischer Systeme (Vol. 343, pp. 159–172). Heinz Nixdorf Institut.
LibreCat