Tofan, Bogdan, et al. “Two Approaches for Proving Linearizability of Multiset.”10.1016/j.scico.2014.04.001__Sci. Comput. Program., 2014, pp. 297--314, doi:10.1016/j.scico.2014.04.001.
LibreCat: /record/3168
DOI: 10.1016/j.scico.2014.04.001

Schellhorn, Gerhard, et al. “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.”10.1145/2629496__ACM Trans. Comput. Log., no. 4, 2014, pp. 31:1--31:37, doi:10.1145/2629496.
LibreCat: /record/3169
DOI: 10.1145/2629496

Derrick, John, et al. “Quiescent Consistency: Defining and Verifying Relaxed Linearizability.”10.1007/978-3-319-06410-9_15__FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, edited by Cliff B. Jones et al., 2014, pp. 200--214, doi:10.1007/978-3-319-06410-9_15.
LibreCat: /record/3170
DOI: 10.1007/978-3-319-06410-9_15

Travkin, Oleg, and Heike Wehrheim. “Handling TSO in Mechanized Linearizability Proofs.”10.1007/978-3-319-13338-6_11__Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, edited by Eran Yahav, 2014, pp. 132--147, doi:10.1007/978-3-319-13338-6_11.
LibreCat: /record/3171
DOI: 10.1007/978-3-319-13338-6_11

Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via I with Zones.”10.1007/978-3-319-11737-9_14__Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, edited by Stephan Merz and Jun Pang, 2014, pp. 203--218, doi:10.1007/978-3-319-11737-9_14.
LibreCat: /record/3172
DOI: 10.1007/978-3-319-11737-9_14

A. Schneider, Steve, et al. “Managing LTL Properties in Event-B Refinement.”10.1007/978-3-319-10181-1_14__Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, edited by Elvira Albert and Emil Sekerinski, 2014, pp. 221--237, doi:10.1007/978-3-319-10181-1_14.
LibreCat: /record/3173
DOI: 10.1007/978-3-319-10181-1_14

Schneider, Steve, et al. “Managing LTL Properties in Event-B Refinement.” CoRR, 2014.
LibreCat: /record/3174

Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via I.” CoRR, 2014.
LibreCat: /record/3175

Keil, Reinhard, et al. Twenty Years of Learning with the World Wide Web. Edited by Stephan Trahasch et al., 2014, pp. 51–60.
LibreCat: /record/27166

Winkelnkemper, Felix, and Reinhard Keil. Zwischen Design Und Flexibilit\'22at - Zur Ergonomie Des Flat Design. Edited by Andreas Butz and Johann  Schlichter, vol. 2014, Oldenbourg Verlag, 2014, pp. 255–64.
LibreCat: /record/27167

Brenner, Christian, et al. “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.” Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), 2014.
LibreCat: /record/20983

Polevoy, Gleb, et al. “Nash Equilibria in Shared Effort Games.” Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2014, pp. 861–68.
LibreCat: /record/17659

Polevoy, Gleb, and Mathijs M. de Weerdt. “Improving Human Interaction in Crowdsensing.” Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2014, pp. 1741–42.
LibreCat: /record/17660

King, Thomas C., et al. “Request Driven Social Sensing.” Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, 2014, pp. 1651–52.
LibreCat: /record/17661

Polevoy, Gleb, et al. “Signaling Competition and Social Welfare.”10.1145/2560766__ACM Trans. Econ. Comput., vol. 2, no. 1, ACM, 2014, pp. 1:1-1:16, doi:10.1145/2560766.
LibreCat: /record/17662
DOI: 10.1145/2560766

Steinle, Tobias, et al. “Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres.”10.1007/978-3-319-09063-4_19__Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC), edited by Hans Georg Bock et al., Springer International Publishing, 2014, pp. 233–43, doi:10.1007/978-3-319-09063-4_19.
LibreCat: /record/1781
DOI: 10.1007/978-3-319-09063-4_19

Graf, Tobias, et al. “On Semeai Detection in Monte-Carlo Go.”10.1007/978-3-319-09165-5_2__Proc. Conf. on Computers and Games (CG), no. 8427, Springer, 2014, pp. 14–25, doi:10.1007/978-3-319-09165-5_2.
LibreCat: /record/1782
DOI: 10.1007/978-3-319-09165-5_2

Petring, Ralf. Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen in Echtzeit. 2014.
LibreCat: /record/19039

Pohlmann, Uwe, et al. “Generating Modelica Models from Software Specifications for the Simulation of Cyber-Physical Systems.” Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE Xplore, 2014.
LibreCat: /record/20905

Becker, Steffen, et al. “The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems.” Proceedings of the 36th International Conference on Software Engineering (Posters), ACM, New York, NY, USA, 2014.
LibreCat: /record/20907

Pohlmann, Uwe, et al. “A Modelica Coordination Pattern Library for Cyber-Physical Systems.” Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, 2014.
LibreCat: /record/20908

Becker, Steffen, et al. The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling. 2014.
LibreCat: /record/20909

Pohlmann, Uwe, et al. “Viewpoints and Views in Hardware Platform Modeling for Safe Deployment.” Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, ACM, New York, NY, USA, 2014, p. 23:23-23:30.
LibreCat: /record/20910

Luo, Linghui. Ein Selbst-Stabilisierender Algorithmus Für Das Finite Sleep Problem in Skip+ Graphen. Universität Paderborn, 2014.
LibreCat: /record/18001

Hinnenthal, Kristian. Formbildung Selbstorganisierender Partikelsysteme. 2014.
LibreCat: /record/18002

Wette, Philip, and Holger Karl. “Incorporating Feedback from Application Layer into Routing and Wavelength Assignment Algorithms.”10.1109/infcomw.2013.6970733__2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), IEEE, 2014, doi:10.1109/infcomw.2013.6970733.
LibreCat: /record/1801
DOI: 10.1109/infcomw.2013.6970733

Jacob, Riko, et al. “SKIP*: A Self-Stabilizing Skip Graph.”10.1145/2629695__J. ACM, no. 6, 2014, pp. 36:1--36:26, doi:10.1145/2629695.
LibreCat: /record/1858
DOI: 10.1145/2629695

Derakhshandeh, Zahra, et al. “Brief Announcement: Amoebot - a New Model for Programmable Matter.”10.1145/2612669.2612712__26th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA’14, Prague, Czech Republic - June 23 - 25, 2014, ACM, 2014, pp. 220--222, doi:10.1145/2612669.2612712.
LibreCat: /record/1863
DOI: 10.1145/2612669.2612712

Kühn, Arno, et al. “Feature Models Supporting Trade-off Decisions in Early Mechatronic Systems Design.” NordDesign 2014, Espoo, Finnland, 27. - 29. Aug. 2014, 2014.
LibreCat: /record/22903

Gausemeier, Jürgen, et al. “Der Spitzencluster it’s OWL auf dem Weg zur Industrie 4.0.” ZWF - Zeitschrift für Wirtschaftlichen Fabrikbetrieb, 2014, pp. 336–46.
LibreCat: /record/22904

Mahadhir, Khairul Azmi, et al. “Terrain Classification for Track-Driven Agricultural Robots.” Procedia Technology, vol. Vol. 15, 2014, pp. 776–83.
LibreCat: /record/22905

Dorociak, Rafal, et al. “Specification Technique CONSENS for the Description of Self-Optimizing Systems.” Design Methodology for Intelligent Technichal Systems, edited by Jürgen Gausemeier et al., Springer, 2014.
LibreCat: /record/22906

Kühn, Arno, et al. “Strategy Controlling for Innovation Clusters - the Example of ‘It’s OWL.’” ISPIM Conference 2014, 2014.
LibreCat: /record/22907

Dumitrescu, Roman, et al. “Systematische Berücksichtigung von Fertigungsanforderungen im Model-Based Systems Engineering.” Tag des Systems Engineering, Bremen, edited by Maik Maurer and Sven-Olaf Schulze, Carl Hanser Verlag, 2014.
LibreCat: /record/22908

Rabe, Martin, et al. “Methodology for the Identification of Solution Patterns within Mechatronic Systems.” Proceedings of the 15th International Workshop on Research and Education in Mechatronics (REM), El Gouna, Egypt, 2014.
LibreCat: /record/22909

Tschirner, Christian, et al. “Collaboration in Model-Based Systems Engineering Based on Application Scenarios.” NordDesign 2014, 2014.
LibreCat: /record/22910

Jürgenhake, Christoph, et al. “Optimized Process Sequences for Prototyping of Molded Interconnect Devices.” Advanced Materials Research, vol. Vol.1038, 2014, pp. 19–27.
LibreCat: /record/22911

Schierbaum, Thomas, et al. “Method for the Identification and Comparison of Alternative Process Chains Focusing on Economics Efficiency Analysis during the Conceptual Design of Mechatronic Integrated Devices.” Advanced Materials Research, vol. Vol.1038, 2014, pp. 3–9.
LibreCat: /record/22912

Bailey, M., and C. Law. “A Summer Blender Camp: Modeling, Rendering, and Animation for High School Students.”10.1109/MCG.2014.4__IEEE Computer Graphics and Applications, vol. 34, no. 1, IEEE, 2014, pp. 65–67, doi:10.1109/MCG.2014.4.
LibreCat: /record/21741
DOI: 10.1109/MCG.2014.4

Dias, P., et al. “Student Projects Involving Novel Interaction with Large Displays.”10.1109/MCG.2014.35__IEEE Computer Graphics and Applications, vol. 34, no. 2, IEEE, 2014, pp. 80–86, doi:10.1109/MCG.2014.35.
LibreCat: /record/21742
DOI: 10.1109/MCG.2014.35

Repenning, A., et al. “Beyond Minecraft: Facilitating Computational Thinking through Modeling and Programming in 3D.”10.1109/MCG.2014.46__IEEE Computer Graphics and Applications, vol. 34, no. 3, IEEE, 2014, pp. 68–71, doi:10.1109/MCG.2014.46.
LibreCat: /record/21743
DOI: 10.1109/MCG.2014.46

Reina, G., et al. “Incorporating Modern OpenGL into Computer Graphics Education.”10.1109/MCG.2014.69__IEEE Computer Graphics and Applications, vol. 34, no. 4, IEEE, 2014, pp. 16–21, doi:10.1109/MCG.2014.69.
LibreCat: /record/21744
DOI: 10.1109/MCG.2014.69

Cao, M., et al. “Creative Educational Use of Virtual Reality: Working with Second Life.”10.1109/MCG.2014.87__Computer Graphics and Applications, IEEE, vol. 34, IEEE, 2014, pp. 83–87, doi:10.1109/MCG.2014.87.
LibreCat: /record/21745
DOI: 10.1109/MCG.2014.87

DiSalvo, B. “Graphical Qualities of Educational Technology: Using Drag-and-Drop and Text-Based Programs for Introductory Computer Science.”10.1109/MCG.2014.112__IEEE Computer Graphics and Applications, vol. 34, no. 6, IEEE, 2014, pp. 12–15, doi:10.1109/MCG.2014.112.
LibreCat: /record/21746
DOI: 10.1109/MCG.2014.112

Nüske, Feliks, et al. “Variational Approach to Molecular Kinetics.”10.1021/ct4009156__Journal of Chemical Theory and Computation, 2014, pp. 1739–52, doi:10.1021/ct4009156.
LibreCat: /record/21936
DOI: 10.1021/ct4009156

Weskamp , Christoph, et al., editors. Towards a Simulation-Based Approach for Evaluating Business Models for the Electric Vehicle Market. 2014.
LibreCat: /record/7761

Pittke, Fabian, et al. “Linguistic Consistency of Goal Models.” Proceedings of the 19th International EMMSAD Conference, Springer, 2014.
LibreCat: /record/8064

Fazal-Baqaie, Masud, et al. “Breathing Life into Situational Software Engineering Methods.” In Proceedings of the 15th International Conference of Product Focused Software Development and Process Improvement (PROFES 2014), vol. 8892, Springer, 2014, pp. 281–84.
LibreCat: /record/8065

Fazal-Baqaie, Masud, et al. “Agile Entwicklung Mit On- Und Offshore-Partnern – Methodenverbesserung in Der Praxis.” Proceedings of Projektmanagement Und Vorgehensmodelle 2014, GI, Köllen Druck+Verlag GmbH, Bonn, 2014, pp. 59–69.
LibreCat: /record/8066

Arifulina, Svetlana, et al. Configuration of Specification Language and Matching for Services in On-The-Fly Computing. Heinz Nixdorf Institute, University of Paderborn, 2014.
LibreCat: /record/8224