Koppelmann B, Becker M, Müller W. Portierung der TriCore-Architektur auf QEMU. In: 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) . ; 2014.
LibreCat: /record/25161

Grösbrink S, Korrapati S, Schmitz A, Schreckenberg A. Hypervisor-based Consolidation for Automated Teller Machines. In: Embedded World Conference. ; 2014.
LibreCat: /record/25165

Jungmann A, Jatzkowski J, Kleinjohann B. Evaluation of Color Spaces for Robust Image Segmentation. In:  Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP).  INSTICC PRESS; 2014.
LibreCat: /record/25167

Gausemeier J, Rammig F-J, Schäfer W, Sextro W. Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag; 2014.
LibreCat: /record/25168

Grösbrink S, Korf S, Porrmann M, Priesterjahn C, Stahl K. Self-optimization by Reconfiguration. In: Design Methodology for Intelligent Technical Systems. Springer-Verlag; 2014:19-22.
LibreCat: /record/25170

Grösbrink S. Virtualization. In: Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag ; 2014:152-157.
LibreCat: /record/25171

Rammig F-J, Grösbrink S, Stahl K, Zhao Y. Designing Self-Adaptive Embedded Real-time Software - Towards System Engineering of Self-Adaptation. In:  Brazilian Symposium on Computing Systems Engineering (SBESC). SBC; 2014.
LibreCat: /record/25172

Dellnitz M, Flaßkamp K, Hartmann P, et al. Self-optimizing Mechatronic Systems. In: Dependability of Self-Optimizing Mechatronic Systems, Kapitel: 1.1. Springer-Verlag; 2014:3-12.
LibreCat: /record/25173

Grösbrink S, Oberthür S, Stahl K. System Software. In: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development. Springer-Verlag; 2014:298-317.
LibreCat: /record/25175

Gausemeier J, Korf S, Porrmann M, Stahl K, Sudmann O, Vaßholz M. Development of Self-Optimizing Systems. In: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3. Springer-Verlag ; 2014:65-117.
LibreCat: /record/25176

Flaßkamp K, Grösbrink S, Hartmann P, et al. Development of the RailCab Vehicle. In: Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag ; 2014:184-190.
LibreCat: /record/25177

Rammig F-J, Zhao Y. Online Model Checking. In: Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag; 2014:147-152.
LibreCat: /record/25179

Gausemeier J, Rammig F-J, Schäfer W. Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future. Springer-Verlag; 2014.
LibreCat: /record/25180

Hamann H, Karsai I, Schmickl T, Hilbun A. The common stomach: Organizing task allocation in wasp societies. In: Symposium on Biomathematics and Ecology: Education and Research. ; 2014.
LibreCat: /record/20007

Hamann H, Valentini G. Swarm in a Fly Bottle: Feedback-Based Analysis of Self-organizing Temporary Lock-ins. In: Ninth Int. Conf. on Swarm Intelligence (ANTS 2014). Cham; 2014. doi:10.1007/978-3-319-09952-1_15
LibreCat: /record/20008
DOI: 10.1007/978-3-319-09952-1_15

Hamann H, Schmickl T, Crailsheim K. Analysis of Swarm Behaviors Based on an Inversion of the Fluctuation Theorem. Artificial Life. 2014;20(1):77-93. doi:10.1162/ARTL_a_00097
LibreCat: /record/20120
DOI: 10.1162/ARTL_a_00097

Dorigo M, Hamann H, Valentini G, et al. Self-Organized Collective Decision Making: The Weighted Voter Model. In: Proceedings of the 13th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2014). ; 2014.
LibreCat: /record/20121

Hamann H. Evolving Prediction Machines: Collective Behaviors Based on Minimal Surprisal. In: Int. Conf. on Genetic and Evolutionary Computation (GECCO 2014). ; 2014:31-32. doi:10.1145/2598394.2598507
LibreCat: /record/20126
DOI: 10.1145/2598394.2598507

Birattari M, Dorigo M, Hamann H, et al. Sorting in Swarm Robots Using Communication-Based Cluster Size Estimation. In: Ninth Int. Conf. on Swarm Intelligence (ANTS 2014). Vol 8667. ; 2014:262-269. doi:10.1007/978-3-319-09952-1_25
LibreCat: /record/20127
DOI: 10.1007/978-3-319-09952-1_25

Khaluf Y, Dorigo M, Hamann H, Valentini G, Bartz-Beielstein T. Derivation of a Micro-Macro Link for Collective Decision-Making Systems: Uncover Network Features Based on Drift Measurements. In: 13th International Conference on Parallel Problem Solving from Nature (PPSN 2014). Vol 8672. Springer; 2014:181-190. doi:10.1007/978-3-319-10762-2_18
LibreCat: /record/20128
DOI: 10.1007/978-3-319-10762-2_18

Hamann H, Sayama H, Rieffel J, Risi S, Doursat R, Lipson H. Evolution of Collective Behaviors by Minimizing Surprise. In: 14th Int. Conf. on the Synthesis and Simulation of Living Systems (ALIFE 2014). MIT Press; 2014:344-351. doi:10.7551/978-0-262-32621-6-ch055
LibreCat: /record/20129
DOI: 10.7551/978-0-262-32621-6-ch055

Cervera E, Khaluf Y, Birattari M, et al. A Swarm Robotics Approach to Task Allocation Under Soft Deadlines and Negligible Switching Costs. In: Simulation of Adaptive Behavior (SAB 2014). Vol 8575. ; 2014:270-279. doi:10.1007/978-3-319-08864-8_26
LibreCat: /record/20130
DOI: 10.1007/978-3-319-08864-8_26

Wachsmuth H, Trenkmann M, Stein B, Engels G, Palakarska T. A Review Corpus for Argumentation Analysis. In: Proceedings of the 15th International Conference on Intelligent Text Processing and Computational Linguistics. ; 2014:115–127.
LibreCat: /record/20142

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

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

Basavaraju M, Chandran LS, Rajendraprasad D, Ramaswamy A. Rainbow connection number of graph power and graph products. Graphs and Combinatorics. 2014;30(6):1363-1382.
LibreCat: /record/24155

Basavaraju M, Chandran LS, Rajendraprasad D, Ramaswamy A. Rainbow connection number and radius. Graphs and Combinatorics. 2014;30(2):275-285.
LibreCat: /record/24156

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

Winkelnkemper F, Keil  Reinhard. 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/26538

Jakoblew  M, Keil R, Winkelnkemper F. Forschendes Lernen durch semantisches Positionieren. In: Forbrig P, Magenheim  Johannes, eds. Proceedings Der HDI 2014. Universit\'22at Rostock; 2014:74-84.
LibreCat: /record/26540

Keil R, Schild C. Hypothesengeleitete Gestaltung von Benutzungsoberfl\'22achen. In: De Gruyter Oldenbourg; 2014:265-274.
LibreCat: /record/26541

Keil  Reinhard. Knowledge integration processes and distributed knowledge organization. In: Keller SA, Schneider R, Volk B, eds. De Gruyter Saur; 2014:162–179.
LibreCat: /record/26542

Wette P, Dräxler M, Schwabe A, Wallaschek F, Zahraee MH, Karl H. MaxiNet: Distributed Emulation of Software-Defined Networks. In: Proceedings of the 2014 IFIP Networking Conference (Networking 2014). ; 2014:1-9. doi:10.1109/IFIPNetworking.2014.6857078
LibreCat: /record/329
DOI: 10.1109/IFIPNetworking.2014.6857078

Walther S, Wehrheim H. Verified Service Compositions by Template-Based Construction. In: Lanese I, Madelaine E, eds. Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS). LNCS. ; 2014:31-48. doi:10.1007/978-3-319-15317-9_3
LibreCat: /record/336
DOI: 10.1007/978-3-319-15317-9_3

Wette P, Karl H. Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms. In: Proceedings of the IEEE International Conference on Communications 2014. ; 2014:3270-3276. doi:10.1109/ICC.2014.6883825
LibreCat: /record/339
DOI: 10.1109/ICC.2014.6883825

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

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

Becker M, Becker S, Besova G, Walther S, Wehrheim H. Towards Systematic Configuration for Architecture Validation. In: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session). ; 2014.
LibreCat: /record/344

Brangewitz S, Jungmann A, Petrlic R, Platenius MC. Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. In: Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2014:49-57.
LibreCat: /record/346

Meisner S, Platzner M. Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-cores for Error Detection. In: Goehringer D, Santambrogio M, Cardoso JP, Bertels K, eds. Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC). Lecture Notes in Computer Science. Springer; 2014:283-290. doi:10.1007/978-3-319-05960-0_30
LibreCat: /record/347
DOI: 10.1007/978-3-319-05960-0_30

Mohr F, Walther S. Template-based Generation of Semantic Services. In: Proceedings of the 14th International Conference on Software Reuse (ICSR). LNCS. ; 2014:188-203. doi:10.1007/978-3-319-14130-5_14
LibreCat: /record/353
DOI: 10.1007/978-3-319-14130-5_14

Keller M, Robbert C, Karl H. Template Embedding: Using Application Architecture to Allocate Resources in Distributed Clouds. In: Proceedings of 7th International Conference on Utility and Cloud Computing (UCC). ; 2014:387--395. doi:10.1109/UCC.2014.49
LibreCat: /record/354
DOI: 10.1109/UCC.2014.49

Blömer J, Günther P, Liske G. Tampering attacks in pairing-based cryptography. In: Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC). ; 2014:1--7. doi:10.1109/FDTC.2014.10
LibreCat: /record/355
DOI: 10.1109/FDTC.2014.10

Dräxler S, Keller M, Karl H. Specifying and Placing Chains of Virtual Network Functions. In: Proceedings of the 3rd International Conference on Cloud Networking (CloudNet). ; 2014:7-13. doi:10.1109/CloudNet.2014.6968961
LibreCat: /record/360
DOI: 10.1109/CloudNet.2014.6968961

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

Arifulina S, Becker M, Platenius MC, Walther S. SeSAME: Modeling and Analyzing High-Quality Service Compositions. In: Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014). ; 2014:839-842. doi:10.1145/2642937.2648621
LibreCat: /record/364
DOI: 10.1145/2642937.2648621

Petrlic R, Jungmann A, Platenius MC, Schäfer W, Sorge C. Security and Privacy Challenges in On-The-Fly Computing. In: Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014). ; 2014:131-142.
LibreCat: /record/366

Janiuk J, Mäcker A, Graffi K. Secure Distributed Data Structures for Peer-to-Peer-based Social Networks. In: Proceedings of the International Conference on Collaboration Technologies and Systems (CTS). ; 2014:396-405. doi:10.1109/CTS.2014.6867595
LibreCat: /record/367
DOI: 10.1109/CTS.2014.6867595

Brinkmann A, Kling P, Meyer auf der Heide F, Nagel L, Riechers S, Suess T. Scheduling Shared Continuous Resources on Many-Cores. In: Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ; 2014:128-137. doi:10.1145/2612669.2612698
LibreCat: /record/368
DOI: 10.1145/2612669.2612698

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

Harks T, Höfer M, Schewior K, Skopalik A. Routing Games with Progressive Filling. In: Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM’14). ; 2014:352-360. doi:10.1109/TNET.2015.2468571
LibreCat: /record/370
DOI: 10.1109/TNET.2015.2468571

Scheideler C, Setzer A, Eikel M. RoBuSt: A Crash-Failure-Resistant Distributed Storage System. In: Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS). LNCS. ; 2014:107--122. doi:10.1007/978-3-319-14472-6_8
LibreCat: /record/371
DOI: 10.1007/978-3-319-14472-6_8

Keller M, Karl H. Response Time-Optimized Distributed Cloud Resource Allocation. In: Proceedings of the SIGCOMM Workshop on Distributed Cloud Computing. ; 2014:47--52. doi:10.1145/2627566.2627570
LibreCat: /record/372
DOI: 10.1145/2627566.2627570

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

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

Kniesburges S, Koutsopoulos A, Scheideler C. Re-Chord: A Self-stabilizing Chord Overlay Network. Theory of Computing Systems. 2014;(3):591-612. doi:10.1007/s00224-012-9431-2
LibreCat: /record/378
DOI: 10.1007/s00224-012-9431-2

Abshoff S, Markarian C, Meyer auf der Heide F. Randomized Online Algorithms for Set Cover Leasing Problems. In: Proceedings of the 8th Annual International Conference on Combinatorial Optimization and Applications (COCOA). LNCS. ; 2014: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 A, Mäcker A, Meyer auf der Heide F. Quality of Service in Network Creation Games. In: Proceedings of the 10th International Conference on Web and Internet Economics (WINE). ; 2014:423-428. doi:10.1007/978-3-319-13129-0_34
LibreCat: /record/380
DOI: 10.1007/978-3-319-13129-0_34

Brüseke F, Wachsmuth H, Engels G, Becker S. PBlaman: performance blame analysis based on Palladio contracts. In: Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment. ; 2014:1975-2004.
LibreCat: /record/3805

Künsemöller J, Brangewitz S, Karl H, Haake C-J. Provider Competition in Infrastructure-as-a-Service. In: Proceedings of the 2014 IEEE International Conference on Services Computing (SCC). ; 2014:203-210. doi:10.1109/SCC.2014.35
LibreCat: /record/382
DOI: 10.1109/SCC.2014.35

Wonisch D, Schremmer A, Wehrheim H. Programs from Proofs -- Approach and Applications. In: Proceedings of the Software Engineering Conference (SE). Lecture Notes in Informatics (LNI). ; 2014:67-68.
LibreCat: /record/383

Awerbuch B, Richa AW, Scheideler C, Schmid S, Zhang J. Principles of Robust Medium Access and an Application to Leader Election. Transactions on Algorithms. 2014;(4). doi:10.1145/2635818
LibreCat: /record/387
DOI: 10.1145/2635818

Wachsmuth H, Trenkmann M, Stein B, Engels G. Modeling Review Argumentation for Robust Sentiment Analysis. In: Proceedings of COLING 2014, the 25th International Conference on Computational Linguistics: Technical Papers. ; 2014:553-564.
LibreCat: /record/3877

Hammer M. Oblique incidence of semi-guided waves on rectangular slab waveguide discontinuities: A vectorial QUEP solver. Optics Communications. 2014;338:447-456. doi:10.1016/j.optcom.2014.09.087
LibreCat: /record/3890
DOI: 10.1016/j.optcom.2014.09.087

Huma Z, Gerth C, Engels G. On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains. Computer Science - Research and Development. 2014;(3-4):333-361. doi:10.1007/s00450-014-0254-z
LibreCat: /record/390
DOI: 10.1007/s00450-014-0254-z

Abu Quba Rana C, Hassas S, Usama F, Alshomary M, Gertosio C. iSoNTRE: The Social Network Transformer into Recommendation Engine. 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA). 2014:169-175.
LibreCat: /record/3905

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

Ackermann MR, Blömer J, Kuntze D, Sohler C. Analysis of Agglomerative Clustering. Algorithmica. 2014;69. doi:10.1007/s00453-012-9717-4
LibreCat: /record/2976
DOI: 10.1007/s00453-012-9717-4

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