Gharibian, S., &; Kempe, J. (2012). Approximation Algorithms for QMA-Complete Problems. SIAM Journal on Computing, 41(4), 1028–1050.https://doi.org/10.1137/110842272 
LibreCat: /record/8175
DOI: 10.1137/110842272
arXiv: 1101.3884

Gharibian, S. (2012). Quantifying nonclassicality with local unitary operations. Physical Review A, 86, 042106.https://doi.org/10.1103/PhysRevA.86.042106 
LibreCat: /record/8174
DOI: 10.1103/PhysRevA.86.042106
arXiv: 1202.1598

Meyer, B., Schumacher, J., Plessl, C., &; Förstner, J. (2012). Convey Vector Personalities – FPGA Acceleration with an OpenMP-like Effort? Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), 189–196.https://doi.org/10.1109/FPL.2012.6339370 
LibreCat: /record/2106
DOI: 10.1109/FPL.2012.6339370

Schumacher, T., Plessl, C., &; Platzner, M. (2012). IMORC: An Infrastructure and Architecture Template for Implementing High-Performance Reconfigurable FPGA Accelerators. Microprocessors and Microsystems, 36(2), 110–126.https://doi.org/10.1016/j.micpro.2011.04.002 
LibreCat: /record/2108
DOI: 10.1016/j.micpro.2011.04.002

Happe, M., Hangmann, H., Agne, A., &; Plessl, C. (2012). Eight Ways to put your FPGA on Fire – A Systematic Study of Heat Generators. Proceedings of the International Conference on Reconfigurable Computing and FPGAs (ReConFig), 1–8.https://doi.org/10.1109/ReConFig.2012.6416745 
LibreCat: /record/615
DOI: 10.1109/ReConFig.2012.6416745

Kenter, T., Plessl, C., &; Schmitz, H. (2012). Pragma based parallelization - Trading hardware efficiency for ease of use? Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 1–8.https://doi.org/10.1109/ReConFig.2012.6416773 
LibreCat: /record/591
DOI: 10.1109/ReConFig.2012.6416773

Happe, M., Agne, A., Plessl, C., &; Platzner, M. (2012). Hardware/Software Platform for Self-aware Compute Nodes. Proceedings of the Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS), 8–9.
LibreCat: /record/609

Barrio, P., Carreras, C., Sierra, R., Kenter, T., &; Plessl, C. (2012). Turning control flow graphs into function calls: Code generation for heterogeneous architectures. Proceedings of the International Conference on High Performance Computing and Simulation (HPCS), 559–565.https://doi.org/10.1109/HPCSim.2012.6266973 
LibreCat: /record/567
DOI: 10.1109/HPCSim.2012.6266973

Rüthing, C., Happe, M., Agne, A., &; Plessl, C. (2012). Exploration of Ring Oscillator Design Space for Temperature Measurements on FPGAs. Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), 559–562.https://doi.org/10.1109/FPL.2012.6339370 
LibreCat: /record/612
DOI: 10.1109/FPL.2012.6339370

Beisel, T., Wiersema, T., Plessl, C., &; Brinkmann, A. (2012). Programming and Scheduling Model for Supporting Heterogeneous Accelerators in Linux. Proc. Workshop on Computer Architecture and Operating System Co-Design (CAOS).
LibreCat: /record/2180

Grad, M., &; Plessl, C. (2012). On the Feasibility and Limitations of Just-In-Time Instruction Set Extension for FPGA-based Reconfigurable Processors. Int. Journal of Reconfigurable Computing (IJRC).https://doi.org/10.1155/2012/418315 
LibreCat: /record/2177
DOI: 10.1155/2012/418315

Brockhoff, D., Wagner, T., &; Trautmann, H. (2012). On the Properties of thehttps://doi.org/10.1145/2330163.2330230__Indicator. Proceedings of the 14th Annual Conference on Genetic and Evolutionary Computation, 465–472.https://doi.org/10.1145/2330163.2330230 
LibreCat: /record/46397
DOI: 10.1145/2330163.2330230

Bischl, B., Mersmann, O., Trautmann, H., &; Preuß, M. (2012). Algorithm Selection Based on Exploratory Landscape Analysis and Cost-Sensitive Learning. Proceedings of the 14th Annual Conference on Genetic and Evolutionary Computation, 313–320.https://doi.org/10.1145/2330163.2330209 
LibreCat: /record/46396
DOI: 10.1145/2330163.2330209

Mersmann, O., Bischl, B., Bossek, J., Trautmann, H., Wagner, M., &; Neumann, F. (2012). Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness. In Y. Hamadi &; M. Schoenauer (Eds.), Learning and Intelligent Optimization (pp. 115–129). Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-642-34413-8_9 
LibreCat: /record/46398
DOI: https://doi.org/10.1007/978-3-642-34413-8_9

Bischl, B., Mersmann, O., Trautmann, H., &; Weihs, C. (2012). Resampling Methods in Model Validation. Evolutionary Computation Journal, 20(2), 249–275.https://doi.org/10.1162/EVCO_a_00069 
LibreCat: /record/46399
DOI: 10.1162/EVCO_a_00069

Rudolph, G., Trautmann, H., &; Schütze, O. (2012). Homogene Approximation der Paretofront bei mehrkriteriellen Kontrollproblemen. At-Automatisierungstechnik, 60, 610–621.https://doi.org/10.1524/auto.2012.1033 
LibreCat: /record/46400
DOI: 10.1524/auto.2012.1033

Mersmann, O., Bischl, B., Bossek, J., Trautmann, H., Wagner, M., &; Neumann, F. (2012). Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness. Revised Selected Papers of the 6th International Conference on Learning and Intelligent Optimization - Volume 7219, 115–129.
LibreCat: /record/48890

Mersmann, O., Bischl, B., Bossek, J., Trautmann, H., Wagner, M., &; Neumann, F. (2012). Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness. In Learning and Intelligent Optimization (Vol. 7219, pp. 115–129). Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-642-34413-8_9 
LibreCat: /record/48888
DOI: 10.1007/978-3-642-34413-8_9

Kuznik, C., Oliveira, M. F., &; Müller, W. (2012). SYSTEMC UVM VERIFICATION COMPONENTS. Design, Automation and Test in Europe DATE.
LibreCat: /record/26038

Korzeniowski, M. (2011). Dynamic Load Balancing in Peer-to-Peer Networks (Vol. 289). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat: /record/19619

Briest, P., Krysta, P., &; Hoefer, M. (2011). Stackelberg Network Pricing Games. Algorithmica, 62, 733–753.https://doi.org/10.1007/s00453-010-9480-3 
LibreCat: /record/19677
DOI: 10.1007/s00453-010-9480-3

Jähn, C., Petring, R., &; Eikel, B. (2011). PADrend: Platform for Algorithm Development and Rendering. Augmented &; Virtual Reality in Der Produktentstehung, 295, 159--170.
LibreCat: /record/19845

Hamann, H., Schmickl, T., Crailsheim, K., Krasnogor, N., &; Luca Lanzi, P. (2011). Coupled inverted pendulums: A benchmark for evolving decentral controllers in modular robotics. In Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011 (pp. 195--202).https://doi.org/10.1145/2001576.2001604 
LibreCat: /record/20180
DOI: 10.1145/2001576.2001604

Hamann, H., Schmickl, T., &; Crailsheim, K. (2011). Thermodynamics of Emergence: Langton’s Ant Meets Boltzmann. In IEEE Symposium on Artificial Life (IEEE ALIFE 2011) (pp. 62--69).https://doi.org/10.1109/ALIFE.2011.5954660 
LibreCat: /record/20181
DOI: 10.1109/ALIFE.2011.5954660

Hamann, H., Schmickl, T., &; Crailsheim, K. (2011). Evolving for Creativity: Maximizing Complexity in a Self-organized Multi-particle System. In 10th European Conference on Artificial Life (ECAL’09) (Vol. 5777, pp. 442--449).https://doi.org/10.1007/978-3-642-21283-3_55 
LibreCat: /record/20183
DOI: 10.1007/978-3-642-21283-3_55

Hamann, H., Schmickl, T., Stradner, J., Crailsheim, K., Thenius, R., &; Fitch, R. (2011). Robotic Organisms: Artificial Homeostatic Hormone System and Virtual Embryogenesis as Examples for Adaptive Reaction-Diffusion Controllers. In Robotic Organisms: Artificial Homeostatic Hormone System and Virtual Embryogenesis as Examples.
LibreCat: /record/20184

Hamann, H., &; Schmickl, T. (2011). BEECLUST: A Swarm Algorithm Derived from Honeybees. In Y. Xiao (Ed.), Bio-inspired Computing and Communication Networks. Boca Raton, FL, USA: CRC Press.
LibreCat: /record/20193

Hamann, H., Karsai, I., Schmickl, T., Stradner, J., Crailsheim, K., Thenius, R.,  Szathmary, E. (2011). Evolving a novel bio-inspired controller in reconfigurable robots. In Advances in Artificial Life, 10th European Conference, ECAL 2009 (pp. 132--139).
LibreCat: /record/20194

Hamann, H., Schmickl, T., Crailsheim, K., Thenius, R., &; Kengyel, D. (2011). Embodiment of Honeybee’s Thermotaxis in a Mobile Robot Swarm. In 10th European Conference on Artificial Life (ECAL’09).https://doi.org/10.1007/978-3-642-21314-4_9 
LibreCat: /record/20195
DOI: 10.1007/978-3-642-21314-4_9

Hamann, H., Schmickl, T., &; Crailsheim, K. (2011). Explaining Emergent Behavior in a Swarm System Based on an Inversion of the Fluctuation Theorem. In T. Lenaerts, M. Giacobini, H. Bersini, P. Bourgine, M. Dorigo, &; R. Doursat (Eds.), Advances in Artificial Life, ECAL 2011: Proceedings of the 11th European Conference on the Synthesis and Simulation of Living Systems (pp. 302--309). MIT Press.
LibreCat: /record/20196

Hamann, H., Schmickl, T., Stradner, J., Crailsheim, K., &; Winkler, L. (2011). Major Feedback Loops Supporting Artificial Evolution in Multi-modular Robotics. In New Horizons in Evolutionary Robotics. Berlin, Heidelberg: Springer.https://doi.org/10.1007/978-3-642-18272-3_13 
LibreCat: /record/20214
DOI: 10.1007/978-3-642-18272-3_13

Schmickl, T., Hamann, H., &; Crailsheim, K. (2011). Modelling a hormone-inspired controller for individual- and multi-modular robotic systems. Mathematical and Computer Modelling of Dynamical Systems, 17(3), 221–242.https://doi.org/10.1080/13873954.2011.557862 
LibreCat: /record/20215
DOI: 10.1080/13873954.2011.557862

Böttger, T. (2011). Bicriteria-Approximation für das k-Median-Clustering mit Bregman-Divergenzen.
LibreCat: /record/2872

Hosseinimehr, M., &; Montealegre, N. (2011). Implementation of a Singular Value Decomposition Module on an FPGA. The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011).
LibreCat: /record/26276

Jungmann, A., &; Kleinjohann, B. (2011). Automatic Feature Classification for Object Detection based on Motion Analysis. Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA).
LibreCat: /record/26279

Stern, C., Rasche, C., Kleinjohann, L., &; Kleinjohann, B. (2011). Towards Using Virtual Forces for Image Registration. The 5th International Conference on Automation, Robotics and Applications (ICARA 2011).
LibreCat: /record/26281

Dannewitz, C., &; al,  et. (2011). How to manage and Search/Retrieve Information Objects. In Architecture and Design for the Future Internet.
LibreCat: /record/2662

Dannewitz, C., &; al,  et. (2011). Integrating Generic Paths and NetInf. In Architecture and Design for the Future Internet.
LibreCat: /record/2663

Rasche, C., Stern, C., Kleinjohann, L., &; Kleinjohann, B. (2011). A Distributed Multi-UAV Path Planning Approach for 3D Environments. The 5th International Conference on Automation, Robotics and Applications (ICARA 2011).
LibreCat: /record/26660

Mathews, E., Graf, T., &; Kulathunga, K. S. S. B. (2011). A Bio-inspired Coverage and Connectivity Maintenance Algorithm. Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems.
LibreCat: /record/26663

Kuznik, C., &; Müller, W. (2011). Aspect enhanced functional coverage driven verification in the SystemC HDVL. Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011).
LibreCat: /record/26667

Xie, T., &; Müller, W. (2011). IP-XACT based System Level Mutation Testing. Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT).
LibreCat: /record/26669

Henkler, S., Oberthür, S., Giese, H., &; Seibel, A. (2011). Model-driven runtime resource predictions for advanced mechatronic systems with dynamic data structures. International Journal of Computer Systems Science &; Engineering 26 (6).
LibreCat: /record/26670

Baldin, D., Grösbrink, S., &; Oberthür, S. (2011). Enabling Constraint-based Binary Reconfiguration by Binary Analysis. International Journal on Computing (JoC) 1(4).
LibreCat: /record/26671

Bin Tariq, F. (2011). F-DRARE: A Framework for Deterministic runtime adaptation of Cyber Physical Systems.  1st International Workshop on Adaptive Services for the Future Internet, 4th European Conference, ServiceWave 2011.
LibreCat: /record/26673

Orfanus, D., Janacik, P., Eliassen, F., &; Orten, P. (2011). High-Level Construction of Emergent Self-Organizing Behavior in Massively Distributed Embedded Systems. Proceedings of Third World Congress on Nature and Biologically Inspired Computing (NaB).
LibreCat: /record/26687

Xie, T., &; Müller, W. (2011). HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. Proceedings of the 14th Euromicro Conference on Digital System Design (DSD).
LibreCat: /record/26698

Jungmann, A., Lutterbeck, J., Werdehausen, B., &; Kleinjohann, B. (2011). A Test Bed for Investigating Self-X Properties in Multi-Robot Societies. Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN). 26. - 29. Jul. 2011.
LibreCat: /record/26699

Gausemeier, J., Schierbaum, T., Dumitrescu, R., Herbrechtsmeier, S., &; Jungmann, A. (2011). Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties. Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN). 26. - 29. Jul. 2011.
LibreCat: /record/26701

Thuy, A. (2011).  Comparison of periodic and aperiodic task models for cyber-physical-systems. Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On . 20. - 22. Jun. 2011.
LibreCat: /record/26702

Kuznik, C., &; Müller, W. (2011). Verification Closure of SystemC Designs with Functional Coverage. North American SystemC User Group Meeting (16th). Jun. 2011 - 16th North American User Group Meeting (NASCUG).
LibreCat: /record/26705

Mathews, E., &; Frey, H. (2011). A Localized Planarization Algorithm for Realistic Wireless Networks. IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), 1–9.
LibreCat: /record/26707

Becker, M., Zabel, H., Müller, W., Elfeky, A., &; DiPasquale, A. (2011). Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie. 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, 294, 315–327.
LibreCat: /record/26710

Rasche, C., Stern, C., Kleinjohann, L., &; Kleinjohann, B. (2011). Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs. ThinkMind, International Journal On Advances in Software 3 (3&;4), 351–370.
LibreCat: /record/26711

Khaluf, Y., Mathews, E., &; Rammig, F.-J. (2011).  Self-Organized Cooperation in Swarm Robotics. 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 217–226.
LibreCat: /record/26712

Klobedanz, K., König, A., &; Müller, W. (2011). A Reconfiguration Approach for Fault-Tolerant FlexRay Networks. Proceedings of Design, Automation, Test Europe - DA.
LibreCat: /record/26713

Klobedanz, K., König, A., Müller, W., &; Rettberg, A. (2011). Self-Reconfiguration for Fault-Tolerant FlexRay Networks. Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011.
LibreCat: /record/26714

Kuznik, C., &; Müller, W. (2011). Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. Proceedings of DVCON .
LibreCat: /record/26715

Mischkalla, F., He, D., &; Müller, W. (2011). A Retargetable SysML-based Front-End for High-Level Synthesis. Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED).
LibreCat: /record/26716

He, D., Mischkalla, F., &; Müller, W. (2011). A SysML-based Framework with QEMU-SystemC Code Generation. Proceedings of 1st International QEMU Users Forum.
LibreCat: /record/26717

Becker, M. (2011). QEMU/SystemC Cosimulation at Different Abstraction Levels. 1st International QEMU Users Forum (QUF’11).
LibreCat: /record/26782

Adelt, P., Esau, N., Hölscher, C., Kleinjohann, B., Kleinjohann, L., Krüger, M., &; Zimmer, D. (2011). Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems. In  Intelligent Mechatronics; Kapitel 10 (pp. 169–194). InTech Open Access Publisher.
LibreCat: /record/26783

Gnokam Defo, G. B., &; Müller, W. (2011). Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV).
LibreCat: /record/26784

Khaluf, L., Gerth, C., &; Engels, G. (2011). Pattern-Based Modeling and Formalizing of Business Process Quality Constraints. Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11), 521–535.
LibreCat: /record/26787

Kuznik, C., &; Müller, W. (2011). Native binary mutation analysis for embedded software and virtual prototypes in SystemC. Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing.
LibreCat: /record/26789

Esau, N., &; Kleinjohann, L. (2011). Emotional Robot Competence and Its Use in Robot Behavior Control. In Emotional Engineering (pp. 119–142). Springer-Verlag London.
LibreCat: /record/26792

Jungmann, A., Lutterbeck, J., Werdehausen, B., Kleinjohann, B., &; Kleinjohann, L. (2011). Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots. Proceedings of the 2011 Workshop on Organic Computing, 41–50.
LibreCat: /record/26794

Jungmann, A., Kleinjohann, B., &; Richert, W. (2011). A Fast Hierarchical Learning Approach for Autonomous Robots. In Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems (pp. 545–558). Springer Basel.https://doi.org/10.1007/978-3-0348-0130-0_36 
LibreCat: /record/26805
DOI: 10.1007/978-3-0348-0130-0_36

Jungmann, A., Kleinjohann, B., &; Richert, W. (2011). Increasing Learning Speed by Imitation in Multi-robot Societies. In Organic Computing — A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1  (pp. 295–307). Springer Basel.https://doi.org/10.1007/978-3-0348-0130-0_19 
LibreCat: /record/26810
DOI: 10.1007/978-3-0348-0130-0_19

Wachsmuth, H., &; Bujna, K. (2011). Back to the Roots of Genres: Text Classification by Language Function. In B. Berendt, A. de Vries, W. Fan, C. Macdonald, I. Ounis, &; I. Ruthven (Eds.), Proceedings of 5th International Joint Conference on Natural Language Processing (pp. 632–640).
LibreCat: /record/3811

Wachsmuth, H., Stein, B., &; Engels, G. (2011). Constructing Efficient Information Extraction Pipelines. In B. Berendt, A. de Vries, W. Fan, C. Macdonald, I. Ounis, &; I. Ruthven (Eds.), 20th ACM International Conference on Information and Knowledge Management (pp. 2237–2240).
LibreCat: /record/3875

Märtens, M. (2011). The Monotone Complexity of Computing k-Clique on Random Graphs.
LibreCat: /record/2902

Naewe, S. (2011). Algorithms for lattice problems with respect to general norms. Universität Paderborn.
LibreCat: /record/2910

Ackermann, M. R., Blömer, J., &; Scholz, C. (2011). Hardness and Non-Approximability of Bregman Clustering Problems.
LibreCat: /record/2985

Blömer, J. (2011). How to Share a Secret. In Algorithms Unplugged (pp. 159–168). Berlin, Heidelberg: Springer Berlin Heidelberg.https://doi.org/10.1007/978-3-642-15328-0_17 
LibreCat: /record/2986
DOI: 10.1007/978-3-642-15328-0_17

Blömer, J., &; Naewe, S. (2011). Solving the Closest Vector Problem with respect to Lp Norms. ArXiv:1104.3720.
LibreCat: /record/2987

Hofheinz, D., Jager, T., &; Kiltz, E. (2011). Short Signatures from Weaker Assumptions. In Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings (pp. 647--666).https://doi.org/10.1007/978-3-642-25385-0_35 
LibreCat: /record/3137
DOI: 10.1007/978-3-642-25385-0_35

Jager, T., &; Somorovsky, J. (2011). How to break XML encryption. In Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011 (pp. 413--422).https://doi.org/10.1145/2046707.2046756 
LibreCat: /record/3138
DOI: 10.1145/2046707.2046756

Schneider, S., Treharne, H., &; Wehrheim, H. (2011). Bounded Retransmission in Event-B\'70arallelCSP: a Case Study. Electr. Notes Theor. Comput. Sci., 69--80.https://doi.org/10.1016/j.entcs.2011.11.019 
LibreCat: /record/3183
DOI: 10.1016/j.entcs.2011.11.019

Derrick, J., Schellhorn, G., &; Wehrheim, H. (2011). Mechanically verified proof obligations for linearizability. ACM Trans. Program. Lang. Syst., (1), 4:1--4:43.https://doi.org/10.1145/1889997.1890001 
LibreCat: /record/3184
DOI: 10.1145/1889997.1890001

Ruhroth, T., Wehrheim, H., &; Ziegert, S. (2011). ReL: A Generic Refactoring Language for Specification and Execution. In 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011 (pp. 83--90).https://doi.org/10.1109/SEAA.2011.22 
LibreCat: /record/3185
DOI: 10.1109/SEAA.2011.22

Derrick, J., Schellhorn, G., &; Wehrheim, H. (2011). Verifying Linearisability with Potential Linearisation Points. In M. J. Butler &; W. Schulte (Eds.), FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings (pp. 323--337).https://doi.org/10.1007/978-3-642-21437-0_25 
LibreCat: /record/3186
DOI: 10.1007/978-3-642-21437-0_25

Steenken, D., Wehrheim, H., &; Wonisch, D. (2011). Sound and Complete Abstract Graph Transformation. In A. da Silva Sim\'7eao &; C. Morgan (Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers (pp. 92--107).https://doi.org/10.1007/978-3-642-25032-3_7 
LibreCat: /record/3187
DOI: 10.1007/978-3-642-25032-3_7

Schneider, S., Treharne, H., &; Wehrheim, H. (2011). A CSP Account of Event-B Refinement. In J. Derrick, E. A. Boiten, &; S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. (pp. 139--154).https://doi.org/10.4204/EPTCS.55.9 
LibreCat: /record/3188
DOI: 10.4204/EPTCS.55.9

Nebe, K., Fischer, H. G., Klompmaker, F., &; Jung, H. (2011). Multi-touch, tangible and pen-based interaction in incident planning. 263–273.
LibreCat: /record/27622

Keil, R., &; Selke, H. (2011). Virtual Learning Spaces for Co-Active Learning. Proc. of Int. Conf. on Improving University Teaching, 191–202.
LibreCat: /record/27623

Paelke, V., Nebe, K., Klompmaker, F., &; Jung, H. (2011). Multi-Touch Interaction for Disaster Management..
LibreCat: /record/27624

Keil, R. (2011). Hypothesis- guided technology design as the basis of contextual computer science (A. Breiter &; M. Wind, Eds.; pp. 165–184). Lit Verlag, M \'22 u nster.
LibreCat: /record/27625

Klompmaker, F., Nebe,  Karsten, &; Jung, H. (2011). Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns.
LibreCat: /record/27626

Klompmaker, F., Nebe,  Karsten,  Busch, C., &; Willemsen,  Detlev. (2011). User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application. Proceedings of the International Conference on Health Informatics.
LibreCat: /record/27627

Laroque, C., &; Schulte, J. (2011). KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules. In M. I. Chinni &; D. Weed (Eds.), Proceedings of the 2011 Spring Simulation Multiconference.
LibreCat: /record/27628

Schulte, J. (2011). WasabiBeans - Web Application Services and Business Integration. In R. Zhang, J. Cordeiro, X.  Li, Z. Zhang, &; J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China (pp. 348–357).
LibreCat: /record/27629

Rudolph, S., &; Niehus, D. (2011). Computer scientists, ergonomists and chemists are shaping the future. E-Portofolios support  "u the flow rate in education and training.
LibreCat: /record/27630

Schulte, J., Keil, R., Klaholt, D., &; Sauer, J. (2011). Koi School - Towards the Next Level of Communication, Organization and Integration in Education. In R. Zhang, J. Cordeiro, X. Li, Z. Zhang, &; J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China (pp. 43–52).
LibreCat: /record/27631

Schulte, J., Keil, R., &; Oberhoff, A. (2011). Support  "u support of the co-active research discourse through synergies between e-learning and e-science (Th. K  "o hler &; J. Neumann, Eds.). Waxmann Verlag, M   "u nster.
LibreCat: /record/27632

Schulte, J., Keil, R., Rybka, J., &; Ferber, F. (2011). Laboratory 2.0 - Towards and Integrated Research Environment for Engineering Mechanics. In R. Zhang, J. Cordeiro, X. Li, Z. Zhang, &; J. Zhang (Eds.), Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China (pp. 407–412).
LibreCat: /record/27633

Schulte, J., Rybka, J., Ferber, F., &; Keil, R. (2011). KoForum - Cooperative research environment for  "u for cross-organizational scientific Laboratory work ( Th. K  "o hler &; J. Neumann, Eds.; pp. 92–101). Waxmann Verlag, M  "u nster.
LibreCat: /record/27634

Erren, P. (2011). Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements. Heinz Nixdorf Institut, Universit\'22at Paderborn.
LibreCat: /record/27635

Fischer, H. G., Nebe,  Karsten, &; Klompmaker,  Florian. (2011). A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities (pp. 28–37). Springer-Verlag.
LibreCat: /record/27636

Jung, H., Nebe, K.,  Klompmaker, F., &; Fischer, H. G. (2011). Authenticated entries on multi-touch tables. 305–308.
LibreCat: /record/27637