Publications

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


2014

  1. Ramsay, A., Jager, S. (Ed.), Bradley, L. (Ed.), Meima, E. (Ed.), & Thou"esny, S. (Ed.) (2014). Diagnostic CALL tool for Arabic learners. In S. Jager, L. Bradley, E. Meima, & S. Thou"esny (Eds.), host publication. (pp. 6-11). Publication link: 61b29478-cdee-410f-ad48-540c7f563f23
  2. Ramsay, A., Vetulani, Z. (Ed.), & Mariani, J. (Ed.) (2014). Improved parsing for Arabic by combining diverse dependency parsers. In Z. Vetulani, & J. Mariani (Eds.), host publication. (pp. 43-54). Springer Verlag. . Publication link: 86c44e04-ba1f-484f-aba8-1a852cb834f2
  3. Alabbas, M., & Ramsay, A. (2014). Improved parsing for arabic by combining diverse dependency parsers. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8387, pp. 43-54). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-319-08958-4_4. Publication link: c796501d-1eaf-41b5-8e02-870dfa0355ca
  4. Ramsay, A., Alsharhan, I., & Ahmed, H. (2014). Generation of a phonetic transcription for modern standard Arabic: A knowledge-based model. Computer Speech and Language, 28(4), 959-978. DOI: 10.1016/j.csl.2014.02.005. Publication link: bbd65d3e-9e30-4758-9b26-c656a7168194
  5. Alabbas, M., & Ramsay, A. M. (2014). Combining strategies for tagging and parsing Arabic. In host publication. (pp. 73-77). Association for Computational Linguistics. . Publication link: ad35754c-7038-45cf-889d-6e06b322be99
  6. Banach, R. (2014). The Landing Gear Case Study in Hybrid Event-B. In Communications in Computer and Information Science|Commun. Comput. Info. Sci.. (Vol. 433, pp. 126-141). Springer Verlag. DOI: 10.1007/978-3-319-07512-9_9. Publication link: 62b13dbc-d18d-44ea-b632-1c6c56d2d56c
  7. Banach, R. (2014). Invariant guided system decomposition. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8477, pp. 271-276). Springer Verlag. DOI: 10.1007/978-3-662-43652-3_23. Publication link: 278caaf7-7265-495f-91a7-adee1dc082c6
  8. Banach, R., Zhu, H., Su, W., & Wu, X. (2014). ASM, controller synthesis, and complete refinement. Science of Computer Programming. DOI: 10.1016/j.scico.2014.04.013. Publication link: 0ae0e8e5-6321-45e0-8a84-68a1bcad8ae1
  9. Banach, R. (2014). Contemplating the Addition of Stochastic Behaviour into Hybrid Event-B. In Proc. IEEE TASE-14. (pp. 42-49). IEEE. . Publication link: e67a9180-e453-479f-89e5-21d183dd13ee
  10. Banach, R., Zhu, H., Su, W., & Huang, R. (2014). Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: A simple train stopping application. Formal Aspects of Computing, 26(2), 319-366. DOI: 10.1007/s00165-012-0263-2. Publication link: c93db22d-c33f-43e8-a17c-c64eca0eeda1
  11. Banach, R., Zhu, H., Su, W., & Wu, X. (2014). A Continuous ASM Modelling Approach to Pacemaker Sensing.A C M Transactions on Software Engineering and Methodology, 24(1), [2]. DOI: 10.1145/2610375. Publication link: e8c5992f-2fc6-435f-bc98-4c13963fa2fa
  12. Rydeheard, D., Barringer, H., Gabbay, D., Dershowitz, N. (Ed.), & Nissan, E. (Ed.) (2014). Reactivity and Grammars: An Exploration. In Language, Culture, Computation: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday. (LNCS 8001 ed., pp. 103-155). Springer Verlag. DOI: 10.1007/978-3-642-45321-2. Publication link: 0c3d1f02-c6f4-4b68-95a4-c138656f585a
  13. Rydeheard, D., Stell, J. G., & Schmidt, R. A. (2014). Tableau development for a bi-intuitionistic tense logic. In Relational and Algebraic Methods in Computer Science. (pp. 412-428). Springer International Publishing. . Publication link: 525d6d89-63dd-4522-8dc4-33c72c96ff64
  14. Stell, J. G., Schmidt, R. A., & Rydeheard, D. (2014). Tableau development for a bi-intuitionistic tense logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8428, pp. 412-428). Springer Verlag. DOI: 10.1007/978-3-319-06251-8_25. Publication link: cd7d78e2-4bda-45fa-be25-bcd68cf0b354
  15. Rydeheard, D., Sanchez, J. H. D., Voronkov, A. (Ed.), & Korovina, M. (Ed.) (2014). A note on logical description, observational orders and minimum models. In HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday. (pp. 289-305). EasyChair Books. . Publication link: b7adae3c-ab50-4062-82de-271402237929
  16. Schmidt, R., Stell, J. G., & Rydeheard, D. E. (2014). Axiomatic and Tableau-Based Reasoning for Kt(H, R). In Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014. (pp. 478-497). Publication link: 9de9fbc7-d47a-4d0d-a593-8bad9febad43
  17. Kontchakov, R., Pratt-Hartmann, I., & Zakharyaschev, M. (2014). Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces. Artificial Intelligence, 217, 43-75. DOI: 10.1016/j.artint.2014.07.012. Publication link: 0a2d5a3a-2952-446c-a988-9c4dd107812d
  18. Pratt-Hartmann, I., Henzinger, T. (Ed.), & Miller, D. (Ed.) (2014). Logics with Counting and Equivalence. In T. Henzinger, & D. Miller (Eds.), ACM/IEEE Symposium on Logic in Computer Science. (pp. 1-10). ACM/IEEE. DOI: 10.1145/2603088.2603117. Publication link: a6673508-a64d-4729-a03f-965694f858a9
  19. KieroĊ„ski, E., Michaliszyn, J., Pratt-Hartmann, I., & Tendera, L. (2014). Two-Variable First-Order Logic with Equivalence Closure. SIAM Journal on Computing , 43(3), 1012-1063. DOI: 10.1137/120900095. Publication link: db5d7d72-476f-4da1-b6c6-0899f0e55513
  20. Korovin, K., Kosta, M., & Sturm, T. (2014). Towards Conflict-Driven Learning for Virtual Substitution. In Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, affiliated with the 26th International Conference on Computer Aided Verification (CAV 2014), the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), and the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014), Vienna, Austria, July 17-18, 2014... Publication link: 4ee7fa1e-3946-4083-a312-1ff2a1298880
  21. Escobar, S., Korovin, K., & Rybakov, V. V. (Eds.) (2014). {UNIF} 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012. In EPiC Series. (Vol. 24). (EPiC Series). EasyChair. . Publication link: 13c9b6cc-fd57-497d-8d82-082da0942326
  22. Korovin, K., & Veanes, M. (2014). Skolemization Modulo Theories. In Mathematical Software - ICMS 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings. (pp. 303-306). DOI: 10.1007/978-3-662-44199-2_47. Publication link: 603a08d9-add1-45dd-8983-650c7fbee6f4
  23. Korovin, K., Kosta, M., & Sturm, T. (2014). Towards Conflict-Driven Learning for Virtual Substitution. In Computer Algebra in Scientific Computing - 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings. (pp. 256-270). DOI: 10.1007/978-3-319-10515-4_19. Publication link: afa79119-b53d-48e2-8d71-65b5ebc9f525
  24. Koopmann, P., & Schmidt, R. A. (2014). Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes. In Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014.. (pp. 245-257). Publication link: a6321323-e37a-4f64-bb83-820e18ce5bc7
  25. Stell, J. G., Schmidt, R. A., & Rydeheard, D. (2014). Tableau development for a bi-intuitionistic tense logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8428, pp. 412-428). Springer Verlag. DOI: 10.1007/978-3-319-06251-8_25. Publication link: cd7d78e2-4bda-45fa-be25-bcd68cf0b354
  26. Koopmann, P., & Schmidt, R. A. (2014). Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes - Long Version. No publisher name.. Publication link: 8c60cd49-176a-450f-ae05-0bf3b6ff56ab
  27. Schmidt, R., Stell, J. G., & Rydeheard, D. E. (2014). Axiomatic and Tableau-Based Reasoning for Kt(H, R). In Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014. (pp. 478-497). Publication link: 9de9fbc7-d47a-4d0d-a593-8bad9febad43
  28. Schmidt, R. A., & Tishkovsky, D. (2014). Using Tableau to Decide Description Logics with Full Role Negation and Identity. ACM Transactions on Computational Logic, 15(1), 7:1-7:31. [7]. DOI: 10.1145/2559947. Publication link: 61ca3ecf-bd98-4dfd-b162-0d6867155e28
  29. Koopmann, P., & Schmidt, R. A. (2014). Count and Forget: Uniform Interpolation of SHQ-Ontologies. In Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings. (pp. 434-448). DOI: 10.1007/978-3-319-08587-6_34. Publication link: 3cf03b07-b03a-4ab5-8839-ab74e643fb50
  30. Papacchini, F., & Schmidt, R. A. (2014). Terminating minimal model generation procedures for propositional modal logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8562, pp. 381-395). Springer Verlag. DOI: 10.1007/978-3-319-08587-6-30. Publication link: 1b22e6f4-1e06-441b-a964-9716a9fcd59e
  31. Navarro Lopez, E. (2014). Neuro-DYVERSE: building hybrid systems neuroscience. In host publication.. Publication link: a4a15899-0c00-4ac0-960f-88e9a0c117f8
▲ Up to the top