Provenance and formal methods: The case of digital image processing

Autor: Sáenz Adán, Carlos

Tipo de documento: Capítulo de libro

Libro: Doctoral Consortium on Data Management Technologies, Applications and Software Technologies, DCDATASOFT 2015; in conjunction with the 4th International Conference on Data Management Technologies and Applications, DATA 2015 and the 10th International Joint conference on Software Technologies, ICSOFT 2015

Año: 2015  Páginas: 3-6


  • Acar, U.A., Ahmed, A., Cheney, J., Perera, R., A core calculus for provenance (2013) Journal of Computer Security, 21 (6), pp. 919-969
  • Buneman, P., Davidson, S.B., Data provenance- The foundation of data quality (2010) (Eds.):'Book Data Provenance-the Foundation of Data Quality, , 2013, edn
  • Cheney, J., Ahmed, A., Acar, U.A., Provenance as dependency analysis (2011) Mathematical Structures in Computer Science, 21 (6), pp. 1301-1337
  • Cheney, J., Chiticariu, L., Tan, W.-C., (2009) Provenance in Databases: Why, How, and Where, 4. , Now Publishers Inc
  • Del Rio, N., Da Silva, P.P., Porras, H., Browsing proof markup language provenance: Enhancing the experience (2010) Provenance and Annotation of Data and Processes, pp. 274-276. , Springer
  • Domínguez, E., Ṕerez, B., Rubio, A.L., Zapata, M.A., Lavilla, J., Allué, A., Occurrence-oriented design strategy for developing business process monitoring systems (2014) Knowledge and Data Engineering, IEEE Transactions on, 26 (7), pp. 1749-1762. ,, ForMath
  • Ikeda, R., Das Sarma, A., Widom, J., Logical provenance in data-oriented workflows? In Data Engineering (ICDE) (2013) 2013 IEEE 29th International Conference on, pp. 877-888. , IEEE
  • Kitchenham, B.A., Pfleeger, S.L., Pickard, L.M., Jones, P.W., Hoaglin, D.C., El Emam, K., Rosenberg, J., Preliminary guidelines for empirical research in software engineering (2002) Software Engineering, IEEE Transactions on, 28 (8), pp. 721-734
  • Lambán, L., Rubio, J., Martin-Mateos, F.-J., Ruiz-Reina, J.-L., Verifying the bridge between simplicial topology and algebra: The eilenberg-zilber algorithm (2014) Logic Journal of IGPL, 22 (1), pp. 39-65
  • Mata, G., Cuesto, G., Morales, M., Rubio, J., Heras, J., Synapcountj: Un software para el estudio de la densidad sińaptica (2011) XIV Congreso de la Sociedad Espãnola de Neurociencia (SENC 2011), ,
  • Mata, G., Ferńandez, P., Romero, A., Rubio, J., Cuesto, G., Morales, M., Nucleusj: Desarrollo de un plugin en Fiji para el ańalisis de modelos de muerte neuronal (2013) XV Congreso de la Sociedad Espãnola de Neurociencia (SENC 201), ,
  • Missier, P., Belhajjame, K., Cheney, J., The W3C prov family of specifications for modelling provenance metadata (2013) Proceedings of the 16th International Conference on Extending Database Technology, pp. 773-776. , ACM
  • Moreau, L., Clifford, B., Freire, J., Futrelle, J., Gil, Y., Groth, P., Kwasnikowska, N., Myers, J., The open provenance model core specification (V1. 1) (2011) Future Generation Computer Systems, 27 (6), pp. 743-756
  • Poza, M., (2013) Certifying Homological Algorithms to Study Biomedical Images, , PhD thesis, Universidad de La Rioja
  • Poza, M., Dominguez, C., Heras, J., Rubio, J., A certified reduction strategy for homological image processing (2014) ACM Transactions on Computational Logic (TOCL), 15 (3), p. 23
  • Rodriguez-Priego, E., García-Izquierdo, F.J., Securing code in services oriented architecture (2007) Web Engineering, pp. 550-555. , Springer
  • Rodriguez-Priego, E., Garćia-Izquierdo, F.J., Rubio, A.L., References-enriched concept map: A tool for collecting and comparing disparate definitions appearing in multiple references (2013) Journal of Information Science, pp. 0165551513487848
  •, Spine Up