Dan Ghica

Publications

  1. 2019
  2. Accepted/In press

    The dynamic geometry of interaction machine: a token-guided graph rewriter

    Koko Muroya & Dan Ghica, 30 Jul 2019, (Accepted/In press) In : Logical Methods in Computer Science. 32 p., 4340.

    Research output: Contribution to journalArticle

  3. Accepted/In press

    Latent semantic analysis of game models using LSTMs

    Dan Ghica & Alyahya, K., 8 Apr 2019, (Accepted/In press) In : Journal of Logical and Algebraic Methods in Programming.

    Research output: Contribution to journalArticle

  4. 2018
  5. Published

    The Geometry of Computation-Graph Abstraction

    Koko Muroya, Cheung, S. W. T. & Dan Ghica, 12 Jul 2018, Proceedings of LICS ’18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. 24 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Published

    A functional perspective on machine learning via programmable induction and abduction

    Cheung, S., Darvariu, V., Dan Ghica, Koko Muroya & Rowe, R. N. S., 9 May 2018, Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings. Gallagher, J. P. & Sulzmann, M. (eds.). Springer, p. 84-89 (Lecture Notes in Computer Science; vol. 10818).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Published

    A structural and nominal syntax for diagrams

    Dan Ghica & Lopez, A., 27 Feb 2018, Proceedings 14th International Conference on Quantum Physics and Logic (QPL 2017). Coecke, B. & Kissinger, A. (eds.). Open Publishing Association, p. 71-83 13 p. (Electronic Proceedings in Theoretical Computer Science; vol. 266).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Published

    Efficient implementation of evaluation strategies via token-guided graph rewriting

    Koko Muroya & Dan Ghica, 16 Feb 2018, Proceedings of the Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE2017). Open Publishing Association, p. 52-66 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 265).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. 2017
  10. Published

    On the Learnability of Programming Language Semantics

    Dan Ghica & Alyahya, K., 29 Nov 2017, Proceedings 10th Interaction and Concurrency Experience (ICE 2017) . Bartoletti, M., Bocchi, L., Henrio, L. & Knight, S. (eds.). Open Publishing Association, p. 57-75 (Electronic Proceedings in Theoretical Computer Science; vol. 261).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Published

    Diagrammatic Semantics for Digital Circuits

    Dan Ghica, Achim Jung & Lopez, A., 1 Sep 2017, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). Goranko, V. & Dam, M. (eds.). Schloss Dagstuhl, Vol. 82. p. 24:1-24:16 16 p. 24. (Leibniz International Proceedings in Informatics; vol. 82).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. Published

    The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter

    Koko Muroya & Dan Ghica, 1 Aug 2017, LIPIcs: Leibniz International Proceedings in Informatics: Proceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL 2017). Goranko, V. & Dam, M. (eds.). Schloss Dagstuhl, Vol. 82. p. 32:1-32:15 15 p. 32

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. 2016
  14. Published

    Categorical Semantics of Digital Circuits

    Dan Ghica & Achim Jung, 3 Oct 2016, Proceedings of Formal Methods in Computer-Aided Design (FMCAD 2016). IEEE Computer Society Press, p. 41-48 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 4 5 6 7 Next