Moreno Falaschi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
28
Venues
18
Active years
1983–2023
Best venue rank
A*
Where they publish
Papers
28 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | IJCNN | Enhancing Embedding Representations of Biomedical Data using Logic Knowledge. | Michelangelo Diligenti, Francesco Giannini, Stefano Fioravanti, Caterina Graziani, Moreno Falaschi, Giuseppe Marra |
| 2023 | PADL | Dynamic Slicing of Reaction Systems Based on Assertions and Monitors. | Linda Brodo, Roberto Bruni, Moreno Falaschi |
| 2018 | LOPSTR | An Assertion Language for Slicing Constraint Logic Languages. | Moreno Falaschi, Carlos Olarte |
| 2016 | LOPSTR | Slicing Concurrent Constraint Programs. | Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi |
| 2010 | PEPM | A fold/unfold transformation framework for rewrite theories extended to CCT. | Mara Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi |
| 2010 | SYNASC | Completeness of Unfolding for Rewriting Logic Theories. | Mara Alpuente, Michele Baggi, Moreno Falaschi, Demis Ballis |
| 2009 | PPDP | A framework for abstract interpretation of timed concurrent constraint programs. | Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi |
| 2008 | ER | Semantic Verification of Web System Contents. | Mara Alpuente, Michele Baggi, Demis Ballis, Moreno Falaschi |
| 2008 | ICIW | XML Semantic Filtering via Ontology Reasoning. | Michele Baggi, Moreno Falaschi, Demis Ballis |
| 2007 | ICLP | Declarative Diagnosis of Temporal Concurrent Constraint Programs. | Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia |
| 2006 | SEFM | A Semi-Automatic Methodology for Repairing FaultyWeb Sites. | Mara Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero |
| 2004 | ISoLA | Automated Verification of Web Sites Using Partial Rewriting. | Mara Alpuente, Demis Ballis, Moreno Falaschi |
| 2004 | JELIA | Verdi: An Automated Tool for Web Sites Verification. | Mara Alpuente, Demis Ballis, Moreno Falaschi |
| 2003 | ESOP | Correction of Functional Logic Programs. | Mara Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi |
| 2002 | LOPSTR | Abstract Diagnosis of Functional Programs. | Mara Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas |
| 2000 | SOFSEM | An Automatic Composition Algorithm for Functional Logic Programs. | Mara Alpuente, Moreno Falaschi, Gins Moreno, Germn Vidal |
| 1999 | FLOPS | A Transformation System for Lazy Functional Logic Programs. | Mara Alpuente, Moreno Falaschi, Gins Moreno, Germn Vidal |
| 1998 | SAS | Improving Control in Functional Logic Program Specialization. | Elvira Albert, Mara Alpuente, Moreno Falaschi, Pascual Julin Iranzo, Germn Vidal |
| 1997 | PEPM | Specialization of Lazy Functional Logic Programs. | Mara Alpuente, Moreno Falaschi, Pascual Julin Iranzo, Germn Vidal |
| 1996 | ESOP | Narrowing-Driven Partial Evaluation of Functional Logic Programs. | Mara Alpuente, Moreno Falaschi, Germn Vidal |
| 1996 | ICLP | Demand Transformation Analysis for Concurrent Constraint Programs. | Moreno Falaschi, Patrick Hicks, William H. Winsborough |
| 1994 | ICLP | Denotational semantics for Concurrent Constraint Programs analyses. | Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi |
| 1993 | ICALP | Efficient Analysis of Concurrent Constraint Logic Programs. | Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough |
| 1993 | LICS | Compositional Analysis for Concurrent Constraint Programming | Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi |
| 1992 | SAS | Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs. | Michael Codish, Moreno Falaschi, Kim Marriott, William H. Winsborough |
| 1991 | ICLP | Suspension Analysis for Concurrent Logic Programs. | Michael Codish, Moreno Falaschi, Kim Marriott |
| 1988 | ICLP | A New Declarative Semantics for Logic Languages. | Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi |
| 1983 | ICLP | On the Fixed-Point Semantics of Horn Clauses with Infinite Terms. | Moreno Falaschi, Giorgio Levi, Catuscia Palamidessi |