output
20022014
most citedObservation of a new particle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC

10.9k citations

249 papers

math.CO20151 cited

On prefixal factorizations of words

Aldo de Luca, Luca Q. Zamboni

We consider the class of all infinite words over a finite alphabet admitting a prefixal factorization, i.e., a factorization whe…

cs.GT20143 cited

Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification

Adriano Peron, Carla Piazza

This volume contains the proceedings of the Fifth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2014). The symposium took place in Verona, Ital…

math.GR2014

On the ring of inertial endomorphisms of an abelian group

Ulderico Dardano, Silvana Rinauro

An endomorphisms of an abelian group is said inertial if each subgroup of has finite index in . We study the ring of inertial endomorphisms of an abelian gr…

cs.SE201335 cited

A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance

Francesco Flammini, Stefano Marrone, Nicola Mazzocca +1

A large number of safety-critical control systems are based on N-modular redundant architectures, using majority voters on the outputs of independent computation units. In order to…

math.CO2013

Generalized Hyperfocused Arcs in

A. Blokhuis, G. Marino, F. Mazzocca

A {\em generalized hyperfocused arc} in is an arc of size with the property that the secants can be blocked by a set of points not belo…

astro-ph.CO201341 cited

The Planetary Nebula Spectrograph survey of S0 galaxy kinematics. Data and Overview

A. Cortesi, M. Arnaboldi, L. Coccato +11

The origins of S0 galaxies remain obscure, with various mechanisms proposed for their formation, likely depending on environment. These mechanisms would imprint different signature…