@inproceedingsBlömer_Günther_Liske_2014, title=Tampering attacks in pairing-based cryptography, DOI=10.1109/FDTC.2014.10, booktitle=Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC), author=Blömer, Johannes and Günther, Peter and Liske, Gennadij, year=2014, pages=1--7 
LibreCat: /record/355
DOI: 10.1109/FDTC.2014.10

@inproceedingsDräxler_Keller_Karl_2014, title=Specifying and Placing Chains of Virtual Network Functions, DOI=10.1109/CloudNet.2014.6968961, booktitle=Proceedings of the 3rd International Conference on Cloud Networking (CloudNet), author=Dräxler, Sevil and Keller, Matthias and Karl, Holger, year=2014, pages=7–13 
LibreCat: /record/360
DOI: 10.1109/CloudNet.2014.6968961

@bookRoeske_2014, title=Simulating load-dependent operation of picocells, publisher=Universität Paderborn, author=Roeske, Daniel, year=2014 
LibreCat: /record/361

@inproceedingsArifulina_Becker_Platenius_Walther_2014, title=SeSAME: Modeling and Analyzing High-Quality Service Compositions, DOI=10.1145/2642937.2648621, booktitle=Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), author=Arifulina, Svetlana and Becker, Matthias and Platenius, Marie Christin and Walther, Sven, year=2014, pages=839–842 
LibreCat: /record/364
DOI: 10.1145/2642937.2648621

@inproceedingsPetrlic_Jungmann_Platenius_Schäfer_Sorge_2014, title=Security and Privacy Challenges in On-The-Fly Computing, booktitle=Tagungsband der 4. Konferenz Software-Technologien und -Prozesse (STeP 2014), author=Petrlic, Ronald and Jungmann, Alexander and Platenius, Marie Christin and Schäfer, Wilhelm and Sorge, Christoph, year=2014, pages=131–142 
LibreCat: /record/366

@inproceedingsJaniuk_Mäcker_Graffi_2014, title=Secure Distributed Data Structures for Peer-to-Peer-based Social Networks, DOI=10.1109/CTS.2014.6867595, booktitle=Proceedings of the International Conference on Collaboration Technologies and Systems (CTS), author=Janiuk, Jens and Mäcker, Alexander and Graffi, Kalman, year=2014, pages=396–405 
LibreCat: /record/367
DOI: 10.1109/CTS.2014.6867595

@inproceedingsBrinkmann_Kling_Meyer auf der Heide_Nagel_Riechers_Suess_2014, title=Scheduling Shared Continuous Resources on Many-Cores, DOI=10.1145/2612669.2612698, booktitle=Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA), author=Brinkmann, Andre and Kling, Peter and Meyer auf der Heide, Friedhelm and Nagel, Lars and Riechers, Sören and Suess, Tim , year=2014, pages=128–137 
LibreCat: /record/368
DOI: 10.1145/2612669.2612698

@bookRath_2014, title=RSA-Full Domain Hash Revisited, publisher=Universität Paderborn, author=Rath, Timo, year=2014 
LibreCat: /record/369

@inproceedingsHarks_Höfer_Schewior_Skopalik_2014, title=Routing Games with Progressive Filling, DOI=10.1109/TNET.2015.2468571, booktitle=Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM’14), author=Harks, Tobias and Höfer, Martin and Schewior, Kevin and Skopalik, Alexander, year=2014, pages=352–360 
LibreCat: /record/370
DOI: 10.1109/TNET.2015.2468571

@inproceedingsScheideler_Setzer_Eikel_2014, series=LNCS, title=RoBuSt: A Crash-Failure-Resistant Distributed Storage System, DOI=10.1007/978-3-319-14472-6_8, booktitle=Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS), author=Scheideler, Christian and Setzer, Alexander and Eikel, Martina, year=2014, pages=107--122, collection=LNCS 
LibreCat: /record/371
DOI: 10.1007/978-3-319-14472-6_8

@inproceedingsKeller_Karl_2014, title=Response Time-Optimized Distributed Cloud Resource Allocation, DOI=10.1145/2627566.2627570, booktitle=Proceedings of the SIGCOMM workshop on Distributed cloud computing, author=Keller, Matthias and Karl, Holger, year=2014, pages=47--52 
LibreCat: /record/372
DOI: 10.1145/2627566.2627570

@bookPahl_2014, title=Reputationssysteme für zusammengesetzte Dienstleistungen, publisher=Universität Paderborn, author=Pahl, David, year=2014 
LibreCat: /record/373

@bookHerlich_2014, title=Reducing Energy Consumption of Radio Access Networks, publisher=Universität Paderborn, author=Herlich, Matthias, year=2014 
LibreCat: /record/376

@articleKniesburges_Koutsopoulos_Scheideler_2014, title=Re-Chord: A Self-stabilizing Chord Overlay Network, DOI=10.1007/s00224-012-9431-2, number=3, journal=Theory of Computing Systems, publisher=Springer, author=Kniesburges, Sebastian and Koutsopoulos, Andreas and Scheideler, Christian, year=2014, pages=591–612 
LibreCat: /record/378
DOI: 10.1007/s00224-012-9431-2

@inproceedingsAbshoff_Markarian_Meyer auf der Heide_2014, series=LNCS, title=Randomized Online Algorithms for Set Cover Leasing Problems, DOI=10.1007/978-3-319-12691-3_3, booktitle=Proceedings of the 8th Annual International Conference on Combinatorial Optimization and Applications (COCOA), author=Abshoff, Sebastian and Markarian, Christine and Meyer auf der Heide, Friedhelm, year=2014, pages=25–34, collection=LNCS 
LibreCat: /record/379
DOI: 10.1007/978-3-319-12691-3_3

@inproceedingsCord-Landwehr_Mäcker_Meyer auf der Heide_2014, title=Quality of Service in Network Creation Games, DOI=10.1007/978-3-319-13129-0_34, booktitle=Proceedings of the 10th International Conference on Web and Internet Economics (WINE), author=Cord-Landwehr, Andreas and Mäcker, Alexander and Meyer auf der Heide, Friedhelm, year=2014, pages=423–428 
LibreCat: /record/380
DOI: 10.1007/978-3-319-13129-0_34

@inproceedingsBrüseke_Wachsmuth_Engels_Becker_2014, title=PBlaman: performance blame analysis based on Palladio contracts, number=12, booktitle=Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment, author=Brüseke, Frank and Wachsmuth, Henning and Engels, Gregor and Becker, Steffen, year=2014, pages=1975–2004 
LibreCat: /record/3805

@inproceedingsKünsemöller_Brangewitz_Karl_Haake_2014, title=Provider Competition in Infrastructure-as-a-Service, DOI=10.1109/SCC.2014.35, booktitle=Proceedings of the 2014 IEEE International Conference on Services Computing (SCC), author=Künsemöller, Jörn and Brangewitz, Sonja and Karl, Holger and Haake, Claus-Jochen, year=2014, pages=203–210 
LibreCat: /record/382
DOI: 10.1109/SCC.2014.35

@inproceedingsWonisch_Schremmer_Wehrheim_2014, series=Lecture Notes in Informatics (LNI), title=Programs from Proofs -- Approach and Applications, booktitle=Proceedings of the Software Engineering Conference (SE), author=Wonisch, Daniel and Schremmer, Alexander and Wehrheim, Heike, year=2014, pages=67–68, collection=Lecture Notes in Informatics (LNI) 
LibreCat: /record/383

@articleAwerbuch_Richa_Scheideler_Schmid_Zhang_2014, title=Principles of Robust Medium Access and an Application to Leader Election, DOI=10.1145/2635818, number=4, journal=Transactions on Algorithms, publisher=ACM, author=Awerbuch, Baruch and Richa, Andrea W. and Scheideler, Christian and Schmid, Stefan and Zhang, Jin, year=2014 
LibreCat: /record/387
DOI: 10.1145/2635818

@inproceedingsWachsmuth_Trenkmann_Stein_Engels_2014, title=Modeling Review Argumentation for Robust Sentiment Analysis, booktitle=Proceedings of COLING 2014, the 25th International Conference on Computational Linguistics: Technical Papers, author=Wachsmuth, Henning and Trenkmann, Martin and Stein, Benno and Engels, Gregor, year=2014, pages=553–564 
LibreCat: /record/3877

@articleHammer_2014, title=Oblique incidence of semi-guided waves on rectangular slab waveguide discontinuities: A vectorial QUEP solver, volume=338, DOI=10.1016/j.optcom.2014.09.087, journal=Optics Communications, publisher=Elsevier BV, author=Hammer, Manfred, year=2014, pages=447–456 
LibreCat: /record/3890
DOI: 10.1016/j.optcom.2014.09.087

@articleHuma_Gerth_Engels_2014, title=On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains, DOI=10.1007/s00450-014-0254-z, number=3–4, journal=Computer Science - Research and Development, publisher=Springer, author=Huma, Zille and Gerth, Christian and Engels, Gregor, year=2014, pages=333–361 
LibreCat: /record/390
DOI: 10.1007/s00450-014-0254-z

@articleAbu Quba Rana_Hassas_Usama_Alshomary_Gertosio_2014, title=iSoNTRE: The Social Network Transformer into Recommendation Engine, journal=2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA), author=Abu Quba Rana, Chamsi and Hassas, Salima and Usama, Fayyad and Alshomary, Milad and Gertosio, Christine, year=2014, pages=169–175 
LibreCat: /record/3905

@bookBrauer_2014, title=A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures, author=Brauer, Sascha, year=2014 
LibreCat: /record/2900

@articleAckermann_Blömer_Kuntze_Sohler_2014, title=Analysis of Agglomerative Clustering, volume=69, DOI=10.1007/s00453-012-9717-4, journal=Algorithmica, publisher=Springer US, author=Ackermann, Marcel Rudolf and Blömer, Johannes and Kuntze, Daniel and Sohler, Christian, year=2014 
LibreCat: /record/2976
DOI: 10.1007/s00453-012-9717-4

@inproceedingsBlömer_Bujna_Kuntze_2014, title=A Theoretical and Experimental Comparison of the EM and SEM Algorithm, DOI=10.1109/icpr.2014.253, booktitle=2014 22nd International Conference on Pattern Recognition, publisher=IEEE, author=Blömer, Johannes and Bujna, Kathrin and Kuntze, Daniel, year=2014 
LibreCat: /record/2977
DOI: 10.1109/icpr.2014.253

@articleJager_2014, title=Die Zukunft der Kryptographie, DOI=10.1007/s11623-014-0204-8, number=7, journal=Datenschutz und Datensicherheit, author=Jager, Tibor, year=2014, pages=445--451 
LibreCat: /record/3127
DOI: 10.1007/s11623-014-0204-8

@inproceedingsFleischhacker_Jager_Schröder_2014, title=On Tight Security Proofs for Schnorr Signatures, DOI=10.1007/978-3-662-45611-8_27, booktitle=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, author=Fleischhacker, Nils and Jager, Tibor and Schröder, Dominique, year=2014, pages=512--531 
LibreCat: /record/3128
DOI: 10.1007/978-3-662-45611-8_27

@articleSchneider_Treharne_Wehrheim_2014, title=The behavioural semantics of Event-B refinement, DOI=10.1007/s00165-012-0265-0, number=2, journal=Formal Asp. Comput., author=Schneider, Steve and Treharne, Helen and Wehrheim, Heike, year=2014, pages=251--280 
LibreCat: /record/3167
DOI: 10.1007/s00165-012-0265-0

@articleTofan_Travkin_Schellhorn_Wehrheim_2014, title=Two approaches for proving linearizability of multiset, DOI=10.1016/j.scico.2014.04.001, journal=Sci. Comput. Program., author=Tofan, Bogdan and Travkin, Oleg and Schellhorn, Gerhard and Wehrheim, Heike, year=2014, pages=297--314 
LibreCat: /record/3168
DOI: 10.1016/j.scico.2014.04.001

@articleSchellhorn_Derrick_Wehrheim_2014, title=A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures, DOI=10.1145/2629496, number=4, journal=ACM Trans. Comput. Log., author=Schellhorn, Gerhard and Derrick, John and Wehrheim, Heike, year=2014, pages=31:1--31:37 
LibreCat: /record/3169
DOI: 10.1145/2629496

@inproceedingsDerrick_Dongol_Schellhorn_Tofan_Travkin_Wehrheim_2014, series=Lecture Notes in Computer Science, title=Quiescent Consistency: Defining and Verifying Relaxed Linearizability, DOI=10.1007/978-3-319-06410-9_15, booktitle=FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, author=Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Tofan, Bogdan and Travkin, Oleg and Wehrheim, Heike, editor=B. Jones, Cliff and Pihlajasaari, Pekka and Sun, JunEditors, year=2014, pages=200--214, collection=Lecture Notes in Computer Science 
LibreCat: /record/3170
DOI: 10.1007/978-3-319-06410-9_15

@inproceedingsTravkin_Wehrheim_2014, series=Lecture Notes in Computer Science, title=Handling TSO in Mechanized Linearizability Proofs, DOI=10.1007/978-3-319-13338-6_11, booktitle=Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, author=Travkin, Oleg and Wehrheim, Heike, editor=Yahav, EranEditor, year=2014, pages=132--147, collection=Lecture Notes in Computer Science 
LibreCat: /record/3171
DOI: 10.1007/978-3-319-13338-6_11

@inproceedingsIsenberg_Wehrheim_2014, series=Lecture Notes in Computer Science, title=Timed Automata Verification via I with Zones, DOI=10.1007/978-3-319-11737-9_14, booktitle=Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, author=Isenberg, Tobias and Wehrheim, Heike, editor=Merz, Stephan and Pang, JunEditors, year=2014, pages=203--218, collection=Lecture Notes in Computer Science 
LibreCat: /record/3172
DOI: 10.1007/978-3-319-11737-9_14

@inproceedingsA. Schneider_Treharne_Wehrheim_M. Williams_2014, series=Lecture Notes in Computer Science, title=Managing LTL Properties in Event-B Refinement, DOI=10.1007/978-3-319-10181-1_14, booktitle=Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, author=A. Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David, editor=Albert, Elvira and Sekerinski, EmilEditors, year=2014, pages=221--237, collection=Lecture Notes in Computer Science 
LibreCat: /record/3173
DOI: 10.1007/978-3-319-10181-1_14

@articleSchneider_Treharne_Wehrheim_M. Williams_2014, title=Managing LTL properties in Event-B refinement, journal=CoRR, author=Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David, year=2014 
LibreCat: /record/3174

@articleIsenberg_Wehrheim_2014, title=Proof-Carrying Hardware via I, journal=CoRR, author=Isenberg, Tobias and Wehrheim, Heike, year=2014 
LibreCat: /record/3175

@articleKeil_Selke_Winkelnkemper_2014, series=Lecture Notes in Informatics (LNI), title=Twenty years of learning with the World Wide Web, author=Keil, Reinhard and Selke, Harald and Winkelnkemper, Felix, editor=Trahasch, Stephan and  Pl  "o tzner , Rolf  and Schneider, Gerhard and Gayer, Claudia  and Sassiat, Daniel and W  "o hrle, Nicole, year=2014, pages=51–60, collection=Lecture Notes in Informatics (LNI) 
LibreCat: /record/27166

@inproceedingsWinkelnkemper_Keil_2014, title=Zwischen Design und Flexibilit\'22at - Zur Ergonomie des Flat Design, volume=2014, publisher=Oldenbourg Verlag, author=Winkelnkemper, Felix and Keil, Reinhard, editor=Butz, Andreas and  Schlichter, Johann, year=2014, pages=255–264 
LibreCat: /record/27167

@inproceedingsBrenner_Greenyer_Holtmann_Liebel_Stieglbauer_Tichy_2014, title=ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study, booktitle=Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), author=Brenner, Christian and Greenyer, Joel and Holtmann, Jörg and Liebel, Grischa and Stieglbauer, Gerald and Tichy, Matthias, year=2014 
LibreCat: /record/20983

@inproceedingsPolevoy_Trajanovski_de Weerdt_2014, place=Richland, SC, series=AAMAS ’14, title=Nash Equilibria in Shared Effort Games, booktitle=Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems, publisher=International Foundation for Autonomous Agents and Multiagent Systems, author=Polevoy, Gleb and Trajanovski, Stojan and de Weerdt, Mathijs M., year=2014, pages=861–868, collection=AAMAS ’14 
LibreCat: /record/17659

@inproceedingsPolevoy_de Weerdt_2014, place=Richland, SC, series=AAMAS ’14, title=Improving Human Interaction in Crowdsensing, booktitle=Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems, publisher=International Foundation for Autonomous Agents and Multiagent Systems, author=Polevoy, Gleb and de Weerdt, Mathijs M., year=2014, pages=1741–1742, collection=AAMAS ’14 
LibreCat: /record/17660

@inproceedingsKing_Liu_Polevoy_de Weerdt_Dignum_van Riemsdijk_Warnier_2014, place=Richland, SC, series=AAMAS ’14, title=Request Driven Social Sensing, booktitle=Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems, publisher=International Foundation for Autonomous Agents and Multiagent Systems, author=King, Thomas C. and Liu, Qingzhi and Polevoy, Gleb and de Weerdt, Mathijs and Dignum, Virginia and van Riemsdijk, M. Birna and Warnier, Martijn, year=2014, pages=1651–1652, collection=AAMAS ’14 
LibreCat: /record/17661

@articlePolevoy_Smorodinsky_Tennenholtz_2014, title=Signaling Competition and Social Welfare, volume=2, DOI=10.1145/2560766, number=1, journal=ACM Trans. Econ. Comput., publisher=ACM, author=Polevoy, Gleb and Smorodinsky, Rann and Tennenholtz, Moshe, year=2014, pages=1:1-1:16 
LibreCat: /record/17662
DOI: 10.1145/2560766

@inproceedingsSteinle_Vrabec_Walther_2014, title=Numerical Simulation of the Damping Behavior of Particle-Filled Hollow Spheres, DOI=10.1007/978-3-319-09063-4_19, booktitle=Proc. Modeling, Simulation and Optimization of Complex Processes (HPSC), publisher=Springer International Publishing, author=Steinle, Tobias and Vrabec, Jadran and Walther, Andrea, editor=Bock, Hans Georg and Hoang, Xuan Phu and Rannacher, Rolf and Schlöder, Johannes P.Editors, year=2014, pages=233–243 
LibreCat: /record/1781
DOI: 10.1007/978-3-319-09063-4_19

@inproceedingsGraf_Schaefers_Platzner_2014, place=Switzerland, series=Lecture Notes in Computer Science, title=On Semeai Detection in Monte-Carlo Go, DOI=10.1007/978-3-319-09165-5_2, number=8427, booktitle=Proc. Conf. on Computers and Games (CG), publisher=Springer, author=Graf, Tobias and Schaefers, Lars and Platzner, Marco, year=2014, pages=14–25, collection=Lecture Notes in Computer Science 
LibreCat: /record/1782
DOI: 10.1007/978-3-319-09165-5_2

@bookPetring_2014, place=Universität Paderborn, title=Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit, author=Petring, Ralf, year=2014 
LibreCat: /record/19039

@inproceedingsPohlmann_Holtmann_Meyer_Gerking_2014, title=Generating Modelica Models from Software Specifications for the Simulation of Cyber-physical Systems, booktitle=Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), publisher=IEEE Xplore, author=Pohlmann, Uwe and Holtmann, Jörg and Meyer, Matthias and Gerking, Christopher, year=2014 
LibreCat: /record/20905

@inproceedingsBecker_Dziwok_Gerking_Heinzemann_Schäfer_Meyer_Pohlmann_2014, title=The MechatronicUML Method: Model-Driven Software Engineering of Self-Adaptive Mechatronic Systems, booktitle=Proceedings of the 36th International Conference on Software Engineering (Posters), publisher=ACM, New York, NY, USA, author=Becker, Steffen and Dziwok, Stefan and Gerking, Christopher and Heinzemann, Christian and Schäfer, Wilhelm and Meyer, Matthias and Pohlmann, Uwe, year=2014 
LibreCat: /record/20907

@inproceedingsPohlmann_Dziwok_Meyer_Tichy_Thiele_2014, title=A Modelica Coordination Pattern Library for Cyber-Physical Systems, booktitle=Proceedings of the 7th International ICST Conference on Simulation Tools and Techniques, author=Pohlmann, Uwe and Dziwok, Stefan and Meyer, Matthias and Tichy, Matthias and Thiele, Sebastian, year=2014 
LibreCat: /record/20908

@bookBecker_Dziwok_Gerking_Schäfer_Heinzemann_Thiele_Meyer_Priesterjahn_Pohlmann_Tichy_2014, title=The MechatronicUML Design Method - Process and Language for Platform-Independent Modeling, author=Becker, Steffen and Dziwok, Stefan and Gerking, Christopher and Schäfer, Wilhelm and Heinzemann, Christian and Thiele, Sebastian and Meyer, Matthias and Priesterjahn, Claudia and Pohlmann, Uwe and Tichy, Matthias, year=2014 
LibreCat: /record/20909

@inproceedingsPohlmann_Meyer_Dann_Brink_2014, title=Viewpoints and Views in Hardware Platform Modeling for Safe Deployment, booktitle=Proceedings of the 2Nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, publisher=ACM, New York, NY, USA, author=Pohlmann, Uwe and Meyer, Matthias and Dann, Andreas Peter and Brink, Christopher, year=2014, pages=23:23-23:30 
LibreCat: /record/20910

@bookLuo_2014, title=Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen, publisher=Universität Paderborn, author=Luo, Linghui, year=2014 
LibreCat: /record/18001

@bookHinnenthal_2014, title=Formbildung selbstorganisierender Partikelsysteme, author=Hinnenthal, Kristian, year=2014 
LibreCat: /record/18002

@inproceedingsWette_Karl_2014, title=Incorporating feedback from application layer into routing and wavelength assignment algorithms, DOI=10.1109/infcomw.2013.6970733, booktitle=2013 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS), publisher=IEEE, author=Wette, Philip and Karl, Holger, year=2014 
LibreCat: /record/1801
DOI: 10.1109/infcomw.2013.6970733

@articleJacob_W. Richa_Scheideler_Schmid_Täubig_2014, title=SKIP*: A Self-Stabilizing Skip Graph, DOI=10.1145/2629695, number=6, journal=J. ACM, author=Jacob, Riko and W. Richa, Andrea and Scheideler, Christian and Schmid, Stefan and Täubig, Hanjo, year=2014, pages=36:1--36:26 
LibreCat: /record/1858
DOI: 10.1145/2629695

@inproceedingsDerakhshandeh_Dolev_Gmyr_W. Richa_Scheideler_Strothmann_2014, title=Brief announcement: amoebot - a new model for programmable matter, DOI=10.1145/2612669.2612712, booktitle=26th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA’14, Prague, Czech Republic - June 23 - 25, 2014, publisher=ACM, author=Derakhshandeh, Zahra and Dolev, Shlomi and Gmyr, Robert and W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik, year=2014, pages=220--222 
LibreCat: /record/1863
DOI: 10.1145/2612669.2612712

@inproceedingsKühn_Bremer_Dumitrescu_Gausemeier_2014, title=Feature models supporting trade-off decisions in early mechatronic systems design, booktitle=NordDesign 2014, Espoo, Finnland, 27. - 29. Aug. 2014, author=Kühn, Arno and Bremer, Christian and Dumitrescu, Roman and Gausemeier, Jürgen, year=2014 
LibreCat: /record/22903

@articleGausemeier_Dumitrescu_Jasperneite_Kühn_Trsek_2014, title=Der Spitzencluster it’s OWL auf dem Weg zur Industrie 4.0, journal=ZWF - Zeitschrift für Wirtschaftlichen Fabrikbetrieb, author=Gausemeier, Jürgen and Dumitrescu, Roman and Jasperneite, Jürgen and Kühn, Arno and Trsek, Henning, year=2014, pages=336–346 
LibreCat: /record/22904

@articleMahadhir_Tan_Low_Dumitrescu_Amin_Jaffar_2014, title=Terrain Classification for Track-driven Agricultural Robots, volume=Vol. 15, journal=Procedia Technology, author=Mahadhir, Khairul Azmi and Tan, Shing Chiang and Low, Cheng and Dumitrescu, Roman and Amin, Adam Tan Mohd and Jaffar, Ahmed, year=2014, pages=776–783 
LibreCat: /record/22905

@inbookDorociak_Dumitrescu_Gausemeier_Iwanek_2014, place=Berlin, title=Specification Technique CONSENS for the Description of Self-optimizing Systems, booktitle=Design Methodology for Intelligent Technichal Systems, publisher=Springer, author=Dorociak, Rafal and Dumitrescu, Roman and Gausemeier, Jürgen and Iwanek, Peter, editor=Gausemeier, Jürgen and Rammig, Franz-Josef and Schäfer, Wilhelm, year=2014 
LibreCat: /record/22906

@inproceedingsKühn_Kliewe_Dumitrescu_Gausemeier_2014, title=Strategy controlling for innovation clusters - the example of ’s OWL”, booktitle=ISPIM Conference 2014, author=Kühn, Arno and Kliewe, Daniel and Dumitrescu, Roman and Gausemeier, Jürgen, year=2014 
LibreCat: /record/22907

@inproceedingsDumitrescu_Fechtelpeter_Kühn_2014, place=München, title=Systematische Berücksichtigung von Fertigungsanforderungen im Model-Based Systems Engineering, booktitle=Tag des Systems Engineering, Bremen, publisher=Carl Hanser Verlag, author=Dumitrescu, Roman and Fechtelpeter, Christian and Kühn, Arno, editor=Maurer, Maik and Schulze, Sven-OlafEditors, year=2014 
LibreCat: /record/22908

@inproceedingsRabe_Anacker_Dumitrescu_2014, title=Methodology for the identification of solution patterns within mechatronic systems, booktitle=Proceedings of the 15th International Workshop on Research and Education in Mechatronics (REM), El Gouna, Egypt, author=Rabe, Martin and Anacker, Harald and Dumitrescu, Roman, year=2014 
LibreCat: /record/22909

@inproceedingsTschirner_Kaiser_Dumitrescu_Gausemeier_2014, place=Espoo, Finnland, title=Collaboration in Model-Based Systems Engineering based on Application Scenarios, booktitle=NordDesign 2014, author=Tschirner, Christian and Kaiser, Lydia and Dumitrescu, Roman and Gausemeier, Jürgen, year=2014 
LibreCat: /record/22910

@articleJürgenhake_Fechtelpeter_Dumitrescu_Heidsiek_2014, title=Optimized process sequences for prototyping of molded interconnect devices, volume=Vol.1038, journal=Advanced Materials Research, author=Jürgenhake, Christoph and Fechtelpeter, Christian and Dumitrescu, Roman and Heidsiek, Daniel, year=2014, pages=19–27 
LibreCat: /record/22911

@articleSchierbaum_Gausemeier_Dumitrescu_2014, title=Method for the Identification and Comparison of Alternative Process Chains Focusing on Economics Efficiency Analysis during the Conceptual Design of Mechatronic Integrated Devices, volume=Vol.1038, journal=Advanced Materials Research, author=Schierbaum, Thomas and Gausemeier, Jürgen and Dumitrescu, Roman, year=2014, pages=3–9 
LibreCat: /record/22912

@articleBailey_Law_2014, title=A Summer Blender Camp: Modeling, Rendering, and Animation for High School Students, volume=34, DOI=10.1109/MCG.2014.4, number=1, journal=IEEE Computer Graphics and Applications, publisher=IEEE, author=Bailey, M. and Law, C., year=2014, pages=65–67 
LibreCat: /record/21741
DOI: 10.1109/MCG.2014.4

@articleDias_Sousa_Parracho_Cardoso_Monteiro_Santos_2014, title=Student Projects Involving Novel Interaction with Large Displays, volume=34, DOI=10.1109/MCG.2014.35, number=2, journal=IEEE Computer Graphics and Applications, publisher=IEEE, author=Dias, P. and Sousa, T. and Parracho, J. and Cardoso, I. and Monteiro, A. and Santos, B. S., year=2014, pages=80–86 
LibreCat: /record/21742
DOI: 10.1109/MCG.2014.35

@articleRepenning_C. Webb_Brand_Gluck_Grover_Miller_Nickerson_Song_2014, title=Beyond Minecraft: Facilitating Computational Thinking through Modeling and Programming in 3D, volume=34, DOI=10.1109/MCG.2014.46, number=3, journal=IEEE Computer Graphics and Applications, publisher=IEEE, author=Repenning, A. and C. Webb, D. and Brand, C. and Gluck, F. and Grover, R. and Miller, S. and Nickerson, H. and Song, M., year=2014, pages=68–71 
LibreCat: /record/21743
DOI: 10.1109/MCG.2014.46

@articleReina_Müller_Ertl_2014, title=Incorporating Modern OpenGL into Computer Graphics Education, volume=34, DOI=10.1109/MCG.2014.69, number=4, journal=IEEE Computer Graphics and Applications, publisher=IEEE, author=Reina, G. and Müller, T. and Ertl, T., year=2014, pages=16–21 
LibreCat: /record/21744
DOI: 10.1109/MCG.2014.69

@articleCao_Li_Pan_Csete_Sun_Li_Liu_2014, title=Creative Educational Use of Virtual Reality: Working with Second Life, volume=34, DOI=10.1109/MCG.2014.87, journal=Computer Graphics and Applications, IEEE, publisher=IEEE, author=Cao, M. and Li, Y. and Pan, Z. and Csete, J. and Sun, S. and Li, J. and Liu, Y., year=2014, pages=83–87 
LibreCat: /record/21745
DOI: 10.1109/MCG.2014.87

@articleDiSalvo_2014, title=Graphical Qualities of Educational Technology: Using Drag-and-Drop and Text-Based Programs for Introductory Computer Science, volume=34, DOI=10.1109/MCG.2014.112, number=6, journal=IEEE Computer Graphics and Applications, publisher=IEEE, author=DiSalvo, B., year=2014, pages=12–15 
LibreCat: /record/21746
DOI: 10.1109/MCG.2014.112

@articleNüske_Keller_Pérez-Hernández_Mey_Noé_2014, title=Variational Approach to Molecular Kinetics, DOI=10.1021/ct4009156, journal=Journal of Chemical Theory and Computation, author=Nüske, Feliks and Keller, Bettina G. and Pérez-Hernández, Guillermo and Mey, Antonia S. J. S. and Noé, Frank, year=2014, pages=1739–1752 
LibreCat: /record/21936
DOI: 10.1021/ct4009156

@bookWeskamp _John _Kundisch _Teetz_Rose_2014, place=Brussels, series=Proceedings of the European Electric Vehicle Congress (EEVC), title=Towards a Simulation-based Approach for Evaluating Business Models for the Electric Vehicle Market, year=2014, collection=Proceedings of the European Electric Vehicle Congress (EEVC) 
LibreCat: /record/7761

@inproceedingsPittke_Nagel_Engels_Mendling_2014, title=Linguistic Consistency of Goal Models, booktitle=Proceedings of the 19th International EMMSAD Conference, publisher=Springer, author=Pittke, Fabian and Nagel, Benjamin and Engels, Gregor and Mendling, Jan, year=2014 
LibreCat: /record/8064

@inproceedingsFazal-Baqaie_Gerth_Engels_2014, title=Breathing Life into Situational Software Engineering Methods, volume=8892, booktitle=In Proceedings of the 15th International Conference of Product Focused Software Development and Process Improvement (PROFES 2014), publisher=Springer, author=Fazal-Baqaie, Masud and Gerth, Christian and Engels, Gregor, year=2014, pages=281–284 
LibreCat: /record/8065

@inproceedingsFazal-Baqaie_Sauer_Heuft_2014, series=Lecture Notes in Informatics (LNI), title=Agile Entwicklung mit On- und Offshore-Partnern – Methodenverbesserung in der Praxis, booktitle=Proceedings of Projektmanagement und Vorgehensmodelle 2014, publisher=GI, Köllen Druck+Verlag GmbH, Bonn, author=Fazal-Baqaie, Masud and Sauer, Stefan and Heuft, Torsten, year=2014, pages=59–69, collection=Lecture Notes in Informatics (LNI) 
LibreCat: /record/8066

@bookArifulina_Christin Platenius_Gerth_Becker_Engels_Schäfer_2014, title=Configuration of Specification Language and Matching for Services in On-The-Fly Computing, publisher=Heinz Nixdorf Institute, University of Paderborn, author=Arifulina, Svetlana and Christin Platenius, Marie and Gerth, Christian and Becker, Steffen and Engels, Gregor and Schäfer, Wilhelm, year=2014 
LibreCat: /record/8224

@inproceedingsYigitbas_Fischer_Sauer_2014, title=Model-Based User Interface Development for Adaptive Self-Service Systems, DOI=10.1007/978-3-319-07668-3‑21, booktitle=Design, User Experience, and Usability. Theories, Methods, and Tools for Designing the User Experience - Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part I, author=Yigitbas, Enes and Fischer, Holger Gerhard and Sauer, Stefan, year=2014, pages=206–213 
LibreCat: /record/5749
DOI: 10.1007/978-3-319-07668-3‑21

@inproceedingsYigitbas_Fischer_Kern_Paelke_2014, title=Model-Based Development of Adaptive UIs for Multi-channel Self-service Systems, DOI=10.1007/978-3-662-44811-3‑18, booktitle=Human-Centered Software Engineering - 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings, author=Yigitbas, Enes and Fischer, Holger Gerhard and Kern, Thomas and Paelke, Volker, year=2014, pages=267–274 
LibreCat: /record/5750
DOI: 10.1007/978-3-662-44811-3‑18

@inproceedingsYigitbas_Sauer_2014, title=Flexible &; Adaptive UIs for Self-Service Systems, booktitle=Mensch &; Computer 2014 - Workshopband, 14. Fachübergreifende Konferenz für Interaktive und Kooperative Medien - Interaktiv unterwegs - Freiräume gestalten, 31. August - 3. September 2014, München, Germany, author=Yigitbas, Enes and Sauer, Stefan, year=2014, pages=167–175 
LibreCat: /record/5751

@inproceedingsFischer_Riedemann_Daske_Geis_Kluge_Molich_Polkehn_2014, title=Qualität im Usability Engineering - Stand der Arbeiten am Qualitätsstandard Usability Engineering der German UPA, booktitle=Jahresband Usability Professionals, publisher=German UPA, author=Fischer, Holger Gerhard and Riedemann, Catharina and Daske, Lisa and Geis, Thomas and Kluge, Oliver and Molich, Rolf and Polkehn, Knut, year=2014 
LibreCat: /record/6273

@inproceedingsSenft_Fischer_Sudbrock_2014, title=IT-Unterstützung im praktischen Ausbildungsbetrieb der Feuerwehr, booktitle=Mensch &; Computer 2014 - Workshopband, publisher=De Gruyter Oldenbourg, author=Senft, Björn and Fischer, Holger Gerhard and Sudbrock, Christian, year=2014, pages=111–116 
LibreCat: /record/6303

@bookSommer_Dressler_2014, title=Vehicular Networking, DOI=10.1017/CBO9781107110649, publisher=Cambridge University Press, author=Sommer, Christoph and Dressler, Falko, year=2014 
LibreCat: /record/6428
DOI: 10.1017/CBO9781107110649

@articleBlömer_Liske_2014, title=Constructing CCA-secure predicate encapsulation schemes from CPA-secure schemes and universal one-way hash functions, publisher=Universität Paderborn, author=Blömer, Johannes and Liske, Gennadij, year=2014 
LibreCat: /record/442

@inproceedingsOgierman_Richa_Scheideler_Schmid_Zhang_2014, title=Competitive MAC under adversarial SINR, DOI=10.1109/INFOCOM.2014.6848224, booktitle=Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM), author=Ogierman, Adrian and Richa, Andrea W. and Scheideler, Christian and Schmid, Stefan and Zhang, Jin, year=2014, pages=2751--2759 
LibreCat: /record/446
DOI: 10.1109/INFOCOM.2014.6848224

@inproceedingsJungmann_Mohr_Kleinjohann_2014, title=Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services, DOI=10.1109/SERVICES.2014.68, booktitle=Proceedings of the 10th World Congress on Services (SERVICES), author=Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd, year=2014, pages=346–353 
LibreCat: /record/447
DOI: 10.1109/SERVICES.2014.68

@inproceedingsBecker_Platenius_Becker_2014, series=Communications in Computer and Information Science, title=Cloud Computing Reduces Uncertainties in Quality-of-Service Matching!, DOI=10.1007/978-3-319-14886-1_15, booktitle=Proceedings of the 2nd International Workshop on Cloud Service Brokerage (CSB), author=Becker, Matthias and Platenius, Marie Christin and Becker, Steffen, year=2014, pages=153–159, collection=Communications in Computer and Information Science 
LibreCat: /record/449
DOI: 10.1007/978-3-319-14886-1_15

@inproceedingsJakobs_Wehrheim_2014, series=SPIN 2014, title=Certification for Configurable Program Analysis, DOI=10.1145/2632362.2632372, booktitle=Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), author=Jakobs, Marie-Christine and Wehrheim, Heike, year=2014, pages=30–39, collection=SPIN 2014 
LibreCat: /record/450
DOI: 10.1145/2632362.2632372

@inproceedingsDrees_Riechers_Skopalik_2014, series=Lecture Notes in Computer Science, title=Budget-restricted utility games with ordered strategic decisions, DOI=10.1007/978-3-662-44803-8_10, booktitle=Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), author=Drees, Maximilian and Riechers, Sören and Skopalik, Alexander, editor=Lavi, RonEditor, year=2014, pages=110–121, collection=Lecture Notes in Computer Science 
LibreCat: /record/451
DOI: 10.1007/978-3-662-44803-8_10

@inproceedingsAbshoff_Cord-Landwehr_Jung_Skopalik_2014, series=LNCS, title=Brief Announcement: A Model for Multilevel Network Games, booktitle=Proceedings of the 7th International Symposium on Algorithmic Game Theory (SAGT), author=Abshoff, Sebastian and Cord-Landwehr, Andreas and Jung, Daniel and Skopalik, Alexander, editor=Lavi, RonEditor, year=2014, pages=294, collection=LNCS 
LibreCat: /record/452

@inproceedingsFeldotto_Gairing_Skopalik_2014, series=LNCS, title=Bounding the Potential Function in Congestion Games and Approximate Pure Nash Equilibria, DOI=10.1007/978-3-319-13129-0_3, booktitle=Proceedings of the 10th International Conference on Web and Internet Economics (WINE), author=Feldotto, Matthias and Gairing, Martin and Skopalik, Alexander, year=2014, pages=30–43, collection=LNCS 
LibreCat: /record/453
DOI: 10.1007/978-3-319-13129-0_3

@inproceedingsHansknecht_Klimm_Skopalik_2014, series=LIPIcs, title=Approximate pure Nash equilibria in weighted congestion games, DOI=10.4230/LIPIcs.APPROX-RANDOM.2014.242, booktitle=Proceedings of the 17th. International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (APPROX), author=Hansknecht, Christoph and Klimm, Max and Skopalik, Alexander, year=2014, pages=242–257, collection=LIPIcs 
LibreCat: /record/455
DOI: 10.4230/LIPIcs.APPROX-RANDOM.2014.242

@inproceedingsGairing_Kotsialou_Skopalik_2014, series=LNCS, title=Approximate pure Nash equilibria in Social Context Congestion Games, DOI=10.1007/978-3-319-13129-0_43, booktitle=Proceedings of the 10th International Conference on Web and Internet Economics (WINE), author=Gairing, Martin and Kotsialou, Grammateia and Skopalik, Alexander, year=2014, pages=480–485, collection=LNCS 
LibreCat: /record/456
DOI: 10.1007/978-3-319-13129-0_43

@inproceedingsJungmann_Mohr_Kleinjohann_2014, title=Applying Reinforcement Learning for Resolving Ambiguity in Service Composition, DOI=10.1109/SOCA.2014.48, booktitle=Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), author=Jungmann, Alexander and Mohr, Felix and Kleinjohann, Bernd , year=2014, pages=105–112 
LibreCat: /record/457
DOI: 10.1109/SOCA.2014.48

@bookDreimann_2014, title=Anticipatory Power Cycling of Mobile Network Equipment for High-Demand Multimedia Traffic, publisher=Universität Paderborn, author=Dreimann, Philipp, year=2014 
LibreCat: /record/458

@inproceedingsKniesburges_Markarian_Meyer auf der Heide_Scheideler_2014, series=LNCS, title=Algorithmic Aspects of Resource Management in the Cloud, DOI=10.1007/978-3-319-09620-9_1, booktitle=Proceedings of the 21st International Colloquium on Structural Information and Communication Complexity (SIROCCO), author=Kniesburges, Sebastian and Markarian, Christine and Meyer auf der Heide, Friedhelm and Scheideler, Christian, year=2014, pages=1–13, collection=LNCS 
LibreCat: /record/459
DOI: 10.1007/978-3-319-09620-9_1

@bookDräxler_2014, title=Adaptive Placement of Programmable Virtual Network Function Chains, publisher=Universität Paderborn, author=Dräxler, Sevil, year=2014 
LibreCat: /record/461