Search results for: F. Mazzanti
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 133-148
Lecture Notes in Computer Science > Applied Formal Methods — FM-Trends 98 > Regular Papers > 228-242
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Invited Technical Papers > 1-33
Journal of Low Temperature Physics > 2012 > 169 > 5-6 > 400-422
The European Physical Journal D > 2012 > 66 > 11 > 1-6
The European Physical Journal D > 2011 > 65 > 1-2 > 25-32
IEEE Transactions on Neural Networks > 2008 > 19 > 10 > 1816 - 1821
Building and Environment > 2007 > 42 > 2 > 926-932
Journal of Low Temperature Physics > 2005 > 138 > 3-4 > 735-740
Journal of Low Temperature Physics > 2002 > 127 > 1-2 > 29-49
Physics Letters A > 2001 > 283 > 1-2 > 136-145
Physics Letters A > 2000 > 276 > 1-4 > 137-144
Physics Letters A > 2000 > 270 > 3-4 > 204-213
Physics Letters A > 1999 > 263 > 4-6 > 416-423
Physics Letters A > 1996 > 220 > 4-5 > 251-257