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.

17341 Publications


2014 | Conference Paper | LibreCat-ID: 3172
Isenberg, T., & Wehrheim, H. (2014). Timed Automata Verification via {IC3} with Zones. In S. Merz & J. Pang (Eds.), Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings (pp. 203--218). https://doi.org/10.1007/978-3-319-11737-9_14
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 11979
Bloessl, B., Puschmann, A., Sommer, C., & Dressler, F. (2014). Timings matter. In Proceedings of the 9th ACM international workshop on Wireless network testbeds, experimental evaluation and characterization - WiNTECH ’14. https://doi.org/10.1145/2643230.2643240
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 9882
Kohl, S., Sextro, W., & Zuber, A. (2014). Tire footprint analysis depending on the elastokinematics of a multi-link suspension system using multi-body dynamics simulation. PAMM, 14(1), 65–66. https://doi.org/10.1002/pamm.201410020
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 2709
Gu, Y., & Hehenkamp, B. (2014). Too Much of a Good Thing? Welfare Consequences of Market Transparency. Journal of Institutional and Theoretical Economics JITE, 170(2), 225–248. https://doi.org/10.1628/093245614x13895979380392
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 25473
Saleem, M., S. Padmanabhuni, S., Ngonga Ngomo, A.-C., Iqbal, A., S. Almeida, J., Decker, S., & F. Deus, H. (2014). TopFed: TCGA Tailored Federated Query Processing and Linking to LOD. J. Biomed. Semant., 5, 47. https://doi.org/10.1186/2041-1480-5-47
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 13317
Wagner, D., Richter, A., Trier, M., & Wagner, H.-T. (2014). Towards a Conceptualization of Online Community Health. In E. Karahanna, A. Srinivasan, & B. Tan (Eds.), Proceedings of the 35th International Conference on Information Systems. ICIS 2014. Association for Information Systems. AIS Electronic Library (AISeL).
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 346
Brangewitz, S., Jungmann, A., Petrlic, R., & Platenius, M. C. (2014). 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) (pp. 49–57).
LibreCat | Files available
 

2014 | Conference Paper | LibreCat-ID: 25153
Jungmann, A., Brangewitz, S., Petrlic, R., & Platenius, M. C. (2014). Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 49–57.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 1124
Geierhos, M. (2014). Towards a Local Grammar-based Persondata Generator for Wikipedia Biographies. In F. Kakoyianni-Doa (Ed.), Penser le Lexique-Grammaire (pp. 411–420). Paris, France: Honoré Champion.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25774
Geierhos, M. (2014). Towards a Local Grammar-based Persondata Generator for Wikipedia Biographies. In F. Kakoyianni-Doa (Ed.), Penser le Lexique-Grammaire (pp. 411–420). Honoré Champion.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 23678
Petersen, M., Bauer, F., Hess, S., Gausemeier, J., & Gräßler, I. (2014). Towards a Production System Specification Technique for Functionally Graded Components. In Proceedings of the DESIGN 2014 - 13th International DESIGN Conference | Volume 2 (Vol. 2, pp. 1157–1166). The Design Society, Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb / The Design Society, Glasgow.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 11996
Eckert, J., Sommer, C., & Eckhoff, D. (2014). Towards a simulation framework for paraglider networks. In Proceedings of the 11th ACM symposium on Performance evaluation of wireless ad hoc, sensor, & ubiquitous networks - PE-WASUN ’14. https://doi.org/10.1145/2653481.2655754
LibreCat | DOI
 

2014 | Conference (Editor) | LibreCat-ID: 7761
Weskamp , C., John , T., Kundisch , D., Teetz, A., & Rose, M. (Eds.). (2014). Towards a Simulation-based Approach for Evaluating Business Models for the Electric Vehicle Market. Brussels.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 2717
Weskamp, C., John, T., Suhl, L., Kundisch, D., Teetz, A., & Rose, M. (2014). Towards a Simulation-based Approach for Evaluating Business Models for the Electric Vehicle Market. In Proceedings of the European Electric Vehicle Congress (EEVC). Brussels, Belgium.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 11994
Dressler, F., Handle, P., & Sommer, C. (2014). Towards a vehicular cloud - using parked vehicles as a temporary network and storage infrastructure. In Proceedings of the 2014 ACM international workshop on Wireless and mobile technologies for smart cities - WiMobCity ’14. https://doi.org/10.1145/2633661.2633671
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 25493
Marx, E., Usbeck, R., Ngonga Ngomo, A.-C., Höffner, K., Lehmann, J., & Auer, S. (2014). Towards an open question answering architecture. In H. Sack, A. Filipowska, J. Lehmann, & S. Hellmann (Eds.), Proceedings of the 10th International Conference on Semantic Systems, {SEMANTICS} 2014, Leipzig, Germany, September 4-5, 2014 (pp. 57–60). {ACM}. https://doi.org/10.1145/2660517.2660519
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 11978
Bloessl, B., Segata, M., Sommer, C., & Dressler, F. (2014). Towards an Open Source IEEE 802.11p stack: A full SDR-based transceiver in GNU Radio. In 2013 IEEE Vehicular Networking Conference. https://doi.org/10.1109/vnc.2013.6737601
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 25160
Grösbrink, S., Almeida, L., de Sousa, M., & Petters, S. M. (2014). Towards Certifiable Adaptive Reservations for Hypervisor-based Virtualization. 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 345
Jungmann, A., & Kleinjohann, B. (2014). Towards Context-Sensitive Service Composition for Service-Oriented Image Processing. In Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom) (pp. 755–758). https://doi.org/10.1109/CloudCom.2014.154
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 25112
Jungmann, A., & Kleinjohann, B. (2014). Towards Context-Sensitive Service Composition for Service-Oriented Image Processing. Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 755–758.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 12049
Segata, M., Bloessl, B., Sommer, C., & Dressler, F. (2014). Towards energy efficient smart phone applications: Energy models for offloading tasks into the cloud. In 2014 IEEE International Conference on Communications (ICC). https://doi.org/10.1109/icc.2014.6883681
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 11753
Drude, L., Chinaev, A., Tran Vu, D. H., & Haeb-Umbach, R. (2014). Towards Online Source Counting in Speech Mixtures Applying a Variational EM for Complex Watson Mixture Models. In 14th International Workshop on Acoustic Signal Enhancement (IWAENC 2014) (pp. 213–217).
LibreCat | Files available | Download (ext.)
 

2014 | Conference Paper | LibreCat-ID: 10633
Boschmann, A., & Platzner, M. (2014). Towards robust HD EMG pattern recognition: Reducing electrode displacement effect using structural similarity. In Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC).
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 10677
Ho, N., Kaufmann, P., & Platzner, M. (2014). Towards self-adaptive caches: A run-time reconfigurable multi-core infrastructure. In 2014 {IEEE} Intl. Conf. on Evolvable Systems (ICES) (pp. 31–37). https://doi.org/10.1109/ICES.2014.7008719
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 25147
Jatzkowski, J., & Kleinjohann, B. (2014). Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems. 2nd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt).
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 22740
Becker, M., Becker, S., Besova, G., Walther, S., & Wehrheim, H. (2014). Towards Systematic Configuration for Architecture Validation. In {Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) (Work in Progress Session)}. IEEE.
LibreCat
 

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

2014 | Journal Article | LibreCat-ID: 2819
Gries, T., & Grundmann, R. (2014). Trade and fertility in the developing world: the impact of trade and trade structure. Journal of Population Economics, 27(4), 1165–1186. https://doi.org/10.1007/s00148-014-0508-x
LibreCat | DOI
 

2014 | Dissertation | LibreCat-ID: 343
Künsemöller, J. (2014). Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market. Universität Paderborn.
LibreCat | Files available
 

2014 | Bachelorsthesis | LibreCat-ID: 342
Klauke, C. (2014). Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen. Universität Paderborn.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 4475
Gebhardt, A., & Jenert, T. (2014). Transition within higher education institutions (HEI): Differences in learning culture (LC) between first-year, bachelor, and master students at a business school. Presented at the SIG4 Higher Education & SIG17 Qualitative and Quantitative Approaches to Learning and Instruction Earli SIG Conference 2014, Leuven.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 4055
Brassat, K., Brodehl, C., & Lindner, J. (2014). Tuning the distance between opposing metallic nanotips formed by a template assisted self-assembly process. Presented at the MRS Materials Research Society Spring Meeting 2014, San Francisco (USA).
LibreCat
 

2014 | Journal Article | LibreCat-ID: 23639
Schmaltz, T., Khassanov, A., Steinrück, H.-G., Magerl, A., Hirsch, A., & Halik, M. (2014). Tuning the molecular order of C60-based self-assembled monolayers in field-effect transistors. Nanoscale, 6, 13022–13027. https://doi.org/10.1039/c4nr03557g
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 17199
Pitsch, K., Vollmer, A.-L., Rohlfing, K., Fritsch, J., & Wrede, B. (2014). Tutoring in adult-child-interaction: On the loop of the tutor’s action modification and the recipient’s gaze. Interaction Studies, 15(1), 55–98. https://doi.org/10.1075/is.15.1.03pit
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 26537
Keil, R., Selke, H., & Winkelnkemper, F. (2014). Twenty years of learning with the World Wide Web (S. Trahasch, R. Pl {\ "o} tzner, G. Schneider, C. Gayer, D. Sassiat, & N. W {\ "o} hrle, Eds.; pp. 51–60).
LibreCat
 

2014 | Journal Article | LibreCat-ID: 3168
Tofan, B., Travkin, O., Schellhorn, G., & Wehrheim, H. (2014). Two approaches for proving linearizability of multiset. Sci. Comput. Program., 297--314. https://doi.org/10.1016/j.scico.2014.04.001
LibreCat | DOI
 

2014 | Bachelorsthesis | LibreCat-ID: 341
Fang Cheng, T. (2014). Two-Sided Market and Game Console Vendors. Universität Paderborn.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 26126
Schiller, S., & Schmid, H.-J. (2014). Ultrafine Dust Filtration Using Precoat Materials Considering the Influence of Filter Media. Chemical Engineering & Technology, 1009–1020. https://doi.org/10.1002/ceat.201300856
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 26343
Vogel, W., & Sperling, J. (2014). Unified quantification of nonclassicality and entanglement. Physical Review A. https://doi.org/10.1103/physreva.89.052302
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 13516
Sanna, S., Schmidt, W. G., Rode, S., Klassen, S., & Kühnle, A. (2014). Unraveling theLiNbO3X-cut surface by atomic force microscopy and density functional theory. Physical Review B, 89(7). https://doi.org/10.1103/physrevb.89.075403
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 13944
Bause, F., Weber, D., Rautenberg, J., & Henning, B. (2014). Unsicherheitsanalyse eines Vorwärtsmodells zur Simulation transienter Wellenausbreitung im Hohlzylinder. Presented at the 17. ITG/GMA-Fachtagung Sensoren und Messsysteme, Berlin: {VDE Verlag}.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 17629
Peckhaus, V. (2014). Unsinn und Chance eines Fiktionalismus in der Logik. In M. Neuber (Ed.), Fiktion und Fiktionalismus. Beiträge zu Hans Vaihingers Philosophie des Als Ob (Vol. 33, pp. 91–106). Würzburg: Könighausen & Neumann.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25482
Ngonga Ngomo, A.-C., Ahmed Sherif, M., & Lyko, K. (2014). Unsupervised Link Discovery through Knowledge Base Repair. In V. Presutti, C. d’Amato, F. Gandon, M. d’Aquin, S. Staab, & A. Tordai (Eds.), The Semantic Web: Trends and Challenges - 11th International Conference, {ESWC} 2014, Anissaras, Crete, Greece, May 25-29, 2014. Proceedings (Vol. 8465, pp. 380–394). Springer. https://doi.org/10.1007/978-3-319-07443-6\_26
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 19861
Büker, P., Kölpin, S., Meier, S., & Steinbrück, M. (2014). Unterrichtsreflexion in professionellen Ausbildungsgemeinschaften: Erfahrungen aus einem Pilotprojekt zum künftigen Praxissemester. Workshopbeitrag an der 13. bundesweiten Expertentagung zur Lehrerbildung, Universität Paderborn.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 2866
Biermeier, F. (2014). Untersuchung des Erreichbarkeitsproblems in ungerichteten Graphen bezüglich den Komplexitätsklassen L und SL.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 340
Korth, P. (2014). Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 6741
Bokermann, D., Gerth, C., & Engels, G. (2014). Use Your Best Device! Enabling Device Changes at Runtime. In 12th International Conference on Business Process Management (BPM 2014) (Vol. 8659, pp. 357–365). Springer International Publishing. https://doi.org/10.1007/978-3-319-10172-9_23
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 339
Wette, P., & Karl, H. (2014). Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms. In Proceedings of the IEEE International Conference on Communications 2014 (pp. 3270–3276). https://doi.org/10.1109/ICC.2014.6883825
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 2624
Kundisch, D., Mittal, N., & Nault, B. (2014). Using Income Accounting as the Theoretical Basis for Measuring IT Productivity. Information Systems Research, 25(3), 449–467.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 762
Schwabe, A., & Karl, H. (2014). Using MAC addresses as efficient routing labels in data centers. In Proceedings of the third workshop on Hot topics in software defined networking, HotSDN ’14, Chicago, Illinois, USA, August 22, 2014 (pp. 115--120). https://doi.org/10.1145/2620728.2620730
LibreCat | Files available | DOI
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: APA

Export / Embed