Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
9737 Publications
2014 | Conference Paper | LibreCat-ID: 26538
@inproceedings{Winkelnkemper_Keil_2014, title={Zwischen Design und Flexibilit{\"a}t - 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
2014 | Conference Paper | LibreCat-ID: 26540
@inproceedings{Jakoblew _Keil_Winkelnkemper_2014, title={Forschendes Lernen durch semantisches Positionieren}, booktitle={Proceedings der HDI 2014}, publisher={Universit{\"a}t Rostock}, author={Jakoblew , Marcel and Keil, Reinhard and Winkelnkemper, Felix}, editor={Forbrig, Peter and Magenheim, Johannes}, year={2014}, pages={74–84} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 26541
@inproceedings{Keil_Schild_2014, place={Berlin}, title={Hypothesengeleitete Gestaltung von Benutzungsoberfl{\"a}chen}, publisher={De Gruyter Oldenbourg}, author={Keil, Reinhard and Schild, Christian}, year={2014}, pages={265–274} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 26542
@inproceedings{Keil_2014, place={Berlin}, title={Knowledge integration processes and distributed knowledge organization}, publisher={De Gruyter Saur}, author={Keil, Reinhard}, editor={Keller, Stefan Andreas and Schneider, René and Volk, Benno}, year={2014}, pages={162–179} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 329
@inproceedings{Wette_Dräxler_Schwabe_Wallaschek_Zahraee_Karl_2014, title={MaxiNet: Distributed Emulation of Software-Defined Networks}, DOI={10.1109/IFIPNetworking.2014.6857078}, booktitle={Proceedings of the 2014 IFIP Networking Conference (Networking 2014)}, author={Wette, Philip and Dräxler, Martin and Schwabe, Arne and Wallaschek, Felix and Zahraee, Mohammad Hassan and Karl, Holger}, year={2014}, pages={1–9} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 336
@inproceedings{Walther_Wehrheim_2014, series={LNCS}, title={Verified Service Compositions by Template-Based Construction}, DOI={10.1007/978-3-319-15317-9_3}, booktitle={Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS)}, author={Walther, Sven and Wehrheim, Heike}, editor={Lanese, Ivan and Madelaine, EricEditors}, year={2014}, pages={31–48}, collection={LNCS} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 339
@inproceedings{Wette_Karl_2014, title={Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms}, DOI={10.1109/ICC.2014.6883825}, booktitle={Proceedings of the IEEE International Conference on Communications 2014}, author={Wette, Philip and Karl, Holger}, year={2014}, pages={3270–3276} }
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 340
@book{Korth_2014, title={Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs”}, publisher={Universität Paderborn}, author={Korth, Philipp}, year={2014} }
LibreCat
2014 | Dissertation | LibreCat-ID: 343
@book{Künsemöller_2014, title={Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market}, publisher={Universität Paderborn}, author={Künsemöller, Jörn}, year={2014} }
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 344
@inproceedings{Becker_Becker_Besova_Walther_Wehrheim_2014, title={Towards Systematic Configuration for Architecture Validation}, booktitle={Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session)}, author={Becker, Matthias and Becker, Steffen and Besova, Galina and Walther, Sven and Wehrheim, Heike}, year={2014} }
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 346
@inproceedings{Brangewitz_Jungmann_Petrlic_Platenius_2014, title={Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services}, booktitle={Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION)}, author={Brangewitz, Sonja and Jungmann, Alexander and Petrlic, Ronald and Platenius, Marie Christin}, year={2014}, pages={49–57} }
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 347
@inproceedings{Meisner_Platzner_2014, series={Lecture Notes in Computer Science}, title={Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-cores for Error Detection}, DOI={10.1007/978-3-319-05960-0_30}, booktitle={Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC)}, publisher={Springer}, author={Meisner, Sebastian and Platzner, Marco}, editor={Goehringer, Diana and Santambrogio, MarcoDomenico and Cardoso, JoãoM.P. and Bertels, KoenEditors}, year={2014}, pages={283–290}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 353
@inproceedings{Mohr_Walther_2014, series={LNCS}, title={Template-based Generation of Semantic Services}, DOI={10.1007/978-3-319-14130-5_14}, booktitle={Proceedings of the 14th International Conference on Software Reuse (ICSR)}, author={Mohr, Felix and Walther, Sven}, year={2014}, pages={188–203}, collection={LNCS} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 354
@inproceedings{Keller_Robbert_Karl_2014, title={Template Embedding: Using Application Architecture to Allocate Resources in Distributed Clouds}, DOI={10.1109/UCC.2014.49}, booktitle={Proceedings of 7th International Conference on Utility and Cloud Computing (UCC)}, author={Keller, Matthias and Robbert, Christoph and Karl, Holger}, year={2014}, pages={387--395} }
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 355
@inproceedings{Blö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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 360 | 
@inproceedings{Drä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
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 361
@book{Roeske_2014, title={Simulating load-dependent operation of picocells}, publisher={Universität Paderborn}, author={Roeske, Daniel}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 364
@inproceedings{Arifulina_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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 366
@inproceedings{Petrlic_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
| Files available
2014 | Conference Paper | LibreCat-ID: 367
@inproceedings{Janiuk_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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 368
@inproceedings{Brinkmann_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
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 369
@book{Rath_2014, title={RSA-Full Domain Hash Revisited}, publisher={Universität Paderborn}, author={Rath, Timo}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 370
@inproceedings{Harks_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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 371
@inproceedings{Scheideler_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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 372
@inproceedings{Keller_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
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 373
@book{Pahl_2014, title={Reputationssysteme für zusammengesetzte Dienstleistungen}, publisher={Universität Paderborn}, author={Pahl, David}, year={2014} }
LibreCat
2014 | Dissertation | LibreCat-ID: 376
@book{Herlich_2014, title={Reducing Energy Consumption of Radio Access Networks}, publisher={Universität Paderborn}, author={Herlich, Matthias}, year={2014} }
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 378
@article{Kniesburges_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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 379
@inproceedings{Abshoff_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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 380
@inproceedings{Cord-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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 3805
@inproceedings{Brü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
2014 | Conference Paper | LibreCat-ID: 382
@inproceedings{Kü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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 383
@inproceedings{Wonisch_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
| Files available
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 387
@article{Awerbuch_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
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 3877
@inproceedings{Wachsmuth_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
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 3890
@article{Hammer_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
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 390
@article{Huma_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
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 3905
@article{Abu 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
| Download (ext.)
2014 | Mastersthesis | LibreCat-ID: 2900
@book{Brauer_2014, title={A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures}, author={Brauer, Sascha}, year={2014} }
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 2976
@article{Ackermann_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
| DOI
2014 | Conference Paper | LibreCat-ID: 2977
@inproceedings{Blö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
| DOI
2014 | Journal Article | LibreCat-ID: 3127
@article{Jager_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
| DOI
2014 | Conference Paper | LibreCat-ID: 3128
@inproceedings{Fleischhacker_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
| DOI
2014 | Journal Article | LibreCat-ID: 3167
@article{Schneider_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
| DOI
2014 | Journal Article | LibreCat-ID: 3168
@article{Tofan_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
| DOI
2014 | Journal Article | LibreCat-ID: 3169
@article{Schellhorn_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
| DOI
2014 | Conference Paper | LibreCat-ID: 3170
@inproceedings{Derrick_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
| DOI
2014 | Conference Paper | LibreCat-ID: 3171
@inproceedings{Travkin_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
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
@inproceedings{Isenberg_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Timed Automata Verification via {IC3} 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
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
@inproceedings{A. 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
| DOI
2014 | Journal Article | LibreCat-ID: 3174
@article{Schneider_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
2014 | Journal Article | LibreCat-ID: 3175
@article{Isenberg_Wehrheim_2014, title={Proof-Carrying Hardware via {IC3}}, journal={CoRR}, author={Isenberg, Tobias and Wehrheim, Heike}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 27166
@article{Keil_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
2014 | Conference Paper | LibreCat-ID: 27167
@inproceedings{Winkelnkemper_Keil_2014, title={Zwischen Design und Flexibilit{\"a}t - 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
2014 | Conference Paper | LibreCat-ID: 20983
@inproceedings{Brenner_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
2014 | Conference Paper | LibreCat-ID: 17659
@inproceedings{Polevoy_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
2014 | Conference Paper | LibreCat-ID: 17660
@inproceedings{Polevoy_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
2014 | Conference Paper | LibreCat-ID: 17661
@inproceedings{King_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
2014 | Journal Article | LibreCat-ID: 17662
@article{Polevoy_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
| DOI
2014 | Conference Paper | LibreCat-ID: 1781
@inproceedings{Steinle_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
| DOI
2014 | Conference Paper | LibreCat-ID: 1782
@inproceedings{Graf_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
| DOI
2014 | Dissertation | LibreCat-ID: 19039
@book{Petring_2014, place={Universität Paderborn}, title={Multi-Algorithmen-Rendering: Darstellung heterogener 3-D-Szenen in Echtzeit}, author={Petring, Ralf}, year={2014} }
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 20905
@inproceedings{Pohlmann_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
2014 | Conference Paper | LibreCat-ID: 20907
@inproceedings{Becker_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
2014 | Conference Paper | LibreCat-ID: 20908
@inproceedings{Pohlmann_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
| Download (ext.)
2014 | Report | LibreCat-ID: 20909
@book{Becker_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
2014 | Conference Paper | LibreCat-ID: 20910
@inproceedings{Pohlmann_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
2014 | Bachelorsthesis | LibreCat-ID: 18001
@book{Luo_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
2014 | Bachelorsthesis | LibreCat-ID: 18002
@book{Hinnenthal_2014, title={Formbildung selbstorganisierender Partikelsysteme}, author={Hinnenthal, Kristian}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 1801
@inproceedings{Wette_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
| DOI
2014 | Journal Article | LibreCat-ID: 1858
@article{Jacob_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
| DOI
2014 | Conference Paper | LibreCat-ID: 1863
@inproceedings{Derakhshandeh_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
| DOI
2014 | Conference Paper | LibreCat-ID: 22903
@inproceedings{Kü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
2014 | Newspaper Article | LibreCat-ID: 22904
@article{Gausemeier_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
2014 | Newspaper Article | LibreCat-ID: 22905
@article{Mahadhir_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
2014 | Book Chapter | LibreCat-ID: 22906
@inbook{Dorociak_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
2014 | Conference Paper | LibreCat-ID: 22907
@inproceedings{Kühn_Kliewe_Dumitrescu_Gausemeier_2014, title={Strategy controlling for innovation clusters - the example of “it’s OWL”}, booktitle={ISPIM Conference 2014}, author={Kühn, Arno and Kliewe, Daniel and Dumitrescu, Roman and Gausemeier, Jürgen}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 22908
@inproceedings{Dumitrescu_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
2014 | Conference Paper | LibreCat-ID: 22909
@inproceedings{Rabe_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
2014 | Conference Paper | LibreCat-ID: 22910
@inproceedings{Tschirner_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
2014 | Newspaper Article | LibreCat-ID: 22911
@article{Jü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
2014 | Newspaper Article | LibreCat-ID: 22912
@article{Schierbaum_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
2014 | Journal Article | LibreCat-ID: 21741
@article{Bailey_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
| DOI
2014 | Journal Article | LibreCat-ID: 21742
@article{Dias_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
| DOI
2014 | Journal Article | LibreCat-ID: 21743
@article{Repenning_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
| DOI
2014 | Journal Article | LibreCat-ID: 21744
@article{Reina_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
| DOI
2014 | Journal Article | LibreCat-ID: 21745
@article{Cao_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
| DOI
2014 | Journal Article | LibreCat-ID: 21746
@article{DiSalvo_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
| DOI
2014 | Journal Article | LibreCat-ID: 21936
@article{Nü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
| DOI
2014 | Conference (Editor) | LibreCat-ID: 7761
@book{Weskamp _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
2014 | Conference Paper | LibreCat-ID: 8064
@inproceedings{Pittke_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
2014 | Conference Paper | LibreCat-ID: 8065
@inproceedings{Fazal-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
2014 | Conference Paper | LibreCat-ID: 8066
@inproceedings{Fazal-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
2014 | Report | LibreCat-ID: 8224
@book{Arifulina_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
2014 | Conference Paper | LibreCat-ID: 5749
@inproceedings{Yigitbas_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
| DOI
2014 | Conference Paper | LibreCat-ID: 5750
@inproceedings{Yigitbas_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
| DOI
2014 | Conference Paper | LibreCat-ID: 5751
@inproceedings{Yigitbas_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
2014 | Conference Paper | LibreCat-ID: 6273
@inproceedings{Fischer_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
2014 | Conference Paper | LibreCat-ID: 6303
@inproceedings{Senft_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
2014 | Book | LibreCat-ID: 6428
@book{Sommer_Dressler_2014, title={Vehicular Networking}, DOI={10.1017/CBO9781107110649}, publisher={Cambridge University Press}, author={Sommer, Christoph and Dressler, Falko}, year={2014} }
LibreCat
| DOI