Follow
Matteo Risoldi
Matteo Risoldi
Executive director, Waystone Fund Services (Switzerland) SA
Verified email at waystone.com
Title
Cited by
Cited by
Year
The CMS experiment at the CERN LHC
CMS Collaboration, R Adolphi
Jinst 3 (08), S08004, 2008
28020*2008
CMS physics technical design report, volume II: physics performance
CMS collaboration
Journal of Physics G: Nuclear and Particle Physics 34 (6), 995, 2007
1937*2007
CMS Physics: Technical Design Report Volume 1: Detector Performance and Software
GL Bayatian, A Korablev, A Soha, O Sharif, M Chertok, W Mitaroff, ...
CMS-TDR-008-1, 2006
402*2006
CMS physics technical design report: Addendum on high density QCD with heavy ions
D d'Enterria, M Ballintijn, M Bedjidian, D Hofman, O Kodolova, C Loizides, ...
Journal of Physics G: Nuclear and Particle Physics 34 (11), 2307, 2007
280*2007
Developing pervasive multi-agent systems with nature-inspired coordination
F Zambonelli, A Omicini, B Anzengruber, G Castelli, FL De Angelis, ...
Pervasive and Mobile Computing 17, 236-252, 2015
912015
Self-aware pervasive service ecosystems
F Zambonelli, G Castelli, L Ferrari, M Mamei, A Rosi, G Di Marzo, ...
Procedia Computer Science 7, 197-199, 2011
902011
High-Level Petri Net Model Checking with AlPiNA
S Hostettler, A Marechal, A Linard, M Risoldi, D Buchs
Fundamenta Informaticae 113 (3-4), 229-264, 2011
472011
Alpina: A symbolic model checker
D Buchs, S Hostettler, A Marechal, M Risoldi
International Conference on Applications and Theory of Petri Nets, 287-296, 2010
322010
Composing visual syntax for domain specific languages
L Pedro, M Risoldi, D Buchs, B Barroca, V Amaral
Human-Computer Interaction. Novel Interaction Methods and Techniques, 889-898, 2009
252009
The effect of highly ionising particles on the CMS silicon strip tracker
W Adam, T Bergauer, M Friedl, R Fruehwirth, J Hrubec, M Krammer, ...
Nuclear Instruments and Methods in Physics Research Section A: Accelerators …, 2005
212005
Alpina: An algebraic petri net analyzer
D Buchs, S Hostettler, A Marechal, M Risoldi
International Conference on Tools and Algorithms for the Construction and …, 2010
202010
Self-organising pervasive ecosystems: A crowd evacuation example
S Montagna, M Viroli, M Risoldi, D Pianini, GD Marzo Serugendo
International Workshop on Software Engineering for Resilient Systems, 115-129, 2011
162011
A methodology for the development of complex domain specific languages
M Risoldi
PhD thesis, Université de Genève, 2010. Thesis, 2010
162010
Adaptive, dynamic, and resilient systems
N Suri, G Cabri
CRC Press, 2014
152014
Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study
L Pedro, M Risoldi, D Buchs, V Amaral
Proceedings of the 10th workshop on Domain-Specific Modeling, 1-6, 2010
152010
Modeling self-* systems using chemically-inspired composable patterns
AE Tchao, M Risoldi, GDM Serugendo
Self-Adaptive and Self-Organizing Systems (SASO), 2011 Fifth IEEE …, 2011
132011
A domain specific language and methodology for control systems GUI specification, verification and prototyping
M Risoldi, D Buchs
Visual Languages and Human-Centric Computing, 2007. VL/HCC 2007. IEEE …, 2007
132007
Optimizing algebraic petri net model checking by slicing
YI Khan
lassy, 2013
122013
Towards a formal, model-based framework for control systems interaction prototyping
M Risoldi, V Amaral
International Workshop on Rapid Integration of Software Engineering …, 2006
92006
Modeling Distributed Systems using Concurrent Object Oriented Petri Nets
A Chen, D Buchs, L Lucio, L Pedro, M Risoldi
Hamburg University of Hamburg, 2006
92006
The system can't perform the operation now. Try again later.
Articles 1–20