Declarative modeling of the operational behavior of logic languages M Falaschi, G Levi, C Palamidessi, M Martelli Theoretical Computer Science 69 (3), 289-318, 1989 | 373 | 1989 |

A model-theoretic reconstruction of the operational semantics of logic programs M Falaschi, G Levi, M Martelli, C Palamidessi Information and Computation 103 (1), 86-113, 1993 | 150 | 1993 |

Partial evaluation of functional logic programs M Alpuente, M Falaschi, G Vidal ACM Transactions on Programming Languages and Systems (TOPLAS) 20 (4), 768-844, 1998 | 135 | 1998 |

Suspension analyses for concurrent logic programs M Codish, M Falaschi, K Marriott ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (3), 649-686, 1994 | 111 | 1994 |

A new declarative semantics for logic languages M Falaschi Proc. 5th Conf. and Symp., 993-1005, 1988 | 100 | 1988 |

Specialization of lazy functional logic programs M Alpuente, M Falaschi, P Julián, G Vidal ACM Sigplan Notices 32 (12), 151-162, 1997 | 67 | 1997 |

Automatic verification of timed concurrent constraint programs M Falaschi, A Villanueva Theory and Practice of Logic Programming 6 (3), 265-300, 2006 | 52 | 2006 |

Compositional analysis for concurrent constraint programming M Falaschi, M Gabbrielli, K Marriott, C Palamidessi [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science …, 1993 | 50 | 1993 |

Local search techniques for scheduling problems: algorithms and software tool L Di Gaspero, A Schaerf, M Cadoli, W Slany, M Falaschi Forum, 2003 | 48 | 2003 |

Narrowing-driven partial evaluation of functional logic programs M Alpuente, M Falaschi, G Vidal Programming Languages and Systems—ESOP'96: 6th European Symposium on …, 1996 | 45 | 1996 |

A synchronization logic: Axiomatics and formal semantics of generalized Horn clauses M Falaschi, G Levi, C Palamidessi Information and control 60 (1-3), 36-69, 1984 | 44 | 1984 |

Abstract diagnosis of functional programs M Alpuente, M Comini, S Escobar, M Falaschi, S Lucas International Workshop on Logic-Based Program Synthesis and Transformation, 1-16, 2002 | 42 | 2002 |

Improving control in functional logic program specialization E Albert, M Alpuente, M Falaschi, P Julián, G Vidal International Static Analysis Symposium, 262-277, 1998 | 42 | 1998 |

Efficient analysis of concurrent constraint logic programs M Codish, M Falaschi, K Marriott, W Winsborough Automata, Languages and Programming: 20th International Colloquium, ICALP 93 …, 1993 | 42 | 1993 |

A rewriting-based framework for web sites verification M Alpuente, D Ballis, M Falaschi Electronic Notes in Theoretical Computer Science 124 (1), 41-61, 2005 | 41 | 2005 |

Rule-based verification of web sites M Alpuente, D Ballis, M Falaschi International Journal on Software Tools for Technology Transfer 8, 565-585, 2006 | 39 | 2006 |

A transformation system for lazy functional logic programs M Alpuente, M Falaschi, G Moreno, G Vidal Functional and Logic Programming: 4th Fuji International Symposium, FLOPS’99 …, 1999 | 39 | 1999 |

Rules+ strategies for transforming lazy functional logic programs M Alpuente, M Falaschi, G Moreno, G Vidal Theoretical Computer Science 311 (1-3), 479-525, 2004 | 38 | 2004 |

Confluence in concurrent constraint programming M Falaschi, M Gabbrielli, K Marriott, C Palamidessi Theoretical Computer Science 183 (2), 281-315, 1997 | 34 | 1997 |

Confluence in concurrent constraint programming M Falaschi, M Gabbrielli, K Marriott, C Palamidessi Algebraic Methodology and Software Technology: 4th International Conference …, 1995 | 32 | 1995 |