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
B. Tofan, O. Travkin, G. Schellhorn, and H. Wehrheim, “Two approaches for proving linearizability of multiset,” Sci. Comput. Program., pp. 297--314, 2014.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3170
J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, and H. Wehrheim, “Quiescent Consistency: Defining and Verifying Relaxed Linearizability,” in {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3175
T. Isenberg and H. Wehrheim, “Proof-Carrying Hardware via {IC3},” CoRR, 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 2709
Y. Gu and B. Hehenkamp, “Too Much of a Good Thing? Welfare Consequences of Market Transparency,” Journal of Institutional and Theoretical Economics JITE, vol. 170, no. 2, pp. 225–248, 2014.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 2627
D. Veit et al., “Geschäftsmodelle - Eine Forschungsagenda für die Wirtschaftsinformatik,” Wirtschaftsinformatik, vol. 56, no. 1, pp. 55–64, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 2742
M. Beutner, D. Kundisch, J. Magenheim, and A. Zoyke, “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, New Orleans, USA, 2014.
LibreCat
 

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

2014 | Conference Paper | LibreCat-ID: 377
H. Riebler, T. Kenter, C. Plessl, and C. Sorge, “Reconstructing AES Key Schedules from Decayed Memory with FPGAs,” in Proceedings of Field-Programmable Custom Computing Machines (FCCM), 2014, pp. 222–229.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 353
F. Mohr and S. Walther, “Template-based Generation of Semantic Services,” in Proceedings of the 14th International Conference on Software Reuse (ICSR), 2014, pp. 188–203.
LibreCat | Files available | DOI
 

2014 | Dissertation | LibreCat-ID: 358
N. Röhl, Strategic and Cooperative Games in Network Economics. Universität Paderborn, 2014.
LibreCat | Files available
 

2014 | Conference Paper | LibreCat-ID: 360
S. Dräxler, M. Keller, and H. Karl, “Specifying and Placing Chains of Virtual Network Functions,” in Proceedings of the 3rd International Conference on Cloud Networking (CloudNet), 2014, pp. 7–13.
LibreCat | Files available | DOI
 

2014 | Mastersthesis | LibreCat-ID: 411
V. Taherinajafabadi, Improving Service Specifications for the Service Matching on a Service Market. Universität Paderborn, 2014.
LibreCat
 

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

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

2014 | Journal Article | LibreCat-ID: 4053
K. Brassat and J. Lindner, “A template-assisted self-organization process for the formation of a linear arrangement of pairs of metallic tips,” MRS Proceedings, vol. 1663, 2014.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 4058
C. Brodehl, S. Greulich-Weber, and J. Lindner, “Double-Angle-Resolved Nanosphere Lithography,” presented at the Europhotonics Spring School 2014, Porquerolles (France), 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 4060
C. Brodehl, S. Greulich-Weber, and J. Lindner, “Fabrication of Arrays of Nanoparticles with Arbitrarily Designed Shape,” presented at the MRS Materials Research Society Fall Meeting 2014, Boston (USA), 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 4072
T. Riedl and J. Lindner, “Self-organized fabrication of periodic arrays of vertical, ultra-thin nanopillars on GaAs surfaces,” physica status solidi (a), vol. 211, no. 12, pp. 2871–2877, 2014.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 409
M. C. Platenius, S. Becker, and W. Schäfer, “Integrating Service Matchers into a Service Market Architecture,” in Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), 2014, pp. 210–217.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 384
R. Petrlic, S. Lutters, and C. Sorge, “Privacy-Preserving Reputation Management,” in Proceedings of the 29th Symposium On Applied Computing (SAC), 2014, pp. 1712–1718.
LibreCat | Files available | DOI
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed