Alaeddine Saadaoui

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 2

Top Topics

Web Service Compositions

Decision Procedures

Top Venues

Arch. Math. Log.

Publications

Alaeddine Saadaoui, Stephen L. Scott
Lightweight Web Services Migration Framework in Hybrid Clouds. CIC (2018)
Alaeddine Saadaoui, Stephen L. Scott
Web Services Policy Generation Based on SLA Requirements. CIC (2017)
Carl Mummert, Alaeddine Saadaoui, Sean Sovine
The modal logic of Reverse Mathematics. Arch. Math. Log. 54 (3-4) (2015)
Carl Mummert, Alaeddine Saadaoui, Sean Sovine
The modal logic of Reverse Mathematics. CoRR (2014)