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.

5719 Publications


2014 | Journal Article | LibreCat-ID: 387
B. Awerbuch, A. W. Richa, C. Scheideler, S. Schmid, and J. Zhang, “Principles of Robust Medium Access and an Application to Leader Election,” Transactions on Algorithms, no. 4, 2014.
LibreCat | Files available | DOI
 

2014 | Conference Paper | LibreCat-ID: 3877
H. Wachsmuth, M. Trenkmann, B. Stein, and G. Engels, “Modeling Review Argumentation for Robust Sentiment Analysis,” in Proceedings of COLING 2014, the 25th International Conference on Computational Linguistics: Technical Papers, 2014, pp. 553–564.
LibreCat | Download (ext.)
 

2014 | Journal Article | LibreCat-ID: 390
Z. Huma, C. Gerth, and G. Engels, “On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains,” Computer Science - Research and Development, no. 3–4, pp. 333–361, 2014.
LibreCat | Files available | DOI
 

2014 | Journal Article | LibreCat-ID: 3905
C. Abu Quba Rana, S. Hassas, F. Usama, M. Alshomary, and C. Gertosio, “iSoNTRE: The Social Network Transformer into Recommendation Engine,” 2014 IEEE/ACS 11th International Conference on Computer Systems and Applications (AICCSA), pp. 169–175, 2014.
LibreCat | Download (ext.)
 

2014 | Mastersthesis | LibreCat-ID: 2900
S. Brauer, A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures. 2014.
LibreCat | Files available
 

2014 | Journal Article | LibreCat-ID: 2976
M. R. Ackermann, J. Blömer, D. Kuntze, and C. Sohler, “Analysis of Agglomerative Clustering,” Algorithmica, vol. 69, 2014.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 2977
J. Blömer, K. Bujna, and D. Kuntze, “A Theoretical and Experimental Comparison of the EM and SEM Algorithm,” in 2014 22nd International Conference on Pattern Recognition, 2014.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3127
T. Jager, “Die Zukunft der Kryptographie,” Datenschutz und Datensicherheit, no. 7, pp. 445--451, 2014.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3128
N. Fleischhacker, T. Jager, and D. Schröder, “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, pp. 512--531.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3167
S. Schneider, H. Treharne, and H. Wehrheim, “The behavioural semantics of Event-B refinement,” Formal Asp. Comput., no. 2, pp. 251--280, 2014.
LibreCat | DOI
 

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 | Journal Article | LibreCat-ID: 3169
G. Schellhorn, J. Derrick, and H. Wehrheim, “A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures,” {ACM} Trans. Comput. Log., no. 4, pp. 31:1--31:37, 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 | Conference Paper | LibreCat-ID: 3171
O. Travkin and H. Wehrheim, “Handling {TSO} in Mechanized Linearizability Proofs,” in Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 2014, pp. 132--147.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3172
T. Isenberg and H. Wehrheim, “Timed Automata Verification via {IC3} with Zones,” in Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, 2014, pp. 203--218.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 3173
S. A. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing {LTL} Properties in Event-B Refinement,” in Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221--237.
LibreCat | DOI
 

2014 | Journal Article | LibreCat-ID: 3174
S. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing {LTL} properties in Event-B refinement,” CoRR, 2014.
LibreCat
 

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

2014 | Conference Paper | LibreCat-ID: 27166
R. Keil, H. Selke, and F. Winkelnkemper, “Twenty years of learning with the World Wide Web.” pp. 51–60, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 27167
F. Winkelnkemper and R. Keil, “Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie des Flat Design,” 2014, vol. 2014, pp. 255–264.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed