29.3k citations
- A. Savoy-Navarro7 profiles55 · h 111
- J. Cuevas4 profiles55 · h 118
- P. Renton7 profiles55 · h 60
- R. Orava4 profiles55 · h 78
- F. Šforza52
- M. Feindt3 profiles50 · h 111
- B. Stelzer11 profiles37 · h 88
- G. Gomez Ceballos35
- L. Brigliadori3 profiles35 · h 111
- M. Houlden5 profiles35 · h 50
- A. Cerri2 profiles34 · h 103
- C. Paus6 profiles34 · h 123
- University of PaduaIT73 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT70 papers
- Institute for High Energy PhysicsES65 papers
- University of TriesteIT60 papers
- University of BolognaIT58 papers
- Joint Institute for Nuclear ResearchRU57 papers
- Karlsruhe Institute of TechnologyDE57 papers
- National and Kapodistrian University of AthensGR57 papers
- University of LiverpoolGB57 papers
- University of OxfordGB57 papers
- Centre National de la Recherche ScientifiqueFR56 papers
- University of HelsinkiFI56 papers
4 papers · 1 filter
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…