Publications

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


2016

  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. 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
  4. 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
  5. 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
  6. Banach, R. (2016). How to Brew Your Own Hybrid/Cyberphysical Formalism. ABZ 2016, Linz Austria, .. Publication link: 567db08c-1ebe-45b9-92aa-d5caf34c09f5
  7. Banach, R. (2016). Hemodialysis Machine in Hybrid Event-B. In Proc. ABZ 2016. Springer Verlag. . Publication link: 9160bd64-b778-4250-b7fb-97a665e74b1d
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. Navarro Lopez, E.DYVERSE with Y of dYnamical. Publication link: a69101f1-f842-4a89-835e-f223109227ce
  25. Celikok, U., Navarro Lopez, E., & Sengor, N. S. Inhibitory spike-timing-dependent plasticity in striatal microcircuitry. Publication link: d03135da-5e84-4c01-b65d-b85fe3cab810
  26. 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
▲ Up to the top