You are here

Home

Publications

Export 94 results:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
M. Alpuente, Ballis, D., Escobar, S., Falaschi, M., and Lucas, S., “Abstract Correction of OBJ-like Programs”, Informl Proceeding of APPIA GULP PRODE 2003 (AGP 2003). pp. 422–433, 2003.
M. Alpuente, Falaschi, M., and Villanueva, A., “Symbolic Model Checking for Timed Concurrent Constraint Programs”, Proceedings of the III Jornadas de Programación y Lenguajes. Alicante, 2003.
M. Alpuente, Baggi, M., Ballis, D., and Falaschi, M., “A Fold/Unfold Transformation Framework for Rewrite Theories Extended to CCT”, ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010. Springer, pp. 43–52, 2010.
M. Alpuente, Gramlich, B., and Villanueva, A., “A Framework for Timed Concurrent Constraint Programming with External Functions”, Electronic Notes in Theoretical Computer Science, vol. 188C, pp. 143–155, 2007.
M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., “Implementing Datalog in Maude”, Proceedings of the IX Jornadas sobre Programación y Lenguajes (PROLE'09) and I Taller de Programación Funcional (TPF'09). pp. 15–22, 2009.
M. Alpuente, Ballis, D., Espert, J., and Romero, D. O., “Model-checking Web Applications with Web-TLR”, 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010). Springer, 2010.
M. Alpuente, Ballis, D., and Falaschi, M., “Rule-based Verification of Web Sites”, International Journal on Software Tools for Technology Transfer (STTT), vol. 8, pp. 565–585, 2006.
B
G. Bacci and Comini, M., “A Compact Goal-Independent Bottom-Up Fixpoint Modeling of the Behaviour of First Order Curry”. Dipartimento di Matematica e Informatica, Università di Udine, 2010.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., “Automatic Synthesis of Specifications for Curry Programs”, Logic-based Program Synthesis and Transformation, 21th International Symposium – Pre-Proceedings. Springer-Verlag, Odense, Denmark, 2011.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., “The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages”, ICLP (Technical Communications), vol. To appear. Schloss Dagstuhl - Leibniz-Zentrum Fuer Informatik, 2012.
G. Bacci and Comini, M., “Abstract Diagnosis of First Order Functional Logic Programs”, Logic-Based Program Synthesis and Transformation – 20th International Symposium – Pre-Proceedings, vol. 10-14. Hagenberg, Austria, pp. 58–72, 2010.
G. Bacci, “An Abstract Interpretation Framework for Semantics and Diagnosis of Lazy Functional-Logic Languages”, Università di Udine, 2012.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., “Automatic Synthesis of Specifications for First Order Curry Programs”, Proceedings of the 14th symposium on Principles and practice of declarative programming. ACM, New York, NY, USA, pp. 25–34, 2012.
G. Bacci, Comini, M., Feliú, M. A., and Villanueva, A., “The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages”, Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012), vol. 17. Budapest, Hungary, pp. 144-153, 2012.
G. Bacci and Comini, M., “Abstract Diagnosis of First Order Functional Logic Programs”, Logic-based Program Synthesis and Transformation, 20th International Symposium, vol. 6564. Springer-Verlag, Berlin, p. 215--233, 2011.
M. Baggi, “An Ontology-based System for Semantic Filtering of XML Data”, Electronic Notes in Theoretical Computer Science, vol. 235, pp. 19–33, 2009.
M. Baggi, Ballis, D., and Falaschi, M., “Quantitative Pathway Logic for Computational Biology”, Computational Methods in Systems Biology, 7th International Conference, CMSB 2009. Springer, pp. 68–82, 2009.
M. Baggi and Ballis, D., “A Lazy Implementation of a Language for Approximate Filtering of XML Documents”, Proceedings of the 16th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2007), vol. 216. Elsevier, pp. 93–109, 2008.
M. Baggi, Ballis, D., and Falaschi, M., “XML Semantic Filtering via Ontology Reasoning”, 3rd International Conference on Internet and Web Applications and Services, ICIW 2008. IEEE Computer Society, pp. 482–487, 2008.
R. Bagnara, Comini, M., Scozzari, F., and Zaffanella, E., “The AND-compositionality of CLP Computed Answer Constraints”, Proceedings APPIA-GULP-PRODE'96 Joint Conference on Declarative Programming. pp. 355–366, 1996.
D. Ballis, Baruzzo, A., and Comini, M., “A rule-based method to match Software Patterns against UML Models”, The 8th International Workshop on Rule-Based Programming (RULE '07). Elsevier Science Publishers, North Holland, pp. 239–248, 2007.
D. Ballis, Falaschi, M., Ferri, C., Hernández-Orallo, J., and Ramirez-Quintana, J. M., “Cost-Sensitive Diagnosis of Declarative Programs”, 12th International Workshop on Functional and Constraint Logic Programming, WFLP 2003, vol. 86. Elsevier, p. 3, 2003.
D. Ballis and Vivó, J. G., “A Rule-based System for Web Site Verification”, Proceedings of the 1st International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), vol. 157. Elsevier, pp. 153–156, 2006.
D. Ballis, Baruzzo, A., and Comini, M., “A Minimalist Visual Notation for Design Patterns and Antipatterns”, 5th International Conference on Information Technology: New Generations. IEEE Computer Society, pp. 51–56, 2008.
D. Ballis and Kutsia, T., “Special Issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems (Preface)”, Journal of Symbolic Computation, vol. 46, pp. 93–94, 2011.
A. Baruzzo and Comini, M., “A Framework for Computer Aided Consistency Verification of UML Models”. 2007.
A. Baruzzo and Comini, M., “A Methodology for UML Models V&V”, Proceedings of First International Conference on Software Testing, Verification, and Validation. IEEE Computer Society, pp. 513–516, 2008.
A. Baruzzo, “A Unified Framework for Automated UML Model Analysis”, Dipartimento di matematica e Informatica, 2008.
A. Baruzzo and Comini, M., “Checking UML Model Consistency”, Proceedings of CILC 2006 - Convegno Italiano di Logica Computazionale. pp. 1–15, 2006.
A. Baruzzo and Comini, M., “Toward a Unified Framework for Quality and Consistency Verification of UML Models”. 2007.

Pages

created with Drupal | customized by Giovanni Bacci