Edinburgh Research Explorer

Dr Adria Gascon Caro

(Former employee or visitor)

  1. 2017
  2. Provenance Composition in PROV

    Buneman, P., Gascon Caro, A., Moreau, L. & Murray-Rust, D., 2017, 9 p.

    Research output: Working paper

  3. 2016
  4. Provenance segmentation

    Abreu, R., Archer, D., Chapman, E., Cheney, J., Eldardiry, H. & Gascon Caro, A., 9 Jun 2016, 8th USENIX Workshop on the Theory and Practice of Provenance (TaPP '16). Washington D.C, USA, 6 p.

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

  5. Composition and substitution in provenance and workflows

    Buneman, P., Gascon Caro, A. & Murray-Rust, D., 8 Jun 2016.

    Research output: Contribution to conferencePaper

  6. 2015
  7. One Context Unification Problems Solvable in Polynomial Time

    Gascon, A., Tiwari, A. & Schaus, M. S., 1 Jul 2015, Logic in Computer Science (LICS), 2015 30th Annual ACM/IEEE Symposium on. Institute of Electrical and Electronics Engineers (IEEE), p. 499-510 12 p.

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

  8. Program Synthesis Using Dual Interpretation

    Tiwari, A., Gascón, A. & Dutertre, B., 2015, 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Felty, P. A. & Middeldorp, A. (eds.). Springer International Publishing, p. 482-497 16 p. (Lecture Notes in Computer Science; vol. 9195).

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

  9. Two-Restricted One Context Unification is in Polynomial Time

    Gascon, A., Schmidt-Schauß, M. & Tiwari, A., 2015, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 405-422 18 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 41).

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

  10. 2014
  11. A Synthesized Algorithm for Interactive Consistency

    Gascón, A. & Tiwari, A., 2014, NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 – May 1, 2014. Proceedings. Badger, J. M. & Rozier, K. Y. (eds.). Springer International Publishing, p. 270-284 15 p. (Lecture Notes in Computer Science; vol. 8430).

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

  12. Reverse Engineering Digital Circuits Using Structural and Functional Analyses

    Subramanyan, P., Tsiskaridze, N., Li, W., Gascón, A., Tan, W. Y., Tiwari, A., Shankar, N., Seshia, S. A. & Malik, S., 2014, In : IEEE Transactions on Emerging Topics in Computing. 2, 1, p. 63-80 18 p.

    Research output: Contribution to journalArticle

  13. Synthesis of a simple self-stabilizing system

    Gascón, A. & Tiwari, A., 2014, Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014.. p. 5-16 12 p.

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

  14. Template-based Circuit Understanding

    Gascón, A., Subramanyan, P., Dutertre, B., Tiwari, A., Jovanovi, D. & Malik, S., 2014, Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design. Austin, TX: FMCAD Inc, p. 17:83-17:90 (FMCAD '14).

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

Previous 1 2 3 Next