homepages/21/782 journals/logcom/DastaniMG13 conf/dagstuhl/BroersenCEGGLPTTTS13 journals/aamas/GrossiT12 journals/jancl/Grossi12 conf/aamas/GrossiT12 conf/kr/Grossi12 journals/japll/Grossi11 conf/esslli/GrossiP11 conf/lori/Grossi11 conf/argmas/Grossi10 conf/atal/Grossi10 conf/atal/GrossiT10 conf/deon/BenthemGL10 conf/deon/TurriniGBM10 conf/atal/Grossi09 conf/iat/PenseriniDDAG09 conf/lori/AucherGHL09 conf/lori/GrossiV09 journals/ail/Vazquez-SalcedaAGD08 journals/japll/GrossiMD08 conf/deon/Grossi08 conf/jurix/BiagioliG08 conf/kramas/DastaniGMT08 conf/loft/Grossi08 conf/normas/GrossiGT08 journals/ail/GrossiRD07 conf/atal/GrossiDM07 conf/dagstuhl/GrossiMD07 journals/cmot/GrossiAVD06 journals/logcom/GrossiMD06 conf/atal/GrossiDDDR06 conf/csac/RoyakkersGD06 conf/deon/GrossiMD06 conf/atal/AldewereldGVD05 conf/atal/GrossiDDR05 conf/clima/GrossiDM05 conf/icail/GrossiMD05 conf/normas/GrossiAVD05 conf/clima/GrossiDM04 conf/deon/GrossiDRM04 conf/faabs/GrossiD04