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.

4679 Publications


2014 | Bachelorsthesis | LibreCat-ID: 333
@book{Osterbrink_2014, title={Visualisierung von SMT-Solver-Ausgaben}, publisher={Universität Paderborn}, author={Osterbrink, Sebastian}, year={2014} }
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 334
@book{Wagener_2014, title={Vertical Thread Migration in FPGA based Sound Localization}, publisher={Universität Paderborn}, author={Wagener, Peter}, year={2014} }
LibreCat
 

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 | Bachelorsthesis | LibreCat-ID: 337
@book{Berkemeier_2014, title={Verhandlungen vs Auktionen im Beschäftigungsmanagement}, publisher={Universität Paderborn}, author={Berkemeier, Christopher}, year={2014} }
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 338
@book{Beck_2014, title={Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens}, publisher={Universität Paderborn}, author={Beck, Henri}, year={2014} }
LibreCat
 

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 | Bachelorsthesis | LibreCat-ID: 341
@book{Fang Cheng_2014, title={Two-Sided Market and Game Console Vendors}, publisher={Universität Paderborn}, author={Fang Cheng, Terry}, year={2014} }
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 342
@book{Klauke_2014, title={Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen}, publisher={Universität Paderborn}, author={Klauke, Christoph}, 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: 345
@inproceedings{Jungmann_Kleinjohann_2014, title={Towards Context-Sensitive Service Composition for Service-Oriented Image Processing}, DOI={10.1109/CloudCom.2014.154}, booktitle={Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom)}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2014}, pages={755–758} }
LibreCat | Files available | DOI
 

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 | Bachelorsthesis | LibreCat-ID: 348
@book{Rüthing_2014, title={The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores}, publisher={Universität Paderborn}, author={Rüthing, Christoph}, year={2014} }
LibreCat
 

2014 | Report | LibreCat-ID: 349
@book{Sorge_2014, title={The Legal Classification of Identity-Based Signatures}, author={Sorge, Christoph}, year={2014} }
LibreCat | Files available
 

2014 | Report | LibreCat-ID: 350
@book{Kaimann_Cox_2014, title={The Interaction of Signals: A Fuzzy set Analysis of the Video Game Industry}, publisher={Universität Paderborn}, author={Kaimann, Daniel and Cox, Joe}, year={2014} }
LibreCat | Files available
 

2014 | Mastersthesis | LibreCat-ID: 351
@book{Holzweißig_2014, title={The Impact of Customer Reviews and Reputation on Hotel Prices}, publisher={Universität Paderborn}, author={Holzweißig, Lena}, year={2014} }
LibreCat
 

2014 | Dissertation | LibreCat-ID: 352
@book{Scheel_2014, title={The Economics of Individual Behavior in Competitive Environments: Empirical Evidence from Real-Life Tournaments}, publisher={Universität Paderborn}, author={Scheel, Friedrich}, year={2014} }
LibreCat | Files available
 

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
 

Filters and Search Terms

isbn%3D978-1-60960-086-0

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed