39 citations
- University of BolognaIT4 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di TriesteIT3 papers
- Universidad de MurciaES3 papers
- University of CalabriaIT3 papers
- University of GlasgowGB3 papers
- University of UdineIT3 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Istituto Nazionale di Fisica NucleareIT2 papers
- Parthenope University of NaplesIT2 papers
- University of PaduaIT2 papers
- University of PisaIT2 papers
- University of TriesteIT2 papers
8 papers · 1 filter
Soliton dynamics for CNLS systems with potentials
Eugenio Montefusco, Benedetta Pellacci, Marco Squassina
The soliton dynamics in the semiclassical limit for a weakly coupled nonlinear focusing Schrödinger systems in presence of a nonconstant potential is studied by taking as initial d…
On phase segregation in nonlocal two-particle Hartree systems
Walter H. Aschbacher, Marco Squassina
We prove the phase segregation phenomenon to occur in the ground state solutions of an interacting system of two self-coupled repulsive Hartree equations for large nonlinear and no…
Quantifying Timing Leaks and Cost Optimisation
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
We develop a new notion of security against timing attacks where the attacker is able to simultaneously observe the execution time of a program and the probability of the values of…
On the long term spatial segregation for a competition-diffusion system
Marco Squassina
We investigate the long term behavior for a class of competition-diffusion systems of Lotka-Volterra type for two competing species in the case of low regularity assumptions on the…
Location and phase segregation of ground and excited states for 2D Gross-Pitaevskii systems
Marco Caliari, Marco Squassina
We consider a system of Gross-Pitaevskii equations in R^2 modelling a mixture of two Bose-Einstein condensates with repulsive interaction. We aim to study the qualitative behaviour…
Labeled Natural Deduction Systems for a Family of Tense Logics
Luca Viganò, Marco Volpe
We give labeled natural deduction systems for a family of tense logics extending the basic linear tense logic Kl. We prove that our systems are sound and complete with respect to t…