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.
9749 Publications
2014 | Mastersthesis | LibreCat-ID: 2900
A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures
S. Brauer, A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures, 2014.
LibreCat
| Files available
S. Brauer, A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures, 2014.
2014 | Journal Article | LibreCat-ID: 2976
Analysis of Agglomerative Clustering
M.R. Ackermann, J. Blömer, D. Kuntze, C. Sohler, Algorithmica 69 (2014).
LibreCat
| DOI
M.R. Ackermann, J. Blömer, D. Kuntze, C. Sohler, Algorithmica 69 (2014).
2014 | Conference Paper | LibreCat-ID: 2977
A Theoretical and Experimental Comparison of the EM and SEM Algorithm
J. Blömer, K. Bujna, D. Kuntze, in: 2014 22nd International Conference on Pattern Recognition, IEEE, 2014.
LibreCat
| DOI
J. Blömer, K. Bujna, D. Kuntze, in: 2014 22nd International Conference on Pattern Recognition, IEEE, 2014.
2014 | Journal Article | LibreCat-ID: 3127
Die Zukunft der Kryptographie
T. Jager, Datenschutz Und Datensicherheit (2014) 445--451.
LibreCat
| DOI
T. Jager, Datenschutz Und Datensicherheit (2014) 445--451.
2014 | Conference Paper | LibreCat-ID: 3128
On Tight Security Proofs for Schnorr Signatures
N. Fleischhacker, T. Jager, D. Schröder, 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
N. Fleischhacker, T. Jager, D. Schröder, 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.
2014 | Journal Article | LibreCat-ID: 3167
The behavioural semantics of Event-B refinement
S. Schneider, H. Treharne, H. Wehrheim, Formal Asp. Comput. (2014) 251--280.
LibreCat
| DOI
S. Schneider, H. Treharne, H. Wehrheim, Formal Asp. Comput. (2014) 251--280.
2014 | Journal Article | LibreCat-ID: 3168
Two approaches for proving linearizability of multiset
B. Tofan, O. Travkin, G. Schellhorn, H. Wehrheim, Sci. Comput. Program. (2014) 297--314.
LibreCat
| DOI
B. Tofan, O. Travkin, G. Schellhorn, H. Wehrheim, Sci. Comput. Program. (2014) 297--314.
2014 | Journal Article | LibreCat-ID: 3169
A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures
G. Schellhorn, J. Derrick, H. Wehrheim, {ACM} Trans. Comput. Log. (2014) 31:1--31:37.
LibreCat
| DOI
G. Schellhorn, J. Derrick, H. Wehrheim, {ACM} Trans. Comput. Log. (2014) 31:1--31:37.
2014 | Conference Paper | LibreCat-ID: 3170
Quiescent Consistency: Defining and Verifying Relaxed Linearizability
J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, H. Wehrheim, in: C. B. Jones, P. Pihlajasaari, J. Sun (Eds.), {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.
LibreCat
| DOI
J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, H. Wehrheim, in: C. B. Jones, P. Pihlajasaari, J. Sun (Eds.), {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.
2014 | Conference Paper | LibreCat-ID: 3171
Handling {TSO} in Mechanized Linearizability Proofs
O. Travkin, H. Wehrheim, in: E. Yahav (Ed.), 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
O. Travkin, H. Wehrheim, in: E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 2014, pp. 132--147.
2014 | Conference Paper | LibreCat-ID: 3172
Timed Automata Verification via {IC3} with Zones
T. Isenberg, H. Wehrheim, in: S. Merz, J. Pang (Eds.), 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
T. Isenberg, H. Wehrheim, in: S. Merz, J. Pang (Eds.), 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.
2014 | Conference Paper | LibreCat-ID: 3173
Managing {LTL} Properties in Event-B Refinement
S. A. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, in: E. Albert, E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221--237.
LibreCat
| DOI
S. A. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, in: E. Albert, E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221--237.
2014 | Journal Article | LibreCat-ID: 3174
Managing {LTL} properties in Event-B refinement
S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).
LibreCat
S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).
2014 | Journal Article | LibreCat-ID: 3175
Proof-Carrying Hardware via {IC3}
T. Isenberg, H. Wehrheim, CoRR (2014).
LibreCat
T. Isenberg, H. Wehrheim, CoRR (2014).
2014 | Conference Paper | LibreCat-ID: 27166
Twenty years of learning with the World Wide Web
R. Keil, H. Selke, F. Winkelnkemper, (2014) 51–60.
LibreCat
R. Keil, H. Selke, F. Winkelnkemper, (2014) 51–60.
2014 | Conference Paper | LibreCat-ID: 27167
Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie des Flat Design
F. Winkelnkemper, R. Keil, in: A. Butz, J. Schlichter (Eds.), Oldenbourg Verlag, 2014, pp. 255–264.
LibreCat
F. Winkelnkemper, R. Keil, in: A. Butz, J. Schlichter (Eds.), Oldenbourg Verlag, 2014, pp. 255–264.
2014 | Conference Paper | LibreCat-ID: 20983
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study
C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, M. Tichy, in: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), 2014.
LibreCat
C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, M. Tichy, in: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), 2014.
2014 | Conference Paper | LibreCat-ID: 17659
Nash Equilibria in Shared Effort Games
G. Polevoy, S. Trajanovski, M.M. de Weerdt, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 861–868.
LibreCat
G. Polevoy, S. Trajanovski, M.M. de Weerdt, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 861–868.
2014 | Conference Paper | LibreCat-ID: 17660
Improving Human Interaction in Crowdsensing
G. Polevoy, M.M. de Weerdt, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 1741–1742.
LibreCat
G. Polevoy, M.M. de Weerdt, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 1741–1742.
2014 | Conference Paper | LibreCat-ID: 17661
Request Driven Social Sensing
T.C. King, Q. Liu, G. Polevoy, M. de Weerdt, V. Dignum, M.B. van Riemsdijk, M. Warnier, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 1651–1652.
LibreCat
T.C. King, Q. Liu, G. Polevoy, M. de Weerdt, V. Dignum, M.B. van Riemsdijk, M. Warnier, in: Proceedings of the 2014 International Conference on Autonomous Agents and Multi-Agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 2014, pp. 1651–1652.