157 citations
9 papers
Automatic Verification of Timed Concurrent Constraint Programs
Moreno Falaschi, Alicia Villanueva
The language Timed Concurrent Constraint (tccp) is the extension over time of the Concurrent Constraint Programming (cc) paradigm that allows us to specify concurrent systems where…
Melting and nonmelting of solid surfaces and nanosystems
U. Tartaglino, T. Zykova-Timan, F. Ercolessi +1
We present an extensive but concise review of our present understanding, largely based on theory and simulation work from our group, on the equilibrium behavior of solid surfaces a…
Online Permutation Routing in Partitioned Optical Passive Star Networks
Alessandro Mei, Romeo Rizzi
This paper establishes the state of the art in both deterministic and randomized online permutation routing in the POPS network. Indeed, we show that any permutation can be routed…
An Instability of the Godunov Scheme
Alberto Bressan, Helge Kristian Jenssen, Paolo Baiti
We construct a solution to a strictly hyperbolic system of conservation laws, showing that the Godunov scheme \cite{Godunov59} can produce an arbitrarily large amount o…
Characterizing Subgroups of Compact Abelian Groups
Dikran Dikranjan, Kenneth Kunen
We prove that every countable subgroup of a compact metrizable abelian group has a characterizing set. As an application, we answer several questions on maximally almost periodic (…
Vacuum decay by p-branes production
Lorenzo Sindoni, Stefano Ansoldi
We present a generalization to the N-dimensional case for the nucleation coefficient of a spherical p-brane, separating two (anti-)de Sitter spacetimes. We use a semiclassical appr…