Changes for page Research Activity
From version 2.1
edited by Andrea Omicini
on 17/12/2020 09:37
on 17/12/2020 09:37
Change comment:
There is no comment for this version
To version 3.1
edited by Andrea Omicini
on 28/12/2021 00:14
on 28/12/2021 00:14
Change comment:
There is no comment for this version
Summary
-
Page properties (3 modified, 0 added, 0 removed)
Details
- Page properties
-
- Title
-
... ... @@ -1,1 +1,0 @@ 1 -Research Activity - Syntax
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki 1.01 +XWiki 2.1 - Content
-
... ... @@ -1,30 +1,28 @@ 1 - #includeMacros("MatteoCasadei.MacroSheet")1 += Research Activity = 2 2 3 -1 Research Activity 4 - 5 -Matteo Casadei's research interests are mainly focused on the following areas: 3 +{{include reference="Environment"/}} 6 6 7 - *Exact and approximateprobabilisticmodelcheckingtechniquesforverificationofself-organizing,pervasive,and mobilesystems.5 + Matteo Casadei's research interests are mainly focused on the following areas: 8 8 7 +* Exact and approximate probabilistic model checking techniques for verification of self-organizing, pervasive, and mobile systems. 9 9 * Ecology-inspired approaches to building middleware for pervasive service ecosystems. 10 - 11 11 * Chemical-inspired coordination models. 12 - 13 13 * Self-organizing approaches for service-oriented architectures and pervasive environments. 14 - 15 15 * Formal modelling and simulation of complex systems and programming languages. 16 - 17 17 * Study of coordination issues in (complex) distributed systems. 18 - 19 19 * Study and engineering of self-organizing techniques for solving complex problems on distributed systems. 20 - 21 21 * Engineering of (complex) distributed systems, in particular Multi-Agent Systems (MAS). 22 22 23 -1.1 Reviewer Activity 16 +== Reviewer Activity == 17 + 18 +{{html clean="false" wiki="true"}} 24 24 25 25 Matteo Casadei is serving as a reviewer of the following international journals: 26 26 <div align="left"> 27 -* [Journal of Autonomous Agents and Multi-Agent Systems > http://www.springer.com/computer/ai/journal/10458]<br/> <em>Published by </em>[Springer > http://www.springer.com] 28 -* [ACM Transactions on Autonomous and Adaptive Systems > http://taas.acm.org/]<br/> <em>Published by </em>[ACM > http://http://www.acm.org/] 29 -* [Pervasive and Mobile Computing > http://www.elsevier.com/wps/find/journaldescription.cws_home/704220/description#description]<br/><em>Published by </em>[Elsevier > http://www.elsevier.com] 22 + 23 +* [[Journal of Autonomous Agents and Multi-Agent Systems>>http://www.springer.com/computer/ai/journal/10458]]<br/> <em>Published by </em>[[Springer>>http://www.springer.com]] 24 +* [[ACM Transactions on Autonomous and Adaptive Systems>>http://taas.acm.org/]]<br/> <em>Published by </em>[[ACM>>http://http://www.acm.org/]] 25 +* [[Pervasive and Mobile Computing>>http://www.elsevier.com/wps/find/journaldescription.cws_home/704220/description#description]]<br/><em>Published by </em>[[Elsevier>>http://www.elsevier.com]] 26 +<p/> 30 30 </div> 28 +{{/html}}