5.1k citations
- European Centre for Living TechnologyIT52 papers
- University of PaduaIT40 papers
- Institute for Complex SystemsIT34 papers
- Sapienza University of RomeIT34 papers
- IMT School for Advanced Studies LuccaIT29 papers
- Centre National de la Recherche ScientifiqueFR23 papers
- Istituto Officina dei MaterialiIT23 papers
- Stockholm UniversitySE22 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT17 papers
- London Institute for Mathematical SciencesGB17 papers
- Elettra-Sincrotrone Trieste S.C.p.A.IT15 papers
- University of OxfordGB15 papers
Showing 2000Show all
3 papers · 1 filter
cond-mat.stat-mech2000★ 19 cited
A pseudo-spectral approach to inverse problems in interface dynamics
Achille Giacometti, Maurice Rossi
An improved scheme for computing coupling parameters of the Kardar-Parisi-Zhang equation from a collection of successive interface profiles, is presented. The approach hinges on a…
cs.LO2000★ 14 cited
Sequence-Based Abstract Interpretation of Prolog
Baudouin Le Charlier, Sabina Rossi, Pascal Van Hentenryck
Many abstract interpretation frameworks and analyses for Prolog have been proposed, which seek to extract information useful for program optimization. Although motivated by practic…
cs.LO2000★ 16 cited
On Modular Termination Proofs of General Logic Programs
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle +1
We propose a modular method for proving termination of general logic programs (i.e., logic programs with negation). It is based on the notion of acceptable programs, but it allows…