Blömer J, Bujna K, Kuntze D. A Theoretical and Experimental Comparison of the EM and SEM Algorithm. In: 2014 22nd International Conference on Pattern Recognition. IEEE; 2014. doi:10.1109/icpr.2014.253
LibreCat: /record/2977
DOI: 10.1109/icpr.2014.253

Jager T. Die Zukunft der Kryptographie. Datenschutz und Datensicherheit. 2014;(7):445--451. doi:10.1007/s11623-014-0204-8
LibreCat: /record/3127
DOI: 10.1007/s11623-014-0204-8

Fleischhacker N, Jager T, Schröder D. On Tight Security Proofs for Schnorr Signatures. In: Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I. ; 2014:512--531. doi:10.1007/978-3-662-45611-8_27
LibreCat: /record/3128
DOI: 10.1007/978-3-662-45611-8_27

Schneider S, Treharne H, Wehrheim H. The behavioural semantics of Event-B refinement. Formal Asp Comput. 2014;(2):251--280. doi:10.1007/s00165-012-0265-0
LibreCat: /record/3167
DOI: 10.1007/s00165-012-0265-0

Tofan B, Travkin O, Schellhorn G, Wehrheim H. Two approaches for proving linearizability of multiset. Sci Comput Program. 2014:297--314. doi:10.1016/j.scico.2014.04.001
LibreCat: /record/3168
DOI: 10.1016/j.scico.2014.04.001

Schellhorn G, Derrick J, Wehrheim H. A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. ACM Trans Comput Log. 2014;(4):31:1--31:37. doi:10.1145/2629496
LibreCat: /record/3169
DOI: 10.1145/2629496

Derrick J, Dongol B, Schellhorn G, Tofan B, Travkin O, Wehrheim H. Quiescent Consistency: Defining and Verifying Relaxed Linearizability. In: B. Jones C, Pihlajasaari P, Sun J, eds. FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:200--214. doi:10.1007/978-3-319-06410-9_15
LibreCat: /record/3170
DOI: 10.1007/978-3-319-06410-9_15

Travkin O, Wehrheim H. Handling TSO in Mechanized Linearizability Proofs. In: Yahav E, ed. Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:132--147. doi:10.1007/978-3-319-13338-6_11
LibreCat: /record/3171
DOI: 10.1007/978-3-319-13338-6_11

Isenberg T, Wehrheim H. Timed Automata Verification via I with Zones. In: Merz S, Pang J, eds. Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014: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 S, Treharne H, Wehrheim H, M. Williams D. Managing LTL Properties in Event-B Refinement. In: Albert E, Sekerinski E, eds. Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Lecture Notes in Computer Science. ; 2014:221--237. doi:10.1007/978-3-319-10181-1_14
LibreCat: /record/3173
DOI: 10.1007/978-3-319-10181-1_14

Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing LTL properties in Event-B refinement. CoRR. 2014.
LibreCat: /record/3174

Isenberg T, Wehrheim H. Proof-Carrying Hardware via I. CoRR. 2014.
LibreCat: /record/3175

Keil R, Selke H, Winkelnkemper F. Twenty years of learning with the World Wide Web. Trahasch S,  Pl  "o tzner  R, Schneider G, Gayer C, Sassiat D, W  "o hrle N, eds. Published online 2014:51–60.
LibreCat: /record/27166

Winkelnkemper F, Keil R. Zwischen Design und Flexibilit\'22at - Zur Ergonomie des Flat Design. In: Butz A,  Schlichter J, eds. Vol 2014. Oldenbourg Verlag; 2014:255-264.
LibreCat: /record/27167

Brenner C, Greenyer J, Holtmann J, Liebel G, Stieglbauer G, Tichy M. ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study. In: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014). ; 2014.
LibreCat: /record/20983

Polevoy G, Trajanovski S, de Weerdt MM. Nash Equilibria in Shared Effort Games. In: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems. AAMAS ’14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems; 2014:861-868.
LibreCat: /record/17659

Polevoy G, de Weerdt MM. Improving Human Interaction in Crowdsensing. In: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems. AAMAS ’14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems; 2014:1741-1742.
LibreCat: /record/17660

King TC, Liu Q, Polevoy G, et al. Request Driven Social Sensing. In: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems. AAMAS ’14. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems; 2014:1651-1652.
LibreCat: /record/17661

Polevoy G, Smorodinsky R, Tennenholtz M. Signaling Competition and Social Welfare. ACM Trans Econ Comput. 2014;2(1):1:1-1:16. doi:10.1145/2560766
LibreCat: /record/17662
DOI: 10.1145/2560766

Steinle T, Vrabec J, Walther A. Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres. In: Bock HG, Hoang XP, Rannacher R, Schlöder JP, eds. Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC). Springer International Publishing; 2014:233-243. doi:10.1007/978-3-319-09063-4_19
LibreCat: /record/1781
DOI: 10.1007/978-3-319-09063-4_19

Graf T, Schaefers L, Platzner M. On Semeai Detection in Monte-Carlo Go. In: Proc. Conf. on Computers and Games (CG). Lecture Notes in Computer Science. Switzerland: Springer; 2014:14-25. doi:10.1007/978-3-319-09165-5_2
LibreCat: /record/1782
DOI: 10.1007/978-3-319-09165-5_2

Petring R. Multi-Algorithmen-Rendering: Darstellung Heterogener 3-D-Szenen in Echtzeit. Universität Paderborn; 2014.
LibreCat: /record/19039

Pohlmann U, Holtmann J, Meyer M, Gerking C. Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems. In: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE Xplore; 2014.
LibreCat: /record/20905

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

Pohlmann U, Dziwok S, Meyer M, Tichy M, Thiele S. A Modelica Coordination Pattern Library for Cyber-Physical Systems. In: Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques. ; 2014.
LibreCat: /record/20908

Becker S, Dziwok S, Gerking C, et al. The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling.; 2014.
LibreCat: /record/20909

Pohlmann U, Meyer M, Dann AP, Brink C. Viewpoints and Views in Hardware Platform Modeling for Safe Deployment. In: Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling. ACM, New York, NY, USA; 2014:23:23-23:30.
LibreCat: /record/20910

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

Hinnenthal K. Formbildung Selbstorganisierender Partikelsysteme.; 2014.
LibreCat: /record/18002

Wette P, Karl H. Incorporating feedback from application layer into routing and wavelength assignment algorithms. In: 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 R, W. Richa A, Scheideler C, Schmid S, Täubig H. SKIP*: A Self-Stabilizing Skip Graph. J ACM. 2014;(6):36:1--36:26. doi:10.1145/2629695
LibreCat: /record/1858
DOI: 10.1145/2629695

Derakhshandeh Z, Dolev S, Gmyr R, W. Richa A, Scheideler C, Strothmann TF. Brief announcement: amoebot - a new model for programmable matter. In: 26th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA’14, Prague, Czech Republic - June 23 - 25, 2014. ACM; 2014:220--222. doi:10.1145/2612669.2612712
LibreCat: /record/1863
DOI: 10.1145/2612669.2612712

Kühn A, Bremer C, Dumitrescu R, Gausemeier J. Feature models supporting trade-off decisions in early mechatronic systems design. In: NordDesign 2014, Espoo, Finnland, 27. - 29. Aug. 2014. ; 2014.
LibreCat: /record/22903

Gausemeier J, Dumitrescu R, Jasperneite J, Kühn A, Trsek H. Der Spitzencluster it’s OWL auf dem Weg zur Industrie 4.0. ZWF - Zeitschrift für Wirtschaftlichen Fabrikbetrieb. 2014:336-346.
LibreCat: /record/22904

Mahadhir KA, Tan SC, Low C, Dumitrescu R, Amin ATM, Jaffar A. Terrain Classification for Track-driven Agricultural Robots. Procedia Technology. 2014:776-783.
LibreCat: /record/22905

Dorociak R, Dumitrescu R, Gausemeier J, Iwanek P. Specification Technique CONSENS for the Description of Self-optimizing Systems. In: Gausemeier J, Rammig F-J, Schäfer W, eds. Design Methodology for Intelligent Technichal Systems. Springer; 2014.
LibreCat: /record/22906

Kühn A, Kliewe D, Dumitrescu R, Gausemeier J. Strategy controlling for innovation clusters - the example of ’s OWL.” In: ISPIM Conference 2014. ; 2014.
LibreCat: /record/22907

Dumitrescu R, Fechtelpeter C, Kühn A. Systematische Berücksichtigung von Fertigungsanforderungen im Model-Based Systems Engineering. In: Maurer M, Schulze S-O, eds. Tag des Systems Engineering, Bremen. München: Carl Hanser Verlag; 2014.
LibreCat: /record/22908

Rabe M, Anacker H, Dumitrescu R. Methodology for the identification of solution patterns within mechatronic systems. In: Proceedings of the 15th International Workshop on Research and Education in Mechatronics (REM), El Gouna, Egypt. ; 2014.
LibreCat: /record/22909

Tschirner C, Kaiser L, Dumitrescu R, Gausemeier J. Collaboration in Model-Based Systems Engineering based on Application Scenarios. In: NordDesign 2014. ; 2014.
LibreCat: /record/22910

Jürgenhake C, Fechtelpeter C, Dumitrescu R, Heidsiek D. Optimized process sequences for prototyping of molded interconnect devices. Advanced Materials Research. 2014:19-27.
LibreCat: /record/22911

Schierbaum T, Gausemeier J, Dumitrescu R. 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. 2014:3-9.
LibreCat: /record/22912

Bailey M, Law C. A Summer Blender Camp: Modeling, Rendering, and Animation for High School Students. IEEE Computer Graphics and Applications. 2014;34(1):65-67. doi:10.1109/MCG.2014.4
LibreCat: /record/21741
DOI: 10.1109/MCG.2014.4

Dias P, Sousa T, Parracho J, Cardoso I, Monteiro A, Santos BS. Student Projects Involving Novel Interaction with Large Displays. IEEE Computer Graphics and Applications. 2014;34(2):80-86. doi:10.1109/MCG.2014.35
LibreCat: /record/21742
DOI: 10.1109/MCG.2014.35

Repenning A, C. Webb D, Brand C, et al. Beyond Minecraft: Facilitating Computational Thinking through Modeling and Programming in 3D. IEEE Computer Graphics and Applications. 2014;34(3):68-71. doi:10.1109/MCG.2014.46
LibreCat: /record/21743
DOI: 10.1109/MCG.2014.46

Reina G, Müller T, Ertl T. Incorporating Modern OpenGL into Computer Graphics Education. IEEE Computer Graphics and Applications. 2014;34(4):16-21. doi:10.1109/MCG.2014.69
LibreCat: /record/21744
DOI: 10.1109/MCG.2014.69

Cao M, Li Y, Pan Z, et al. Creative Educational Use of Virtual Reality: Working with Second Life. Computer Graphics and Applications, IEEE. 2014;34: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. IEEE Computer Graphics and Applications. 2014;34(6):12-15. doi:10.1109/MCG.2014.112
LibreCat: /record/21746
DOI: 10.1109/MCG.2014.112

Nüske F, Keller BG, Pérez-Hernández G, Mey ASJS, Noé F. Variational Approach to Molecular Kinetics. Journal of Chemical Theory and Computation. 2014:1739-1752. doi:10.1021/ct4009156
LibreCat: /record/21936
DOI: 10.1021/ct4009156

Weskamp  C, John  T, Kundisch  D, Teetz A, Rose M, eds. Towards a Simulation-Based Approach for Evaluating Business Models for the Electric Vehicle Market. Brussels; 2014.
LibreCat: /record/7761