29.3k citations
- A. De Angelis3 profiles15
- B. De Lotto2 profiles15
- A. Savoy-Navarro3 profiles11
- J. Cuevas2 profiles11
- L. Lyons3 profiles11 · h 118
- M. Feindt2 profiles11 · h 111
- M. Houlden3 profiles11
- N. Van Remortel3 profiles11
- P. Renton2 profiles11
- R. Orava2 profiles11 · h 78
- A. Andreazza2 profiles10 · h 101
- A. Augustinus3 profiles10
- Istituto Nazionale di Fisica Nucleare, Sezione di PadovaIT16 papers
- University of PaduaIT16 papers
- Institute for High Energy PhysicsES14 papers
- Centre National de la Recherche ScientifiqueFR13 papers
- University of BolognaIT13 papers
- University of TriesteIT13 papers
- European Organization for Nuclear ResearchCH11 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR11 papers
- Joint Institute for Nuclear ResearchRU11 papers
- Karlsruhe Institute of TechnologyDE11 papers
- University of HelsinkiFI11 papers
- University of LiverpoolGB11 papers
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2009★ 12 cited
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration
Luca Bortolussi, Alberto Policriti
We begin by reviewing a technique to approximate the dynamics of stochastic programs --written in a stochastic process algebra-- by a hybrid system, suitable to capture a mixed dis…
cs.PL2003★ 2 cited
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
Agostino Dovier, Carla Piazza, Gianfranco Rossi
Lists, multisets, and sets are well-known data structures whose usefulness is widely recognized in various areas of Computer Science. These data structures have been analyzed from…