Concetta Pilotto
According to our database1,
Concetta Pilotto
authored at least 13 papers
between 2005 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
2005
2006
2007
2008
2009
2010
2011
0
1
2
3
4
2
1
2
2
1
1
3
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
Innov. Syst. Softw. Eng., 2011
Formal Aspects Comput., 2011
2010
Verification of Faulty Message Passing Systems with Continuous State Space in PVS.
Proceedings of the Second NASA Formal Methods Symposium, 2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
2009
Proceedings of the American Control Conference, 2009
2008
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008
2006
Proceedings of the 1st International ICST Conference on Nano-Networks, 2006
Algorithms for the selection of the active sensors in distributed tracking: comparison between Frisbee and GNS methods.
Proceedings of the 9th International Conference on Information Fusion, 2006
Proceedings of the 9th International Conference on Information Fusion, 2006
2005
Inf. Process. Lett., 2005