Saveta, Tzanina, et al. “Pushing the Limits of Instance Matching Systems: A Semantics-Aware Benchmark for Linked Data.”10.1145/2740908.2742729__Proceedings of the 24th International Conference on World Wide Web Companion, WWW 2015, Florence, Italy, May 18-22, 2015 - Companion Volume, edited by Aldo Gangemi et al., ACM, 2015, pp. 105–06, doi:10.1145/2740908.2742729.

Martin, Michael, et al. “CubeViz: Exploration and Visualization of Statistical Linked Data.”10.1145/2740908.2742848__Proceedings of the 24th International Conference on World Wide Web Companion, WWW 2015, Florence, Italy, May 18-22, 2015 - Companion Volume, edited by Aldo Gangemi et al., ACM, 2015, pp. 219–22, doi:10.1145/2740908.2742848.

Soru, Tommaso, et al. “ROCKER: A Refinement Operator for Key Discovery.”10.1145/2736277.2741642__Proceedings of the 24th International Conference on World Wide Web, WWW 2015, Florence, Italy, May 18-22, 2015, edited by Aldo Gangemi et al., ACM, 2015, pp. 1025–33, doi:10.1145/2736277.2741642.

Usbeck, Ricardo, et al. “GERBIL: General Entity Annotator Benchmarking Framework.”10.1145/2736277.2741626__Proceedings of the 24th International Conference on World Wide Web, WWW 2015, Florence, Italy, May 18-22, 2015, edited by Aldo Gangemi et al., ACM, 2015, pp. 1133–43, doi:10.1145/2736277.2741626.

Lehmann, Jens, et al. “Managing Geospatial Linked Data in the GeoKnow Project.”10.3233/978-1-61499-501-2-51__The Semantic Web in Earth and Space Science. Current Status and Future Directions, edited by Tom Narock and Peter Fox, vol. 20, IOS Press, 2015, pp. 51–78, doi:10.3233/978-1-61499-501-2-51.

Böhm, Julian, et al. “Microwave Experiments Simulating Quantum Search and Directed Transport in Artificial Graphene.”10.1103/physrevlett.114.110501__Physical Review Letters, 2015, doi:10.1103/physrevlett.114.110501.

Schäfer, Rudi, et al. “Compounding Approach for Univariate Time Series with Nonstationary Variances.”10.1103/physreve.92.062901__Physical Review E, 2015, doi:10.1103/physreve.92.062901.

Hallmann, Corinna. Optimierung von Wasserbehältern in einem Wasserversorgungssystem mittels einer Kombination aus Netzreduktion, mathematischer Optimierung und hydraulischer Simulation. Universität Paderborn, 2015.

Elster, Fabian, et al. “Quantum Walk Coherences on a Dynamical Percolation Graph.”10.1038/srep13495__Scientific Reports, 2015, doi:10.1038/srep13495.

Keil, Reinhard, and Harald Selke, editors. 20 Years of Learning with the World Wide Web - Technology and Education in Dialogue. publishing series of the Heinz Nixdorf Institute, Paderborn, 2015.

Keil, Reinhard, and Harald Selke. Learn with, through and  "about the WWW. Edited by Reinhard Keil and Harald  Selke, vol. 330, Publishing series of the Heinz Nixdorf Institute, Paderborn, 2015, pp. 1–7.

Keil, Reinhard, and Harald Selke. Virtual Knowledge  “A Ume - From the Presentation of Content to Virtual Learning \rdblquote  A Tten. Edited by Reinhard Keil and Harald Selke, vol. 330, publishing series of the Heinz Nixdorf Institute, Paderborn, 2015, pp. 39–53.

Klompmaker, Florian. Development of a Structured Process of Interaction Design for  “U r Nat \rdblquote  U Local User Interfaces. Universitaetsbibliothek Paderborn, 2015.

Schild, Christian, and Vanessa Petrausch. “Empirical Validation of Design Patterns.” Human and Computer 2015 - Proceedings, De Gruyter Oldenbourg, 2015, pp. 173–82.

Markarian, Christine, and Friedhelm Meyer auf der Heide. “Online Resource Leasing.”10.1145/2767386.2767454__Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC), 2015, pp. 343–44, doi:10.1145/2767386.2767454.

Hellmich, Frank, and Gamze Görel. “Einstellungen von Grundschullehrkräften zum inklusiven Lernen in Abhängigkeit von dem Umfang an Erfahrungen aus dem Unterricht mit Kindern mit unterschiedlichen sonderpädagogischen Förderbedarfen.” Veränderung und Beständigkeit in Zeiten der Inklusion. Perspektiven sonderpädagogischer Professionalisierung, edited by Hubertus  Redlich et al., Klinkhardt, 2015, pp. 178–88.

Markarian, Christine. Online Resource Leasing. Universität Paderborn, 2015.

Blumberg, Eva, et al. “Entwicklung naturwissenschaftlich-technischer Lehr-Lernangebote für inklusiven Sachunterricht.”10.1007/978-3-658-11346-9_31__Lernprozessbegleitung und adaptives Lernen in der Grundschule. Forschungsbezogene Beiträge, edited by Katrin Liebers et al., Springer VS, 2015, pp. 235–36, doi:10.1007/978-3-658-11346-9_31.

Ort, Margarita, and Frank Hellmich. “Kausalattributionen von Leseerfolgen und Lesemisserfolgen bei Kindern im Leseunterricht der Grundschule.”10.1007/978-3-658-11944-7_31__Facetten grundschulpädagogischer und -didaktischer Forschung, edited by Katrin Liebers et al., Springer VS, 2015, pp. 199–204, doi:10.1007/978-3-658-11944-7_31.

Hellmich, Frank. “Lesestrategien und Leseerfolg bei Kindern im vierten Grundschuljahr – Analysen mit Fragebogen- und Beobachtungsverfahren.” Innovative Erhebungsmethoden – dargestellt an verschiedenen Forschungsprojekten, edited by Astrid Kaiser, Schneider Hohengehren, 2015, pp. 84–98.

Lange, Alexander. Online Bewertungssysteme – Ein systematischer Überblick. Universität Paderborn, 2015.

Klünder, Nina. “Gesellschaftliche und kulturelle Bedeutung von Mittagsverpflegung in Gießener Kindertagesstätten.” Hauswirtschaft und Wissenschaft , vol. 63, no. 1, 2015, pp. 45–47.

Meier-Gräwe, Uta, and Nina Klünder. “Verpflegung in Kindertagesstätten gestalten – Ergebnisse einer qualitativen Studie.” KiTa aktuell, vol. 23, no. 6, 2015, pp. 143–44.

Wiersema, Tobias, et al. “On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach.”10.1007/978-3-319-16214-0_32__Proceedings of the International Symposium in Reconfigurable Computing (ARC), 2015, pp. 365--372, doi:10.1007/978-3-319-16214-0_32.

Wright, C. J., et al. “Effects of Human Milk and Formula on Postprandial Glycaemia and Insulinaemia.”10.1038/ejcn.2015.29__European Journal of Clinical Nutrition, 2015, pp. 939–43, doi:10.1038/ejcn.2015.29.

Goletzke, Janina, et al. “Dietary Micronutrient Intake during Pregnancy Is a Function of Carbohydrate Quality.”10.3945/ajcn.114.104836__The American Journal of Clinical Nutrition, 2015, pp. 626–32, doi:10.3945/ajcn.114.104836.

Günther, Anke L. B., et al. “Early Diet and Later Cancer Risk: Prospective Associations of Dietary Patterns During Critical Periods of Childhood with the GH-IGF Axis, Insulin Resistance and Body Fatness in Younger Adulthood.”10.1080/01635581.2015.1056313__Nutrition and Cancer, 2015, pp. 877–92, doi:10.1080/01635581.2015.1056313.

Krupp, Danika, et al. “Relevance of Fruits, Vegetables and Flavonoids from Fruits and Vegetables during Early Life, Mid-Childhood and Adolescence for Levels of Insulin-like Growth Factor (IGF-1) and Its Binding Proteins IGFBP-2 and IGFBP-3 in Young Adulthood.”10.1017/s0007114515004742__British Journal of Nutrition, 2015, pp. 527–37, doi:10.1017/s0007114515004742.

Penczynski, Katharina J., et al. “Relative Validation of 24-h Urinary Hippuric Acid Excretion as a Biomarker for Dietary Flavonoid Intake from Fruit and Vegetables in Healthy Adolescents.”10.1007/s00394-015-1121-9__European Journal of Nutrition, 2015, pp. 757–66, doi:10.1007/s00394-015-1121-9.

Caragiannis, Ioannis, et al. “Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure.”10.1145/2614687__Transactions on Economics and Computation, vol. 3, no. 1, 2, ACM, 2015, doi:10.1145/2614687.

Eidens, Fabian. Anonymous Credential System Based on Q-Strong Diffie-Hellman Assumption. Universität Paderborn, 2015.

Blömer, Johannes, et al. “Anonymous and Publicly Linkable Reputation Systems.”10.1007/978-3-662-47854-7_29__Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC), 2015, pp. 478--488, doi:10.1007/978-3-662-47854-7_29.

Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service Composition in Markets of Composed Services.”10.1186/s13174-015-0022-8__Journal of Internet Services and Applications, no. 1, Springer, 2015, pp. 1–18, doi:10.1186/s13174-015-0022-8.

Mohr, Felix. “A Metric for Functional Reusability of Services.”10.1007/978-3-319-14130-5_21__Proceedings of the 14th International Conference on Software Reuse (ICSR), 2015, pp. 298--313, doi:10.1007/978-3-319-14130-5_21.

Löken, Nils. A Group Signature Scheme with Distributed Group Management - An Application of Threshold Encryption. Universität Paderborn, 2015.

Heihoff, Frederic. A Group Signature Scheme Based on the LSRW Assumption. Universität Paderborn, 2015.

Kniesburges, Sebastian, et al. “A Deterministic Worst-Case Message Complexity Optimal Solution for Resource Discovery.”10.1016/j.tcs.2014.11.027__Theoretical Computer Science, Elsevier, 2015, pp. 67–79, doi:10.1016/j.tcs.2014.11.027.

Beverungen, Daniel, et al. “Will They Die Another Day? A Decision Support Perspective on Reusing Electric Vehicle Batteries.” Proceedings of the Twenty-Third European Conference on Information Systems (ECIS 2015), 2015.

Klör, Benjamin, et al. “A Market for Trading Used Electric Vehicle Batteries — Theoretical Foundations and Information Systems.” Proceedings of the Twenty-Third European Conference on Information Systems (ECIS 2015), 2015.

Gries, Thomas, and Irene Palnau. “Sustaining Civil Peace: A Configurational Comparative Analysis.”10.1515/peps-2015-0020__Peace Economics, Peace Science and Public Policy, vol. 21, no. 4, 2015, pp. 467–78, doi:10.1515/peps-2015-0020.

Gries, Thomas, et al. “Oppressive Governments, Dependence on the United States and Anti-American Terrorism.”10.1093/oep/gpu038__Oxford Economic Papers, vol. 67, no. 1, 2015, pp. 83–103, doi:10.1093/oep/gpu038.

Fanasch, Patrizia. Erfolg durch Persönlichkeit? Der Einfluss der Markenpersönlichkeit auf den Zusammenhang von Reputation und Unternehmenserfolg. Universität Paderborn, 2015.

Walczok, Gregor Paul. Die Veränderung des Mobilfunkmarktes durch die Discountanbieter. Universität Paderborn, 2015.

Bubeck, Uwe, and Hans Kleine Büning. “Learning Boolean Specifications.”10.1016/j.artint.2015.09.003__Artificial Intelligence, Elsevier, 2015, pp. 246–57, doi:10.1016/j.artint.2015.09.003.

Knorr, Christoph. Evaluation von Bildverarbeitungsalgorithmen in heterogenen Rechenknoten. Universität Paderborn, 2015.

Klör, Benjamin, et al. “A Domain-Specific Modeling Language for Electric Vehicle Batteries.” Proceedings of the 12. International Conference on Wirtschaftsinformatik 2015 (WI 2015), 2015, pp. 1038--1054.

Monhof, Markus, et al. “Extending Battery Management Systems for Making Informed Decisions on Battery Reuse.”10.1007/978-3-319-18714-3_37__New Horizons in Design Science: Broadening the Research Agenda, edited by Brian Donnellan et al., 2015, pp. 447--454, doi:10.1007/978-3-319-18714-3_37.

Euler, Dieter, and Peter F. E. Sloane. “Neue Bildungslandschaften - Kommunales Bildungsmanagement als Zukunftsaufgabe.” Zeitschrift für Berufs-und Wirtschaftspädagogik, vol. 111, no. 1, 2015, pp. 1--10.

Fischer, Christoph, and Christian Harteis. “Die Bedeutung Subjektiver Sichtweisen Für Die Implementierung Betrieblicher Lernkultur.” Informelles Lernen, Annäherungen - Problemlagen - Forschungsbefunde, edited by Gerhard Niedermair, Trauner, 2015, pp. 107--123.

Harteis, Christian, et al. “Effects of Age, Gender and Occupation on Perceived Workplace Learning Support.” International Journal of Training Research, vol. 13, no. 1, 2015, pp. 64--81.

Harteis, Christian. “Bedingungsfaktoren Beruflichen Könnens.” Konzepte Und Ergebnisse Ausgewählter Forschungsfelder Der Beruflichen Bildung, edited by Andreas Rausch et al., Schneider Hohengehren, 2015, pp. 157–74.

Kiesel, Johannes, et al. “A Shared Task on Argumentation Mining in Newspaper Editorials.”10.3115/v1/W15-0505__Proceedings of the 2nd Workshop on Argumentation Mining, 2015, pp. 35--38, doi:10.3115/v1/W15-0505.

Kiesel, Johannes, et al. “A Shared Task on Argumentation Mining in Newspaper Editorials.”10.3115/v1/W15-0505__Proceedings of the 2nd Workshop on Argumentation Mining, 2015, pp. 35--38, doi:10.3115/v1/W15-0505.

Wachsmuth, Henning, et al. “Sentiment Flow - A General Model of Web Review Argumentation.”10.18653/v1/D15-1072__Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, edited by Junichi Tsujii and Jan Hajic, 2015, pp. 601–11, doi:10.18653/v1/D15-1072.

Civitci, F., et al. “Planar Prism Spectrometer Based on Adiabatically Connected Waveguiding Slabs.”10.1016/j.optcom.2015.11.066__Optics Communications, vol. 365, Elsevier BV, 2015, pp. 29–37, doi:10.1016/j.optcom.2015.11.066.

Hammer, Manfred, et al. “Full Resonant Transmission of Semiguided Planar Waves Through Slab Waveguide Steps at Oblique Incidence.”10.1109/jlt.2015.2502431__Journal of Lightwave Technology, vol. 34, no. 3, Institute of Electrical and Electronics Engineers (IEEE), 2015, pp. 997–1005, doi:10.1109/jlt.2015.2502431.

Wachsmuth, Henning. Text Analysis Pipelines - Towards Ad-Hoc Large-Scale Text Mining. 2015, doi:http://dx.doi.org/10.1007/978-3-319-25741-9.

Losquin, Arthur, et al. “Unveiling Nanometer Scale Extinction and Scattering Phenomena through Combined Electron Energy Loss Spectroscopy and Cathodoluminescence Measurements.”10.1021/nl5043775__Nano Letters, vol. 15, no. 2, American Chemical Society (ACS), 2015, pp. 1229–37, doi:10.1021/nl5043775.

Hammer, Manfred, et al. “How Planar Optical Waves Can Be Made to Climb Dielectric Steps.”10.1364/ol.40.003711__Optics Letters, vol. 40, no. 16, The Optical Society, 2015, pp. 3711–14, doi:10.1364/ol.40.003711.

Kou, Yao, and Jens Förstner. “Subwavelength Binary Plasmonic Solitons.”10.1364/ol.40.000851__Optics Letters, vol. 40, no. 6, The Optical Society, 2015, pp. 851–54, doi:10.1364/ol.40.000851.

Mantei, D., et al. “Robust Population Inversion by Polarization Selective Pulsed Excitation.”10.1038/srep10313__Scientific Reports, vol. 5, no. 1, Springer Nature, 2015, p. 10313, doi:10.1038/srep10313.

Cox, Joe, and Daniel Kaimann. “How Do Reviews from Professional Critics Interact with Other Signals of Product Quality? Evidence from the Video Game Industry.”10.1002/cb.1553__Journal of Consumer Behaviour, vol. 14, no. 6, Wiley Online Library, 2015, pp. 366–77, doi:10.1002/cb.1553.

Herrmann, Philipp, et al. “How Do Different Sources of the Variance of Consumer Ratings Matter?” Proceedings of the 36th International Conference on Information Systems (ICIS), Fort Worth, 2015.

Besova, Galina, et al. “Grammar-Based Model Transformations: Definition, Execution, and Quality Properties.”10.1016/j.cl.2015.05.003__Computer Languages, Systems &; Structures, Elsevier, 2015, pp. 116–38, doi:10.1016/j.cl.2015.05.003.

Börding, Paul. Fuzzy Matching von Vor- und Nachbedingungen in Servicespezikationen. Universität Paderborn, 2015.

Osburg, Christina. Fusionen von gesetzlichen Krankenversicherungen zu den Effizienz- und Wechselwirkungen. Universität Paderborn, 2015.

Blazy, Olivier, et al. “Tightly-Secure Signatures from Chameleon Hash Functions.”10.1007/978-3-662-46447-2_12__Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2015, pp. 256–79, doi:10.1007/978-3-662-46447-2_12.

Geierhos, Michaela, et al. “Filtering Reviews by Random Individual Error.”10.1007/978-3-319-19066-2_30__Proceedings of the 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2015), edited by Moonis10.1007/978-3-319-19066-2_30__Ali et al., vol. 9101, Springer, 2015, pp. 305–15, doi:10.1007/978-3-319-19066-2_30.

Materna, GinaJoanna. Fair Trade - Eine neue Perspektive in der internationalen Handelspolitik. Universität Paderborn, 2015.

Goronczewski, Patricia. Fair Trade - An Economic Investigation of Benefits and Drawbacks. Universität Paderborn, 2015.

Sosniak, Martin. Evaluation of Pairing Optimization for Embedded Platforms. Universität Paderborn, 2015.

Plonka, Dennis. Entwicklung von Ablösesummen und Gehälter in der Fußball-Bundesliga - Salary Caps als mögliches Modell der Chancengleichheit. Universität Paderborn, 2015.

Gerken, Britta. Elektromagnetische Seitenkanalangriffe auf paarungsbasierte Kryptographie. Universität Paderborn, 2015.

Betz, Stefan, editor. Ausgewählte Probleme des Logistikmanagements. 2nd ed., 2015.

Neumann, Conrad. Ein Framework für Fuzzy Service Matching basierend auf Fuzzy Sets. Universität Paderborn, 2015.

Bobolz, Jan. Efficient Verifier-Local Revocation for Anonymous Credentials. Universität Paderborn, 2015.

Stroh, Christian. Efficient Attributes for Pairing-Based Anonymous Credentials. Universität Paderborn, 2015.

Koutsopoulos, Andreas. Dynamics and Efficiency in Topological Self-Stabilization. Universität Paderborn, 2015.

Kniesburges, Sebastian. Distributed Data Structures and the Power of Topological Self-Stabilization. Universität Paderborn, 2015.

Kunisch, Christina. Diffusion of Innovations in Social Networks. Universität Paderborn, 2015.

Reimann, Alina. Die Wirksamkeit von Zertifikaten als Qualitätssignal. Universität Paderborn, 2015.

Topal, Barlas. Die Einführung der EU-Merger Guidelines - Effizienz und Wohlfahrtswirkungen. Universität Paderborn, 2015.

Bruns, Melanie. Design of an Evaluation Strategy for Fuzzy Service Matching. Universität Paderborn, 2015.

Schleiter, Patrick. Constructions of Fully Secure Predicate Encryption Schemes. Universität Paderborn, 2015.

Böhl, Florian, et al. “Confined Guessing: New Signatures From Standard Assumptions.”10.1007/s00145-014-9183-z__J. Cryptology, no. 1, 2015, pp. 176--208, doi:10.1007/s00145-014-9183-z.

Jager, Tibor, et al. “On the Security of TLS 1.3 and QUIC Against Weaknesses in PKCS .5 Encryption.”10.1145/2810103.2813657__Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, Denver, CO, USA, October 12-16, 2015, 2015, pp. 1185--1196, doi:10.1145/2810103.2813657.

Jager, Tibor, et al. “Practical Invalid Curve Attacks on TLS-ECDH.”10.1007/978-3-319-24174-6_21__Computer Security - ESORICS 2015 - 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21-25, 2015, Proceedings, Part I, 2015, pp. 407--425, doi:10.1007/978-3-319-24174-6_21.

Heuer, Felix, et al. “On the Selective Opening Security of Practical Public-Key Encryption Schemes.”10.1007/978-3-662-46447-2_2__Public-Key Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings, 2015, pp. 27--51, doi:10.1007/978-3-662-46447-2_2.

Bergsma, Florian, et al. “One-Round Key Exchange with Strong Security: An Efficient and Generic Construction in the Standard Model.”10.1007/978-3-662-46447-2_21__Public-Key Cryptography - PKC 2015 - 18th IACR International Conference on Practice and Theory in Public-Key Cryptography, Gaithersburg, MD, USA, March 30 - April 1, 2015, Proceedings, 2015, pp. 477--494, doi:10.1007/978-3-662-46447-2_21.

Jager, Tibor. “Verifiable Random Functions from Weaker Assumptions.”10.1007/978-3-662-46497-7_5__Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part II, 2015, pp. 121--143, doi:10.1007/978-3-662-46497-7_5.

Bader, Christoph, et al. “Tightly-Secure Authenticated Key Exchange.”10.1007/978-3-662-46494-6_26__Theory of Cryptography - 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I, 2015, pp. 629--658, doi:10.1007/978-3-662-46494-6_26.

Börding, Paul, et al. “Comprehensive Service Matching with MatchBox.”10.1145/2786805.2803181__10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’15), 2015, pp. 974--977, doi:10.1145/2786805.2803181.

Brangewitz, Sonja, and Jochen Manegold. Competition and Product Innovation of Intermediaries in a Differentiated Duopoly. Universität Paderborn, 2015.

Jungmann, Alexander, et al. “Combining Service-Oriented Computing with Embedded Systems - A Robotics Case Study.” Proceedings of the 5th IFIP International Embedded Systems Symposium, 2015.

Pautz, Jannis. Budget Games with Priced Strategies. Universität Paderborn, 2015.

Ziegert, Steffen, and Heike Wehrheim. “Temporal Plans for Software Architecture Reconfiguration.”10.1007/s00450-014-0259-7__Computer Science - R &; D, no. 3–4, 2015, pp. 303--320, doi:10.1007/s00450-014-0259-7.

Meyer, Roland, and Heike Wehrheim. “From Program Verification to Time and Space: The Scientific Life of Ernst-R\'22udiger Olderog.”10.1007/978-3-319-23506-6_1__Correct System Design - Symposium in Honor of Ernst-R\'22udiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings, edited by Roland Meyer et al., 2015, pp. 3--4, doi:10.1007/978-3-319-23506-6_1.

Derrick, John, et al. “Verifying Opacity of a Transactional Mutex Lock.”10.1007/978-3-319-19249-9_11__FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, edited by Nikolaj Bjrner and Frank S. de Boer, 2015, pp. 161--177, doi:10.1007/978-3-319-19249-9_11.

Wehrheim, Heike, and Oleg Travkin. “TSO to SC via Symbolic Execution.”10.1007/978-3-319-26287-1_7__Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings, edited by Nir Piterman, 2015, pp. 104--119, doi:10.1007/978-3-319-26287-1_7.

Meyer, Roland, et al., editors. Correct System Design - Symposium in Honor of Ernst-R\'22udiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. 2015, doi:10.1007/978-3-319-23506-6.