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, Björn, et al. “Convey Vector Personalities – FPGA Acceleration with an OpenMP-like Effort?” Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), IEEE, 2012, pp. 189–96, doi:10.1109/FPL.2012.6339370.
LibreCat
| Files available
| DOI
2012 | Journal Article | LibreCat-ID: 2108
Schumacher, Tobias, et al. “IMORC: An Infrastructure and Architecture Template for Implementing High-Performance Reconfigurable FPGA Accelerators.” Microprocessors and Microsystems, vol. 36, no. 2, 2012, pp. 110–26, doi:10.1016/j.micpro.2011.04.002.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 615
Happe, Markus, et al. “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), IEEE, 2012, pp. 1–8, doi:10.1109/ReConFig.2012.6416745.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 591
Kenter, Tobias, et al. “Pragma Based Parallelization - Trading Hardware Efficiency for Ease of Use?” Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), IEEE, 2012, pp. 1–8, doi:10.1109/ReConFig.2012.6416773.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 609
Happe, Markus, et al. “Hardware/Software Platform for Self-Aware Compute Nodes.” Proceedings of the Workshop on Self-Awareness in Reconfigurable Computing Systems (SRCS), 2012, pp. 8–9.
LibreCat
| Files available
2012 | Conference Paper | LibreCat-ID: 567
Barrio, Pablo, et al. “Turning Control Flow Graphs into Function Calls: Code Generation for Heterogeneous Architectures.” Proceedings of the International Conference on High Performance Computing and Simulation (HPCS), IEEE, 2012, pp. 559–65, doi:10.1109/HPCSim.2012.6266973.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 612
Rüthing, Christoph, et al. “Exploration of Ring Oscillator Design Space for Temperature Measurements on FPGAs.” Proceedings of the International Conference on Field Programmable Logic and Applications (FPL), IEEE, 2012, pp. 559–62, doi:10.1109/FPL.2012.6339370.
LibreCat
| Files available
| DOI
2012 | Conference Paper | LibreCat-ID: 2180
Beisel, Tobias, et al. “Programming and Scheduling Model for Supporting Heterogeneous Accelerators in Linux.” Proc. Workshop on Computer Architecture and Operating System Co-Design (CAOS), 2012.
LibreCat
2012 | Journal Article | LibreCat-ID: 2177
Grad, Mariusz, and Christian Plessl. “On the Feasibility and Limitations of Just-In-Time Instruction Set Extension for FPGA-Based Reconfigurable Processors.” Int. Journal of Reconfigurable Computing (IJRC), Hindawi Publishing Corp., 2012, doi:10.1155/2012/418315.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 46397
Brockhoff, Dimo, et al. “On the Properties of the R2 Indicator.” Proceedings of the 14th Annual Conference on Genetic and Evolutionary Computation, Association for Computing Machinery, 2012, pp. 465–472, doi:10.1145/2330163.2330230.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 46396
Bischl, Bernd, et al. “Algorithm Selection Based on Exploratory Landscape Analysis and Cost-Sensitive Learning.” Proceedings of the 14th Annual Conference on Genetic and Evolutionary Computation, Association for Computing Machinery, 2012, pp. 313–320, doi:10.1145/2330163.2330209.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 46398
Mersmann, Olaf, et al. “Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness.” Learning and Intelligent Optimization, edited by Youssef Hamadi and Marc Schoenauer, Springer Berlin Heidelberg, 2012, pp. 115–129, doi:https://doi.org/10.1007/978-3-642-34413-8_9.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 46399
Bischl, B., et al. “Resampling Methods in Model Validation.” Evolutionary Computation Journal, vol. 20, no. 2, 2012, pp. 249–275, doi:10.1162/EVCO_a_00069.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 46400
Rudolph, G., et al. “Homogene Approximation Der Paretofront Bei Mehrkriteriellen Kontrollproblemen.” At-Automatisierungstechnik, vol. 60, 2012, pp. 610–621, doi:10.1524/auto.2012.1033.
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 48890
Mersmann, Olaf, et al. “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, Springer-Verlag, 2012, pp. 115–129.
LibreCat
2012 | Book Chapter | LibreCat-ID: 48888
Mersmann, Olaf, et al. “Local Search and the Traveling Salesman Problem: A Feature-Based Characterization of Problem Hardness.” Learning and Intelligent Optimization, vol. 7219, Springer Berlin Heidelberg, 2012, pp. 115–129, doi:10.1007/978-3-642-34413-8_9.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 26038
Kuznik, Christoph, et al. “SYSTEMC UVM VERIFICATION COMPONENTS.” Design, Automation and Test in Europe DATE, 2012.
LibreCat
2011 | Dissertation | LibreCat-ID: 19619
Korzeniowski, Miroslaw. Dynamic Load Balancing in Peer-to-Peer Networks. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011.
LibreCat
| Files available
2011 | Journal Article | LibreCat-ID: 19677
Briest, Patrick, et al. “Stackelberg Network Pricing Games.” Algorithmica, vol. 62, 2011, pp. 733–753, doi:10.1007/s00453-010-9480-3.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 19845
Jähn, Claudius, et al. “PADrend: Platform for Algorithm Development and Rendering.” Augmented & Virtual Reality in Der Produktentstehung, vol. 295, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 159--170.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20180
Hamann, Heiko, et al. “Coupled Inverted Pendulums: A Benchmark for Evolving Decentral Controllers in Modular Robotics.” Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, 2011, pp. 195--202, doi:10.1145/2001576.2001604.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20181
Hamann, Heiko, et al. “Thermodynamics of Emergence: Langton’s Ant Meets Boltzmann.” IEEE Symposium on Artificial Life (IEEE ALIFE 2011), 2011, pp. 62--69, doi:10.1109/ALIFE.2011.5954660.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20183
Hamann, Heiko, et al. “Evolving for Creativity: Maximizing Complexity in a Self-Organized Multi-Particle System.” 10th European Conference on Artificial Life (ECAL’09), vol. 5777, 2011, pp. 442--449, doi:10.1007/978-3-642-21283-3_55.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 20184
Hamann, Heiko, et al. “Robotic Organisms: Artificial Homeostatic Hormone System and Virtual Embryogenesis as Examples for Adaptive Reaction-Diffusion Controllers.” Robotic Organisms: Artificial Homeostatic Hormone System and Virtual Embryogenesis as Examples, 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 20193
Hamann, Heiko, and Thomas Schmickl. “{BEECLUST}: {A} Swarm Algorithm Derived from Honeybees.” Bio-Inspired Computing and Communication Networks, edited by Yang Xiao, CRC Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20194
Hamann, Heiko, et al. “Evolving a Novel Bio-Inspired Controller in Reconfigurable Robots.” Advances in Artificial Life, 10th European Conference, ECAL 2009, 2011, pp. 132--139.
LibreCat
2011 | Conference Paper | LibreCat-ID: 20195
Hamann, Heiko, et al. “Embodiment of Honeybee’s Thermotaxis in a Mobile Robot Swarm.” 10th European Conference on Artificial Life (ECAL’09), 2011, doi:10.1007/978-3-642-21314-4_9.
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 20196
Hamann, Heiko, et al. “Explaining Emergent Behavior in a Swarm System Based on an Inversion of the Fluctuation Theorem.” Advances in Artificial Life, ECAL 2011: Proceedings of the 11th European Conference on the Synthesis and Simulation of Living Systems, edited by Tom Lenaerts et al., MIT Press, 2011, pp. 302--309.
LibreCat
2011 | Book Chapter | LibreCat-ID: 20214
Hamann, Heiko, et al. “Major Feedback Loops Supporting Artificial Evolution in Multi-Modular Robotics.” New Horizons in Evolutionary Robotics, Springer, 2011, doi:10.1007/978-3-642-18272-3_13.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 20215
Schmickl, Thomas, et al. “Modelling a Hormone-Inspired Controller for Individual- and Multi-Modular Robotic Systems.” Mathematical and Computer Modelling of Dynamical Systems, vol. 17, no. 3, 2011, pp. 221–42, doi:10.1080/13873954.2011.557862.
LibreCat
| DOI
2011 | Bachelorsthesis | LibreCat-ID: 2872
Böttger, Timm. Bicriteria-Approximation Für Das k-Median-Clustering Mit Bregman-Divergenzen. 2011.
LibreCat
| Files available
2011 | Conference Paper | LibreCat-ID: 26276
Hosseinimehr, Masoud, and Norma Montealegre. “Implementation of a Singular Value Decomposition Module on an FPGA.” The 23rd IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2011), ACTA Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26279
Jungmann, Alexander, and Bernd Kleinjohann. “Automatic Feature Classification for Object Detection Based on Motion Analysis.” Proceedings of the 5th International Conference on Automation, Robotics and Applications (ICARA), IEEE, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26281
Stern, Claudius, et al. “Towards Using Virtual Forces for Image Registration.” The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 2662
Dannewitz, Christian, and et al. “How to Manage and Search/Retrieve Information Objects.” Architecture and Design for the Future Internet, 2011.
LibreCat
| Download (ext.)
2011 | Book Chapter | LibreCat-ID: 2663
Dannewitz, Christian, and et al. “Integrating Generic Paths and NetInf.” Architecture and Design for the Future Internet, 2011.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 26660
Rasche, Christoph, et al. “A Distributed Multi-UAV Path Planning Approach for 3D Environments.” The 5th International Conference on Automation, Robotics and Applications (ICARA 2011), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26663
Mathews, Emi, et al. “A Bio-Inspired Coverage and Connectivity Maintenance Algorithm.” Sixth International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, Lecture Notes of ICST, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26667
Kuznik, Christoph, and Wolfgang Müller. “Aspect Enhanced Functional Coverage Driven Verification in the SystemC HDVL.” Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26669
Xie, Tao, and Wolfgang Müller. “IP-XACT Based System Level Mutation Testing.” Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26670
Henkler, Stefan, et al. “Model-Driven Runtime Resource Predictions for Advanced Mechatronic Systems with Dynamic Data Structures.” International Journal of Computer Systems Science & Engineering 26 (6), 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26671
Baldin, Daniel, et al. “Enabling Constraint-Based Binary Reconfiguration by Binary Analysis.” International Journal on Computing (JoC) 1(4), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26673
Bin Tariq, Fahad. “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, Springer-Verlag, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26687
Orfanus, Dalimir, et al. “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), IEEE Computer Society, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26698
Xie, Tao, and Wolfgang Müller. “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search.” Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26699
Jungmann, Alexander, et al. “A Test Bed for Investigating Self-X Properties in Multi-Robot Societies.” Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26701
Gausemeier, Jürgen, et al. “Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties.” Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN), IEEE, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26702
Thuy, Andreas. “ Comparison of Periodic and Aperiodic Task Models for Cyber-Physical-Systems.” Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop On , IEEE Xplore, 2011.
LibreCat
2011 | Journal Article | LibreCat-ID: 26705
Kuznik, Christoph, and Wolfgang Müller. “Verification Closure of SystemC Designs with Functional Coverage.” North American SystemC User Group Meeting (16th), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26707
Mathews, Emi, and Hannes Frey. “A Localized Planarization Algorithm for Realistic Wireless Networks.” IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), IEEE Computer Society, 2011, pp. 1–9.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26710
Becker, Markus, et al. “Virtual Prototyping Softwareintensiver Mechatronischer Systeme Eine Fallstudie.” 8. Paderborner Workshop Entwurf Mechatronischer Systeme, Band 294, vol. 294, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2011, pp. 315–27.
LibreCat
2011 | Journal Article | LibreCat-ID: 26711
Rasche, Christoph, et al. “Coordinated Exploration and Goal-Oriented Path Planning Using Multiple UAVs.” ThinkMind, International Journal On Advances in Software 3 (3&4), 2011, pp. 351–70.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26712
Khaluf, Yara, et al. “ Self-Organized Cooperation in Swarm Robotics.” 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), IEEE Computer Society, 2011, pp. 217–26.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26713
Klobedanz, Kay, et al. “A Reconfiguration Approach for Fault-Tolerant FlexRay Networks.” Proceedings of Design, Automation, Test Europe - DATE2011, IEEE Computer Society Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26714
Klobedanz, Kay, et al. “Self-Reconfiguration for Fault-Tolerant FlexRay Networks.” Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011, IEEE Computer Society Press, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26715
Kuznik, Christoph, and Wolfgang Müller. “Functional Coverage-Driven Verification with SystemC on Multiple Level of Abstraction.” Proceedings of DVCON , 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26716
Mischkalla, Fabian, et al. “A Retargetable SysML-Based Front-End for High-Level Synthesis.” Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26717
He, Da, et al. “A SysML-Based Framework with QEMU-SystemC Code Generation.” Proceedings of 1st International QEMU Users Forum, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26782
Becker, Markus. “QEMU/SystemC Cosimulation at Different Abstraction Levels.” 1st International QEMU Users Forum (QUF’11), 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26783
Adelt, Philipp, et al. “Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems.” Intelligent Mechatronics; Kapitel 10, InTech Open Access Publisher, 2011, pp. 169–94.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26784
Gnokam Defo, Gilles Bertrand, and Wolfgang Müller. “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), 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26787
Khaluf, Lial, et al. “Pattern-Based Modeling and Formalizing of Business Process Quality Constraints.” Proceedings of the 23rd International Conference on Advanced Information Systems Engineering (CAiSE’11), Springer Verlag, 2011, pp. 521–35.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26789
Kuznik, Christoph, and Wolfgang Müller. “Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC.” Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26792
Esau, Natascha, and Lisa Kleinjohann. “Emotional Robot Competence and Its Use in Robot Behavior Control.” Emotional Engineering, Springer-Verlag London, 2011, pp. 119–42.
LibreCat
2011 | Conference Paper | LibreCat-ID: 26794
Jungmann, Alexander, et al. “Towards a Real-World Scenario for Investigating Organic Computing Principles in Heterogeneous Societies of Robots.” Proceedings of the 2011 Workshop on Organic Computing, ACM, 2011, pp. 41–50.
LibreCat
2011 | Book Chapter | LibreCat-ID: 26805
Jungmann, Alexander, et al. “A Fast Hierarchical Learning Approach for Autonomous Robots.” Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems, Springer Basel, 2011, pp. 545–58, doi:10.1007/978-3-0348-0130-0_36.
LibreCat
| DOI
2011 | Book Chapter | LibreCat-ID: 26810
Jungmann, Alexander, et al. “Increasing Learning Speed by Imitation in Multi-Robot Societies.” Organic Computing A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 , Springer Basel, 2011, pp. 295–307, doi:10.1007/978-3-0348-0130-0_19.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3811
Wachsmuth, Henning, and Kathrin Bujna. “Back to the Roots of Genres: Text Classification by Language Function.” Proceedings of 5th International Joint Conference on Natural Language Processing, edited by Bettina Berendt et al., 2011, pp. 632–40.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 3875
Wachsmuth, Henning, et al. “Constructing Efficient Information Extraction Pipelines.” 20th ACM International Conference on Information and Knowledge Management, edited by Bettina Berendt et al., 2011, pp. 2237–40.
LibreCat
| Download (ext.)
2011 | Mastersthesis | LibreCat-ID: 2902
Märtens, Marcus. The Monotone Complexity of Computing K-Clique on Random Graphs. 2011.
LibreCat
2011 | Dissertation | LibreCat-ID: 2910
Naewe, Stefanie. Algorithms for Lattice Problems with Respect to General Norms. Universität Paderborn, 2011.
LibreCat
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 2985
Ackermann, Marcel R., et al. Hardness and Non-Approximability of Bregman Clustering Problems. 2011.
LibreCat
2011 | Book Chapter | LibreCat-ID: 2986
Blömer, Johannes. “How to Share a Secret.” Algorithms Unplugged, Springer Berlin Heidelberg, 2011, pp. 159–68, doi:10.1007/978-3-642-15328-0_17.
LibreCat
| DOI
2011 | Preprint | LibreCat-ID: 2987
Blömer, Johannes, and Stefanie Naewe. “Solving the Closest Vector Problem with Respect to Lp Norms.” ArXiv:1104.3720, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 3137
Hofheinz, Dennis, et al. “Short Signatures from Weaker Assumptions.” 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, 2011, pp. 647--666, doi:10.1007/978-3-642-25385-0_35.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3138
Jager, Tibor, and Juraj Somorovsky. “How to Break XML Encryption.” Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, 2011, pp. 413--422, doi:10.1145/2046707.2046756.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3183
Schneider, Steve, et al. “Bounded Retransmission in Event-B{\(\parallel\)}CSP: A Case Study.” Electr. Notes Theor. Comput. Sci., 2011, pp. 69--80, doi:10.1016/j.entcs.2011.11.019.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 3184
Derrick, John, et al. “Mechanically Verified Proof Obligations for Linearizability.” {ACM} Trans. Program. Lang. Syst., no. 1, 2011, pp. 4:1--4:43, doi:10.1145/1889997.1890001.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3185
Ruhroth, Thomas, et al. “ReL: {A} Generic Refactoring Language for Specification and Execution.” 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90, doi:10.1109/SEAA.2011.22.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3186
Derrick, John, et al. “Verifying Linearisability with Potential Linearisation Points.” {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, edited by Michael J. Butler and Wolfram Schulte, 2011, pp. 323--337, doi:10.1007/978-3-642-21437-0_25.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3187
Steenken, Dominik, et al. “Sound and Complete Abstract Graph Transformation.” Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, edited by Adenilso da Silva Sim{\~{a}}o and Carroll Morgan, 2011, pp. 92--107, doi:10.1007/978-3-642-25032-3_7.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 3188
Schneider, Steve, et al. “A {CSP} Account of Event-B Refinement.” Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., edited by John Derrick et al., 2011, pp. 139--154, doi:10.4204/EPTCS.55.9.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 27622
Nebe, Karsten, et al. Multi-Touch, Tangible and Pen-Based Interaction in Incident Planning. Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 263–73.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27623
Keil, Reinhard, and Harald Selke. “Virtual Learning Spaces for Co-Active Learning.” Proc. of Int. Conf. on Improving University Teaching, 2011, pp. 191–202.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27624
Paelke, Volker, et al. Multi-Touch Interaction for Disaster Management.}. 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27625
Keil, Reinhard. Hypothesis- Guided Technology Design as the Basis of Contextual Computer Science. Edited by A Breiter and M Wind, Lit Verlag, M {\" u} nster, 2011, pp. 165–84.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27626
Klompmaker, Florian, et al. Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic Visual Paterns. 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27627
Klompmaker, Florian, et al. “User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training Application.” Proceedings of the International Conference on Health Informatics, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27628
Laroque, Christoph, and Jonas Schulte. “KoProV: A Learning Approach for Coordinated Learning of Modeling and Simulation Based on Knowledge Modules.” Proceedings of the 2011 Spring Simulation Multiconference, edited by M.I Chinni and D Weed, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27629
Schulte, Jonas. “WasabiBeans - Web Application Services and Business Integration.” Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, edited by R Zhang et al., 2011, pp. 348–57.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27630
Rudolph, S., and Dominik Niehus. Computer Scientists, Ergonomists and Chemists Are Shaping the Future. E-Portofolios Support {\ "u} the Flow Rate in Education and Training. Universit {\" a} t Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27631
Schulte, Jonas, et al. “Koi School - Towards the Next Level of Communication, Organization and Integration in Education.” Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Beijing, China, edited by R Zhang et al., 2011, pp. 43–52.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27632
Schulte, Jonas, et al. Support {\ "u} Support of the Co-Active Research Discourse through Synergies between e-Learning and e-Science. Edited by Th. K {\ "o} hler and J Neumann, Waxmann Verlag, M { \ "u} nster, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27633
Schulte, Jonas, et al. “Laboratory 2.0 - Towards and Integrated Research Environment for Engineering Mechanics.” Proceedings of the 13th International Conference on Enterprise Information Systems, SciTePress - Science and Technology Publications, Bejing, China, edited by R Zhang et al., 2011, pp. 407–12.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27634
Schulte, Jonas, et al. KoForum - Cooperative Research Environment for {\ "u} for Cross-Organizational Scientific Laboratory Work. Edited by Th. K {\ "o} hler and J Neumann, Waxmann Verlag, M {\ "u} nster, 2011, pp. 92–101.
LibreCat
2011 | Dissertation | LibreCat-ID: 27635
Erren, Patrick. Semantic Positioning - Supporting Knowledge Work through Semantic Spatial Arrangements. Heinz Nixdorf Institut, Universit{\"a}t Paderborn, 2011.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27636
Fischer, Holger Gerhard, et al. A Holistic Model for Integrating Usability Engineering and Software Engineering Enriched with Marketing Activities. Springer-Verlag, 2011, pp. 28–37.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27637
Jung, Helge, et al. Authenticated Entries on Multi-Touch Tables. Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011, pp. 305–08.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27638
Nebe, Karsten, et al. Exploiting New Interaction Techniques for Disaster Control Management Using Multitouch-, Tangible- and Pen-Based-Interaction. Springer Verlag, 2011, pp. 100–09.
LibreCat
2011 | Conference Paper | LibreCat-ID: 27639
Fischer, Holger Gerhard, et al. Der Qualit {\ “A} Tsstandard f {\” U} r Usability Engineering of the German UPA: Current Status of the Work. German UPA, 2011, pp. 72–74.
LibreCat