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.
9305 Publications
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 | Journal Article | LibreCat-ID: 27059
Associations between macronutrient intake and serum lipid profile depend on body fat in European adolescents: the Healthy Lifestyle in Europe by Nutrition in Adolescence (HELENA) study
S. Bel-Serrat, T. Mouratidou, I. Huybrechts, I. Labayen, M. Cuenca-García, G. Palacios, C. Breidenassel, D. Molnár, R. Roccaldo, K. Widhalm, F. Gottrand, A. Kafatos, Y. Manios, K. Vyncke, M. Sjöström, L. Libuda, S. Gómez-Martínez, L.A. Moreno, British Journal of Nutrition (2014) 2049–2059.
LibreCat
| DOI
S. Bel-Serrat, T. Mouratidou, I. Huybrechts, I. Labayen, M. Cuenca-García, G. Palacios, C. Breidenassel, D. Molnár, R. Roccaldo, K. Widhalm, F. Gottrand, A. Kafatos, Y. Manios, K. Vyncke, M. Sjöström, L. Libuda, S. Gómez-Martínez, L.A. Moreno, British Journal of Nutrition (2014) 2049–2059.
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 | Book Chapter | LibreCat-ID: 1124
Towards a Local Grammar-based Persondata Generator for Wikipedia Biographies
M. Geierhos, in: F. Kakoyianni-Doa (Ed.), Penser Le Lexique-Grammaire, Honoré Champion, Paris, France, 2014, pp. 411–420.
LibreCat
M. Geierhos, in: F. Kakoyianni-Doa (Ed.), Penser Le Lexique-Grammaire, Honoré Champion, Paris, France, 2014, pp. 411–420.
2014 | Conference Paper | LibreCat-ID: 1130
Comparative study on disambiguating acronyms in the scientific papers using the open knowledge base
D.-H. Jeong, J. Gim, H. Jung, M. Geierhos, F.S. Bäumer, in: Conference Proceedings of the 9th Asia Pacific International Conference on Information Science and Technology (APIC-IST 2014), 2014, pp. 369–371.
LibreCat
D.-H. Jeong, J. Gim, H. Jung, M. Geierhos, F.S. Bäumer, in: Conference Proceedings of the 9th Asia Pacific International Conference on Information Science and Technology (APIC-IST 2014), 2014, pp. 369–371.
2014 | Conference Abstract | LibreCat-ID: 1131
The same but not the same - Challenges in comparing patient opinions
M. Geierhos, S. Schulze, in: Challenges for Consumer Research and Consumer Policy in Europe, 2014, p. 53.
LibreCat
| Download (ext.)
M. Geierhos, S. Schulze, in: Challenges for Consumer Research and Consumer Policy in Europe, 2014, p. 53.
2014 | Conference Abstract | LibreCat-ID: 1133
Was beobachtet die Forschungsethik? Eine interdisziplinäre Diskussion zwischen Computerlinguistik und qualitativ-konstruktivistischer Sozialforschung
M. Geierhos, J. Siri, in: Tagungsband Forschungsethik in der qualitativen und quantitativen Sozialforschung, 2014, p. 29.
LibreCat
M. Geierhos, J. Siri, in: Tagungsband Forschungsethik in der qualitativen und quantitativen Sozialforschung, 2014, p. 29.
2014 | Conference Paper | LibreCat-ID: 1134 | 
System Thinking: Crafting Scenarios for Prescriptive Analytics
J. Weber, C. Minhee, M. Lee, S. Song, M. Geierhos, H. Jung, in: H. Jung, T. Mandl, C. Womsen-Hacker, S. Xu (Eds.), Proceedings of the First International Workshop on Patent Mining and Its Applications (IPaMin 2014) Co-Located with Konvens 2014, CEUR-WS.org, 2014.
LibreCat
| Download (ext.)
J. Weber, C. Minhee, M. Lee, S. Song, M. Geierhos, H. Jung, in: H. Jung, T. Mandl, C. Womsen-Hacker, S. Xu (Eds.), Proceedings of the First International Workshop on Patent Mining and Its Applications (IPaMin 2014) Co-Located with Konvens 2014, CEUR-WS.org, 2014.
2014 | Conference Paper | LibreCat-ID: 1135 |
SentiBA: Lexicon-based Sentiment Analysis on German Product Reviews
M. Dollmann, M. Geierhos, in: G. Faaß, J. Ruppenhofer (Eds.), Workshop Proceedings of the 12th Edition of the KONVENS Conference, Universitätsverlag Hildesheim, Hildesheim, Germany, 2014, pp. 185–191.
LibreCat
| Download (ext.)
M. Dollmann, M. Geierhos, in: G. Faaß, J. Ruppenhofer (Eds.), Workshop Proceedings of the 12th Edition of the KONVENS Conference, Universitätsverlag Hildesheim, Hildesheim, Germany, 2014, pp. 185–191.
2014 | Conference Paper | LibreCat-ID: 1137 |
Linked Open Data System for Scientific Data Sets
F.S. Bäumer, J. Gim, D.-H. Jeong, M. Geierhos, H. Jung, in: H. Jung, T. Mandl, C. Womsen-Hacker, S. Xu (Eds.), Proceedings of the First International Workshop on Patent Mining and Its Applications (IPaMin 2014) Co-Located with Konvens 2014, CEUR-WS.org, 2014.
LibreCat
| Download (ext.)
F.S. Bäumer, J. Gim, D.-H. Jeong, M. Geierhos, H. Jung, in: H. Jung, T. Mandl, C. Womsen-Hacker, S. Xu (Eds.), Proceedings of the First International Workshop on Patent Mining and Its Applications (IPaMin 2014) Co-Located with Konvens 2014, CEUR-WS.org, 2014.