关注
Matteo Risoldi
Matteo Risoldi
Executive director, Waystone Fund Services (Switzerland) SA
在 waystone.com 的电子邮件经过验证
标题
引用次数
引用次数
年份
The CMS experiment at the CERN LHC
CMS Collaboration, R Adolphi
Jinst 3 (08), S08004, 2008
24113*2008
CMS physics technical design report, volume II: physics performance
CMS collaboration
Journal of Physics G: Nuclear and Particle Physics 34 (6), 995, 2007
3267*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
932011
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
CMS physics: technical design report volume 2: physics performance
GL Bayatian, A Korablev, A Soha, O Sharif, M Chertok, W Mitaroff, ...
J. Phys. G 34 (CERN-LHCC-2006-021), 995-1579, 2007
342007
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
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
262009
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
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
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
162011
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
系统目前无法执行此操作,请稍后再试。
文章 1–20