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.
5792 Publications
2014 | Conference Paper | LibreCat-ID: 3805
Brüseke, Frank, et al. “PBlaman: Performance Blame Analysis Based on Palladio Contracts.” Proceedings of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment, no. 12, 2014, pp. 1975–2004.
LibreCat
2014 | Conference Paper | LibreCat-ID: 382
Künsemöller, Jörn, et al. “Provider Competition in Infrastructure-as-a-Service.” Proceedings of the 2014 IEEE International Conference on Services Computing (SCC), 2014, pp. 203–10, doi:10.1109/SCC.2014.35.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 383
Wonisch, Daniel, et al. “Programs from Proofs -- Approach and Applications.” Proceedings of the Software Engineering Conference (SE), 2014, pp. 67–68.
LibreCat
| Files available
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 387
Awerbuch, Baruch, et al. “Principles of Robust Medium Access and an Application to Leader Election.” Transactions on Algorithms, no. 4, ACM, 2014, doi:10.1145/2635818.
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 3877
Wachsmuth, Henning, et al. “Modeling Review Argumentation for Robust Sentiment Analysis.” Proceedings of COLING 2014, the 25th International Conference on Computational Linguistics: Technical Papers, 2014, pp. 553–64.
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 390
Huma, Zille, et al. “On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains.” Computer Science - Research and Development, no. 3–4, Springer, 2014, pp. 333–61, doi:10.1007/s00450-014-0254-z.
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 3905
Abu Quba Rana, Chamsi, et al. “ISoNTRE: The Social Network Transformer into Recommendation Engine.” 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA), 2014, pp. 169–75.
LibreCat
| Download (ext.)
2014 | Mastersthesis | LibreCat-ID: 2900
Brauer, Sascha. A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures. 2014.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 2976
Ackermann, Marcel Rudolf, et al. “Analysis of Agglomerative Clustering.” Algorithmica, vol. 69, Springer US, 2014, doi:10.1007/s00453-012-9717-4.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 2977
Blömer, Johannes, et al. “A Theoretical and Experimental Comparison of the EM and SEM Algorithm.” 2014 22nd International Conference on Pattern Recognition, IEEE, 2014, doi:10.1109/icpr.2014.253.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3127
Jager, Tibor. “Die Zukunft Der Kryptographie.” Datenschutz Und Datensicherheit, no. 7, 2014, pp. 445--451, doi:10.1007/s11623-014-0204-8.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3128
Fleischhacker, Nils, et al. “On Tight Security Proofs for Schnorr Signatures.” 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, pp. 512--531, doi:10.1007/978-3-662-45611-8_27.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3167
Schneider, Steve, et al. “The Behavioural Semantics of Event-B Refinement.” Formal Asp. Comput., no. 2, 2014, pp. 251--280, doi:10.1007/s00165-012-0265-0.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3168
Tofan, Bogdan, et al. “Two Approaches for Proving Linearizability of Multiset.” Sci. Comput. Program., 2014, pp. 297--314, doi:10.1016/j.scico.2014.04.001.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3169
Schellhorn, Gerhard, et al. “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.” {ACM} Trans. Comput. Log., no. 4, 2014, pp. 31:1--31:37, doi:10.1145/2629496.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3170
Derrick, John, et al. “Quiescent Consistency: Defining and Verifying Relaxed Linearizability.” {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, edited by Cliff B. Jones et al., 2014, pp. 200--214, doi:10.1007/978-3-319-06410-9_15.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3171
Travkin, Oleg, and Heike Wehrheim. “Handling {TSO} in Mechanized Linearizability Proofs.” Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings, edited by Eran Yahav, 2014, pp. 132--147, doi:10.1007/978-3-319-13338-6_11.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
Isenberg, Tobias, and Heike Wehrheim. “Timed Automata Verification via {IC3} with Zones.” Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, edited by Stephan Merz and Jun Pang, 2014, pp. 203--218, doi:10.1007/978-3-319-11737-9_14.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
A. Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.” Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, edited by Elvira Albert and Emil Sekerinski, 2014, pp. 221--237, doi:10.1007/978-3-319-10181-1_14.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3174
Schneider, Steve, et al. “Managing {LTL} Properties in Event-B Refinement.” CoRR, 2014.
LibreCat