Publications

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


2010

  1. Ramsay, A. (2010). Semi-partitioned horn clauses: A tractable logic of types. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6304, pp. 279-280). Berlin: Springer Verlag. . Publication link: b5f679b3-028d-4c4f-a23a-d645ed7d2279
  2. Banach, R., & Schellhorn, G. (2010). Atomic actions, and their refinements to isolated protocols. Formal Aspects of Computing, 22(1), 33-61. DOI: 10.1007/s00165-009-0103-1. Publication link: c18b546c-2727-4252-bc02-d7ffe7b61e62
  3. Banach, R., & Jeske, C. (2010). Stronger compositions for retrenchments. Journal of Logic and Algebraic Programming, 79(3-5), 215-232. DOI: 10.1016/j.jlap.2009.10.002. Publication link: a1ffb9c6-449b-4f5c-aa38-06ad65615ff7
  4. Banach, R. (2010). A deidealisation semantics for KAOS. In Proceedings of the ACM Symposium on Applied Computing|Proc ACM Symp Appl Computing. (pp. 267-274). ACM. DOI: 10.1145/1774088.1774146. Publication link: 13b32da7-9301-4266-bca1-5db8f5823b77
  5. Rydeheard, D., Konev, B. (Ed.), Schmidt, R. (Ed.), & Schulz, S. (Ed.) (2010). Automated Reasoning in the Simulation of Evolvable Systems. In B. Konev, R. Schmidt, & S. Schulz (Eds.), Practical Aspects of Automated Reasoning, 2010. (pp. 12-22). http://www.easychair.org/publications/?page=120554545: EPic: Easychair Publishing. . Publication link: f324c6f3-5a22-49e1-9bae-0dde3eab1c84
  6. Barringer, H., Rydeheard, D., & Havelund, K. (2010). Rule systems for run-time monitoring: From eagle to ruler. Journal of Logic and Computation, 20(3), 675-706. DOI: 10.1093/logcom/exn076. Publication link: 5f451ee8-636e-4c2f-aec7-b8100bd855fe
  7. Afifi, D., Rydeheard, D. E., & Barringer, H. (2010). ESAT: A tool for animating logic-based specifications of evolvable component systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6418, pp. 469-474). Springer Verlag. DOI: 10.1007/978-3-642-16612-9_36. Publication link: 4f0fd124-6868-45b5-821c-32a010856e63
  8. Kontchakov, R., Pratt-Hartmann, I., & Zakharyaschev, M. (2010). Interpreting topological logics over Euclidean spaces. In Principles of Knowledge Representation and Reasoning: Proceedings of the 12th International Conference, KR 2010|Princ. Knowl. Represent. Reasoning: Proc. Int. Conf., KR. (pp. 534-544). Menlo Park, California: AAAI Press. . Publication link: 92f4e34e-27ef-4627-b36c-a373d0211630
  9. Kontchakov, R., Pratt-Hartmann, I., Wolter, F., & Zakharyaschev, M. (2010). Spatial logics with connectedness predicates. Logical Methods in Computer Science, 6(3), 1-43. DOI: 10.2168/LMCS-6(3:5)2010. Publication link: 6a6d2ac4-b43b-400d-8bdd-1e2222096651
  10. Pratt-Hartmann, I. (2010). The two-variable fragment with counting revisited. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6188, pp. 42-54). (Lecture Notes in Artificial Intelligence). Heidelberg: Springer Verlag. DOI: 10.1007/978-3-642-13824-9_4. Publication link: 24641007-b121-4dcf-9c69-92c75a19b2f2
  11. Montanari, A., Pratt-Hartmann, I., & Sala, P. (2010). Decidability of the logics of the reflexive sub-interval and super-interval relations over finite linear orders. In Proceedings - 17th International Symposium on Temporal Representation and Reasoning, TIME 2010|Proc. - Int. Symp. Temporal Represent. Reasoning, TIME. (pp. 27-34). IEEE Press. DOI: 10.1109/TIME.2010.18. Publication link: 16de569a-49b0-4201-a90f-5ddb03707712
  12. Nenov, Y., & Pratt-Hartmann, I. (2010). On the computability of region-based euclidean logics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6247, pp. 439-453). Heidelberg: Springer Verlag. DOI: 10.1007/978-3-642-15205-4_34. Publication link: 18dab13c-6278-4512-a3ac-d162660b3151
  13. Pratt-Hartmann, I. (2010). Computational Complexity in Natural Language. In The Handbook of Computational Linguistics and Natural Language Processing|The Handb. of Comput. Linguist. and Nat. Lang. Proces.. (pp. 43-73). Oxford: Wiley-Blackwell. DOI: 10.1002/9781444324044.ch2. Publication link: d3d88f64-8e7d-4492-9424-d901b7dd7e4b
  14. Korovin, K., & Sticksel, C. (2010). Labelled unit superposition calculi for instantiation-based reasoning. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6397, pp. 459-473). Springer Verlag. DOI: 10.1007/978-3-642-16242-8-33. Publication link: 6155c813-fca8-46e0-8025-91362669d611
  15. Emmer, M., Khasidashvili, Z., Korovin, K., & Voronkov, A. (2010). Encoding industrial hardware verification problems into effectively propositional logic. In Formal Methods in Computer Aided Design, FMCAD 2010|Form. Methods Comput. Aided Des., FMCAD. (pp. 137-144). IEEE. . Publication link: 623a46cf-371f-4cae-8e06-56a059016516
  16. Korovin, K., & Sticksel, C. (2010). iProver-Eq: An instantiation-based theorem prover with equality. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 6173, pp. 196-202). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-14203-1_17. Publication link: 1c78b6a6-9ff9-459a-8b11-2449335ea358
  17. Konev, B., Schmidt, R. A., & Schulz, S. (2010). Preface: Special issue on practical aspects of automated reasoning. AI Communications, 23(2-3), 67-68. DOI: 10.3233/AIC-2010-0455. Publication link: 718dcdd5-6a42-4568-9b08-e38e8d987ed5
  18. Schmidt, R. A. (2010). Simulation and synthesis of deduction calculi. Electronic Notes in Theoretical Computer Science, 262, 221-229. DOI: 10.1016/j.entcs.2010.04.016. Publication link: 1deb50f7-e999-4aae-9625-e0a6e9f676b2
  19. Navarro Lopez, E., & Navarro-Lopez, E. M. (2010). Nature, Mathematics, Engineering and Chaos. Ingeniare. Revista Chilena de Ingenieria, 18(1), 5-7. DOI: 10.4067/S0718-33052010000100001. Publication link: 83b11b22-0f07-4ccb-adc9-fb518788a91d
  20. Navarro Lopez, E. (2010). Formal verification of an electromechanical system with discontinuous properties School of Mathematics: University of Manchester. Publication link: 1fdff814-3e77-4ffb-9425-11e8359306b9
  21. Navarro Lopez, E. (Other). (2010). Reinventing online dating: AmicaGeo.. Publication link: 0d9f2a8d-988d-4539-8c1b-75596867b827
  22. Navarro-López, E. M., & Barajas-Ramírez, J. G. (2010). Bringing order to chaos: Hybrid modelling of a discontinuous chaotic system. In Proceedings of the 2010 11th International Workshop on Variable Structure Systems, VSS 2010|Proc. Int. Workshop Var. Struct. Syst., VSS. (pp. 325-330). IEEE. DOI: 10.1109/VSS.2010.5544705. Publication link: 43eff0fc-76d4-44ee-b958-3d5ad0ae0f54
  23. Navarro-López, E. M., & Licéaga-Castro, E. (2010). Combining passivity and classical frequency-domain methods: An insight into decentralised control. Applied Mathematics and Computation, 215(12), 4426-4438. DOI: 10.1016/j.amc.2010.01.012. Publication link: 3dc34d27-b0c9-47d2-ae26-a2f43a16b953
  24. Navarro Lopez, E., Navarro-Lopez, E. M., & Carter, R. (2010). Languages spoken by dynamical behaviours: A new approach to hybrid control systems?. Poster session presented at 13th ACM International Conference on Hybrid Systems: Computation and Control, Cyber-Physical Systems Week 2010, Stockholm, Sweden, .. Publication link: a2a374f7-1e11-4460-914c-8c6e8cda900d
  25. Navarro Lopez, E., & Navarro-Lopez, E. M. (2010). Discussion of Fundamental Analysis of the Electromechanical Oscillation Damping Control Loop of the Static VAr Compensator Using Individual Channel Analysis and Design. IEEE Transactions on Power Delivery, 1-1. . Publication link: eafd9ce7-366b-4aae-bc32-27866af5d129
▲ Up to the top