Fleischhacker, N., Jager, T., &; Schröder, D. (2014). 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 (pp. 512--531).https://doi.org/10.1007/978-3-662-45611-8_27 

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

Tofan, B., Travkin, O., Schellhorn, G., &; Wehrheim, H. (2014). Two approaches for proving linearizability of multiset. Sci. Comput. Program., 297--314.https://doi.org/10.1016/j.scico.2014.04.001 

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

Derrick, J., Dongol, B., Schellhorn, G., Tofan, B., Travkin, O., &; Wehrheim, H. (2014). Quiescent Consistency: Defining and Verifying Relaxed Linearizability. In C. B. Jones, P. Pihlajasaari, &; J. Sun (Eds.), FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (pp. 200--214).https://doi.org/10.1007/978-3-319-06410-9_15 

Travkin, O., &; Wehrheim, H. (2014). Handling TSO in Mechanized Linearizability Proofs. In E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings (pp. 132--147).https://doi.org/10.1007/978-3-319-13338-6_11 

Isenberg, T., &; Wehrheim, H. (2014). Timed Automata Verification via I with Zones. In S. Merz &; J. Pang (Eds.), Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings (pp. 203--218).https://doi.org/10.1007/978-3-319-11737-9_14 

A. Schneider, S., Treharne, H., Wehrheim, H., &; M. Williams, D. (2014). Managing LTL Properties in Event-B Refinement. In E. Albert &; E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (pp. 221--237).https://doi.org/10.1007/978-3-319-10181-1_14 

Schneider, S., Treharne, H., Wehrheim, H., &; M. Williams, D. (2014). Managing LTL properties in Event-B refinement. CoRR.

Isenberg, T., &; Wehrheim, H. (2014). Proof-Carrying Hardware via I. CoRR.

Keil, R., Selke, H., &; Winkelnkemper, F. (2014). Twenty years of learning with the World Wide Web (S. Trahasch, R.  Pl  "o tzner , G. Schneider, C. Gayer, D. Sassiat, &; N. W  "o hrle, Eds.; pp. 51–60).

Winkelnkemper, F., &; Keil, R. (2014). Zwischen Design und Flexibilit\'22at - Zur Ergonomie des Flat Design (A. Butz &; J.  Schlichter, Eds.; Vol. 2014, pp. 255–264). Oldenbourg Verlag.

Brenner, C., Greenyer, J., Holtmann, J., Liebel, G., Stieglbauer, G., &; Tichy, M. (2014). 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).

Polevoy, G., Trajanovski, S., &; de Weerdt, M. M. (2014). Nash Equilibria in Shared Effort Games. In Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems (pp. 861–868). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.

Polevoy, G., &; de Weerdt, M. M. (2014). Improving Human Interaction in Crowdsensing. In Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems (pp. 1741–1742). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.

King, T. C., Liu, Q., Polevoy, G., de Weerdt, M., Dignum, V., van Riemsdijk, M. B., &; Warnier, M. (2014). Request Driven Social Sensing. In Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems (pp. 1651–1652). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.

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

Steinle, T., Vrabec, J., &; Walther, A. (2014). Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres. In H. G. Bock, X. P. Hoang, R. Rannacher, &; J. P. Schlöder (Eds.), Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC) (pp. 233–243). Springer International Publishing.https://doi.org/10.1007/978-3-319-09063-4_19 

Graf, T., Schaefers, L., &; Platzner, M. (2014). On Semeai Detection in Monte-Carlo Go. In Proc. Conf. on Computers and Games (CG) (pp. 14–25). Switzerland: Springer.https://doi.org/10.1007/978-3-319-09165-5_2 

Petring, R. (2014). Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit. Universität Paderborn.