Publications

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


2011

  1. Ramsay, A., & Mansour, H. (2011). Exploiting hidden morphophonemic constraints for finding the underlying forms of 'weak' Arabic verbs. In International Conference Recent Advances in Natural Language Processing, RANLP|Int. Conf. Recent Adv. Nat. Lang. Proces., RANLP. (pp. 448-454). Publication link: 3492e2c1-1749-4aa8-9d4a-a9319c164de7
  2. Garg, A., & Ramsay, A. (2011). Semantic content analysis of video: Issues and trends. In Studies in Computational Intelligence|Stud. Comput. Intell.: Studies in Computational Intelligence. (Vol. 346, pp. 443-457). Berlin: Springer Verlag. . Publication link: b853493c-3675-4673-9ced-68c1b3d479d0
  3. Banach, R., & Jeske, C. (2011). Simple feature engineering via neat default retrenchments. Journal of Logic and Algebraic Programming, 80(8), 453-480. DOI: 10.1016/j.jlap.2010.12.001. Publication link: ef4019f0-c1c8-4cc9-9633-ae8c74a5f013
  4. Banach, R. (2011). Formalising the Continuous/Discrete Modeling Step. In Derrick, Boiten, & Reeves (Eds.), Proc. Refine-11, 2011. (pp. 121-138). EPTCS. . Publication link: d97eb9db-2bf6-4b4a-ab85-8746100a2f35
  5. Banach, R. (2011). Retrenchment for Event-B: UseCase-wise development and Rodin integration. Formal Aspects of Computing, 23(1), 113-131. DOI: 10.1007/s00165-009-0139-2. Publication link: 01a7fa06-fdb7-440e-b086-44d625e81497
  6. Pratt-Hartmann, I. (2011). The Hamiltonian Syllogistic. Journal of Logic, Language and Information, 20(4), 445-474. DOI: 10.1007/s10849-011-9144-y. Publication link: 857b10e9-e090-436e-8325-6437760ad044
  7. Kontchakov, R., Nenov, Y., Pratt-Hartmann, I., & Zakharyaschev, M. (2011). On the decidability of connectedness constraints in 2D and 3D euclidean spaces. In IJCAI International Joint Conference on Artificial Intelligence|IJCAI Int. Joint Conf. Artif. Intell.. (pp. 957-962). AAAI Press. DOI: 10.5591/978-1-57735-516-8/IJCAI11-165. Publication link: ad00585e-237b-4f9f-882b-49817c5d6dd4
  8. Korovin, K., & Voronkov, A. (2011). Solving systems of linear inequalities by bound propagation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6803, pp. 369-383). DOI: 10.1007/978-3-642-22438-6_28. Publication link: b1f87c7b-e8c4-4e7b-8004-7c33d73ef77c
  9. Schmidt, R. A. (2011). Synthesising terminating tableau calculi for relational logics (invited paper). 40-49. 12th International Conference on Relational and Algebraic Methods in Computer Science, RAMICS 2011, Rotterdam, .DOI: 10.1007/978-3-642-21070-9_3. Publication link: c27d5764-9841-4dbb-b316-f08de79ddf1a
  10. Schmidt, R. A., & Pientka, B. (2011). Preface: Special issue of selected extended papers of CADE-22. Journal of Automated Reasoning, 47(2), 107-109. DOI: 10.1007/s10817-010-9212-z. Publication link: bb04ba6b-d24d-49a3-9586-ded48353d5ff
  11. Papacchini, F., & Schmidt, R. A. (2011). A tableau calculus for minimal modal model generation. Electronic Notes in Theoretical Computer Science, 278(1), 159-172. DOI: 10.1016/j.entcs.2011.10.013. Publication link: cd46cd86-a8ab-4685-bc2c-99df3dfe76ac
  12. Tishkovsky, D., Schmidt, R. A., & Khodadadi, M. (2011). METTEL: A tableau prover with logic-independent inference engine. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6793, pp. 242-247). Springer Verlag. DOI: 10.1007/978-3-642-22119-4_19. Publication link: f88397ed-f548-4a46-8104-f5a124b67270
  13. Schmidt, R. A., & Tishkovsky, D. (2011). Automated synthesis of tableau calculi. Logical Methods in Computer Science, 7(2). DOI: 10.2168/LMCS-7 (2:6) 2011. Publication link: 90c3402f-03d2-44b5-a834-8277e821b965
  14. Navarro Lopez, E., Navarro-Lopez, E. M., & Poliakov, A. (2011). Geo-behavioural interest networks. 1. Poster session presented at International Conference on Network Science, NetSci 2011, Budapest, Hungary, .. Publication link: 71014dab-8d2a-4474-bb6d-e2614d0a1156
  15. Navarro Lopez, E., & Voronkov, A. (Ed.) (2011). DYVERSE: putting together the pieces of the hybrid systems' jigsaw. In A. Voronkov (Ed.), host publication.. Publication link: 76181302-5c53-4bff-bdfd-314ddd5ab266
  16. Laila, D. S., Navarro-López, E. M., & Astolfi, A. (2011). Sampled-data adaptive control for a class of nonlinear systems with parametric uncertainties. In IFAC Proceedings Volumes (IFAC-PapersOnline)|IFAC Proc. Vol. (IFAC-PapersOnline). (Vol. 18, pp. 1261-1266). IFAC. DOI: 10.3182/20110828-6-IT-1002.03601. Publication link: 2066ad7a-6a41-46ba-ad87-c3bc5fee7ec3
  17. Navarro-Lopez, E. M., & Carter, R. (2011). Hybrid automata: An insight into the discrete abstraction of discontinuous systems. International Journal of Systems Science, 42(11), 1883-1898. DOI: 10.1080/00207721.2010.495189. Publication link: 0308b289-e688-4e21-bdfd-5e8334964779
  18. Carter, R., & Navarro-López, E. M. (2011). Abstractions of hybrid systems: Formal languages to describe dynamical behaviour. In IFAC Proceedings Volumes (IFAC-PapersOnline)|IFAC Proc. Vol. (IFAC-PapersOnline). (Vol. 18, pp. 4552-4557). IFAC. DOI: 10.3182/20110828-6-IT-1002.01072. Publication link: b86656eb-b295-4fa9-9a6b-4a9feadf1dae
  19. Navarro Lopez, E., Navarro-Lopez, E. M., & Gonzalez, C. V. (2011). Universidad y Sociedad: ¿Responsabilidades Olvidadas? (University and Society: Forgotten Responsabilities?). Ingeniare. Revista Chilena de Ingenieria, 19(2). . Publication link: a2e78de8-4af2-41ba-9421-11c7995fcdf9
  20. Ornelas-Tellez, F., Sanchez, E. N., Loukianov, A. G., & Navarro-Lopez, E. M. (2011). Speed-gradient inverse optimal control for discrete-time nonlinear systems. In Proceedings of the IEEE Conference on Decision and Control|Proc IEEE Conf Decis Control. (pp. 290-295). IEEE. DOI: 10.1109/CDC.2011.6160374. Publication link: a815d1bb-97a0-494f-9ea9-412abd3ff67c
▲ Up to the top