Publications

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


All

  1. Ahmad, T., & Ramsay, A. (2016). Linking Tweets to News: Is All News of Interest? In 17th International Conference on Artificial Intelligence: Methodology, Systems, Applications. (Lecture Notes in Computer Science; Vol. 9883). Springer Verlag. DOI: 10.1007/978-3-319-44748-3_15. Publication link: 6b2ecea7-16c3-41ba-a0be-1d971241a366
  2. Ramsay, A., & Albogamy, F. (2016). Unsupervised Stemmer for Arabic Tweets. 78-84.. Publication link: c35d993b-0c6e-4890-b52b-7374dc34e6bc
  3. Jaf, S., & Ramsay, A. (2015). The Application of Constraint Rules to Data-driven Parsing. In G. Angelova, K. Bontcheva, & R. Mitkov (Eds.), Proceedings of Recent Advances in Natural Language Processing: Hissar, Bulgaria, Sep 7–9 2015. (pp. 232-238). Publication link: c8ab6b71-7ff8-4563-ad49-5681a8f4a219
  4. Albogamy, F., Ramsay, A., Angelova, G. (Ed.), Bontcheva, K. (Ed.), & Mitkov, R. (Ed.) (2015). POS Tagging for Arabic Tweets. In G. Angelova, K. Bontcheva, & R. Mitkov (Eds.), Recent Advances in Natural Language Processing. (pp. 1-8). Publication link: 97a29128-0ac4-4431-ba11-f3bfcb37071a
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. Alabbas, M., & Ramsay, A. (2013). Natural language inference for arabic using extended tree edit distance with subtrees. Journal of Artificial Intelligence Research, 48, 1-22. DOI: http://www.jair.org/papers/paper3892.html. Publication link: d3fc7d1c-d620-49d4-a0e2-333f324107f0
  11. Alabbas, M., & Ramsay, A. (2013). Optimising tree edit distance with subtrees for textual entailment. In International Conference Recent Advances in Natural Language Processing, RANLP|Int. Conf. Recent Adv. Nat. Lang. Proces., RANLP. (pp. 9-17). Publication link: 044b37e6-1bcc-4462-84ba-ff5a36b2d07f
  12. Jaf, S., & Ramsay, A. (2013). The Hybridisation of a Data-driven Parser for Natural Languages. In 6th International Conference on Language and Technology. (pp. 531-535). Publication link: 1dc87b44-5717-4b01-93e6-8b8221ef760c
  13. Alshahrani, A., & Ramsay, A. (2013). Inference for Natural Language. In O. Popescu, A. Lavelli, & O. Popescu (Eds.), Proceedings of the Joint Symposium on Semantic Processing. Textual Inference and Structures in Corpora. (pp. 60-64). Trentino – Italy: ACL Anthology. . Publication link: 766fe747-29ef-4d98-84d8-1dec0bd87020
  14. Alshahrani, A., & Ramsay, A. M. (2013). Inference for Natural Language, In host publication. (pp. 60-64). Publication link: 66ed1f6d-492a-44a5-a4ff-09ea63b65798
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. Ramsay, A. M., Field, D., & Bunt, H. (Ed.) (2009). Using English for commonsense knowledge. In H. Bunt (Ed.), 8th International Workshop on Computational Semantics (IWCS-8).. Publication link: a8ec852f-74e4-440c-b0bc-a1859ce1eefd
  25. Ramsay, A. (2009). ’Sorry’ is the hardest word. In A. M. Ramsay, & D. G. Field (Eds.), Computational Approaches to Creativity (NAACL HLT Workshop). (pp. 94-101). Publication link: dfac733f-13ea-4bb9-a628-e8d3346b011f
  26. Ramsay, A. M. (2009). The Complexity of Everyday Language. Recent Advances in Natural Language Processing V, Borovets, .. Publication link: 4c280ea8-a1ff-47ee-b0ec-40f9362af2fc
  27. Ramsay, A., & Malmkjaer, K. (Ed.) (2009). From computational linguistics to natural language engineering. In The Routledge Encyclopedia of Linguistics. (pp. 68-98). Routledge. . Publication link: 1db37e10-0f04-4de7-bd48-700fc18641c9
  28. Field, D. G., & Ramsay, A. M. (2009). Actions speak louder than words: an intentional look at defining communicative acts for embodied conversational agents. In AAMAS 2009 Workshop. (pp. 25-30). Publication link: 93cfa02e-8d45-45fd-a8ca-3a116873c4da
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. Lesecq, S., Ouvry, L., Correvon, M., Dudnik, G., Barrett, J., McGibney, A., ... Mathewson, A. (2017). INSPEX: Integrated Smart Spatial Exploration System. In Proceedings Smart Systems Integration 2017.. Publication link: 7d60b051-e80a-4dcd-9455-fafea43a75d8
  37. Banach, R., Michael Butler, Qin, S., & Zhu, H. (2016). Core Hybrid Event-B II. Science of Computer Programming. DOI: 10.1016/j.scico.2015.02.003. Publication link: 6fa26e01-59da-400c-bb3e-5bb62239f0ba
  38. Banach, R., Bonsangue, M. (Ed.), & Deng, Y. (Ed.) (2016). Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-B. In M. Bonsangue, & Y. Deng (Eds.), Proc. TASE 2016. IEEE. . Publication link: 66aeb2af-d780-4f9a-9f18-abe7fc094143
  39. Banach, R., & Michael Butler (2016). Modelling Hybrid Systems in Event-B and Hybrid Event-B: A Comparison of Water Tanks. In 18th International Conference on Formal Engineering Methods ICFEM : ICFEM 2016: Formal Methods and Software Engineering. DOI: 10.1007/978-3-319-47846-3_7. Publication link: 5f26ae1f-0583-4f5c-aa3f-f82b745ff589
  40. Banach, R. (2016). How to Brew Your Own Hybrid/Cyberphysical Formalism. ABZ 2016, Linz Austria, .. Publication link: 567db08c-1ebe-45b9-92aa-d5caf34c09f5
  41. Banach, R. (2016). Hemodialysis Machine in Hybrid Event-B. In Proc. ABZ 2016. Springer Verlag. . Publication link: 9160bd64-b778-4250-b7fb-97a665e74b1d
  42. Banach, R., & Zhu, H. (2016). Shared-Variable Concurrency, Continuous Behaviour and Healthiness for Critical Cyberphysical Systems. Paper presented at FTSCS 2016 Fifth International Workshop on Formal Techniques for Safety-Critical Systems, Tokyo, Japan.. Publication link: 9b36090a-dc08-44f8-8c80-e80ef21daf99
  43. Banach, R., & Jeske, C. (2015). Retrenchment and Refinement Interworking: the Tower Theorems.Mathematical Structures in Computer Science, 25, 135-202. . Publication link: bb69a067-6f96-407d-8b56-89526458bd7d
  44. Banach, R. (2015). The Landing Gear System in Multi-Machine Hybrid Event-B. International Journal on Software Tools for Technology Transfer. DOI: 10.1007/s10009-015-0409-7. Publication link: a0aa63f0-b8ac-40df-b9e8-de1294ebb145
  45. Banach, R., Van Schaik, P., & Verhulst, E. (2015). Simulation and Formal Modelling of Yaw Control in a Drive-by-Wire Application. In FedCSIS IWCPS-15. (pp. 731-742). Publication link: 15b58033-047f-4b07-9149-8ad41ae57493
  46. Banach, R. (2015). Stochastic Analogues of Invariants: Martingales in Stochastic Event-B. In J. Filipe, & L. Maciaszek (Eds.), Proc. ENASE 2015. (pp. 238-243). SciTePress. . Publication link: 1a842086-4e60-40de-897b-9366e50bcefb
  47. Banach, R., Butler, M., Qin, S., Verma, N., & Zhu, H. (2015). Core Hybrid Event-B I: Single Hybrid Event-B Machines. Science of Computer Programming, 105, 92-123. . Publication link: 9e9aade2-d572-4ac6-b1e8-59130042290d
  48. 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
  49. 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
  50. 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
  51. 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
  52. 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
  53. 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
  54. Banach, R., Jeske, C., Hall, A., & Stepney, S. (2013). Atomicity failure and the retrenchment atomicity pattern. Formal Aspects of Computing, 25(3), 439-464. DOI: 10.1007/s00165-011-0216-1. Publication link: d13ce9b8-5e12-421a-ae57-27883f601086
  55. Banach, R., & Butler, M. (2013). Cruise control in hybrid 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. 8049, pp. 76-93). LNCS 8049. DOI: 10.1007/978-3-642-39718-9-5. Publication link: e2ff1afa-faf0-4260-8327-1e9b5d1ca21d
  56. Banach, R. (2013). Pliant modalities in hybrid 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. 8051, pp. 37-53). LNCS 8051. DOI: 10.1007/978-3-642-39698-4_3. Publication link: b173b000-c06a-4afb-9901-58b4d282151f
  57. Banach, R., & Bozzano, M. (2013). The mechanical generation of fault trees for reactive systems via retrenchment II: Clocked and feedback circuits. Formal Aspects of Computing, 25(4), 609-657. DOI: 10.1007/s00165-011-0203-6. Publication link: bf25979d-bca7-41f1-aa01-de1eebaa5aec
  58. Banach, R., & Butler, M. (2013). A Hybrid Event-B Study of Lane Centering. In host publication. (pp. 97-111). Springer Verlag. . Publication link: 3d2834f2-30dc-4811-ae36-ec157483e1b5
  59. Banach, R., & Bozzano, M. (2013). The mechanical generation of fault trees for reactive systems via retrenchment I: Combinational circuits. Formal Aspects of Computing, 25(4), 573-607. DOI: 10.1007/s00165-011-0202-7. Publication link: 86427fa0-78ce-4273-80d1-94644654d0c5
  60. 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
  61. 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
  62. 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
  63. 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
  64. 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
  65. 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
  66. 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
  67. 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
  68. 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
  69. Banach, R. (2009). Coarse grained retrenchment and the Mondex denial of service attacks. In Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009|Proc. - IEEE Int. Symp. Theor. Asp. Softw. Eng., TASE. (pp. 103-110). Tianjin, China: IEEE. DOI: 10.1109/TASE.2009.19. Publication link: ec121f41-0570-4be0-bb21-3020b94ad859
  70. 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
  71. 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
  72. 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
  73. 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
  74. 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
  75. Stell, J. G., Schmidt, R., & Rydeheard, D. (2016). A Bi-Intuitionistic Modal Logic: Foundations and Automation. Journal of Logical and Algebraic Methods in Programming, 85(4), 500-519. DOI: 10.1016/j.jlamp.2015.11.003. Publication link: eb6b44e1-4c1b-4d42-b172-db0414406b98
  76. Reger, G., Barringer, H., & Rydeheard, D. (2015). Automata-based Pattern Mining from Imperfect Traces. In ACM SIGSOFT Software Engineering Notes. (pp. 1-8). USA: ACM. . Publication link: 89262614-7bfc-4fcb-9e34-ee2484d812b0
  77. Reger, G., Cruz, H. C., & Rydeheard, D. (2015). MARQ monitoring at runtime with QEA. In Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings. (Vol. 9035, pp. 596-610). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9035). Springer Verlag. DOI: 10.1007/978-3-662-46681-0_55. Publication link: 272d7800-6a38-4791-9ea1-1f840263d219
  78. Reger, G., & Rydeheard, D. (2015). From first-order temporal logic to parametric trace slicing. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (Vol. 9333, pp. 216-232). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9333). Springer Verlag. DOI: 10.1007/978-3-319-23820-3_14. Publication link: 1975010f-0039-4bff-9018-be4e0f18fa12
  79. 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
  80. 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
  81. 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
  82. 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
  83. 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
  84. Reger, G., Barringer, H., & Rydeheard, D. (2013). A pattern-based approach to parametric specification mining. In 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings|IEEE/ACM Int. Conf. Autom. Softw. Eng., ASE - Proc.. (pp. 658-663). IEEE. DOI: 10.1109/ASE.2013.6693129. Publication link: 95948aaf-06c4-472b-9e93-39ac029d646b
  85. Rydeheard, D., & Rusmawati, Y. (2013). Modelling and Reasoning about Dynamic Networks as Concurrent Systems. In C. Choppy, & J. Sun (Eds.), Proceedings of the 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013). (Vol. 31, pp. 80-85). InProceedings: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. DOI: 10.4230/OASIcs.FSFMA.2013.80, http://dx.doi.org/10.4230/OASIcs.FSFMA.2013.80. Publication link: 34a171af-7da1-414b-a23f-a5669b271a93
  86. 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
  87. 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
  88. 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
  89. 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
  90. Barringer, H., Havelund, K., Rydeheard, D., & Groce, A. (2009). Rule systems for runtime verification: A short tutorial. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5779, pp. 1-24). Springer Verlag. DOI: 10.1007/978-3-642-04694-0_1. Publication link: 1344a509-2bb1-43f1-935a-6c80554fc95f
  91. Barringer, H., Gabbay, D., & Rydeheard, D. (2009). Modelling evolvable component systems: Part I: A logical framework. Logic Journal of the IGPL, 17(6), 631-696. [jzp026]. DOI: 10.1093/jigpal/jzp026. Publication link: 8ef249dc-f25c-4403-af48-3d5412835143
  92. 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
  93. Pratt-Hartmann, I., Szwast , W., & Tendera , . L. (2016). Quine’s Fluted Fragment is Non-elementary. In L. Regnier, & J-M. Talbot (Eds.), 25th EACSL Annual Conference on Computer Science Logic . [34] DOI: 10.4230/LIPIcs.CSL.2016.39. Publication link: b1e8748a-6576-48c5-9abd-6e827905994d
  94. Kieronski, E., Pratt-Hartmann, I., & Tendera, L. (2015). Equivalence closure in the two-variable guarded fragment. Journal of Logic and Computation. DOI: 10.1093/logcom/exv075. Publication link: ea4f5719-22e7-4b85-ab78-b9214a34f4cb
  95. Pratt-Hartmann, I., Lappin, S. (Ed.), & Fox, C. (Ed.) (2015). Semantic Complexity in Natural Language. In The Handbook of Contemporary Semantic Theory. (2nd ed., pp. 429-454). Wiley-Blackwell. . Publication link: eea37605-7bb8-4c62-b7b7-7ccc8b5570fd
  96. Pratt-Hartmann, I. (2015). The two-variable fragment with counting and equivalence. Mathematical Logic Quarterly, 61(6), 474-515. DOI: 10.1002/malq.201400102. Publication link: 2719aa0a-a2eb-418a-bc0d-2e25e3dc4b0a
  97. 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
  98. 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
  99. 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
  100. Pratt-Hartmann, I. (2013). The Relational Syllogism Revisted. Linguistic Issues in Language Technology, 9(10). . Publication link: 9b256f90-622c-4cf9-bbf6-8280a084d9ac
  101. Pratt-Hartmann, I. (2013). The Syllogistic with Unity. Journal of Philosophical Logic, 42(2), 391-407. DOI: 10.1007/s10992-012-9229-3. Publication link: 50ba6bcd-c2c8-40bf-a2e2-94f9b439113b
  102. Kontchakov, R., Nenov, Y., Pratt-Hartmann, I., & Zakharyaschev, M. (2013). Topological logics with connectedness over euclidean spaces. ACM Transactions on Computational Logic, 14(2), [13]. DOI: 10.1145/2480759.2480765. Publication link: 1cf1d9da-4eff-4b53-b56e-c5340bba9299
  103. Pratt-Hartmann, I., & Düntsch, I. (2013). Functions definable by numerical set-expressions. Journal of Logic and Computation, 23(4), 873-895. DOI: 10.1093/logcom/exr050. Publication link: 0a7fc445-2f2a-4c55-8867-0989949573f9
  104. 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
  105. 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
  106. 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
  107. 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
  108. 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
  109. 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
  110. 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
  111. 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
  112. 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
  113. 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
  114. Pratt-Hartmann, I., & Moss, L. S. (2009). Logics for the Relational Syllogistic. Review of Symbolic Logic, 2(4), 647-683. DOI: 10.1017/S1755020309990086. Publication link: df66ce05-f31e-4a49-8a31-fe753feb18d7
  115. Pratt-Hartmann, I., & Kazakov, Y. (2009). Note on the complexity of the satisfiability problem for graded modal logics. In Proceedings - Symposium on Logic in Computer Science|Proc Symp Logic Comput Sci. (pp. 407-416). IEEE Press. DOI: 10.1109/LICS.2009.17. Publication link: bcd529b8-6118-484f-ac28-d912986b0621
  116. Pratt-Hartmann, I. (2009). No syllogisms for the numerical syllogistic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5533, pp. 192-203). (Lecture notes in computer science). Berlin: Springer Verlag. DOI: 10.1007/978-3-642-01748-3_13. Publication link: 3d827195-2620-49a3-9930-f18f8e244253
  117. Düntsch, I., & Pratt-Hartmann, I. (2009). Complex algebras of arithmetic. Fundamenta Informaticae, 97(4), 347-367. DOI: 10.3233/FI-2009-206. Publication link: 3d32a475-9531-4714-b330-efa61218440c
  118. Pratt-Hartmann, I., & Düntsch, I. (2009). Functions definable by arithmetic circuits. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5635, pp. 409-418). (Lecture notes in computer science). Berlin: Springer Verlag. DOI: 10.1007/978-3-642-03073-4_42. Publication link: 1bf27368-635c-4f2c-a080-9b7e68ced363
  119. Pratt-Hartmann, I. (2009). Data-complexity of the two-variable fragment with counting quantifiers. Information and Computation, 207(8), 867-888. DOI: 10.1016/j.ic.2009.02.004. Publication link: 55778b94-233f-4686-9410-63eb0494d447
  120. 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
  121. 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
  122. 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
  123. 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
  124. Currin, A., Korovin, K., Ababi, M., Roper, K., Kell, D. B., Day, P. J., & King, R. D. (2017). Computing exponentially faster: Implementing a non-deterministic universal Turing machine using DNA. Journal of the Royal Society Interface, 14(128), [20160990]. DOI: 10.1098/rsif.2016.0990. Publication link: c739f402-9ded-4b34-9251-f9b8f72adbec
  125. Currin, A., Korovin, K., Ababi, M., Roper, K., Kell, D., Day, P., & King, R. (2017). Computing exponentially faster: Implementing a nondeterministic universal Turing machine using DNA. Journal of the Royal Society Interface. . Publication link: 0636cd7c-5954-4182-8759-f5b60b77ce81
  126. Korovin, K., & Khasidashvili, Z. (2016). Predicate Elimination for Preprocessing in First-Order Theorem Proving. In N. Creignou, & D. Le Berre (Eds.), Proceedings of the 19th International Conference on Teory and Applications of Satisfiability Testing (SAT'16). (LNCS ed., Vol. 9710, pp. 361--372). (Lecture Notes in Computer Science; Vol. 9710). Springer: Springer-Verlag Berlin. DOI: 10.1007/978-3-319-40970-2_22 . Publication link: 3be8aaeb-3a3f-4ce7-ac5c-97a795db5f2d
  127. Korovin, K., Gottlob, G. (Ed.), Sutcliffe, G. (Ed.), & Voronkov, A. (Ed.) (2015). EPR-based k-induction with counterexample guided abstraction refinement. In G. Gottlob, G. Sutcliffe, & A. Voronkov (Eds.), Proceedings of Global Conference on Artificial Intelligence. (pp. 1-14). Easychair: EasyChair. . Publication link: 87050063-b913-4aa3-b996-1f98f0ba8cbe
  128. 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
  129. 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
  130. 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
  131. 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
  132. Korovin, K. (2013). Inst-Gen - A Modular Approach to Instantiation-Based Automated Reasoning. In Programming Logics - Essays in Memory of Harald Ganzinger. (pp. 239-270). DOI: 10.1007/978-3-642-37651-1_10. Publication link: 45e91218-a490-487b-b29c-2b97ce87a038
  133. Korovin, K. (2013). Non-cyclic Sorts for First-Order Satisfiability. In Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. (pp. 214-228). DOI: 10.1007/978-3-642-40885-4_15. Publication link: 3c939e5c-92f6-4fbb-a9ec-5349c6685cf5
  134. Dragan, I., Korovin, K., Kovács, L., & Voronkov, A. (2013). Bound Propagation for Arithmetic Reasoning in Vampire. In 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013. (pp. 169-176). DOI: 10.1109/SYNASC.2013.30. Publication link: 3fc036f9-c061-4bed-a418-62b2a9c0bc80
  135. Bjørner, N., Gurfinkel, A., Korovin, K., & Lahav, O. (2013). Instantiations, Zippers and EPR Interpolation. In {LPAR} 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings. (pp. 35-41). Publication link: 29ba8ea4-52bc-4c22-8a09-be2ac2dc9521
  136. Korovin, K., & Morawska, B. (Eds.) (2013). 27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013. In EPiC Series. (Vol. 19). (EPiC Series). EasyChair. . Publication link: 52e74df2-b989-4a69-87ef-164f3cdc6247
  137. Korovin, K., Schulz, S., & Ternovska, E. (Eds.) (2013). {IWIL} 2012: The 9th International Workshop on the Implementation of Logics, Merida, Venezuela, March 10, 2012. In EPiC Series. (Vol. 22). (EPiC Series). EasyChair. . Publication link: 54108f42-6873-4bd0-9f60-82ee448aa6c3
  138. Korovin, K. (2013). From Resolution and DPLL to Solving Arithmetic Constraints. In Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. (pp. 261-262). DOI: 10.1007/978-3-642-40885-4_18. Publication link: d98d6e88-9ff4-4dc0-8be4-e9c7b912c76b
  139. 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
  140. 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
  141. 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
  142. 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
  143. 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
  144. 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
  145. 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
  146. Korovin, K., Tsiskaridze, N., & Voronkov, A. (2009). 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. 5732, pp. 509-523). Springer Verlag. DOI: 10.1007/978-3-642-04244-7_41. Publication link: 6d934f02-ddf9-47c9-80e4-f78ab514dfa8
  147. Korovin, K. (2009). Instantiation-Based Reasoning for First-Order Logic. Automated Reasoning Workshop, University of Liverpool, .. Publication link: 599dcd81-f5f7-4aab-b440-7e3efb3807b1
  148. Korovin, K. (2009). Instantiation-based automated reasoning: From theory to practice. 163-166. 22nd International Conference on Automated Deduction, CADE-22, Montreal, QC, .DOI: 10.1007/978-3-642-02959-2_14. Publication link: e0eac249-714f-4481-ba89-342a0e4aa63e
  149. 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
  150. Zhao, Y., & Schmidt, R. (2016). Forgetting Concept and Role Symbols in ALCOIHμ+(∇,Π)-Ontologies. 1345-1352. Paper presented at 25th International Joint Conference on Artificial Intelligence , United States.. Publication link: 1171f128-ceda-4f82-abc8-7d207dd64d6e
  151. Beyersdorff, O., Leroy Chew, Schmidt, R., & Suda, M. (2016). Lifting QBF Resolution Calculi to DQBF. In N. Creignou, & D. Le Berre (Eds.), Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings. (Vol. 9710, pp. 490-499). Springer International. DOI: 10.1007/978-3-319-40970-2. Publication link: 38478719-cf65-484a-b5a3-0eacfd42e1bc
  152. Zhao, Y., Schmidt, R. A., Calvanese, D. (Ed.), & Konev, B. (Ed.) (2015). Concept Forgetting for ALCOI-Ontologies using an Ackermann Approach. In D. Calvanese, & B. Konev (Eds.), Proceedings of the 28th International Workshop on Description Logics (DL-2015). (Vol. 1350). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 0369bf13-23eb-4f13-8b59-53528fabdd0d
  153. Schmidt, R. A., Waldmann, U., & De Nivelle, H. (Ed.) (2015). Modal Tableau Systems with Blocking and Congruence Closure. In Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2015). (Vol. 9323, pp. 38-53). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-319-24312-2_4. Publication link: 00c7d320-db73-4679-aec9-026f13483a98
  154. Koopmann, P., Schmidt, R. A., Calvanese, D. (Ed.), & Konev, B. (Ed.) (2015). Saturation-Based Forgetting in the Description Logic SIF. In D. Calvanese, & B. Konev (Eds.), Proceedings of the 28th International Workshop on Description Logics (DL-2015). (Vol. 1350). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 5fbd13ca-b557-46ce-9473-ae940c2be481
  155. Koopmann, P., Schmidt, R. A., Dumontier, M. (Ed.), Glimm, B. (Ed.), Goncalves, R. (Ed.), Horridge, M. (Ed.), ... Stoilos, G. (Ed.) (2015). LETHE: A Saturation-Based Tool for Non-Classical Reasoning. In M. Dumontier, B. Glimm, R. Goncalves, M. Horridge, E. Jiménez-Ruiz, N. Matentzoglu, B. Parsia, G. Stamou, ... G. Stoilos (Eds.), Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015). (Vol. 1387). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 50b66532-e7c0-4dd8-9f78-b4da5572fbb3
  156. Zhao, Y., Schmidt, R. A., Arenas, M. (Ed.), Corcho, O. (Ed.), Simperl, E. (Ed.), Strohmaier, M. (Ed.), ... Staab, S. (Ed.) (2015). Concept Forgetting in ALCOI-Ontologies Using an Ackermann Approach. In M. Arenas, O. Corcho, E. Simperl, M. Strohmaier, M. d'Aquin, K. Srinivas, P. T. Groth, M. Dumontier, J. Heflin, K. Thirunarayan, ... S. Staab (Eds.), The Semantic Web, 14th International Semantic Web Conference, ISWC 2015. (Vol. 9366, pp. 587-602). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-319-25007-6_34. Publication link: 98630923-1ef2-4885-a8aa-6966eb99f31d
  157. Koopmann, P., Schmidt, R. A., Bonet, B. (Ed.), & Koenig, S. (Ed.) (2015). Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes. In B. Bonet, & S. Koenig (Eds.), Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. (pp. 175-181). AAAI Press. . Publication link: 9538bbbe-09ef-4d8f-9bb6-093dec1420e5
  158. Schmidt, R. A., & Waldmann, U. (2015). Modal Tableau Systems with Blocking and Congruence Closure. (eScholar). University of Manchester.. Publication link: a4b2a704-9faf-4eb1-aac8-0eed9f8f0ad0
  159. 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
  160. 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
  161. 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
  162. 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
  163. 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
  164. 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
  165. 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
  166. Koopmann, P., & Schmidt, R. A. (2013). Forgetting concept and role symbols in ALCH-ontologies. In K. McMillan, A. Middeldorp, & A. Voronkov (Eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8312, pp. 552-567). Springer Verlag. DOI: 10.1007/978-3-642-45221-5_37. Publication link: 04ee0059-d1b9-4bc8-b5e4-2d885cc83831
  167. Schmidt, R. A., & Hustadt, U. (2013). First-order resolution methods for 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. 7797, pp. 345-391). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-37651-1_15. Publication link: 02af288a-61cd-413a-bb92-58a7940645c2
  168. Koopmann, P., & Schmidt, R. A. (2013). Uniform interpolation of ALC-ontologies using fixpoints. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8152, pp. 87-102). (Lecture Notes in Artificial Intelligence). Springer Verlag. DOI: 10.1007/978-3-642-40885-4_7. Publication link: 3210aa5f-281c-4a91-8fab-862e39f7759e
  169. Papacchini, F., & Schmidt, R. A. (2013). Computing minimal models modulo subset-simulation for 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. 8152, pp. 279-294). (Lecture Notes in Artificial Intelligence). Springer Verlag. DOI: 10.1007/978-3-642-40885-4_20. Publication link: 71baabd3-aaf5-4306-8e23-79d14b17ef28
  170. Khodadadi, M., Schmidt, R. A., Tishkovsky, D., Eiter, T. (Ed.), Glimm, B. (Ed.), Kazakov, Y. (Ed.), & Krötzsch, M. (Ed.) (2013). A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI. In T. Eiter, B. Glimm, Y. Kazakov, & M. Krötzsch (Eds.), Proceedings of the 26th International Workshop on Description Logics (DL-2013). (Vol. Vol-1014, pp. 724-734). (CEUR Workshop Proceedings). CEUR-WS.org. . Publication link: 615f1d18-8cf7-477d-b311-7a53744572c5
  171. Khodadadi, M., Schmidt, R. A., & Tishkovsky, D. (2013). A refined tableau calculus with controlled blocking for the description logic SHOI. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 8123, pp. 188-202). (Lecture Notes in Computer Science). Springer Verlag. DOI: 10.1007/978-3-642-40537-2_17. Publication link: 8df0994a-93d6-43a5-8041-65dcdfddc392
  172. Zawidzki, M., Schmidt, R. A., & Tishkovsky, D. (2013). Satisfiability problem for modal logic with global counting operators coded in binary is NExpTime-complete. Information Processing Letters, 113(1-2), 34-38. DOI: 10.1016/j.ipl.2012.09.007. Publication link: c0173a11-1841-4262-9f07-5d231bafbf88
  173. Fontaine, P., Ringeissen, C., & Schmidt, R. A. (Eds.) (2013). Frontiers of Combining Systems -- FroCoS 2013. 9th International Symposium on Frontiers of Combining Systems, Nancy, September 18-20, 2013. Proceedings. In Lecture Notes in Artificial Intelligence. (Vol. 8152). (Lecture Notes in Artificial Intelligence). Springer Verlag. DOI: http://link.springer.com/book/10.1007/978-3-642-40885-4/. Publication link: fa2fa5c9-67a9-4eb0-a297-f4a2e57bdb4c
  174. 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
  175. 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
  176. 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
  177. 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
  178. 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
  179. 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
  180. 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
  181. 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
  182. 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
  183. 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
  184. 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
  185. 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
  186. 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
  187. 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
  188. 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
  189. 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
  190. 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
  191. 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
  192. 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
  193. 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
  194. Schmidt, R. A., Sutcliffe, G., & Schulz, S. (2009). Editorial: Empirically successful computerized reasoning. Journal of Applied Logic, 7(1), 1-1. . Publication link: c35b0b88-5f77-4105-b940-2d6b21b582bb
  195. Schmidt, R. A., & Tishkovsky, D. (2009). Automated synthesis of tableau calculi. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. (Vol. 5607, pp. 310-324). DOI: 10.1007/978-3-642-02716-1_23. Publication link: d427df31-7f04-416e-a232-b39c6bc86b49
  196. Schmidt, R. A., & Tishkovsky, D. (2009). Automated synthesis of tableau calculi. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5607, 310-324. DOI: 10.1007/978-3-642-02716-1_23. Publication link: 3bbff7c0-36a0-4e62-8ea1-e377fc731426
  197. Tessaris, S., Franconi, E., Eiter, T., Gutierrez, C., Handschuh, S., Rousset, M-C., & Schmidt, R. A. (2009). Reasoning Web: Semantic Technologies for Information Systems. 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30-September 4, 2009, Tutorial Lectures. In Lecture Notes in Computer Science. (Vol. 5689). (Lecture Notes in Computer Science). Springer Verlag. . Publication link: 2b565fbe-a089-4ae8-9a86-05279455055a
  198. Schmidt, R. A. (2009). Automated Deduction: CADE-22. In Lecture Notes in Artificial Intelligence. (Vol. 5663). (Lecture Notes in Artificial Intelligence). Springer Verlag. . Publication link: 0d5d7c92-9564-42c5-a03d-5f3332cedb53
  199. Schmidt, R. A. (2009). A new methodology for developing deduction methods. Annals of Mathematics and Artificial Intelligence, 55(1-2), 155-187. DOI: 10.1007/s10472-009-9155-4. Publication link: 52c3c2a6-e073-448f-b6dc-947ac8bd85c5
  200. Babenyshev, S., Rybakov, V., Schmidt, R. A., & Tishkovsky, D. (2009). A Tableau Method for Checking Rule Admissibility in S4. In Proc. ADDCT & UNIF 2009.. Publication link: 55dd3512-bf87-4ebb-8b51-ebb956cf106d
  201. 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
  202. 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
  203. 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
  204. 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
  205. Schalk, A., & Steele, H. P. (2015). Constructing Fully Complete Models of Multiplicative Linear Logic. Logical Methods in Computer Science, 11(3), 1-72. DOI: 10.2168/LMCS-11(3:6)2015. Publication link: 32ae3695-fc68-4107-8b1a-1e1d8e71df39
  206. 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
  207. 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
  208. Bartocci, E., Falcone, Y., Bonakdarpour, B., Colombo, C., Decker, N., Havelund, K., ... Zhang, Y. (2017). First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. International Journal on Software Tools for Technology Transfer, 1-40. DOI: 10.1007/s10009-017-0454-5. Publication link: f0f4991b-8726-47b4-b9db-8744012171a5
  209. Bjøner, N., Reger, G., Suda, M., & Voronkov, A. (2016). AVATAR Modulo Theories. In 2nd Global Conference on Artificial Intelligence . (pp. 39-52). Publication link: 78a07279-83f4-4489-912f-76cebe26d524
  210. Reger, G. (2016). Considering Typestate Verification for Quantified Event Automata. Paper presented at 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) , Corfu, Greece.. Publication link: 5a668209-acf9-4fa0-9bcd-cf7f87f31dd1
  211. Reger, G., Hallé, S., & Falcone, Y. (2016). Third International Competition on Runtime Verification CRV 2016. In The 16th International Conference on Runtime Verification . DOI: 10.1007/978-3-319-46982-9_3. Publication link: 2d9d8a11-1941-41d3-8c57-8f17670456fe
  212. Reger, G., & Havelund, K. (2016). What is a Trace? A Runtime Verification Perspective. 339-355. Paper presented at 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016) , Corfu, Greece.DOI: 10.1007/978-3-319-47169-3_25. Publication link: 24312813-9689-4556-97cd-9c40845786c6
  213. Reger, G., Suda, M., & Voronkov, A. (2016). New Techniques in Clausal Form Generation. In 2nd Global Conference on Artificial Intelligence . (pp. 11-23). Publication link: ae7f424f-0122-4ed4-b476-c668fc27f26e
  214. Kotelnikov, E., Kovács, L., Reger, G., & Voronkov, A. (2016). The vampire and the FOOL. In CPP 2016 - Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, co-located with POPL 2016. (pp. 37-48). New York: Association for Computing Machinery, Inc. DOI: 10.1145/2854065.2854071. Publication link: 9ef09271-34c7-4cbd-a2e3-1c0620797526
  215. Reger, G., Suda, M., & Voronkov, A. (2016). Finding Finite Models in Multi-Sorted First-Order Logic. In 19th International Conference on Theory and Applications of Satisfiability Testing . DOI: 10.1007/978-3-319-40970-2_20. Publication link: c82e7b14-966b-47ea-98aa-838e44088396
  216. Reger, G., Suda, M., Voronkov, A., & Hoder, K. (2016). Selecting the selection. Paper presented at 8th International Joint Conference on Automated Reasoning , Coimbra, Portugal.. Publication link: f431cd11-f5a7-4569-abff-aa5936fbacd7
  217. Reger, G. (2015). Suggesting edits to explain failing traces. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (Vol. 9333, pp. 287-293). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9333). Springer Verlag. DOI: 10.1007/978-3-319-23820-3_20. Publication link: 29301545-d95f-4f26-9273-e87a0d54d4f1
  218. Reger, G., & Rydeheard, D. (2015). From first-order temporal logic to parametric trace slicing. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (Vol. 9333, pp. 216-232). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9333). Springer Verlag. DOI: 10.1007/978-3-319-23820-3_14. Publication link: 1975010f-0039-4bff-9018-be4e0f18fa12
  219. Reger, G., Cruz, H. C., & Rydeheard, D. (2015). MARQ monitoring at runtime with QEA. In Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings. (Vol. 9035, pp. 596-610). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9035). Springer Verlag. DOI: 10.1007/978-3-662-46681-0_55. Publication link: 272d7800-6a38-4791-9ea1-1f840263d219
  220. Reger, G., Suda, M., & Voronkov, A. (2015). Playing with AVATAR. In A. Felty, & A. Middeldorp (Eds.), Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. (pp. 399-415). Springer International Publishing. DOI: 10.1007/978-3-319-21401-6_28. Publication link: 25714594-0a9f-426e-b382-f182cfe2f3a9
  221. Reger, G., Tishkovsky, D., & Voronkov, A. (2015). Cooperating Proof Attempts. In Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. (pp. 339-355). DOI: 10.1007/978-3-319-21401-6_23. Publication link: 6e2f2441-abc9-4bb3-8447-b1c7a4e3fa98
  222. Falcone, Y., Nićković, D., Reger, G., & Thoma, D. (2015). Second international competition on runtime verification CRV 2015. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). (Vol. 9333, pp. 405-422). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9333). Springer Verlag. DOI: 10.1007/978-3-319-23820-3_27. Publication link: 99b2c7d2-1db8-45c5-aa24-72372ed8e399
  223. Reger, G., Barringer, H., & Rydeheard, D. (2015). Automata-based Pattern Mining from Imperfect Traces. In ACM SIGSOFT Software Engineering Notes. (pp. 1-8). USA: ACM. . Publication link: 89262614-7bfc-4fcb-9e34-ee2484d812b0
  224. Havelund, K., & Reger, G. (2015). Specification of parametric monitors quantified event automata versus rule systems. In Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015. (pp. 151-189). VS Verlag fur Sozialwissenschaften/Springer Fachmedien Wiesbaden GmbH. DOI: 10.1007/978-3-658-09994-7_6. Publication link: 7dd6d89d-2f07-4cda-b65a-bc91f643d536
  225. Kotelnikov, E., Kovács, L., Reger, G., & Voronkov, A. (2015). The Vampire and the FOOL. CoRR, abs/1510.04821. . Publication link: f7e7f8dc-1d4c-4dda-9462-614e30405bfc
  226. Reger, G., Falcone, Y., & Havelund, K. (2013). A Tutorial on Runtime Verification. In Summer School Marktoberdorf 2012 - Engineering Dependable Software Systems. (Vol. 34). NATO Science for Peace and Security Series - D: Information and Communication Security: IOS Press. . Publication link: d2f15e14-7ff8-410c-b86a-66b4044dd431
  227. Reger, G., Barringer, H., & Rydeheard, D. (2013). A pattern-based approach to parametric specification mining. In 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings|IEEE/ACM Int. Conf. Autom. Softw. Eng., ASE - Proc.. (pp. 658-663). IEEE. DOI: 10.1109/ASE.2013.6693129. Publication link: 95948aaf-06c4-472b-9e93-39ac029d646b
  228. 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
  229. Navarro Lopez, E., & Rebekah Carter (2016). Deadness and how to disprove liveness in hybrid dynamical systems. Theoretical Computer Science, 642, 1-23. DOI: 10.1016/j.tcs.2016.06.009. Publication link: 5cdab9d9-5aaa-4af4-9721-fd260dc278de
  230. Gomez, M., Navarro Lopez, E., & Gilman, T. (2016). The coevolution of sexual imprinting by males and females. Ecology and Evolution, 6(19), 7113–7125 . DOI: 10.1002/ece3.2409. Publication link: 44d1a9df-2272-4138-9de9-1e57172a2d9f
  231. Navarro Lopez, E.DYVERSE with Y of dYnamical. Publication link: a69101f1-f842-4a89-835e-f223109227ce
  232. Celikok, U., Navarro Lopez, E., & Sengor, N. S. Inhibitory spike-timing-dependent plasticity in striatal microcircuitry. Publication link: d03135da-5e84-4c01-b65d-b85fe3cab810
  233. Navarro Lopez, E., Celikok, U., Sengor, N., & Hady, A. E. (Ed.) (2016). Hybrid systems neuroscience. In Closed Loop Neuroscience. (pp. 113-129). London: Academic Press. . Publication link: dabbd24b-855d-4976-b0d7-3b0c0f075f4a
  234. Navarro Lopez, E., Celikok, U., Sengor, N. S., & Navarro-Lopez, E. M. (2015). The interplay of working memory and subcortical background oscillations. Poster session presented at Integrated Systems Neuroscience Workshop, Manchester, .. Publication link: 28da9d4d-e95b-47a2-97e3-5c92643a73d6
  235. Navarro Lopez, E. (2014). Neuro-DYVERSE: building hybrid systems neuroscience. In host publication.. Publication link: a4a15899-0c00-4ac0-960f-88e9a0c117f8
  236. Navarro Lopez, E., Navarro-Lopez, E. M., Mosterman, P. (Ed.), & Zander, J. (Ed.) (2013). DYVERSE: From formal verification to biologically-inspired real-time self-organizing systems. In Computation for Humanity: Information Technology to Advance Society. (1 ed., Vol. 1, pp. 301-346). USA: CRC Press. . Publication link: a6cecebf-d642-41ed-8578-8bdc658fe98c
  237. Navarro Lopez, E., & Carter, R. (2013). Verification of liveness properties on hybrid dynamical systems University of Manchester. Publication link: 2487d611-6a39-418f-bd26-28f6071161d0
  238. Carrasco, J., & Navarro-López, E. M. (2013). Towards ℓ2-stability of discrete-time reset control systems via dissipativity theory. Systems and Control Letters, 62(6), 525-530. DOI: 10.1016/j.sysconle.2013.02.014. Publication link: 1aa56c8e-d6fc-43f6-a256-942e7d5336d6
  239. Navarro Lopez, E., Navarro-López, E. M., & Laila, D. S. (2013). Group and total dissipativity and stability of multi-equilibria hybrid automata. IEEE Transactions on Automatic Control, 58(12), 3196-3202. [6512040]. DOI: 10.1109/TAC.2013.2261185. Publication link: 96171152-7a7e-434c-ad45-2f773ef5ae38
  240. 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
  241. 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
  242. 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
  243. 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
  244. 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
  245. 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
  246. 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
  247. 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
  248. 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
  249. 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
  250. 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
  251. 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
  252. 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
  253. 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
  254. Navarro Lopez, E. (Other). (2010). Reinventing online dating: AmicaGeo.. Publication link: 0d9f2a8d-988d-4539-8c1b-75596867b827
  255. 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
  256. 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
  257. 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
  258. 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
  259. Navarro Lopez, E., & Navarro-Lopez, E. M. (2009). What makes the control of discontinuous dynamical systems so complex? In Mathematical Problems in Engineering, Aerospace and Sciences: An International Series of Scientific Monographs and Text Books. UK: Cambridge Scientific Publishers. . Publication link: 4571eb58-9b30-4ff3-90e2-588fda613fee
  260. Navarro-López, E. M. (2009). An alternative characterization of bit-sticking phenomena in a multi-degree-of-freedom controlled drillstring. Nonlinear Analysis: Real World Applications, 10(5), 3162-3174. DOI: 10.1016/j.nonrwa.2008.10.025. Publication link: 413ae202-5f08-40ae-b9a6-2da913f7401e
  261. Navarro-López, E. M. (2009). Hybrid modelling of a discontinuous dynamical system including switching control. In IFAC Proceedings Volumes (IFAC-PapersOnline)|IFAC Proc. Vol. (IFAC-PapersOnline). (Vol. 2, pp. 87-92). IFAC. . Publication link: 0207329a-23ff-40c5-b9f4-551bbe813194
  262. Navarro-López, E. M. (2009). Hybrid-automaton models for simulating systems with sliding motion: Still a challenge. In IFAC Proceedings Volumes (IFAC-PapersOnline)|IFAC Proc. Vol. (IFAC-PapersOnline). (Vol. 3, pp. 322-327). IFAC. . Publication link: 05f26fde-446c-4899-a252-8d3ed3f834e1
  263. Navarro-López, E. M., & Licéaga-Castro, E. (2009). Non-desired transitions and sliding-mode control of a multi-DOF mechanical system with stick-slip oscillations. Chaos, Solitons and Fractals, 41(4), 2035-2044. DOI: 10.1016/j.chaos.2008.08.008. Publication link: 0bb86dee-b1cc-4a4c-bfcc-f4458b591395
  264. Navarro Lopez, E. (2009). Computational model of a rotary system with discontinuous elements School of Mathematics: University of Manchester. Publication link: 8ced1b25-0cce-415b-aa71-3e209e9e12f8
  265. Navarro-López, E. M., Cortés, D., & Castro, C. (2009). Design of practical sliding-mode controllers with constant switching frequency for power converters. Electric Power Systems Research, 79(5), 796-802. DOI: 10.1016/j.epsr.2008.10.018. Publication link: b26e9708-40d4-4b34-9b37-aae6189cbb80
  266. 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
  267. 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
  268. 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