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.
5692 Publications
2012 | Conference Paper | LibreCat-ID: 2106
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
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 2108
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
| DOI
2012 | Conference Paper | LibreCat-ID: 615
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
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 591
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
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 609
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
| Files available
2012 | Conference Paper | LibreCat-ID: 567
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
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 612
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
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 2180
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
2012 | Journal Article | LibreCat-ID: 2177
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
| DOI
2012 | Conference Paper | LibreCat-ID: 46397
Brockhoff, D., Wagner, T., & Trautmann, H. (2012). On the Properties of the R2 Indicator. Proceedings of the 14th Annual Conference on Genetic and Evolutionary Computation, 465–472. https://doi.org/10.1145/2330163.2330230
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 46396
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
| DOI
2012 | Conference Paper | LibreCat-ID: 46398
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
| DOI
2012 | Journal Article | LibreCat-ID: 46399
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
| DOI
2012 | Journal Article | LibreCat-ID: 46400
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
| DOI
2012 | Conference Paper | LibreCat-ID: 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. Revised Selected Papers of the 6th International Conference on Learning and Intelligent Optimization - Volume 7219, 115–129.
LibreCat
2012 | Book Chapter | LibreCat-ID: 48888
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
| DOI
2012 | Journal Article | LibreCat-ID: 26038
Kuznik, C., Oliveira, M. F., & Müller, W. (2012). SYSTEMC UVM VERIFICATION COMPONENTS. Design, Automation and Test in Europe DATE.
LibreCat
2011 | Dissertation | LibreCat-ID: 19619
Korzeniowski, M. (2011). Dynamic Load Balancing in Peer-to-Peer Networks (Vol. 289). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
2011 | Journal Article | LibreCat-ID: 19677
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
| DOI
2011 | Conference Paper | LibreCat-ID: 19845
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
2011 | Conference Paper | LibreCat-ID: 20180
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
| DOI
2011 | Conference Paper | LibreCat-ID: 20181
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
| DOI
2011 | Conference Paper | LibreCat-ID: 20183
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
| DOI
2011 | Conference Paper | LibreCat-ID: 20184
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
2011 | Book Chapter | LibreCat-ID: 20193
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
2011 | Conference Paper | LibreCat-ID: 20194
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
2011 | Conference Paper | LibreCat-ID: 20195
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
| DOI
2011 | Book Chapter | LibreCat-ID: 20196
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
2011 | Book Chapter | LibreCat-ID: 20214
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
| DOI
2011 | Journal Article | LibreCat-ID: 20215
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
| DOI
2011 | Bachelorsthesis | LibreCat-ID: 2872
Böttger, T. (2011). Bicriteria-Approximation für das k-Median-Clustering mit Bregman-Divergenzen.
LibreCat
| Files available
2011 | Conference Paper | LibreCat-ID: 26276
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
2011 | Conference Paper | LibreCat-ID: 26279
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
2011 | Conference Paper | LibreCat-ID: 26281
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
2011 | Book Chapter | LibreCat-ID: 2662
Dannewitz, C., & al, et. (2011). How to manage and Search/Retrieve Information Objects. In Architecture and Design for the Future Internet.
LibreCat
| Download (ext.)
2011 | Book Chapter | LibreCat-ID: 2663
Dannewitz, C., & al, et. (2011). Integrating Generic Paths and NetInf. In Architecture and Design for the Future Internet.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 26660
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
2011 | Conference Paper | LibreCat-ID: 26663
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
2011 | Conference Paper | LibreCat-ID: 26667
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
2011 | Conference Paper | LibreCat-ID: 26669
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
2011 | Journal Article | LibreCat-ID: 26670
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
2011 | Journal Article | LibreCat-ID: 26671
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
2011 | Conference Paper | LibreCat-ID: 26673
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
2011 | Conference Paper | LibreCat-ID: 26687
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 (NaBIC2011).
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
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
2011 | Conference Paper | LibreCat-ID: 26699
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
2011 | Conference Paper | LibreCat-ID: 26701
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
2011 | Conference Paper | LibreCat-ID: 26702
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
2011 | Journal Article | LibreCat-ID: 26705
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
2011 | Conference Paper | LibreCat-ID: 26707
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
2011 | Conference Paper | LibreCat-ID: 26710
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
2011 | Journal Article | LibreCat-ID: 26711
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
2011 | Conference Paper | LibreCat-ID: 26712
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
2011 | Conference Paper | LibreCat-ID: 26713
Klobedanz, K., König, A., & Müller, W. (2011). A Reconfiguration Approach for Fault-Tolerant FlexRay Networks. Proceedings of Design, Automation, Test Europe - DATE2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26714
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
2011 | Conference Paper | LibreCat-ID: 26715
Kuznik, C., & Müller, W. (2011). Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. Proceedings of DVCON .
LibreCat
2011 | Conference Paper | LibreCat-ID: 26716
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
2011 | Conference Paper | LibreCat-ID: 26717
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
2011 | Conference Paper | LibreCat-ID: 26782
Becker, M. (2011). QEMU/SystemC Cosimulation at Different Abstraction Levels. 1st International QEMU Users Forum (QUF’11).
LibreCat
2011 | Book Chapter | LibreCat-ID: 26783
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
2011 | Conference Paper | LibreCat-ID: 26784
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
2011 | Conference Paper | LibreCat-ID: 26787
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
2011 | Conference Paper | LibreCat-ID: 26789
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
2011 | Book Chapter | LibreCat-ID: 26792
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
2011 | Conference Paper | LibreCat-ID: 26794
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
2011 | Book Chapter | LibreCat-ID: 26805
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
| DOI
2011 | Book Chapter | LibreCat-ID: 26810
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
| DOI
2011 | Conference Paper | LibreCat-ID: 3811
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
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 3875
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
| Download (ext.)
2011 | Mastersthesis | LibreCat-ID: 2902
Märtens, M. (2011). The Monotone Complexity of Computing k-Clique on Random Graphs.
LibreCat
2011 | Dissertation | LibreCat-ID: 2910
Naewe, S. (2011). Algorithms for lattice problems with respect to general norms. Universität Paderborn.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 2985
Ackermann, M. R., Blömer, J., & Scholz, C. (2011). Hardness and Non-Approximability of Bregman Clustering Problems.
LibreCat
2011 | Book Chapter | LibreCat-ID: 2986
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
| DOI
2011 | Preprint | LibreCat-ID: 2987
Blömer, J., & Naewe, S. (2011). Solving the Closest Vector Problem with respect to Lp Norms. ArXiv:1104.3720.
LibreCat
2011 | Conference Paper | LibreCat-ID: 3137
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
| DOI
2011 | Conference Paper | LibreCat-ID: 3138
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
| DOI
2011 | Journal Article | LibreCat-ID: 3183
Schneider, S., Treharne, H., & Wehrheim, H. (2011). Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study. Electr. Notes Theor. Comput. Sci., 69--80. https://doi.org/10.1016/j.entcs.2011.11.019
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3184
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
| DOI
2011 | Conference Paper | LibreCat-ID: 3185
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
| DOI
2011 | Conference Paper | LibreCat-ID: 3186
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
| DOI
2011 | Conference Paper | LibreCat-ID: 3187
Steenken, D., Wehrheim, H., & Wonisch, D. (2011). Sound and Complete Abstract Graph Transformation. In A. da Silva Sim{\~{a}}o & C. Morgan (Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers (pp. 92--107). https://doi.org/10.1007/978-3-642-25032-3_7
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3188
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
| DOI
2011 | Conference Paper | LibreCat-ID: 27622
Nebe, K., Fischer, H. G., Klompmaker, F., & Jung, H. (2011). Multi-touch, tangible and pen-based interaction in incident planning. 263–273.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27623
Keil, R., & Selke, H. (2011). Virtual Learning Spaces for Co-Active Learning. Proc. of Int. Conf. on Improving University Teaching, 191–202.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27624
Paelke, V., Nebe, K., Klompmaker, F., & Jung, H. (2011). Multi-Touch Interaction for Disaster Management.}.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27625
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 {\" u} nster.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27626
Klompmaker, F., Nebe, Karsten, & Jung, H. (2011). Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27627
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
2011 | Conference Paper | LibreCat-ID: 27628
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
2011 | Conference Paper | LibreCat-ID: 27629
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
2011 | Conference Paper | LibreCat-ID: 27630
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
2011 | Conference Paper | LibreCat-ID: 27631
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
2011 | Conference Paper | LibreCat-ID: 27632
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
2011 | Conference Paper | LibreCat-ID: 27633
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
2011 | Conference Paper | LibreCat-ID: 27634
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
2011 | Dissertation | LibreCat-ID: 27635
Erren, P. (2011). Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements. Heinz Nixdorf Institut, Universit{\"a}t Paderborn.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27636
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
2011 | Conference Paper | LibreCat-ID: 27637
Jung, H., Nebe, K., Klompmaker, F., & Fischer, H. G. (2011). Authenticated entries on multi-touch tables. 305–308.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27638
Nebe, Karsten, Klompmaker, F., Jung, H., & Fischer, H. G. (2011). Exploiting New Interaction Techniques for Disaster Control Management using Multitouch-, Tangible- and Pen-based-Interaction (pp. 100–109). Springer Verlag.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27639
Fischer, H. G., Bogner, C., Geis, T., Polkehn, K., & Zimmermann, Dirk. (2011). Der Qualit {\ “a} tsstandard f {\” u} r Usability engineering of the German UPA: Current status of the work. 72–74.
LibreCat