University of Genova)

Identifiers

No identifiers captured yet.

Papers (4)

1. Extending Coinductive Logic Programming with Co-Facts cs.PL · 2017 · author #2
2. A computational continuum model of poroelastic beds physics.flu-dyn · 2017 · author #6
3. Model Checking Paxos in Spin cs.LO · 2014 · author #2
4. A forgotten publication of Ettore Majorana on the improvement of the Thomas-Fermi statistical model physics.hist-ph · 2005 · author #7

Mentions

No mention provenance yet.

Frequent Coauthors

• (2) Department of Physics 1 shared papers
• (2) DICCA 1 shared papers
• Davide Ancona (DIBRIS 1 shared papers
• Elena Zucca (DIBRIS 1 shared papers
• Francesco Dagnino (DIBRIS 1 shared papers
• Francesco Guerra (1) 1 shared papers
• Giorgio Delzanno (DIBRIS 1 shared papers
• Giuseppe Antonio Zampogna (2) 1 shared papers
• INFN 1 shared papers
• KTH Mechanics 1 shared papers
• Michele Tatarek (DIBRIS 1 shared papers
• Nadia Robotti (2) ((1) Department of Physics 1 shared papers
• Riccardo Traverso (FBK 1 shared papers
• sezione di Roma1 1 shared papers
• Shervin Bagheri (1) ((1) Linn\'e Flow Centre 1 shared papers
• Trento) 1 shared papers
• University of Rome "La Sapienza" 1 shared papers
• U\v{g}is L\=acis (1) 1 shared papers