| The CMS experiment at the CERN LHC CMS Collaboration, R Adolphi Jinst 3 (08), S08004, 2008 | 23322* | 2008 |
| The CMS experiment at the CERN LHC S Chatrchyan, G Hmayakyan, V Khachatryan, AM Sirunyan, W Adam, ... IOP Publishing Ltd, 2008 | 2413 | 2008 |
| CMS physics technical design report, volume II: physics performance CMS collaboration Journal of Physics G: Nuclear and Particle Physics 34 (6), 995, 2007 | 1744* | 2007 |
| CMS physics technical design report, volume II: Physics performance GL Bayatian, S Chatrchyan, G Hmayakyan, AM Sirunyan, W Adam, ... Journal of Physics G: Nuclear and Particle Physics 34 (6), 995-1579, 2007 | 1244* | 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 | 370* | 2006 |
| 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 | 208 | 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 | 182 | 2007 |
| 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 | 88 | 2011 |
| 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 | 82 | 2015 |
| 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 | 45 | 2011 |
| 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 | 32 | 2010 |
| 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 | 24 | 2009 |
| 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 | 20 | 2010 |
| 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 | 18 | 2005 |
| Adaptive, dynamic, and resilient systems N Suri, G Cabri CRC Press, 2014 | 14 | 2014 |
| Self-organising pervasive ecosystems: A crowd evacuation example S Montagna, M Viroli, M Risoldi, D Pianini, GDM Serugendo International Workshop on Software Engineering for Resilient Systems, 115-129, 2011 | 14 | 2011 |
| A methodology for the development of complex domain specific languages M Risoldi PhD thesis, Université de Genève, 2010. Thesis, 2010 | 14 | 2010 |
| 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 | 13 | 2010 |
| 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 | 13 | 2007 |
| 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 | 11 | 2011 |
Didier BuchsProfessor of Computer Science, Geneva UniversityVerified email at unige.ch
