Publications

2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | Complete list


2008

  1. Ramsay, A. M., Field, D., Bos, J. (Ed.), & Delmonte, R. (Ed.) (2008). Everyday language is highly intensional. In J. Bos, & R. Delmonte (Eds.), Semantics in Text Processing (STEP 2008). (pp. 193-206). Publication link: 799a1cba-f996-4609-a88e-c156f19b0f95
  2. Ramsay, A., & Mansour, H. (2008). Towards including prosody in a text-to-speech system for modern standard Arabic. Computer Speech and Language, 22(1), 84-103. DOI: 10.1016/j.csl.2007.06.004. Publication link: 697de58e-23d4-489e-9648-3a87491af1ba
  3. Ramsay, A. M., & Mansour, H. (2008). Estimating phone lengths for a diphone-based text-to-speech system for Arabic. In The Sixth International Conference on Informatics and Systems.. Publication link: 039c935f-4dd0-4d7c-a3dc-b3efe454a954
  4. Ramsay, A. M. (2008). A Tractable Logic of Types. In 22nd International Workshop on Unification (UNIF-08). (pp. 69-81). Publication link: 0dd9aebf-3a39-4ec8-9da0-76a6c38c8daa
  5. Kuo, C. L., & Ramsay, A. (2008). Translating emphatic/contrastive focus from English to Mandarin Chinese. Machine Translation, 22(4), 181-203. DOI: 10.1007/s10590-009-9055-8. Publication link: bcdb13f0-2a88-45cd-8544-1bcf20de9a73
  6. Kuo, C-L., & Ramsay, A. M. (2008). Translating Emphatic/Contrastive Focus from English to Mandarin Chinese. In European Machine Translation Conference (EAMT-08). (pp. 78-87). Publication link: a30dc6a5-a8eb-4b82-9706-4117f9bfe9d3
  7. Ramsay, A., & Field, D. (2008). Speech acts, epistemic planning and grice's maxims. Journal of Logic and Computation, 18(3), 431-457. DOI: 10.1093/logcom/exm073. Publication link: fd3adffd-3e47-435a-8b1a-5f01abc742f6
  8. Banach, R., Jeske, C., & Poppleton, M. (2008). Composition mechanisms for retrenchment. Journal of Logic and Algebraic Programming, 75(2), 209-229. DOI: 10.1016/j.jlap.2007.11.001. Publication link: 3f8f5d49-905a-4513-80f2-e4eaf06647ac
  9. Schellhorn, G., & Banach, R. (2008). A concept-driven construction of the mondex protocol using three refinements. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5238, pp. 57-70). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-540-87603-8_6. Publication link: 1c6c9ad5-16c7-42cf-9e79-dfa037149fc7
  10. Banach, R. (2008). Model based refinement and the tools of tomorrow. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5238, pp. 42-56). Springer-Verlag Berlin. DOI: 10.1007/978-3-540-87603-8_5. Publication link: 75fb13e8-6d49-40bf-8621-9a3f2e5d6aea
  11. Banach, R., & Schellhorn, G. (2008). On the Refinement of Atomic Actions. Electronic Notes in Theoretical Computer Science, 201(C), 3-30. DOI: 10.1016/j.entcs.2008.02.013. Publication link: bc193369-06c3-4293-99b1-5ef8c3eae44c
  12. Banach, R. (2008). UseCase-wise development: Retrenchment for event-B. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5238, pp. 167-180). Springer-Verlag Berlin. DOI: 10.1007/978-3-540-87603-8_14. Publication link: ceb80f8f-06de-4bc9-a668-127c0af552f9
  13. Wang, S., Rydeheard, D., & Pan, J. Z. (2008). The semantic processing of continuous quantities for discrete terms in ontologies. Journal of Logic and Computation, 18(3), 341-359. DOI: 10.1093/logcom/exm074. Publication link: e09bb228-ed73-4e7d-b4d0-4b12146453c4
  14. Pratt-Hartmann, I. (2008). Conditionalization and total knowledge. Journal of Applied Non-Classical Logics, 18(2-3), 247-266. DOI: 10.3166/jancl.18.247-266. Publication link: 7f9d9033-d5d4-4e95-9b31-c715f3e7dd3d
  15. Ian, P. H. (2008). On the computational complexity of the numerically definite syllogistic and related logics. Bulletin of Symbolic Logic, 14(1), 1-28. DOI: 10.2178/bsl/1208358842. Publication link: 42f5ec70-cc88-4a47-a5e8-30fe5aaa2832
  16. Kontchakov, R., Pratt-Hartmann, I., Wolter, F., & Zakharyaschev, M. (2008). On the computational complexity of spatial logics with connectedness constraints. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5330, pp. 574-589). (Lecture notes in computer science). Berlin: Springer Verlag. DOI: 10.1007/978-3-540-89439-1_40. Publication link: f1b5a854-ecdf-4278-9d50-e88c55cfe0c1
  17. Kontchakov, R., Pratt-Hartmann, I., Wolter, F., & Zakharyaschev, M. (2008). Topology, connectedness, and modal logic. In Advances in Modal Logic 2006|Adv. Modal Logic. (Vol. 7, pp. 151-176). London: College Publications. . Publication link: aacac766-d1f7-4933-b7f4-ac4c648f9e22
  18. Korovin, K. (2008). iProver - An instantiation-based theorem prover for first-order logic (system description). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5195, pp. 292-298). Springer-Verlag Berlin. DOI: 10.1007/978-3-540-71070-7_24. Publication link: 8db6d281-1d9f-440b-b608-46efb53b6943
  19. Schmidt, R. A., & Struth, G. (2008). Editorial: Relations and Kleene Algebras in Computer Science. Journal of Logic and Algebraic Programming, 76(1), 1-2. . Publication link: d5712f59-601d-48c5-ab80-3414ac4d0b45
  20. Schmidt, R. A. (2008). Improved second-order quantifier elimination in modal logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5293, pp. 375-388). Springer-Verlag Berlin. DOI: 10.1007/978-3-540-87803-2_31. Publication link: 46de053b-be05-471c-9f58-3039727d0f0f
  21. Gabbay, D. M., Schmidt, R. A., & Szalas, A. (2008). Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications. (Studies in Logic). College Publications.. Publication link: 575d5980-3b8e-44d8-90d2-5f03773dbf14
  22. Konev, B., Schmidt, R., & Schulz, S. (2008). Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning (PAAR-2008/ESHOL-2008). In CEUR Workshop Proceedings. (Vol. 373). (CEUR Workshop Proceedings). CEUR Workshop Proceedings. . Publication link: 729ec4ee-0aee-4796-a79c-281973f5b97e
  23. Navarro Lopez, E., & Navarro-Lopez, E. M. (2008). Discontinuities-induced phenomena in an industrial application: analysis and control solutions. In Proceedings of the ICNPAA 2008 7th International Conference on Mathematical Problems in Engineering, Aerospace and Sciences, Genoa, Italy. (pp. 1-9). Publication link: 0affc2d9-5b90-4a9d-a489-364b2110141d
  24. Licéaga-Castro, E., Licéaga-Castro, J., Ugalde-Loo, C. E., & Navarro-López, E. M. (2008). Efficient multivariable submarine depth-control system design. Ocean Engineering, 35(17-18), 1747-1758. DOI: 10.1016/j.oceaneng.2008.08.018. Publication link: 1be47b5b-a2d5-469c-81cf-046cb64ad2db
  25. Navarro Lopez, E., Liceaga-Castro, E., Navarro-Lopez, E. M., & Liceaga-Castro, J. U. (2008). Robust decentralised control design for a MIMO nonminimum-phase process. In Proceedings of the 13th Latin American Congress of Automatic Control, Merida, Venezuela. (pp. 1-6). Publication link: 56e2a8a7-4012-43f4-b82c-7fe7b9051523
▲ Up to the top