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, 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
2014 | Journal Article | LibreCat-ID: 3175
Isenberg, Tobias, and Heike Wehrheim. “Proof-Carrying Hardware via {IC3}.” CoRR, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 27059
Bel-Serrat, Silvia, 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, 2014, pp. 2049–59, doi:10.1017/s0007114514003183.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 27166
Keil, Reinhard, et al. Twenty Years of Learning with the World Wide Web. Edited by Stephan Trahasch et al., 2014, pp. 51–60.
LibreCat
2014 | Conference Paper | LibreCat-ID: 27167
Winkelnkemper, Felix, and Reinhard Keil. Zwischen Design Und Flexibilit{\"a}t - Zur Ergonomie Des Flat Design. Edited by Andreas Butz and Johann Schlichter, vol. 2014, Oldenbourg Verlag, 2014, pp. 255–64.
LibreCat
2014 | Book Chapter | LibreCat-ID: 1124
Geierhos, Michaela. “Towards a Local Grammar-Based Persondata Generator for Wikipedia Biographies.” Penser Le Lexique-Grammaire, edited by Fryni Kakoyianni-Doa, Honoré Champion, 2014, pp. 411–20.
LibreCat
2014 | Conference Paper | LibreCat-ID: 1130
Jeong, Do-Heon, et al. “Comparative Study on Disambiguating Acronyms in the Scientific Papers Using the Open Knowledge Base.” Conference Proceedings of the 9th Asia Pacific International Conference on Information Science and Technology (APIC-IST 2014), 2014, pp. 369–71.
LibreCat
2014 | Conference Abstract | LibreCat-ID: 1131
Geierhos, Michaela, and Sabine Schulze. “The Same but Not the Same - Challenges in Comparing Patient Opinions.” Challenges for Consumer Research and Consumer Policy in Europe, 2014, p. 53.
LibreCat
| Download (ext.)
2014 | Conference Abstract | LibreCat-ID: 1133
Geierhos, Michaela, and Jasmin Siri. “Was beobachtet die Forschungsethik? Eine interdisziplinäre Diskussion zwischen Computerlinguistik und qualitativ-konstruktivistischer Sozialforschung.” Tagungsband Forschungsethik in der qualitativen und quantitativen Sozialforschung, 2014, p. 29.
LibreCat
2014 | Conference Paper | LibreCat-ID: 1134 | 
Weber, Jens, et al. “System Thinking: Crafting Scenarios for Prescriptive Analytics.” Proceedings of the First International Workshop on Patent Mining and Its Applications (IPaMin 2014) Co-Located with Konvens 2014, edited by Hanmin Jung et al., vol. 1292, CEUR-WS.org, 2014.
LibreCat
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 1135 |
Dollmann, Markus, and Michaela Geierhos. “SentiBA: Lexicon-Based Sentiment Analysis on German Product Reviews.” Workshop Proceedings of the 12th Edition of the KONVENS Conference, edited by Gertrud Faaß and Josef Ruppenhofer, Universitätsverlag Hildesheim, 2014, pp. 185–91.
LibreCat
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 1137 |
Bäumer, Frederik Simon, et al. “Linked Open Data System for Scientific Data Sets.” Proceedings of the First International Workshop on Patent Mining and Its Applications (IPaMin 2014) Co-Located with Konvens 2014, edited by Hanmin Jung et al., vol. 1292, CEUR-WS.org, 2014.
LibreCat
| Download (ext.)