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
24822*2008
CMS physics technical design report, volume II: physics performance
CMS collaboration
Journal of Physics G: Nuclear and Particle Physics 34 (6), 995, 2007
3317*2007
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
296*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
1062015
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
962011
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
482011
Alpina: A symbolic model checker
D Buchs, S Hostettler, A Marechal, M Risoldi
Applications and Theory of Petri Nets: 31st International Conference, PETRI …, 2010
382010
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
272009
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
262010
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
232005
Self-organising pervasive ecosystems: A crowd evacuation example
S Montagna, M Viroli, M Risoldi, D Pianini, G Di Marzo Serugendo
Software Engineering for Resilient Systems: Third International Workshop …, 2011
212011
Adaptive, dynamic, and resilient systems
N Suri, G Cabri
CRC Press, 2014
172014
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
172010
A methodology for the development of complex domain specific languages
M Risoldi
PhD thesis, Université de Genève, 2010. Thesis, 2010
172010
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
A language and a methodology for prototyping user interfaces for control systems
M Risoldi, V Amaral, B Barroca, K Bazargan, D Buchs, F Cretton, ...
Human Machine Interaction: Research Results of the MMI Program, 221-248, 2009
72009
The system can't perform the operation now. Try again later.
Articles 1–20