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
Fleischhacker N, Jager T, Schröder D. 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:512--531. doi:10.1007/978-3-662-45611-8_27
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3167
Schneider S, Treharne H, Wehrheim H. The behavioural semantics of Event-B refinement. Formal Asp Comput. 2014;(2):251--280. doi:10.1007/s00165-012-0265-0
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3168
Tofan B, Travkin O, Schellhorn G, Wehrheim H. Two approaches for proving linearizability of multiset. Sci Comput Program. 2014:297--314. doi:10.1016/j.scico.2014.04.001
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3169
Schellhorn G, Derrick J, Wehrheim H. A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. {ACM} Trans Comput Log. 2014;(4):31:1--31:37. doi:10.1145/2629496
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3170
Derrick J, Dongol B, Schellhorn G, Tofan B, Travkin O, Wehrheim H. Quiescent Consistency: Defining and Verifying Relaxed Linearizability. In: B. Jones C, Pihlajasaari P, Sun J, eds. {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:200--214. doi:10.1007/978-3-319-06410-9_15
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3171
Travkin O, Wehrheim H. Handling {TSO} in Mechanized Linearizability Proofs. In: Yahav E, ed. Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:132--147. doi:10.1007/978-3-319-13338-6_11
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
Isenberg T, Wehrheim H. Timed Automata Verification via {IC3} with Zones. In: Merz S, Pang J, eds. Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Lecture Notes in Computer Science. ; 2014:203--218. doi:10.1007/978-3-319-11737-9_14
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
A. Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} Properties in Event-B Refinement. In: Albert E, Sekerinski E, eds. Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Lecture Notes in Computer Science. ; 2014:221--237. doi:10.1007/978-3-319-10181-1_14
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3174
Schneider S, Treharne H, Wehrheim H, M. Williams D. Managing {LTL} properties in Event-B refinement. CoRR. 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 3175
Isenberg T, Wehrheim H. Proof-Carrying Hardware via {IC3}. CoRR. 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 27059
Bel-Serrat S, Mouratidou T, Huybrechts I, et al. 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. British Journal of Nutrition. Published online 2014:2049-2059. doi:10.1017/s0007114514003183
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 27166
Keil R, Selke H, Winkelnkemper F. Twenty years of learning with the World Wide Web. Trahasch S, Pl {\ "o} tzner R, Schneider G, Gayer C, Sassiat D, W {\ "o} hrle N, eds. Published online 2014:51–60.
LibreCat
2014 | Conference Paper | LibreCat-ID: 27167
Winkelnkemper F, Keil R. Zwischen Design und Flexibilit{\"a}t - Zur Ergonomie des Flat Design. In: Butz A, Schlichter J, eds. Vol 2014. Oldenbourg Verlag; 2014:255-264.
LibreCat
2014 | Book Chapter | LibreCat-ID: 1124
Geierhos M. Towards a Local Grammar-based Persondata Generator for Wikipedia Biographies. In: Kakoyianni-Doa F, ed. Penser Le Lexique-Grammaire. Paris, France: Honoré Champion; 2014:411-420.
LibreCat
2014 | Conference Paper | LibreCat-ID: 1130
Jeong D-H, Gim J, Jung H, Geierhos M, Bäumer FS. Comparative study on disambiguating acronyms in the scientific papers using the open knowledge base. In: Conference Proceedings of the 9th Asia Pacific International Conference on Information Science and Technology (APIC-IST 2014). ; 2014:369-371.
LibreCat
2014 | Conference Abstract | LibreCat-ID: 1131
Geierhos M, Schulze S. The same but not the same - Challenges in comparing patient opinions. In: Challenges for Consumer Research and Consumer Policy in Europe. ; 2014:53.
LibreCat
| Download (ext.)
2014 | Conference Abstract | LibreCat-ID: 1133
Geierhos M, Siri J. Was beobachtet die Forschungsethik? Eine interdisziplinäre Diskussion zwischen Computerlinguistik und qualitativ-konstruktivistischer Sozialforschung. In: Tagungsband Forschungsethik in der qualitativen und quantitativen Sozialforschung. ; 2014:29.
LibreCat
2014 | Conference Paper | LibreCat-ID: 1134 | 
Weber J, Minhee C, Lee M, Song S, Geierhos M, Jung H. System Thinking: Crafting Scenarios for Prescriptive Analytics. In: Jung H, Mandl T, Womsen-Hacker C, Xu S, eds. Proceedings of the First International Workshop on Patent Mining and Its Applications (IPaMin 2014) Co-Located with Konvens 2014. Vol 1292. CEUR Workshop Proceedings. CEUR-WS.org; 2014.
LibreCat
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 1135 |
Dollmann M, Geierhos M. SentiBA: Lexicon-based Sentiment Analysis on German Product Reviews. In: Faaß G, Ruppenhofer J, eds. Workshop Proceedings of the 12th Edition of the KONVENS Conference. Hildesheim, Germany: Universitätsverlag Hildesheim; 2014:185-191.
LibreCat
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 1137 |
Bäumer FS, Gim J, Jeong D-H, Geierhos M, Jung H. Linked Open Data System for Scientific Data Sets. In: Jung H, Mandl T, Womsen-Hacker C, Xu S, eds. Proceedings of the First International Workshop on Patent Mining and Its Applications (IPaMin 2014) Co-Located with Konvens 2014. Vol 1292. CEUR Workshop Proceedings. CEUR-WS.org; 2014.
LibreCat
| Download (ext.)