Go to Header
Go to Navigation
Go to Content
Go to Footer
Research
Directory description
Login
Accessibility
På svenska
Artur
About Artur
Artur
»
List of persons
»
Mojgan Kamali
Home
Publications
Persons
Activities
Organisations
Areas
Peer-reviewed publications
A4 Conference proceedings
Adaptive Formal Framework for WMN Routing Protocols
(
2018
)
Mojgan Kamali, Ansgar Fehnker
Springer
View on publisher's site
A4 Conference proceedings
AODVv2: Performance vs. Loop Freedom
(
2018
)
Mojgan Kamali, Massimo Merro, Alice Dal Corso
Springer
View on publisher's site
A4 Conference proceedings
Uppaal vs Event-B for Modelling Optimised Link State Routing
(
2017
)
Mojgan Kamali, Luigia Petre
Springer
View on publisher's site
A4 Conference proceedings
Modelling Link State Routing in Event-B
(
2016
)
Mojgan Kamali, Luigia Petre
IEEE
View on publisher's site
A4 Conference proceedings
Comparing Routing Protocols
(
2015
)
Mojgan Kamali, Luigia Petre
IEEE
View on publisher's site
A4 Conference proceedings
Formal Analysis of Proactive, Distributed Routing
(
2015
)
Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre
Lecture Notes in Computer Science
Springer
View on publisher's site
A4 Conference proceedings
Improved Recovery for Proactive, Distributed Routing
(
2015
)
Mojgan Kamali, Luigia Petre
IEEE
View on publisher's site
Other publications
D4 Published development or research report or study
AODVv2: Performance vs. Loop Freedom
(
2017
)
Mojgan Kamali, Massimo Merro, Alice Dal Corso
D4 Published development or research report or study
Modelling Link State Routing in Event-B
(
2016
)
Mojgan Kamali, Luigia Petre
D4 Published development or research report or study
Uppaal vs Event-B for Modelling Optimised Link State Routing
(
2016
)
Mojgan Kamali, Luigia Petre
D4 Published development or research report or study
Improved Recovery for Proactive, Distributed Routing
(
2015
)
Mojgan Kamali, Luigia Petre
D4 Published development or research report or study
Formally Analyzing Proactive, Distributed Routing
(
2014
)
Mojgan Kamali, Maryam Kamali, Luigia Petre
Share link
Get in contact
Last updated on 2019-01-03 at 08:08