Tahiry M. Rabehaja
发表
Vijay Varadharajan,
Michael Hitchens,
Shantanu Pal,
2019,
J. Netw. Comput. Appl..
Vijay Varadharajan,
Michael Hitchens,
Shantanu Pal,
2018,
2018 IEEE 19th International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM).
Vijay Varadharajan,
Michael Hitchens,
Shantanu Pal,
2018,
EAI Endorsed Trans. Ind. Networks Intell. Syst..
Georg Struth,
Annabelle McIver,
Tahiry M. Rabehaja,
2011,
RAMiCS.
Georg Struth,
Annabelle McIver,
Tahiry M. Rabehaja,
2018,
Theor. Comput. Sci..
Georg Struth,
Annabelle McIver,
Tahiry M. Rabehaja,
2013,
QAPL.
Georg Struth,
Annabelle McIver,
Tahiry M. Rabehaja,
2013,
ArXiv.
Annabelle McIver,
Carroll Morgan,
Tahiry M. Rabehaja,
2019,
J. Log. Algebraic Methods Program..
Jeff W. Sanders,
Tahiry M. Rabehaja,
2009,
Electron. Notes Theor. Comput. Sci..
Annabelle McIver,
Carroll Morgan,
Tahiry M. Rabehaja,
2017,
J. Inf. Secur. Appl..
Annabelle McIver,
Carroll Morgan,
Tahiry M. Rabehaja,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Annabelle McIver,
Carroll Morgan,
Tahiry M. Rabehaja,
2017,
FORTE.
Georg Struth,
Annabelle McIver,
Tahiry M. Rabehaja,
2016,
ICTAC.
Vijay Varadharajan,
Michael Hitchens,
Shantanu Pal,
2020,
IEEE Internet of Things Journal.
Georg Struth,
Annabelle McIver,
Tahiry M. Rabehaja,
2013,
LPAR.
Georg Struth,
Annabelle McIver,
Tahiry M. Rabehaja,
2016,
Theor. Comput. Sci..
Michael Hitchens,
Shantanu Pal,
Tahiry M. Rabehaja,
2019,
Future Gener. Comput. Syst..
Annabelle McIver,
Carroll Morgan,
Tahiry M. Rabehaja,
2017,
RAMiCS.
Vijay Varadharajan,
Michael Hitchens,
Shantanu Pal,
2017,
MobiQuitous.
Georg Struth,
Annabelle McIver,
Carroll Morgan,
2019,
The Art of Modelling Computational Systems.
Jeff W. Sanders,
Tahiry M. Rabehaja,
2009,
2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
Annabelle McIver,
Carroll Morgan,
Tahiry M. Rabehaja,
2016,
ArXiv.
Vijay Varadharajan,
Michael Hitchens,
Shantanu Pal,
2020,
IEEE Transactions on Industrial Informatics.