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.
1909 Publications
2014 | Bachelorsthesis | LibreCat-ID: 331
Wu S. Webcam Application Using Virtual FPGA. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 332
Lange M. Was tun um Kunden von der Qualität seiner Produkte zu überzeugen - Möglichkeiten der Zertifizierung und von Reputationssystemen auf Onlinemärkten. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 333
Osterbrink S. Visualisierung von SMT-Solver-Ausgaben. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 334
Wagener P. Vertical Thread Migration in FPGA Based Sound Localization. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 336
Walther S, Wehrheim H. Verified Service Compositions by Template-Based Construction. In: Lanese I, Madelaine E, eds. Proceedings of the 11th International Symposium on Formal Aspects of Component Software (FACS). LNCS. ; 2014:31-48. doi:10.1007/978-3-319-15317-9_3
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 337
Berkemeier C. Verhandlungen vs Auktionen im Beschäftigungsmanagement. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 338
Beck H. Verhandlungen bei variablem status quo: Eine Modifikation des Adjustet Winner Verfahrens. Universität Paderborn; 2014.
LibreCat
2014 | Book | LibreCat-ID: 3389
Gräfer H, Schiller B, Rösner S. Finanzierung - Grundlagen, Institutionen, Instrumente und Kapitalmarkttheorie. Vol 8. 8th ed. Berlin: Erich Schmidt Verlag; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 339
Wette P, Karl H. Using Application Layer Knowledge in Routing and Wavelength Assignment Algorithms. In: Proceedings of the IEEE International Conference on Communications 2014. ; 2014:3270-3276. doi:10.1109/ICC.2014.6883825
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 340
Korth P. Untersuchung transitiver Eigenschaften der Technik “Programs from Proofs.” Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 341
Fang Cheng T. Two-Sided Market and Game Console Vendors. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 342
Klauke C. Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen. Universität Paderborn; 2014.
LibreCat
2014 | Dissertation | LibreCat-ID: 343
Künsemöller J. Tragedy of the Common Cloud - Game Theory on the Infrastructure-as-a-Service Market. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 3439
Klör B, Bräuer S, Beverungen D, Matzner M. IT-basierte Dienstleistungen für die Elektromobilität --- Konzeptioneller Rahmen und Literaturanalyse. In: Proceedings of the Multikonferenz Wirtschaftsinformatik 2014 (MKWI 2014). Paderborn; 2014:2047--2066.
LibreCat
2014 | Conference Paper | LibreCat-ID: 344
Becker M, Becker S, Besova G, Walther S, Wehrheim H. Towards Systematic Configuration for Architecture Validation. In: Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications (Work in Progress Session). ; 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 345
Jungmann A, Kleinjohann B. Towards Context-Sensitive Service Composition for Service-Oriented Image Processing. In: Proceedings of the 6th International Conference on Cloud Computing Technology and Science (CloudCom). ; 2014:755-758. doi:10.1109/CloudCom.2014.154
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 346
Brangewitz S, Jungmann A, Petrlic R, Platenius MC. Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services. In: Proceedings of the 6th International Conferences on Advanced Service Computing (SERVICE COMPUTATION). ; 2014:49-57.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 347
Meisner S, Platzner M. Thread Shadowing: Using Dynamic Redundancy on Hybrid Multi-cores for Error Detection. In: Goehringer D, Santambrogio M, Cardoso JP, Bertels K, eds. Proceedings of the 10th International Symposium on Applied Reconfigurable Computing (ARC). Lecture Notes in Computer Science. Springer; 2014:283-290. doi:10.1007/978-3-319-05960-0_30
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 348
Rüthing C. The Xilinx Zynq Architecture as a Platform for Reconfigurable Heterogeneous Multi-Cores. Universität Paderborn; 2014.
LibreCat
2014 | Report | LibreCat-ID: 349
Sorge C. The Legal Classification of Identity-Based Signatures.; 2014.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 3491
Becker J, Beverungen D, Knackstedt R, Peter Rauer H, Sigge D. On the Ontological Expressiveness of Conceptual Modeling Grammars for Service Productivity Management. Information Systems and e-Business Management. 2014;(3):337--365. doi:10.1007/s10257-013-0219-y
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3492
Beverungen D. Exploring the Interplay of the Design and Emergence of Business Processes as Organizational Routines. Business and Information Systems Engineering. 2014;(4):191--202. doi:10.1007/s12599-014-0335-3
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3493
Beverungen D. Über das Zusammenwirken der Gestaltung und Emergenz von Geschäftsprozessen als Organisationsroutinen. WIRTSCHAFTSINFORMATIK. 2014;(4):209--222. doi:10.1007/s11576-014-0425-3
LibreCat
| DOI
2014 | Report | LibreCat-ID: 350
Kaimann D, Cox J. The Interaction of Signals: A Fuzzy Set Analysis of the Video Game Industry. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 351
Holzweißig L. The Impact of Customer Reviews and Reputation on Hotel Prices. Universität Paderborn; 2014.
LibreCat
2014 | Dissertation | LibreCat-ID: 352
Scheel F. The Economics of Individual Behavior in Competitive Environments: Empirical Evidence from Real-Life Tournaments. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 353
Mohr F, Walther S. Template-based Generation of Semantic Services. In: Proceedings of the 14th International Conference on Software Reuse (ICSR). LNCS. ; 2014:188-203. doi:10.1007/978-3-319-14130-5_14
LibreCat
| Files available
| DOI
2014 | Conference Abstract | LibreCat-ID: 3538
Rötzmeier-Keuper J, Wünderlich N. Customer collectives in healthcare: The transformative potential of service to overcome consumer vulnerability. In: Proceedings of the 39th Annual Macromarketing Conference. ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 354
Keller M, Robbert C, Karl H. Template Embedding: Using Application Architecture to Allocate Resources in Distributed Clouds. In: Proceedings of 7th International Conference on Utility and Cloud Computing (UCC). ; 2014:387--395. doi:10.1109/UCC.2014.49
LibreCat
| Files available
| DOI
2014 | Conference Abstract | LibreCat-ID: 3541
Rötzmeier-Keuper J, Wünderlich N. Interdependent Relationships Between and among Service Providers and Customer Collectives. In: Proceedings of the AMA SERVSIG International Service Research Conference. ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 355
Blömer J, Günther P, Liske G. Tampering attacks in pairing-based cryptography. In: Proceedings of Fault Tolerance and Diagnosis in Cryptography(FDTC). ; 2014:1--7. doi:10.1109/FDTC.2014.10
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 356
Blazovics L, Lukovszki T, Forstner B. Surrounding robots -- A discrete localized solution for the intruder problem. Journal of Advanced Computational Intelligence and Intelligent Informatics. 2014;(3):315--319. doi:10.20965/jaciii.2014.p0315
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 357
Ebel O. Struktur und algorithmische Bestimmung stabiler Matchings in one-to-one Matching Märkten. Universität Paderborn; 2014.
LibreCat
2014 | Dissertation | LibreCat-ID: 358
Röhl N. Strategic and Cooperative Games in Network Economics. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Mastersthesis | LibreCat-ID: 359
Töws M. Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB. Universität Paderborn; 2014.
LibreCat
2014 | Book Chapter | LibreCat-ID: 3591
Fischer C, O’Connor BN. Informal Learning in Workplaces: Understanding Learning Culture as a Challenge for Organizational and Individual Development. In: Professional and Practice-Based Learning. Dordrecht: Springer Netherlands; 2014:11-24. doi:10.1007/978-94-007-7012-6_2
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 360 | 
Dräxler S, Keller M, Karl H. Specifying and Placing Chains of Virtual Network Functions. In: Proceedings of the 3rd International Conference on Cloud Networking (CloudNet). ; 2014:7-13. doi:10.1109/CloudNet.2014.6968961
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 361
Roeske D. Simulating Load-Dependent Operation of Picocells. Universität Paderborn; 2014.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 362
Kaiser S. Signalisieren und Screening in Arbeitsmärkten - die Experimente von Brandts & Holt und Kübler et. al. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 364
Arifulina S, Becker M, Platenius MC, Walther S. SeSAME: Modeling and Analyzing High-Quality Service Compositions. In: Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014). ; 2014:839-842. doi:10.1145/2642937.2648621
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 366
Petrlic R, Jungmann A, Platenius MC, Schäfer W, Sorge C. Security and Privacy Challenges in On-The-Fly Computing. In: Tagungsband Der 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014). ; 2014:131-142.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 3663
Rausch A, Seifried J, Harteis C. Ausbleibende Effekte pädagogischer Professionalisierung des betrieblichen Ausbildungspersonals: Ergebnisse einer Längsschnittstudie. Zeitschrift für Erziehungswissenschaft. 2014;17(Sonderheft):127--147.
LibreCat
2014 | Book Chapter | LibreCat-ID: 3664
Gijbels D, Harteis C, Donche V, Van den Bossche P, Maes S, Temmen K. Grasping learning during internships: the case of engineering education. In: Harteis C, Seifried J, Rausch A, eds. Discourses on Professional Learning. Dordrecht: Springer; 2014:177--188.
LibreCat
2014 | Book Chapter | LibreCat-ID: 3665
Harteis C, Rausch A, Seifried J. Discourses on professional learning: On the boundary between learning and working. In: Harteis C, Seifried J, Rausch A, eds. Discourses on Professional Learning. Dordrecht: Springer; 2014:1--7.
LibreCat
2014 | Book (Editor) | LibreCat-ID: 3666
Harteis C, Rausch A, Seifried J, eds. Discourses on Professional Learning. Dordrecht: Springer; 2014.
LibreCat
2014 | Book Chapter | LibreCat-ID: 3667
Harteis C, Bauer J. Learning from errors at work. In: Billett S, Harteis C, Gruber H, eds. International Handbook of Research in Professional and Practice-Based Learning. ; 2014:699--732.
LibreCat
2014 | Book (Editor) | LibreCat-ID: 3668
Billett S, Harteis C, Gruber H, eds. International Handbook of Research in Professional and Practice-Based Learning. Dordrecht: Springer; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 367
Janiuk J, Mäcker A, Graffi K. Secure Distributed Data Structures for Peer-to-Peer-based Social Networks. In: Proceedings of the International Conference on Collaboration Technologies and Systems (CTS). ; 2014:396-405. doi:10.1109/CTS.2014.6867595
LibreCat
| Files available
| DOI
2014 | Book Chapter | LibreCat-ID: 3678
Daunert AL, Harteis C. Pre-service teachers’ perspectives and practices in utilizing ubiquitous technologies for academic-oriented learning and knowledge management. In: Pelet J-E, ed. E-Learning 2.0 Technologies and Web Applications in Higher Education. Hershey: IGI Global; 2014:254--272.
LibreCat
2014 | Conference Paper | LibreCat-ID: 368
Brinkmann A, Kling P, Meyer auf der Heide F, Nagel L, Riechers S, Suess T. Scheduling Shared Continuous Resources on Many-Cores. In: Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA). ; 2014:128-137. doi:10.1145/2612669.2612698
LibreCat
| Files available
| DOI
2014 | Book Chapter | LibreCat-ID: 3685
Goller M, Harteis C. Employing agency in academic settings: Doctoral students shaping their own experiences. In: Harteis C, Rausch A, Seifried J, eds. Discourses on Professional Learning. Dordrecht: Springer; 2014:189--210.
LibreCat
2014 | Book Chapter | LibreCat-ID: 3686
Harteis C, Goller M. New skills for new jobs: Work agency as a necessary condition for successful lifelong learning. In: Halttunen T, Koivisto M, Billett S, eds. Promoting, Assessing, Recognizing and Certifying Lifelong Learning. Dordrecht: Springer; 2014:37--56.
LibreCat
2014 | Bachelorsthesis | LibreCat-ID: 369
Rath T. RSA-Full Domain Hash Revisited. Universität Paderborn; 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 3699
Müller J. The challenge of assessing the market value of private companies using a standardised combination method for tax purposes--Lessons to be learnt from past experience. European Accounting Review. 2014;(1):117--141.
LibreCat
2014 | Conference Paper | LibreCat-ID: 370
Harks T, Höfer M, Schewior K, Skopalik A. Routing Games with Progressive Filling. In: Proceedings of the 33rd Annual IEEE International Conference on Computer Communications (INFOCOM’14). ; 2014:352-360. doi:10.1109/TNET.2015.2468571
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 371
Scheideler C, Setzer A, Eikel M. RoBuSt: A Crash-Failure-Resistant Distributed Storage System. In: Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS). LNCS. ; 2014:107--122. doi:10.1007/978-3-319-14472-6_8
LibreCat
| Files available
| DOI
2014 | Book Chapter | LibreCat-ID: 3718
Harteis C. Auswirkungen des Bologna-Prozesses: Eine Expertise der Hochschuldidaktik. In: Arnold R, Wolf K, eds. Herausforderung Kompetenzorientierte Hochschule. Hohengeheren: Schneider; 2014:189-211.
LibreCat
2014 | Book Chapter | LibreCat-ID: 3719
Harteis C. Investigating intuition under the perpective of expertise: Experiences from two experimental studies. In: Sinclair M, ed. Handbook of Intuition Research Methodology. Cheltenham: Edward Elgar; 2014:116-129.
LibreCat
2014 | Conference Paper | LibreCat-ID: 372
Keller M, Karl H. Response Time-Optimized Distributed Cloud Resource Allocation. In: Proceedings of the SIGCOMM Workshop on Distributed Cloud Computing. ; 2014:47--52. doi:10.1145/2627566.2627570
LibreCat
| Files available
| DOI
2014 | Bachelorsthesis | LibreCat-ID: 373
Pahl D. Reputationssysteme für zusammengesetzte Dienstleistungen. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 374
Wold A, Agne A, Torresen J. Relocatable Hardware Threads in Run-Time Reconfigurable Systems. In: Goehringer D, Santambrogio M, Cardoso JP, Bertels K, eds. Proceedings of the 10th International Symposium on Reconfigurable Computing: Architectures, Tools, and Applications. LNCS. ; 2014:61-72. doi:10.1007/978-3-319-05960-0_6
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 375
von Detten M, Platenius MC, Becker S. Reengineering Component-Based Software Systems with Archimetrix. Journal of Software and Systems Modeling. 2014;(4):1239--1268. doi:10.1007/s10270-013-0341-9
LibreCat
| Files available
| DOI
2014 | Dissertation | LibreCat-ID: 376
Herlich M. Reducing Energy Consumption of Radio Access Networks. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 378
Kniesburges S, Koutsopoulos A, Scheideler C. Re-Chord: A Self-stabilizing Chord Overlay Network. Theory of Computing Systems. 2014;(3):591-612. doi:10.1007/s00224-012-9431-2
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 379
Abshoff S, Markarian C, Meyer auf der Heide F. Randomized Online Algorithms for Set Cover Leasing Problems. In: Proceedings of the 8th Annual International Conference on Combinatorial Optimization and Applications (COCOA). LNCS. ; 2014:25-34. doi:10.1007/978-3-319-12691-3_3
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 380
Cord-Landwehr A, Mäcker A, Meyer auf der Heide F. Quality of Service in Network Creation Games. In: Proceedings of the 10th International Conference on Web and Internet Economics (WINE). ; 2014:423-428. doi:10.1007/978-3-319-13129-0_34
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 3805
Brüseke F, Wachsmuth H, Engels G, Becker S. PBlaman: performance blame analysis based on Palladio contracts. In: Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment. ; 2014:1975-2004.
LibreCat
2014 | Conference Paper | LibreCat-ID: 382
Künsemöller J, Brangewitz S, Karl H, Haake C-J. Provider Competition in Infrastructure-as-a-Service. In: Proceedings of the 2014 IEEE International Conference on Services Computing (SCC). ; 2014:203-210. doi:10.1109/SCC.2014.35
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 383
Wonisch D, Schremmer A, Wehrheim H. Programs from Proofs -- Approach and Applications. In: Proceedings of the Software Engineering Conference (SE). Lecture Notes in Informatics (LNI). ; 2014:67-68.
LibreCat
| Files available
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 384
Petrlic R, Lutters S, Sorge C. Privacy-Preserving Reputation Management. In: Proceedings of the 29th Symposium On Applied Computing (SAC). ; 2014:1712-1718. doi:10.1145/2554850.2554881
LibreCat
| Files available
| DOI
2014 | Dissertation | LibreCat-ID: 385
Petrlic R. Privacy-Preserving Multiparty Digital Rights Management. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 386
Petrlic R, Sorge C. Privacy-Preserving Digital Rights Management based on Attribute-based Encryption. In: Proceedings of the Sixth IFIP International Conference on New Technologies, Mobility and Security (NTMS). ; 2014:1-5. doi:10.1109/NTMS.2014.6814044
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 387
Awerbuch B, Richa AW, Scheideler C, Schmid S, Zhang J. Principles of Robust Medium Access and an Application to Leader Election. Transactions on Algorithms. 2014;(4). doi:10.1145/2635818
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 3877
Wachsmuth H, Trenkmann M, Stein B, Engels G. Modeling Review Argumentation for Robust Sentiment Analysis. In: Proceedings of COLING 2014, the 25th International Conference on Computational Linguistics: Technical Papers. ; 2014:553-564.
LibreCat
| Download (ext.)
2014 | Report | LibreCat-ID: 389
Stapel F, Suhl L. Ontology-Based Representation of Optimization Models. Universität Paderborn; 2014.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 3890
Hammer M. Oblique incidence of semi-guided waves on rectangular slab waveguide discontinuities: A vectorial QUEP solver. Optics Communications. 2014;338:447-456. doi:10.1016/j.optcom.2014.09.087
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 390
Huma Z, Gerth C, Engels G. On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains. Computer Science - Research and Development. 2014;(3-4):333-361. doi:10.1007/s00450-014-0254-z
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 3905
Abu Quba Rana C, Hassas S, Usama F, Alshomary M, Gertosio C. iSoNTRE: The Social Network Transformer into Recommendation Engine. 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA). 2014:169-175.
LibreCat
| Download (ext.)
2014 | Mastersthesis | LibreCat-ID: 391
Feldkord B. On Variants of the Page Migration Problem. Universität Paderborn; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 28936
Davis N, Eickelmann B. The restructuring of schooling with digital technologies and implications for policy makers and practitioners. In: Proceedings of the American Educational Research Association Annual Meeting (AERA). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 28937
Eickelmann B, Vennemann M, Gerick J, Lorenz R. Computer and internet in primary mathematics and science education and its relationship with student achievement– International findings from TIMSS 2011. In: Proceedings of the American Educational Research Association Annual Meeting (AERA). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 28938
Vennemann M, Eickelmann B. Can we predict usage out of possession? – A home digital resources (HDR) scale to describe students’ digital learning resources in primary schools. In: Proceedings of the American Educational Research Association Annual Meeting (AERA). ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 28939
Lai K-W, Eickelmann B, Fisser P, et al. Tackling Educational Challenges in a Digitally Networked World: Strategies developed from the EDUsummIT 2013. In: Proceedings of KeyCIT Conference 2014. ; 2014.
LibreCat
2014 | Research Data | LibreCat-ID: 28993
Drossel K, Bos W, Zieger L. Kinder- Und Jugendarbeit in Dortmund. Studie Zur Situation Freiwillig Mitarbeitender in Der Dortmunder Kinder- Und Jugendarbeit. Jugendring Dortmund; 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 2900
Brauer S. A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures.; 2014.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 2976
Ackermann MR, Blömer J, Kuntze D, Sohler C. Analysis of Agglomerative Clustering. Algorithmica. 2014;69. doi:10.1007/s00453-012-9717-4
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 2977
Blömer J, Bujna K, Kuntze D. A Theoretical and Experimental Comparison of the EM and SEM Algorithm. In: 2014 22nd International Conference on Pattern Recognition. IEEE; 2014. doi:10.1109/icpr.2014.253
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3127
Jager T. Die Zukunft der Kryptographie. Datenschutz und Datensicherheit. 2014;(7):445--451. doi:10.1007/s11623-014-0204-8
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3128
Fleischhacker N, Jager T, Schröder D. On Tight Security Proofs for Schnorr Signatures. In: Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I. ; 2014:512--531. doi:10.1007/978-3-662-45611-8_27
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3167
Schneider S, Treharne H, Wehrheim H. The behavioural semantics of Event-B refinement. Formal Asp Comput. 2014;(2):251--280. doi:10.1007/s00165-012-0265-0
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3168
Tofan B, Travkin O, Schellhorn G, Wehrheim H. Two approaches for proving linearizability of multiset. Sci Comput Program. 2014:297--314. doi:10.1016/j.scico.2014.04.001
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3169
Schellhorn G, Derrick J, Wehrheim H. A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. {ACM} Trans Comput Log. 2014;(4):31:1--31:37. doi:10.1145/2629496
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3170
Derrick J, Dongol B, Schellhorn G, Tofan B, Travkin O, Wehrheim H. Quiescent Consistency: Defining and Verifying Relaxed Linearizability. In: B. Jones C, Pihlajasaari P, Sun J, eds. {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:200--214. doi:10.1007/978-3-319-06410-9_15
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3171
Travkin O, Wehrheim H. Handling {TSO} in Mechanized Linearizability Proofs. In: Yahav E, ed. Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:132--147. doi:10.1007/978-3-319-13338-6_11
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
Isenberg T, Wehrheim H. Timed Automata Verification via {IC3} with Zones. In: Merz S, Pang J, eds. Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:203--218. doi:10.1007/978-3-319-11737-9_14
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
A. Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} Properties in Event-B Refinement. In: Albert E, Sekerinski E, eds. Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Lecture Notes in Computer Science. ; 2014:221--237. doi:10.1007/978-3-319-10181-1_14
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3174
Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} properties in Event-B refinement. CoRR. 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 3175
Isenberg T, Wehrheim H. Proof-Carrying Hardware via {IC3}. CoRR. 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 27041
Stimming M, Mesch CM, Kersting M, Libuda L. Fish and rapeseed oil consumption in infants and mothers: dietary habits and determinants in a nationwide sample in Germany. European Journal of Nutrition. Published online 2014:1069-1080. doi:10.1007/s00394-014-0784-y
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27042
Stimming M, Mesch CM, Kersting M, et al. Vitamin E Content and Estimated Need in German Infant and Follow-On Formulas With and Without Long-Chain Polyunsaturated Fatty Acids (LC-PUFA) Enrichment. Journal of Agricultural and Food Chemistry. Published online 2014:10153-10161. doi:10.1021/jf502469b
LibreCat
| DOI