Some recent Papers of Moreno Falaschi

This document lists some recent papers, organized in two groups:

Journal and Conference papers

They are ordered by date of publication and by author(s) (inverse ordering). In most cases you can retrieve, just by clicking, the abstracts of the papers, their PDF and/or PostScript versions as well as the corresponding BibTeX entries.

For a more extensive list of publications please consult Moreno Falaschi's publication list

2010

• María Alpuente, Demis Ballis, Moreno Falaschi: Transformation and Debugging of Functional Logic Programs. 25 Years GULP 2010: 271-299
• Davide Chiarugi, Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi: Compositional modelling of signalling pathways in timed concurrent constraint programming. BCB 2010: 414-417
• María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi: A fold/unfold transformation framework for rewrite theories extended to CCT. PEPM 2010: 43-52
• María Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis: Completeness of Unfolding for Rewriting Logic Theories. SYNASC 2010: 116-123
• Michele Baggi, Demis Ballis, Moreno Falaschi: An Access Control Language Based on Term Rewriting and Description Logic. WFLP 2010: 66-83
• María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, José Iborra: A compact fixpoint semantics for term rewriting systems. Theor. Comput. Sci. 411(37): 3348-3371 (2010)
• María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi: An integrated framework for the diagnosis and correction of rule-based programs. Theor. Comput. Sci. 411(47): 4055-4101 (2010)
  

2009

• Michele Baggi, Demis Ballis, Moreno Falaschi: Quantitative Pathway Logic for Computational Biology. CMSB 2009: 68-82
• Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi: A framework for abstract interpretation of timed concurrent constraint programs. PPDP 2009: 207-218
• Moreno Falaschi: Preface. Electr. Notes Theor. Comput. Sci. 246: 1-2 (2009)
• Moreno Falaschi, Maurizio Gabbrielli, Catuscia Palamidessi: Foreword. Theor. Comput. Sci. 410(46): 4601-4602 (2009)
  

2008

• María Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi: Semantic Verification of Web System Contents. ER Workshops 2008: 437-446
• Michele Baggi, Moreno Falaschi, Demis Ballis: XML Semantic Filtering via Ontology Reasoning. ICIW 2008: 482-487
• María Alpuente, Pedro Ojeda, Daniel Romero, Demis Ballis, Moreno Falaschi: An Abstract Generic Framework for Web Site Verification. SAINT 2008: 104-110 

2007

• M. Falaschi, C. Olarte, C. Palamidessi and F. Valencia. Declarative Diagnosis of Temporal Concurrent Constraint Programs. International Conference on Logic Programming (ICLP'07), 6: pages 271-285, Springer Verlag, LNCS, 2007.
• María Alpuente, Demis Ballis, Moreno Falaschi, Pedro Ojeda, Daniel Romero: A Fast Algebraic Web Verification Service. RR 2007: 239-248
• Moreno Falaschi, Michael J. Maher: Introduction Special Issue on Multiparadigm Languages and Constraint Programming. TPLP 7(1-2): 1-2 (2007) 

2006

• M. Falaschi and A. Villanueva
Automatic verification of timed concurrent constraint programs.
Theory and Practice of Logic Programming, 6: pages 265-300. Cambridge University Press, 2006


• M. Alpuente, D.Ballis, and M.Falaschi
Rule-basedVerification of Web Sites
Software Tools forTechnology Transfer, 2006. Toappear
Extended and revised version of this paper
© Springer-Verlag
Available: Abstract/ PDF


• M. Alpuente. S.Escobar, and M. Falaschi (Eds.)
  Automated Specification and Verification of Web Sites, 1st Int'l Workshop,
  Electronic Notes in Theoretical Computer ScienceVolume 157, Issue 2 (212 pages), 22 May 2006
  © Elsevier Science, North-Holland
  Available: WWV'05 pre-proceedings
  
  

2005

• M.Alpuente, D. Ballis, and M.Falaschi
A Rewriting-based Framework forWebsites Verification
Electronic Notes in Theoretical Computer Science,124(1):41-61, 2005
© Elsevier Science, North-Holland
Available: Abstract/ PDF 


• M. Alpuente,M. Falaschi, and A. Villanueva. A Symbolic Model Checker for tccp Programs
  13th ERCIM Int'l Workshop on Rapid Integration of Software Engineering Techniques,
  RISE 2004, Luxembourg (LU), 2004.
  LNCS 3475:45-56, 2005
  © Springer-Verlag
  Available: Abstract / PDF / PostScript
  

2004

• M. Alpuente, D. Ballis, and M.Falaschi
  A Rewriting-based Framework for Web sites Verification
  5th Int'l Workshop on Rule-basedProgramming RULE 2004,
  Aachen (Germany).
  Electronic Notes on Theoretical Computer Science, to appear,2004
  © Elsevier Science, North-Holland
  Available: Abstract/ PDF/ PostScript
  
  
• M. Alpuente, M.Falaschi, G. Moreno, and G. Vidal.
  Rules + Strategies for Transforming Functional Logic Programs
  Theoretical Computer Science, 311(1-3):479-525, 2004.
  © Elsevier,North-Holland
  Available: see [AFMV99]
  
  
• M. Alpuente, D.Ballis, and M.Falaschi
  Verdi: an Automated Tool for Web sites Verification
  European Conference on Logics inArtificial Intelligence JELIA 2004,
  Lisbon (Portugal); system demonstration
  LNCS 3329, pages 726-729, 2004
  © Springer-Verlag
  Available: Abstract/ PDF/ PostScript
    
• M.Alpuente , D. Ballisand M.Falaschi
  AutomatedVerification of Web Sites Using Partial Rewriting
  1st Int'l Symp. onLeveraging Applications of Formal Methods ISoLA 2004,
  Paphos (Cyprus). To appear, 2004.
  
  
• M.Alpuente, D. Ballis, and M.Falaschi
  Rewriting-engined Web sitesVerification
  IV Jornadassobre Programación y Lenguajes PROLE 2004,
  Málaga (Spain). Toappear, 2004.
  

•  M. Alpuente, M. Falaschi, andA. Villanueva.
  SymbolicRepresentationof tccp Programs
  13thInt'lWorkshop on Functional and (Constraint) Logic Programming, WFLP 2004,
  Aachen (Germany), pages 104-114,2004.
  Available: Abstract PDF
  

2003

• M. Alpuente, D.Ballis,S. Escobar, M. Falaschi,and S. Lucas.
  Abstract Correction of Functional Programs
  In Proc. of the 12th Int'l Workshop on Functional and(Constraint) Logic Programming WFLP'03
  Electronic Notes on Theoretical ComputerScience, volume 86(4). 2003
  © Elsevier
  Available: Abstract/ Postscript/ PDF/ BibTeXentry

• M. Alpuente, D. Ballis, F. J. Correa, and M. Falaschi
  Automated Correction of Functional Logic Programs
  In P. Degano, editor, Proc. of European Symposium on ProgrammingESOP2003,
  Warsaw (Poland),
  LNCS 2618:54-68, Springer-Verlag, Berlin, 2003.
  © Springer-Verlag
  Available: Abstract/ Postscript/ BibTeXentry
  
  
• M. Alpuente, D.Ballis,S. Escobar, M. Falaschi,and S. Lucas.
  Abstract Correction of OBJ-like Programs
  In Proc. 2003 Joint Conf.on Declarative Programming AGP 2003
  Reggio Calabria (Italy), 2003
  
  
• M. Alpuente, M. Comini,S. Escobar, M. Falaschi,and S. Lucas
  Abstract Diagnosis of Functional Programs
  In M. Leuschel, editor, Proc. of Logic-Based Program Synthesis andTransformation LOPSTR'02,
  Springer LNCS 2664:1-16, 2003
  © Springer-Verlag
  Available: Abstract/ Postscript/ PDF
  
  
• M. Alpuente, M. Falaschi, P. Julián,and G. Vidal
  Uniform Lazy Narrowing
  Journal of Logic and Computation, 16(2):287-312, 2003.
  Preliminary version appeared in WFLP'02(see also [AFJV02tr])
  © Oxford UniversityPress
  Available: Abstract / BibTeXentry

2002

• M. Comini and M. Falaschi (editors)
  Functional and (constraint) Logic Programming
  Selected papers of the 11th International Workshop, WFLP 2002, Grado, Italy, June 20-22, 2002
  Electronic Notes in Theoretical Computer Science, volume 76, November 2002.
  © Elsevier
  Available:ENTCS n. 76


• M. Alpuente,M. Comini, M. Falaschi, S. Escobar,and S. Lucas
  A Declarative Debugging Scheme for Functional Programs
  Proc. of the 12th Int'l Workshop on Logic-Based ProgramSynthesis and Transformation (LOPSTR 2002), Madrid (Spain).
  Superseded by LNCS publication


• M. Falaschi (editor)
  Functional and (constraint) Logic Programming
  Proc. of the 11th International Workshop, WFLP 2002
  Technical Report UDMI/18/2002/RR, Dipartimento di Matematica e Informatica,University of Udine, June 2002.
  Available:


• M. Alpuente,F. Correa,M. Falaschi.
  A Debugging Scheme for Functional Logic Programs
  Electronic Notes in Theoretical Computer Science,volume 64.
  © Elsevier
  Available: PostScript


• M. Alpuente,M. Falaschi, P. Julián,and G. Vidal
  Lazy Narrowing and Needed Narrowing: A Comparison
  11th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'02), Udine (Italy).
  Available: Abstract / PS / BibTeXentry


• M. Alpuente,M. Falaschi, P. Julián,and G. Vidal
  Uniform Needed Narrowing
  Technical Report, DSIC, UPV, 2002.
  Available: Abstract / PDF / BibTeXentry

2001

• M. Falaschi, A. Policriti, A. Villanueva.
  Time Limited Model Checking.
  Proceedings of the Workshop SAVE'01.
  Available:Abstract

• M. Falaschi, A. Policriti, A. Villanueva.
  Modeling concurrent systems specified in a temporal concurrentconstraint language-I.
  In A. Dovier, M.C. Meo and A. Omicini, Eds.,Proceedings of AGP'2000,volume 57 ofElectronic Notes in Computer Science,Elsevier, 2001.
  Available:AbstractPostScriptBibTeX entry.

• M. Alpuente,F. Correa,M. Falaschi.
  Declarative Debugging of Functional Logic Programs.
  In Proc. of the International Workshop on ReductionStrategies in Rewriting and Programming (WRS 2001),volume 57 ofElectronic Notes in Computer Science,Elsevier, 2001.
  Available:AbstractDVIPostScriptBibTeX entry.

2000

• M. Alpuente, M. Falaschi, G. Moreno, G. Vidal.
  An Automatic Composition Algorithm for Functional Logic Programs
  In V. Hlavac, K.G. Jeffery and J. Wiedermann, editors, Proc. of 27th Annual Conf.on Current Trends in Theory and Practice of Informatics, SOFSEM'2000
  Springer LNCS 1963, pages 289-297, Berlin, 2000
  Available: AbstractDVIPostScriptBibTeX entry

• Falaschi, P. Hicks,W. Winsborough.Demand transformation analysis for concurrent constraint programs. Journal of Logic Programming, 42(3):pages 185-215. Elsevier, 2000
  Available:AbstractPostScript

1999

• M. Alpuente, M. Falaschi, G. Moreno, G. Vidal.
  A Transformation System for Lazy Functional Logic Programs
  In A. Middeldorp and T. Sato, editors, Proc. of 4th Int'l Symp. on Functional and Logic Programming, FLOPS'99,
  Springer LNCS 1722, pp. 147-162, 1999
  Available:AbstractDVIPostScriptBibTeX entry

1998

• E. Albert, M. Alpuente, M. Falaschi, P. Julián, G. Vidal.
  Improving Control in Functional Logic Program Specialization.
  In G. Levi, editor, Proc. of Static Analysis Symposium, SAS'98, volume 1503 ofLecture Notes in Computer Science, pages 262-277.Springer-Verlag, Berlin, 1998.
  Available:AbstractPostScript BibTeX entry.

• M. Alpuente, M. Falaschi, G. Vidal.
  Partial Evaluation of Functional Logic Programs.
  ACM Transactions on Programming Languages and Systems, 20(4):768-844, (July 1998).
  See also [AFV98tr].
  Available:Abstract BibTeX entry.

• M. Alpuente, M. Falaschi, G. Vidal.
  A Unifying View of Functional and LogicProgram Specialization.
  ACM Computing Surveys. Vol. 30, No. 3es (Sept. 1998), Pages 9-es.
  Available:AbstractDVI PostScript BibTeX entry.

1997

• M. Alpuente, M. Falaschi, P. Julián, G. Vidal.
  Specialization of Lazy Functional Logic Programs.
  ACM SIGPLAN Notices, volume 32(12):151-162, ACM Press, 1997.
  Available:AbstractDVI PostScript BibTeX entry.

• M. Alpuente, M. Falaschi, G. Moreno, G. Vidal.
  Safe Folding/Unfolding with Conditional Narrowing.In M. Hanus, J. Heering, and K. Meinke, editors, Proc. of the 6thInt'l Conf. on Algebraic and Logic Programming, ALP'97,volume 1298 of Lecture Notes in Computer Science, pages 1-15.Springer-Verlag, Berlin, 1997.
  Available:AbstractDVIPostScriptBibTeX entry.

• M. Codish, M. Falaschi, K. Marriott, and W. Winsborough.A Confluent Semantic basis for the analysis of ConcurrentConstraint Logic Programs. Journal of Logic Programming, 30(1):53--81 (Jan. 1997)
  Available:PostScript

• M. Falaschi, M. Gabbrielli, K. Marriott and C. Palamidessi.Confluence in Concurrent Constraint Programming. Theoretical Computer Science 183:281--315, 1997.
  Available:AbstractPostScript

• M. Falaschi,M. Gabbrielli, K. Marriott and C. Palamidessi.Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators. Information and Computation, 137(1): 41--67, 1997.
  Available:AbstractPostScript

1996

• M. Alpuente, M. Falaschi, G. Vidal.
  A Compositional Semantic Basis for the Analysis of EquationalHorn Programs.
  Theoretical Computer Science, volume 165(1):97-131, Sept 1996.
  Available:AbstractDVIPostScript BibTeX entry.

• M. Alpuente,M. Falaschi, G. Vidal.
  Narrowing-driven Partial Evaluation of Functional Logic Programs. In H.R. Nielson, editor, Proc. of the European Symposium onProgramming ESOP'96.Springer LNCS 1058, pages 45-61, 1996.
  Available:AbstractDVI PostScript BibTeX entry.

1995

• M. Alpuente, M. Falaschi, G. Levi.
  Incremental Constraint Satisfaction for Equational Logic Programming.
  Theoretical Computer Science, 142(1):27-57, May 1995.
  Available:AbstractDVI PostScript BibTeX entry.

• M. Alpuente, M. Falaschi, F. Manzo.
  Analyses of Unsatisfiability for Equational Logic Programming.
  Journal of Logic Programming, 22(3):221-252, Mar 1995.
  Available:AbstractDVI PostScript BibTeX entry.

1994

• M. Alpuente, M. Falaschi, G. Vidal.
  Compositional Analysis for Equational Horn Programs.In G. Levi and M. Rodríguez-Artalejo, editors, Proc. Fifth Int'l Conf. on Algebraic and Logic Programming ALP'94, volume 850 of Lecture Notes in Computer Science, pages 77-94.Springer-Verlag, Berlin, 1994.
  Available:AbstractDVI PostScript BibTeX entry.

• M. Alpuente, M. Falaschi, M.J. Ramis, G. Vidal.
  A Compositional Semantics for Conditional Term Rewriting Systems.In H.E. Bal, editor, Proc. 1994 Int'l Conf. on Computer Languages ICCL'94, pages 171-182. IEEE Computer Society Press, 1994.
  Available:AbstractDVI PostScript BibTeX entry.

• M. Codish, M.Falaschi, K. Marriott.
  Suspension Analysis for Concurrent Logic Programs. ACM Transactions on ProgrammingLanguages and Systems; 16(3):649-686, ACM Press, 1994.
  Available: bibtex entry Abstract postscript dvi

1993

• M. Alpuente, M. Falaschi, M. Gabbrielli, G. Levi.
  The semantics of Equational Logic Programming as an Instance of CLP.In K. Apt, J. W. de Bakker and J.J.M.M. Rutten, editors, Logic ProgrammingLanguages: Constraints, Functions and Objects. MIT Press, Cambridge, MA.,1993, pages 49-81.
  Available:AbstractDVI PostScript BibTeX entry.

• M. Codish, M. Falaschi, K. Marriott, and W. Winsborough.Efficient Analysis of Concurrent Constraint Logic Programs.Proc. of the 20th International Colloquiumon Automata, Languages, and Programming,Volume 700 of Lecture Notes in Computer Science,Springer-Verlag, 1993, pages 633-644.
  Available:DVI

• M. Alpuente, M. Falaschi, M.J. Ramis, G. Vidal.
  Narrowing Approximations as an Optimization for Equational Logic Programs.In M. Bruynooghe and J. Penjam, editors, Proc. Fifth Int'l Symp. on Programming Language Implementation and Logic Programming PLILP'93, volume714 of Lecture Notes in Computer Science, pages 391-409.Springer-Verlag, Berlin, 1993.
  Available: AbstractDVI PostScript BibTeX entry.

• M. Falaschi, M. Gabbrielli, K. Marriott and C. Palamidessi.Compositional analysis of Concurrent Constraint Programs.In Proceedings of LICS'93.
  Available:AbstractPostScript

1992

• M. Alpuente, M. Falaschi, F. Manzo.
  Analyses of Inconsistency for Incremental Equational Logic ProgrammingIn M. Wirsing and M. Bruynooghe, editors, Proc. Fourth Int'l Symp. on Programming Language Implementation and Logic Programming PLILP'92, volume631 of Lecture Notes in Computer Science, pages 443-457.Springer-Verlag, Berlin, 1992.
  Available: AbstractDVI PostScript BibTeX entry.

• M. J. Ramírez,M. Falaschi.
  Conditional Narrowing with Constructive Negation.In Proc. Third Workshop on Extensions of Logic Programming ELP'92, volume 660 of Lecture Notes in Computer Science, pages 59-79.Springer-Verlag, Berlin, 1993.
  Available: AbstractDVI PostScript BibTeX entry.

1991

• M. Alpuente, M. Falaschi.
  Narrowing as an Incremental Constraint Satisfaction Algorithm.In M. Bruynooghe and J. Penjam, editors, Proc. Third Int'l Symp. onProgramming Language Implementation and Logic Programming PLILP'91, volume528 of Lecture Notes in Computer Science, pages 111-122.Springer-Verlag, Berlin, 1991.
  Available: See the extended version in TCS'95.

  
  
  

  ---

  Technical Reports

  ---

  E. Albert, M. Alpuente, M. Falaschi, G. Vidal.
  INDY User's Manual. Technical report DSIC-II/12/98, UPV, 1998.
  Available:PostScript.

  M. Alpuente,M. Falaschi, G. Vidal.
  Partial Evaluation in Functional Logic Programming.
  Technical report DSIC-II/11/98, UPV, 1998.
  Available:AbstractDVIPostScriptBibTeX entry.

  M. Alpuente, M. Falaschi, G. Vidal.
  Experiments with the Call-by-Value Partial Evaluator. Technical report DSIC-II/13/98, UPV, 1998.
  Available:AbstractDVI PostScript BibTeX entry.

  
  
  

  HOME Falaschi