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.

18621 Publications


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 | 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 | Journal Article | LibreCat-ID: 3175
Isenberg T, Wehrheim H. Proof-Carrying Hardware via {IC3}. CoRR. 2014.
LibreCat
 

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

2014 | Journal Article | LibreCat-ID: 2627
Veit D, Clemons E, Buxmann A, et al. Geschäftsmodelle - Eine Forschungsagenda für die Wirtschaftsinformatik. Wirtschaftsinformatik. 2014;56(1):55-64.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 2742
Beutner M, Kundisch D, Magenheim J, Zoyke A. Support, Supervision, Feedback and Lecturers Role in the use of the Classroom Response Systems PINGO. In: Proceedings of the E-LEARN 2014 - World Conference on E-Learning. ; 2014.
LibreCat
 

2014 | Report | LibreCat-ID: 2824
Eymann T, Kundisch D, Recker J. Should I Stay or Should I Go - Herausforderungen und Chancen eines Wechsels zwischen Hochschulsystemen. Vol 56 (2).; 2014:131-144.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 377
Riebler H, Kenter T, Plessl C, Sorge C. Reconstructing AES Key Schedules from Decayed Memory with FPGAs. In: Proceedings of Field-Programmable Custom Computing Machines (FCCM). IEEE; 2014:222-229. doi:10.1109/FCCM.2014.67
LibreCat | Files available | DOI
 

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 | Dissertation | LibreCat-ID: 358
Röhl N. Strategic and Cooperative Games in Network Economics. Universität Paderborn; 2014.
LibreCat | Files available
 

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 | Mastersthesis | LibreCat-ID: 411
Taherinajafabadi V. Improving Service Specifications for the Service Matching on a Service Market. Universität Paderborn; 2014.
LibreCat
 

2014 | Bachelorsthesis | LibreCat-ID: 416
Bemmann P. Group Signature Schemes with Strong Exculpability. Universität Paderborn; 2014.
LibreCat
 

2014 | Mastersthesis | LibreCat-ID: 404
van Straaten D. Kooperative Verhandlungen im duopolistischen Wettbewerb - eine spieltheoretische Analyse. Universität Paderborn; 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 4053
Brassat K, Lindner J. A template-assisted self-organization process for the formation of a linear arrangement of pairs of metallic tips. MRS Proceedings. 2014;1663. doi:10.1557/opl.2014.265
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 4058
Brodehl C, Greulich-Weber S, Lindner J. Double-Angle-Resolved Nanosphere Lithography. In: ; 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 4060
Brodehl C, Greulich-Weber S, Lindner J. Fabrication of Arrays of Nanoparticles with Arbitrarily Designed Shape. In: ; 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 4072
Riedl T, Lindner J. Self-organized fabrication of periodic arrays of vertical, ultra-thin nanopillars on GaAs surfaces. physica status solidi (a). 2014;211(12):2871-2877. doi:10.1002/pssa.201431474
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 409
Platenius MC, Becker S, Schäfer W. Integrating Service Matchers into a Service Market Architecture. In: Avgeriou P, Zdun U, eds. Proceedings of the 8th European Conference on Software Architecture (ECSA 2014). LNCS. ; 2014:210-217. doi:10.1007/978-3-319-09970-5_19
LibreCat | Files available | DOI
 

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
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed