Kuznik, C., F. S. Oliveira, M., &; Müller, W. (2013). SC OVM: An Advanced SystemC Library for OVM-based Verification. Open SANITAS SystemC Verification Workshop.
LibreCat: /record/25614

Engels, G., Gerth, C., Kleinjohann, L., Kleinjohann, B., &; Müller, W. (2013).  Informationstechnik spart Ressourcen. ForschungsForum Paderborn .
LibreCat: /record/25615

Grösbrink, S. (2013). Basics of Virtual Machine Migration on Heterogeneous Architectures for Self-optimizing Mechatronic Systems - Necessary Conditions and Implementation Issues. Production Engineering Research &; Development 7(1), 69–79.
LibreCat: /record/25616

Jungmann, A., Kleinjohann, B., &; Kleinjohann, L. (2013). Learning Service Recommendations. International Journal of Business Process Integration and Management 6(4), 284–297.
LibreCat: /record/25618

Kuznik, C., Oliveira, M. F., Defo, B., &; Müller, W. (2013). Systematic Application of UCIS to Improve the Automation on Verification Closure. Proceedings of DVCON.
LibreCat: /record/25620

Rasche, C., Stern, C., Kleinjohann, L., &; Kleinjohann, B. (2013). A 3D Path Planning Approach Extended by Bifurcation Theory for Formation Flights. In G. Sen Gupta, D. Bailey, S. Demidenko, &; D. Carnegie (Eds.), Recent Advances in Robotics and Automation, Studies in Computational Intelligence, Band 480 (Vol. 480, pp. 103–113). Springer .
LibreCat: /record/25625

Klobedanz, K., Jatzkowski, J., Rettberg, A., &; Müller, W. (2013). Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks. International Embedded Systems Symposium (IESS) 2013.
LibreCat: /record/25632

Mertsching, B., Divband Soorati, M., &; Kotthauser, T. (2013). Automatic Reconstruction of Polygonal Room Models from 3D Point Clouds. IEEE International Conference on Robotics and Biomimetics (ROBIO), 661–667.
LibreCat: /record/19981

Hamann, H., Karsai, I., &; Schmickl, T. (2013). Time delay implies cost on task switching: A model to investigate the efficiency of task partitioning. Bulletin of Mathematical Biology, 75(7), 1181–1206.https://doi.org/10.1007/s11538-013-9851-4  
LibreCat: /record/20148
DOI: 10.1007/s11538-013-9851-4 

Hamann, H., Schmickl, T., Stradner, J., Crailsheim, K., Thenius, R., &; Zahadat, P. (2013). Algorithmic Requirements for Swarm Intelligence in Differently Coupled Collective Systems. Chaos, Solitons &; Fractals, 50, 100–114.https://doi.org/10.1016/j.chaos.2013.01.011 
LibreCat: /record/20150
DOI: 10.1016/j.chaos.2013.01.011

Hamann, H., Schmickl, T., Stradner, J., Schwarzer, C., Michiels, N. K., &; Esparcia-Alcazar, A. I. (2013). Virtual Spatiality in Agent Controllers: Encoding Compartmentalization. In Applications of Evolutionary Computation - 16th European Conference (EvoApplications 2013) (Vol. 7835, pp. 579–588).https://doi.org/10.1007/978-3-642-37192-9_58 
LibreCat: /record/20151
DOI: 10.1007/978-3-642-37192-9_58

Hamann, H. (2013). A Reductionist Approach to Hypothesis-Catching for the Analysis of Self-Organizing Decision-Making Systems. In 7th IEEE Int. Conf. on Self-Adaptive and Self-Organizing Systems (SASO 2013) (pp. 227–236). IEEE Press.https://doi.org/10.1109/SASO.2013.10 
LibreCat: /record/20160
DOI: 10.1109/SASO.2013.10

Hamann, H., Lio, P., Miglino, O., Nicosia, G., Nolfi, S., &; Pavone, M. (2013). Speciation Dynamics: Generating Selective Pressure Towards Diversity. In 12th European Conference on Artificial Life (ECAL 2013). MIT Press.
LibreCat: /record/20161

Hamann, H. (2013). Towards Swarm Calculus: Urn Models of Collective Decisions and Universal Properties of Swarm Performance. Swarm Intelligence, 7(3), 145–172.https://doi.org/10.1007/s11721-013-0080-0 
LibreCat: /record/20162
DOI: 10.1007/s11721-013-0080-0

Laudemann, S. (2013). Themenmodellierung zur Identifikation und Gruppierung von Spam-Webseiten.
LibreCat: /record/2868

Leder, L. (2013). Nichtapproximierbarkeitsresultate zu Radius- und Durchmesserclustering unter Verwendung von L_p-Metriken.
LibreCat: /record/2869

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: /record/25740

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 T International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 2013. Springer.
LibreCat: /record/25741

Khaluf, L., &; Rammig, F.-J. (2013). Organic Programming of Real-Time Operating Systems. The Ninth International Conference on Autonomic and Autonomous Systems.
LibreCat: /record/25742

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: /record/25743

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: /record/3813

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: /record/3814

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: /record/3876

Kuntze, D. (2013). Practical algorithms for clustering and modeling large data sets - Analysis and improvements. Universität Paderborn.
LibreCat: /record/2909

Juhnke, J., Lefmann, H., &; Strehl, V. (2013). An Approach for Determining Optimal Contrast in Visual Cryptography. Fortschritt-Berichte VDI.
LibreCat: /record/2917

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: /record/2979
DOI: 10.1007/978-3-642-40026-1_10

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: /record/3129
DOI: 10.1007/s00145-012-9120-y

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: /record/3130
DOI: 10.1007/978-3-642-38348-9_28

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: /record/3131

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: /record/3176
DOI: 10.1007/978-3-642-38592-6_13

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: /record/3177
DOI: 10.1007/978-3-319-03077-7_21

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: /record/3178
DOI: 10.1007/978-3-642-39718-9_11

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\'22arz 2013 in Aachen (pp. 271--284).
LibreCat: /record/3179

Gausemeier, J., Grafe, M., &; Meyer auf der Heide, F. (2013). 11. Paderborner Workshop Augmented &; Virtual Reality in der Produktentstehung. 311.
LibreCat: /record/27054

Keil, R., &; Winkelnkemper, F. (2013). Approaches for an informational separation of powers in learning platforms. 131–142.
LibreCat: /record/27168

Fischer, H. G., Geis, T.,  Molich, R., Kluge, O., Heimg\'22artner,  R\'22udiger, Hunkirchen,  Peter , &; Polkehn, K. (2013). eDo You Speak Usability?“3 Aktueller Stand des Glossars und des Curriculums f\'22ur den eCertified Professional for Usability and User Experience (CPUX)“der German UPA. 28334.
LibreCat: /record/27169

K  "u hnel, B. (2013). Contextual tagging in the coactive knowledge organization. Heinz Nixdorf Institute, Universit  "a t Paderborn.
LibreCat: /record/27171

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: /record/27172

Keil,  Reinhard, Selke, H., &; Winkelnkemper, F. (2013). Computer science and education - A struggle for creative sovereignty in society? FIfF-Kommunikation, 61–65.
LibreCat: /record/27173

Keil, R. (2013). Media contexts - context media. 217–226.
LibreCat: /record/27174

Klompmaker, F., Paelke, V., &; Fischer, H. G. (2013). A Taxonomy-Based Approach Towards NUI Interaction Design (pp. 32–41). Springer Verlag.
LibreCat: /record/27175

Kaufmann, P. (2013). Adapting Hardware Systems by Means of Multi-Objective Evolution. Berlin: Logos Verlag Berlin GmbH.
LibreCat: /record/11619

Hüwe, M. (2013). Das Verteilungsproblem für mechatronische Systeme. Universität Paderborn, Heinz Nixdorf Institut, Softwaretechnik.
LibreCat: /record/20978

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: /record/20980

Koch, T. (2013). Combining Scenario-based and Architecture-based Timing Requirements. University of Paderborn.
LibreCat: /record/20985

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: /record/17439

Eikel, B. (2013). Spherical visibility samplingf: preprocessed visibility for occlusion culling in complex 3D scenes. Universität Paderborn.
LibreCat: /record/17440

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: /record/17442

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: /record/17443

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: /record/17663
DOI: 10.1109/TNET.2012.2227792