Changes for page Research Activity

From version 1.1
edited by Matteo Casadei
on 16/12/2020 14:34
Change comment: Imported from XAR
To version 3.1
edited by Andrea Omicini
on 28/12/2021 00:14
Change comment: There is no comment for this version

Summary

Details

Page properties
Title
... ... @@ -1,1 +1,0 @@
1 -Research Activity
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.MCasadei
1 +XWiki.AndreaOmicini
Syntax
... ... @@ -1,1 +1,1 @@
1 -XWiki 1.0
1 +XWiki 2.1
Content
... ... @@ -1,28 +1,28 @@
1 -1.1 Research Activity
2 -
3 -Matteo Casadei's research interests are mainly focused on the following areas:
1 += Research Activity =
4 4  
5 -* Exact and approximate probabilistic model checking techniques for verification of self-organizing, pervasive, and mobile systems.
3 +{{include reference="Environment"/}}
6 6  
7 -* Ecology-inspired approaches to building middleware for pervasive service ecosystems.
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.
8 +* Ecology-inspired approaches to building middleware for pervasive service ecosystems.
9 9  * Chemical-inspired coordination models.
10 -
11 11  * Self-organizing approaches for service-oriented architectures and pervasive environments.
12 -
13 13  * Formal modelling and simulation of complex systems and programming languages.
14 -
15 15  * Study of coordination issues in (complex) distributed systems.
16 -
17 17  * Study and engineering of self-organizing techniques for solving complex problems on distributed systems.
18 -
19 19  * Engineering of (complex) distributed systems, in particular Multi-Agent Systems (MAS).
20 20  
21 -1.1 Reviewer Activity
16 +== Reviewer Activity ==
17 +
18 +{{html clean="false" wiki="true"}}
22 22  
23 23  Matteo Casadei is serving as a reviewer of the following international journals:
24 24  <div align="left">
25 -* [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]
26 -* [ACM Transactions on Autonomous and Adaptive Systems > http://taas.acm.org/]<br/> <em>Published by </em>[ACM > http://http://www.acm.org/]
27 -* [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/>
28 28  </div>
28 +{{/html}}
Avatar