Filters: First Letter Of Last Name is S  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R [S] T U V W X Y Z   [Show ALL]
Saludes J, Xambó S. WP6 - review presentation 2011. 2011.Array Download: wp6-y1.pdf (330.05 KB)
Slaski A. wikipedia fish lexicon tool. 2011. Abstract Array Download: fishing.tar.gz (1.91 MB)
Ranta A. Translating between Language and Logic: What Is Easy and What is Difficult?. In: Bjørner N, Sofronie-Stokkermans V, eds. CADE-23. Automated Deduction.Vol LNCS/LNAI 6803. CADE-23. Automated Deduction.; 2011:5-25. Available at:
Saludes J, Xambó S. Toward multilingual mechanized mathematics assistants Sendra JR, Villarino C, eds. EACA 2012 (Proceedings). 2012:163–166.Array
Saludes J. State of the WP6 at the 3d progress meeting. Submitted.Array Download: wp6-3pm.pdf (84.5 KB)
Ribó A, Saludes J, Xambó S. Simple drill library snapshot Hierro A, Angelov K, Caprotti O, et al., eds. 2011.Array Download: mgl.tar.gz (974.6 KB)
Saludes J, Ribó A. Prototype of comanding CAS. 2012.Array Download: D6.2.pdf (1.05 MB)
Koponen M, Aziz W, Ramos L, Specia L. Post-editing Time as a Measure of Cognitive Effort O'Brien S, Simard M, Specia L, eds. AMTA 2012 Workshop on Post-editing Technology and Practice (WPTP). 2012:11-20. Available at:
España-Bonet C, Enache R, Slaski A, et al. Patent translation within the MOLTO project. In: Workshop on Patent Translation, MT Summit XIII. 4thth ed. Workshop on Patent Translation, MT Summit XIII.; 2011:70-78.Array Download: patentsMOLTO4.pdf (282.42 KB)
van Grondelle J. New Audiences for Ontologies : Dealing with Complexity in Business Processes. In: Simperl E, Cimiano P, Polleres A, Corcho O, Presutti V, eds. The Semantic Web: Research and Applications, Proceedings of ESWC 2012. The Semantic Web: Research and Applications, Proceedings of ESWC 2012. Crete, Greece; 2012:2. Available at:
Saludes J, Xambó S. Multilingual Sage. Tbilisi Mathematical Journal. In Press;5(2). Abstract Array
Angelov K, Caprotti O, Enache R, et al. MOLTO web service, first version. 2010. Abstract Array Download: D10.2.pdf (682.03 KB)
Saludes J, Xambó S. MOLTO Mathematical Grammar Library. 2010.Array Download: mOlto-MGL.pdf (605.86 KB)
Saludes J. MathBar.pgf. 2013. Abstract Array Download: MathBar.pgf (616.21 KB)
Saludes J. Math Exercises Library. Submitted.Array Download: mgl-demo.pdf (126.31 KB)