Publications

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


2015

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
▲ Up to the top