Fatemeh Kazemeyni

According to our database¹, Fatemeh Kazemeyni authored at least 7 papers between 2010 and 2013.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2013

Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, 2013

Learning-based routing in mobile wireless sensor networks: Applying formal modeling and analysis.

[BibT_eX]

[DOI]

Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

2012

Formal modeling and validation of a power-efficient grouping protocol for WSNs.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2012

MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010

Models of Rate Restricted Communication for Concurrent Objects.

[BibT_eX]

[DOI]

Rudolf Schlatte

Einar Broch Johnsen

Fatemeh Kazemeyni

Silvia Lizeth Tapia Tarifa

Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 2010

Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2010

Fatemeh Kazemeyni

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...