Publications

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


2012

  1. Ramsay, A., Hajic, J. (Ed.), De Smedt, K. (Ed.), Tadic, M. (Ed.), & Branco, A. (Ed.) (2012). Arabic Treebank: from Phrase-Structure Trees to Dependency Trees. In J. Hajic, K. De Smedt, M. Tadic, & A. Branco (Eds.), host publication. (pp. 61-68). META-RESEARCH Workshop on Advanced Treebanking Advanced Treebanking 2012. . Publication link: 7c8cd809-3d26-4900-9c75-274c899cbf65
  2. Alabbas, M., & Ramsay, A. (2012). Combining black-box taggers and parsers for modern standard Arabic. In 2012 Federated Conference on Computer Science and Information Systems, FedCSIS 2012|Fed. Conf. Comput. Sci. Inf. Syst., FedCSIS. (pp. 19-26). Polish Information Processing Society. . Publication link: 657ff672-92dd-413b-887d-be057813c3ce
  3. Alabbas, M., & Ramsay, A. (2012). Dependency tree matching with extended Tree edit distance with subtrees for textual entailment. In 2012 Federated Conference on Computer Science and Information Systems, FedCSIS 2012|Fed. Conf. Comput. Sci. Inf. Syst., FedCSIS. (pp. 11-18). Polish Information Processing Society. . Publication link: 5400d6f6-1caa-4203-aec1-25950a5c04d8
  4. Kerins, J., & Ramsay, A. (2012). Developing a visual temporal modeller: Applying an extensible nlp system to support learners' understanding of tense and aspect in English. ReCALL, 24(1), 40-65. DOI: 10.1017/S0958344011000280. Publication link: 206f47db-8197-4735-a5a9-c263a2f4d0bf
  5. Ramsay, A., & Ramnsay, A. (2012). The 15th International Conference on Artificial Intelligence: Methodology, Systems, Applications. In host publication. (Vol. 15). Springer Verlag. . Publication link: 483b4bf4-6dac-4500-8812-3c46debddda0
  6. Alabbas, M., & Ramsay, A. (2012). Improved POS-tagging for Arabic by combining diverse taggers. In IFIP Advances in Information and Communication Technology|IFIP Advances in Information and Communication Technology. (Vol. 381, pp. 107-116). (IFIP Advances in Information and Communication Technology,). Berkin: Springer Verlag. DOI: 10.1007/978-3-642-33409-2_12. Publication link: 39f0d2e1-866e-4ce6-a0f2-8ca941bd0e64
  7. Banach, R., Zhu, H., Su, W., & Wu, X. (2012). Continuous ASM, and a pacemaker sensing fragment. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7316, pp. 65-78). LNCS 7316. DOI: 10.1007/978-3-642-30885-7_5. Publication link: 00e44e28-280e-4a15-84cd-e7b95c18d323
  8. Banach, R., Zhu, H., Su, W., & Wu, X. (2012). Continuous behaviour in event-B: A sketch. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7316, pp. 349-352). LNCS 7316. DOI: 10.1007/978-3-642-30885-7_29. Publication link: 3648aa1c-a7e0-4675-8695-cdd7e834721c
  9. Banach, R., Zhu, H., Su, W., & Wu, X. (2012). ASM and controller synthesis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7316, pp. 51-64). LNCS 7316. DOI: 10.1007/978-3-642-30885-7_4. Publication link: c4efb023-1ffa-4b95-ae6f-b88a4a56897c
  10. Barringer, H., Falcone, Y., Havelund, K., Reger, G., & Rydeheard, D. (2012). Quantified event automata: Towards expressive and efficient runtime monitors. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7436, pp. 68-84). DOI: 10.1007/978-3-642-32759-9_9. Publication link: 2c9ba7d3-a8e4-4c36-885b-5cbdd9e84030
  11. Pratt-Hartmann, I., Raubal, M. (Ed.), Mark, D. M. (Ed.), & Frank, A. U. (Ed.) (2012). Twenty Years of Topological Logic. In Cognitive and Linguistic Aspects of Geographic Space: New Perspectives on Geographic Information Research. (pp. 217-235). (Lecture Notes in Geoinformation and Cartography). Berlin: Springer Verlag. DOI: 10.1007/978-3-642-34359-9_12. Publication link: 76bd71a9-bfa0-41d9-b954-ea8614a55e15
  12. Kieroňski, E., Michaliszyn, J., Pratt-Hartmann, I., & Tendera, L. (2012). Two-variable first-order logic with equivalence closure. In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012|Proc. Annu. ACM/IEEE Symp. Logic Comput. Sci., LICS. (pp. 431-440). Los Alamitos, California: IEEE Press. DOI: 10.1109/LICS.2012.53. Publication link: 3ecc8cea-6cb3-4917-856d-94e46e86816c
  13. Korovin, K., & Voronkov, A. (2012). GoRRiLA and hard reality. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7162, pp. 243-250). DOI: 10.1007/978-3-642-29709-0_21. Publication link: dbf69972-e999-47f6-9f13-d41438454ba4
  14. Emmer, M., Khasidashvili, Z., Korovin, K., Sticksel, C., & Voronkov, A. (2012). EPR-based bounded model checking at word level. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7364, pp. 210-224). DOI: 10.1007/978-3-642-31365-3_18. Publication link: 35af0da4-3845-45ad-80a5-a9de57a241a7
  15. Korovin, K., Tsiskaridze, N., & Voronkov, A. (2012). Implementing conflict resolution. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7162, pp. 362-376). Springer Verlag. DOI: 10.1007/978-3-642-29709-0_31. Publication link: 39b84d8d-e371-41ce-b009-4800b7c2f08e
  16. Schmidt, R. A. (2012). The Ackermann approach for modal logic, correspondence theory and second-order reduction. Journal of Applied Logic, 10(1), 52-74. DOI: 10.1016/j.jal.2012.01.001. Publication link: 9b5f6c1e-3c29-43cf-8244-e12c1f27eca0
  17. Tishkovsky, D., Schmidt, R. A., & Khodadadi, M. (2012). The tableau prover generator MetTeL2. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7519, pp. 492-495). (Lecture Notes in Computer Science). Springer Berlin / Heidelberg. DOI: 10.1007/978-3-642-33353-8_41. Publication link: 8023a724-ec03-4d53-8353-fc37d03b3fb4
  18. Fontaine, P., Schmidt, R. A., & Schulz, S. (Eds.) (2012). PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning. In EPiC Series. (Vol. 21). (EPiC Series). EasyChair. . Publication link: 7b27b383-897e-4e59-9417-0cbaa29fdfd2
  19. Schmidt, R., Schmidt, R. A. (Ed.), & Papacchini, F. (Ed.) (2012). Minimal Models for Modal Logics. In R. A. Schmidt, & F. Papacchini (Eds.), Proceedings of the Nineteenth Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice (ARW 2012). School of Computer Science. . Publication link: 72e0991c-c81d-4f47-93e0-7238cdab530e
  20. Schmidt, R., Dixon, D., Konev, B., Tishkovsky, D., Schmidt, R. A. (Ed.), & Papacchini, F. (Ed.) (2012). A Labelled Tableau Approach for Temporal Logic with Constraints. In R. A. Schmidt, & F. Papacchini (Eds.), Proceedings of the Nineteenth Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice (ARW 2012). School of Computer Science. . Publication link: 5d6e1fd4-b42b-4320-bee0-f52c05227ab4
  21. Schmidt, R., Minica, S., Khodadadi, M., Tishkovsky, D., Fontaine, P. (Ed.), Schmidt, R. A. (Ed.), & Schulz, S. (Ed.) (2012). Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. In P. Fontaine, R. A. Schmidt, & S. Schulz (Eds.), PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning.. Publication link: 53159f37-0cc9-4fa2-aed1-82a6df114380
  22. Schmidt, R. A., & Papacchini, F. (2012). Proceedings of the 19th Automated Reasoning Workshop. In host publication. Manchester: School of Computer Science, University of Manchester. . Publication link: 0da05cf0-eaa6-4e21-944a-60485e2f1493
  23. Khodadadi, M., Schmidt, R. A., & Tishkovsky, D. (2012). An abstract tableau calculus for the description logic SHOI using unrestricted blocking and rewriting. In CEUR Workshop Proceedings|CEUR Workshop Proc.. (Vol. 846, pp. 224-234). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 05ee0660-2bc3-4f38-b11a-37de3a17eac9
  24. Schmidt, R., Tishkovsky, D., Khodadadi, M., Fontaine, P. (Ed.), Schmidt, R. A. (Ed.), & Schulz, S. (Ed.) (2012). MetTeL2: Towards a Tableau Prover Generation Platform. In P. Fontaine, R. A. Schmidt, & S. Schulz (Eds.), PAAR-2012: Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning.. Publication link: cad27ad4-4b81-464b-87eb-9bbc66a85069
  25. Dixon, C., Konev, B., Schmidt, R. A., & Tishkovsky, D. (2012). Labelled tableaux for temporal logic with cardinality constraints. In Proceedings - 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012|Proc. - Int. Symp. Symb. Numer. Algorithms Sci. Comput., SYNASC. (pp. 111-118). IEEE Computer Society. DOI: 10.1109/SYNASC.2012.47. Publication link: d1dde92c-d868-450c-af34-fadea03891aa
  26. Konev, B., Schmidt, R., & Schulz, S. (2012). PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning. In host publication. (Vol. 9). EasyChair. . Publication link: dc95d81a-be09-4c97-9cc2-fe5428c1145c
  27. Konev, B., Schmidt, R. A., & Schulz, S. (Eds.) (2012). A Comparison of Solvers for Propositional Dynamic Logic. In B. Konev, R. A. Schmidt, & S. Schulz (Eds.), PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning. (Vol. 9, pp. 60-69). (EPiC Series). EasyChair. . Publication link: e91cb580-5362-447d-b319-bf3717596db5
  28. Schmidt, R., Tishkovsky, D., Khodadadi, M., Schmidt, R. A. (Ed.), & Papacchini, F. (Ed.) (2012). MeTTeL2: Towards a Prover Generation Platform. In R. A. Schmidt, & F. Papacchini (Eds.), Proceedings of the Nineteenth Workshop on Automated Reasoning: Bridging the Gap Between Theory and Practice (ARW 2012). School of Computer Science. . Publication link: a14e24e4-690c-4a37-b79e-7ba8e91d8318
  29. Schalk, A., & Steele, H. (2012). Constructing fully complete models for multiplicative linear logic. In Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012|Proc. Annu. ACM/IEEE Symp. Logic Comput. Sci., LICS. (pp. 571-580). http://www.computer.org/portal/site/store/index.jsp: IEEE. DOI: 10.1109/LICS.2012.67. Publication link: 192459bc-9e88-47fb-920b-d9d1713fcfdb
  30. Schalk, A. (2012). Introduction to Game Semantics. Twenty-eighth Conference on the Mathematical Foundations of Programming Semantics, University of Bath, .. Publication link: 7dcb49fe-39de-46d2-bf5f-53db4a1ed047
  31. Barringer, H., Falcone, Y., Havelund, K., Reger, G., & Rydeheard, D. (2012). Quantified event automata: Towards expressive and efficient runtime monitors. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7436, pp. 68-84). DOI: 10.1007/978-3-642-32759-9_9. Publication link: 2c9ba7d3-a8e4-4c36-885b-5cbdd9e84030
  32. Navarro Lopez, E., & Cortes, D. (2012). Reply to Comments on "Design of practical sliding-mode controllers with constant switching frequency for power converters". Electric Power Systems Research. In press, 1-8. . Publication link: 01807dac-d4f3-43d6-9c9a-97ad7f1085ac
  33. Navarro Lopez, E., & Schmidt, R. (Ed.) (2012). Model checking by abstraction for proving liveness properties of hybrid dynamical systems. In R. Schmidt (Ed.), Automated Reasoning Workshop, ARW 2012. (pp. 29-30). UK. . Publication link: 38b4aec0-8d44-4cf9-bcc1-1cc8d42db7e9
  34. Licéaga-Castro, E., Navarro-López, E. M., García-Aguilar, R., & Andújar-Morgado, J. M. (2012). Slow-motion control of an unloaded hydraulic robot arm. Precision Engineering, 36(3), 388-398. DOI: 10.1016/j.precisioneng.2012.01.001. Publication link: 72307487-31fb-4607-8546-6bf1f731b671
  35. Carter, R., & Navarro-López, E. M. (2012). Dynamically-driven timed automaton abstractions for proving liveness of continuous systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 7595, pp. 59-74). Berlin, Heidelberg: Springer Verlag. DOI: 10.1007/978-3-642-33365-1_6. Publication link: 65476a27-8890-47ec-8a50-e5b0ae6dc71c
  36. O'Toole, M. D., & Navarro-López, E. M. (2012). A hybrid automaton for a class of multi-contact rigid-body systems with friction and impacts. In IFAC Proceedings Volumes (IFAC-PapersOnline)|IFAC Proc. Vol. (IFAC-PapersOnline). (pp. 299-306). IFAC. DOI: 10.3182/20120606-3-NL-3011.00074. Publication link: 614df5cc-8e87-43eb-82ae-cf3353fa2c89
▲ Up to the top