2.2k citations
- Istituto Nazionale di Fisica Nucleare, Sezione di FirenzeIT124 papers
- Centre National de la Recherche ScientifiqueFR73 papers
- European Organization for Nuclear ResearchCH64 papers
- University of PisaIT61 papers
- University of BolognaIT59 papers
- Imperial College LondonGB57 papers
- University of Bari Aldo MoroIT57 papers
- Rutherford Appleton LaboratoryGB56 papers
- University of TriesteIT56 papers
- University of PaduaIT55 papers
- Sapienza University of RomeIT54 papers
- Scuola Normale SuperioreIT54 papers
17 papers · 1 filter
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems
Laura Kovacs, Rosario Pugliese, Francesco Tiezzi
This volume contains the final and revised versions of the papers presented at the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011).…
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
Marco Bernardo, Rocco De Nicola, Michele Loreti
Labeled transition systems are typically used to represent the behavior of nondeterministic processes, with labeled transitions defining a one-step state to-state reachability rela…
A parabolic inverse problem with mixed boundary data. Stability estimates for the unknown boundary and impedance
V. Bacchelli, M. Di Cristo, E. Sincich +1
We consider the problem of determining an unaccessible part of the boundary of a conductor by mean of thermal measurements. We study a problem of corrosion where a Robin type condi…
Hirsch-Plotkin radical of stability groups
Carlo Casolo, Orazio Puglisi
We study the Hirsch-Plotkin radical of stability groups of (general) subspace series of infinite dimensional vector spaces. We show that in countable dimension and some other cases…
The AEP algorithm for the fast computation of the distribution of the sum of dependent random variables
Philipp Arbenz, Paul Embrechts, Giovanni Puccetti
We propose a new algorithm to compute numerically the distribution function of the sum of dependent, non-negative random variables with given joint distribution.
Product posets and causal automorphisms of the plane
Alfonso García-Parrado Gómez-Lobo, Ettore Minguzzi
A simple characterization of the causal automorphisms of 1+1 Minkowski spacetime is given.