Jungmann, Alexander, and Bernd Kleinjohann. “Towards Context-Sensitive Service Composition for Service-Oriented Image Processing.” Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), IEEE, 2014, pp. 755–58.
LibreCat: /record/25112

Jungmann, Alexander, et al. “Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services.” International Journal on Advances in Intelligent Systems 7(3&;4), 2014, pp. 572–94.
LibreCat: /record/25114

Jungmann, Alexander, et al. “Applying Reinforcement Learning for Resolving Ambiguity in Service Composition.” Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), IEEE Computer Society, 2014, pp. 105–12.
LibreCat: /record/25115

Becker, Markus, and Christoph Kuznik. “Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation.” Forum on Specification &; Design Languages (FDL 2014), 2014.
LibreCat: /record/25116

Stern, Claudius, and Lisa Kleinjohann. “Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces.” Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014,  Institute of Industrial Applications Engineers, 2014, pp. 209–15.
LibreCat: /record/25119

Grösbrink, Stefan, and Luis Almeida. “A Criticality-Aware Mapping of Real-Time Virtual Machines to Multi-Core Processors.” 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2014.
LibreCat: /record/25122

Becker, Markus, et al. “Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software.” 17th Euromicro Conference on Digital Systems Design (DSD), 2014.
LibreCat: /record/25145

Jatzkowski, Jan, and Bernd Kleinjohann. “Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems.” 2nd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt), 2014.
LibreCat: /record/25147

Sudhakar, Krishna, et al. “Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System.” Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, 2014, pp. 374–83.
LibreCat: /record/25148

Rammig, Franz-Josef, and Katharina Stahl. “Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems.” Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium On, 2014, pp. 334–41.
LibreCat: /record/25149

Jungmann, Alexander, et al. “Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services.” Proceedings of the 10th World Congress on Services (SERVICES), IEEE, 2014, pp. 346–53.
LibreCat: /record/25150

Grösbrink, Stefan. “Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems.” 8th IEEE International Conference on Software Security and Reliability, 2014.
LibreCat: /record/25152

Jungmann, Alexander, et al. “Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services.” Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57.
LibreCat: /record/25153

Brink, Christopher, and Jan Jatzkowski. “EU-Forschungsprojekt AMALTHEA: Entwicklung Einer Open-Source Entwicklungsplattform, Erweiterbar Durch Die Community.” SafeTRANS News (1), 2014, pp. 12–13.
LibreCat: /record/25154

Becker, Markus, et al. “Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems.” ACM/IEEE 5th International Conference on Cyber-Physical Systems, 2014.
LibreCat: /record/25155

Petrlic, Ronald, et al. “Security and Privacy Challenges in On-The-Fly Computing.” Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014.
LibreCat: /record/25156

Grösbrink, Stefan. “Increasing the Reusability of Embedded Real-Time Software by a Standardized Interface for Paravirtualization.” GI Design For Future Workshop, 2014.
LibreCat: /record/25159

Grösbrink, Stefan, et al. “Towards Certifiable Adaptive Reservations for Hypervisor-Based Virtualization.” 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014.
LibreCat: /record/25160

Koppelmann, Bastian, et al. “Portierung Der TriCore-Architektur Auf QEMU.” 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) , 2014.
LibreCat: /record/25161

Grösbrink, Stefan, et al. “Hypervisor-Based Consolidation for Automated Teller Machines.” Embedded World Conference, 2014.
LibreCat: /record/25165

Jungmann, Alexander, et al. “Evaluation of Color Spaces for Robust Image Segmentation.”  Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP),  INSTICC PRESS, 2014.
LibreCat: /record/25167

Gausemeier, Jürgen, et al. Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag, 2014.
LibreCat: /record/25168

Grösbrink, Stefan, et al. “Self-Optimization by Reconfiguration.” Design Methodology for Intelligent Technical Systems, Springer-Verlag, 2014, pp. 19–22.
LibreCat: /record/25170

Grösbrink, Stefan. “Virtualization.” Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag , 2014, pp. 152–57.
LibreCat: /record/25171

Rammig, Franz-Josef, et al. “Designing Self-Adaptive Embedded Real-Time Software - Towards System Engineering of Self-Adaptation.”  Brazilian Symposium on Computing Systems Engineering (SBESC), SBC, 2014.
LibreCat: /record/25172

Dellnitz, Michael, et al. “Self-Optimizing Mechatronic Systems.” Dependability of Self-Optimizing Mechatronic Systems, Kapitel: 1.1, Springer-Verlag, 2014, pp. 3–12.
LibreCat: /record/25173

Grösbrink, Stefan, et al. “System Software.” Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development, Springer-Verlag, 2014, pp. 298–317.
LibreCat: /record/25175

Gausemeier, Jürgen, et al. “Development of Self-Optimizing Systems.” Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3, Springer-Verlag , 2014, pp. 65–117.
LibreCat: /record/25176

Flaßkamp, Kathrin, et al. “Development of the RailCab Vehicle.” Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag , 2014, pp. 184–90.
LibreCat: /record/25177

Rammig, Franz-Josef, and Yuhong Zhao. “Online Model Checking.” Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag, 2014, pp. 147–52.
LibreCat: /record/25179

Gausemeier, Jürgen, et al. Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future. Springer-Verlag, 2014.
LibreCat: /record/25180

Hamann, Heiko, et al. “The Common Stomach: Organizing Task Allocation in Wasp Societies.” Symposium on Biomathematics and Ecology: Education and Research, 2014.
LibreCat: /record/20007

Hamann, Heiko, and Gabriele Valentini. “Swarm in a Fly Bottle: Feedback-Based Analysis of Self-Organizing Temporary Lock-Ins.”10.1007/978-3-319-09952-1_15__Ninth Int. Conf. on Swarm Intelligence (ANTS 2014), 2014, doi:10.1007/978-3-319-09952-1_15.
LibreCat: /record/20008
DOI: 10.1007/978-3-319-09952-1_15

Hamann, Heiko, et al. “Analysis of Swarm Behaviors Based on an Inversion of the Fluctuation Theorem.”10.1162/ARTL_a_00097__Artificial Life, vol. 20, no. 1, 2014, pp. 77–93, doi:10.1162/ARTL_a_00097.
LibreCat: /record/20120
DOI: 10.1162/ARTL_a_00097

Dorigo, Marco, et al. “Self-Organized Collective Decision Making: The Weighted Voter Model.” Proceedings of the 13th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2014), 2014.
LibreCat: /record/20121

Hamann, Heiko. “Evolving Prediction Machines: Collective Behaviors Based on Minimal Surprisal.”10.1145/2598394.2598507__Int. Conf. on Genetic and Evolutionary Computation (GECCO 2014), 2014, pp. 31–32, doi:10.1145/2598394.2598507.
LibreCat: /record/20126
DOI: 10.1145/2598394.2598507

Birattari, Mauro, et al. “Sorting in Swarm Robots Using Communication-Based Cluster Size Estimation.”10.1007/978-3-319-09952-1_25__Ninth Int. Conf. on Swarm Intelligence (ANTS 2014), vol. 8667, 2014, pp. 262–69, doi:10.1007/978-3-319-09952-1_25.
LibreCat: /record/20127
DOI: 10.1007/978-3-319-09952-1_25

Khaluf, Yara, et al. “Derivation of a Micro-Macro Link for Collective Decision-Making Systems: Uncover Network Features Based on Drift Measurements.”10.1007/978-3-319-10762-2_18__13th International Conference on Parallel Problem Solving from Nature (PPSN 2014), vol. 8672, Springer, 2014, pp. 181–90, doi:10.1007/978-3-319-10762-2_18.
LibreCat: /record/20128
DOI: 10.1007/978-3-319-10762-2_18

Hamann, Heiko, et al. “Evolution of Collective Behaviors by Minimizing Surprise.”10.7551/978-0-262-32621-6-ch055__14th Int. Conf. on the Synthesis and Simulation of Living Systems (ALIFE 2014), MIT Press, 2014, pp. 344–51, doi:10.7551/978-0-262-32621-6-ch055.
LibreCat: /record/20129
DOI: 10.7551/978-0-262-32621-6-ch055

Cervera, Enric, et al. “A Swarm Robotics Approach to Task Allocation Under Soft Deadlines and Negligible Switching Costs.”10.1007/978-3-319-08864-8_26__Simulation of Adaptive Behavior (SAB 2014), vol. 8575, 2014, pp. 270–79, doi:10.1007/978-3-319-08864-8_26.
LibreCat: /record/20130
DOI: 10.1007/978-3-319-08864-8_26

Wachsmuth, Henning, et al. “A Review Corpus for Argumentation Analysis.” Proceedings of the 15th International Conference on Intelligent Text Processing and Computational Linguistics, 2014, pp. 115–127.
LibreCat: /record/20142

Biermeier, Felix. Untersuchung Des Erreichbarkeitsproblems in Ungerichteten Graphen Bezüglich Den Komplexitätsklassen L Und SL. 2014.
LibreCat: /record/2866

Sauer, Malte. Evaluierung von Initialisierungsmethoden Für Fuzzy-k-Means Algorithmen. 2014.
LibreCat: /record/2867

Basavaraju, Manu, et al. “Rainbow Connection Number of Graph Power and Graph Products.” Graphs and Combinatorics, vol. 30, no. 6, Springer, 2014, pp. 1363–82.
LibreCat: /record/24155

Basavaraju, Manu, et al. “Rainbow Connection Number and Radius.” Graphs and Combinatorics, vol. 30, no. 2, Springer, 2014, pp. 275–85.
LibreCat: /record/24156

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/26537

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/26538

Jakoblew , Marcel, et al. “Forschendes Lernen Durch Semantisches Positionieren.” Proceedings Der HDI 2014, edited by Peter Forbrig and  Johannes Magenheim, Universit\'22at Rostock, 2014, pp. 74–84.
LibreCat: /record/26540

Keil, Reinhard, and Christian Schild. Hypothesengeleitete Gestaltung von Benutzungsoberfl\'22achen. De Gruyter Oldenbourg, 2014, pp. 265–74.
LibreCat: /record/26541

Keil,  Reinhard. Knowledge Integration Processes and Distributed Knowledge Organization. Edited by Stefan Andreas Keller et al., De Gruyter Saur, 2014, pp. 162–179.
LibreCat: /record/26542

Wette, Philip, et al. “MaxiNet: Distributed Emulation of Software-Defined Networks.”10.1109/IFIPNetworking.2014.6857078__Proceedings of the 2014 IFIP Networking Conference (Networking 2014), 2014, pp. 1–9, doi:10.1109/IFIPNetworking.2014.6857078.
LibreCat: /record/329
DOI: 10.1109/IFIPNetworking.2014.6857078

Walther, Sven, and Heike Wehrheim. “Verified Service Compositions by Template-Based Construction.”10.1007/978-3-319-15317-9_3__Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS), edited by Ivan Lanese and Eric Madelaine, 2014, pp. 31–48, doi:10.1007/978-3-319-15317-9_3.
LibreCat: /record/336
DOI: 10.1007/978-3-319-15317-9_3

Wette, Philip, and Holger Karl. “Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms.”10.1109/ICC.2014.6883825__Proceedings of the IEEE International Conference on Communications 2014, 2014, pp. 3270–76, doi:10.1109/ICC.2014.6883825.
LibreCat: /record/339
DOI: 10.1109/ICC.2014.6883825

Korth, Philipp. Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn, 2014.
LibreCat: /record/340

Künsemöller, Jörn. Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market. Universität Paderborn, 2014.
LibreCat: /record/343

Becker, Matthias, et al. “Towards Systematic Configuration for Architecture Validation.” Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session), 2014.
LibreCat: /record/344

Brangewitz, Sonja, et al. “Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services.” Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57.
LibreCat: /record/346

Meisner, Sebastian, and Marco Platzner. “Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-Cores for Error Detection.”10.1007/978-3-319-05960-0_30__Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC), edited by Diana Goehringer et al., Springer, 2014, pp. 283–90, doi:10.1007/978-3-319-05960-0_30.
LibreCat: /record/347
DOI: 10.1007/978-3-319-05960-0_30

Mohr, Felix, and Sven Walther. “Template-Based Generation of Semantic Services.”10.1007/978-3-319-14130-5_14__Proceedings of the 14th International Conference on Software Reuse (ICSR), 2014, pp. 188–203, doi:10.1007/978-3-319-14130-5_14.
LibreCat: /record/353
DOI: 10.1007/978-3-319-14130-5_14

Keller, Matthias, et al. “Template Embedding: Using Application Architecture to Allocate Resources in Distributed Clouds.”10.1109/UCC.2014.49__Proceedings of 7th International Conference on Utility and Cloud Computing (UCC), 2014, pp. 387--395, doi:10.1109/UCC.2014.49.
LibreCat: /record/354
DOI: 10.1109/UCC.2014.49

Blömer, Johannes, et al. “Tampering Attacks in Pairing-Based Cryptography.”10.1109/FDTC.2014.10__Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC), 2014, pp. 1--7, doi:10.1109/FDTC.2014.10.
LibreCat: /record/355
DOI: 10.1109/FDTC.2014.10

Dräxler, Sevil, et al. “Specifying and Placing Chains of Virtual Network Functions.”10.1109/CloudNet.2014.6968961__Proceedings of the 3rd International Conference on Cloud Networking (CloudNet), 2014, pp. 7–13, doi:10.1109/CloudNet.2014.6968961.
LibreCat: /record/360
DOI: 10.1109/CloudNet.2014.6968961

Roeske, Daniel. Simulating Load-Dependent Operation of Picocells. Universität Paderborn, 2014.
LibreCat: /record/361

Arifulina, Svetlana, et al. “SeSAME: Modeling and Analyzing High-Quality Service Compositions.”10.1145/2642937.2648621__Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), 2014, pp. 839–42, doi:10.1145/2642937.2648621.
LibreCat: /record/364
DOI: 10.1145/2642937.2648621

Petrlic, Ronald, et al. “Security and Privacy Challenges in On-The-Fly Computing.” Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014, pp. 131–42.
LibreCat: /record/366

Janiuk, Jens, et al. “Secure Distributed Data Structures for Peer-to-Peer-Based Social Networks.”10.1109/CTS.2014.6867595__Proceedings of the International Conference on Collaboration Technologies and Systems (CTS), 2014, pp. 396–405, doi:10.1109/CTS.2014.6867595.
LibreCat: /record/367
DOI: 10.1109/CTS.2014.6867595

Brinkmann, Andre, et al. “Scheduling Shared Continuous Resources on Many-Cores.”10.1145/2612669.2612698__Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), 2014, pp. 128–37, doi:10.1145/2612669.2612698.
LibreCat: /record/368
DOI: 10.1145/2612669.2612698

Rath, Timo. RSA-Full Domain Hash Revisited. Universität Paderborn, 2014.
LibreCat: /record/369

Harks, Tobias, et al. “Routing Games with Progressive Filling.”10.1109/TNET.2015.2468571__Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM’14), 2014, pp. 352–60, doi:10.1109/TNET.2015.2468571.
LibreCat: /record/370
DOI: 10.1109/TNET.2015.2468571

Scheideler, Christian, et al. “RoBuSt: A Crash-Failure-Resistant Distributed Storage System.”10.1007/978-3-319-14472-6_8__Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS), 2014, pp. 107--122, doi:10.1007/978-3-319-14472-6_8.
LibreCat: /record/371
DOI: 10.1007/978-3-319-14472-6_8

Keller, Matthias, and Holger Karl. “Response Time-Optimized Distributed Cloud Resource Allocation.”10.1145/2627566.2627570__Proceedings of the SIGCOMM Workshop on Distributed Cloud Computing, 2014, pp. 47--52, doi:10.1145/2627566.2627570.
LibreCat: /record/372
DOI: 10.1145/2627566.2627570

Pahl, David. Reputationssysteme für zusammengesetzte Dienstleistungen. Universität Paderborn, 2014.
LibreCat: /record/373

Herlich, Matthias. Reducing Energy Consumption of Radio Access Networks. Universität Paderborn, 2014.
LibreCat: /record/376

Kniesburges, Sebastian, et al. “Re-Chord: A Self-Stabilizing Chord Overlay Network.”10.1007/s00224-012-9431-2__Theory of Computing Systems, no. 3, Springer, 2014, pp. 591–612, doi:10.1007/s00224-012-9431-2.
LibreCat: /record/378
DOI: 10.1007/s00224-012-9431-2

Abshoff, Sebastian, et al. “Randomized Online Algorithms for Set Cover Leasing Problems.”10.1007/978-3-319-12691-3_3__Proceedings of the 8th Annual International Conference on Combinatorial Optimization and Applications (COCOA), 2014, pp. 25–34, doi:10.1007/978-3-319-12691-3_3.
LibreCat: /record/379
DOI: 10.1007/978-3-319-12691-3_3

Cord-Landwehr, Andreas, et al. “Quality of Service in Network Creation Games.”10.1007/978-3-319-13129-0_34__Proceedings of the 10th International Conference on Web and Internet Economics (WINE), 2014, pp. 423–28, doi:10.1007/978-3-319-13129-0_34.
LibreCat: /record/380
DOI: 10.1007/978-3-319-13129-0_34

Brüseke, Frank, et al. “PBlaman: Performance Blame Analysis Based on Palladio Contracts.” Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment, no. 12, 2014, pp. 1975–2004.
LibreCat: /record/3805

Künsemöller, Jörn, et al. “Provider Competition in Infrastructure-as-a-Service.”10.1109/SCC.2014.35__Proceedings of the 2014 IEEE International Conference on Services Computing (SCC), 2014, pp. 203–10, doi:10.1109/SCC.2014.35.
LibreCat: /record/382
DOI: 10.1109/SCC.2014.35

Wonisch, Daniel, et al. “Programs from Proofs -- Approach and Applications.” Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.
LibreCat: /record/383

Awerbuch, Baruch, et al. “Principles of Robust Medium Access and an Application to Leader Election.”10.1145/2635818__Transactions on Algorithms, no. 4, ACM, 2014, doi:10.1145/2635818.
LibreCat: /record/387
DOI: 10.1145/2635818

Wachsmuth, Henning, et al. “Modeling Review Argumentation for Robust Sentiment Analysis.” Proceedings of COLING 2014, the 25th International Conference on Computational Linguistics: Technical Papers, 2014, pp. 553–64.
LibreCat: /record/3877

Hammer, Manfred. “Oblique Incidence of Semi-Guided Waves on Rectangular Slab Waveguide Discontinuities: A Vectorial QUEP Solver.”10.1016/j.optcom.2014.09.087__Optics Communications, vol. 338, Elsevier BV, 2014, pp. 447–56, doi:10.1016/j.optcom.2014.09.087.
LibreCat: /record/3890
DOI: 10.1016/j.optcom.2014.09.087

Huma, Zille, et al. “On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains.”10.1007/s00450-014-0254-z__Computer Science - Research and Development, no. 3–4, Springer, 2014, pp. 333–61, doi:10.1007/s00450-014-0254-z.
LibreCat: /record/390
DOI: 10.1007/s00450-014-0254-z

Abu Quba Rana, Chamsi, et al. “ISoNTRE: The Social Network Transformer into Recommendation Engine.” 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA), 2014, pp. 169–75.
LibreCat: /record/3905

Brauer, Sascha. A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures. 2014.
LibreCat: /record/2900

Ackermann, Marcel Rudolf, et al. “Analysis of Agglomerative Clustering.”10.1007/s00453-012-9717-4__Algorithmica, vol. 69, Springer US, 2014, doi:10.1007/s00453-012-9717-4.
LibreCat: /record/2976
DOI: 10.1007/s00453-012-9717-4

Blömer, Johannes, et al. “A Theoretical and Experimental Comparison of the EM and SEM Algorithm.”10.1109/icpr.2014.253__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, Tibor. “Die Zukunft Der Kryptographie.”10.1007/s11623-014-0204-8__Datenschutz Und Datensicherheit, no. 7, 2014, pp. 445--451, doi:10.1007/s11623-014-0204-8.
LibreCat: /record/3127
DOI: 10.1007/s11623-014-0204-8

Fleischhacker, Nils, et al. “On Tight Security Proofs for Schnorr Signatures.”10.1007/978-3-662-45611-8_27__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, pp. 512--531, doi:10.1007/978-3-662-45611-8_27.
LibreCat: /record/3128
DOI: 10.1007/978-3-662-45611-8_27

Schneider, Steve, et al. “The Behavioural Semantics of Event-B Refinement.”10.1007/s00165-012-0265-0__Formal Asp. Comput., no. 2, 2014, pp. 251--280, doi:10.1007/s00165-012-0265-0.
LibreCat: /record/3167
DOI: 10.1007/s00165-012-0265-0

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