SR |
M-CODE |
CITATION |
|
1 |
|
Bjerregaard, M. O., Poulsen, N. S., & Wahl, S. (2016, May). Type Inference for Session Types in the π-calculus. In Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revise |
|
2 |
|
Hüttel, H., Lanese, I., Vasconcelos, V. T., Caires, L., Carbone, M., Deniélou, P. M., ... & Vieira, H. T. (2016). Foundations of session types and behavioural contracts. ACM Computing Surveys (CSUR), 49(1), 3. |
|
3 |
|
Antunes, F., Freire, M., & Costa, J. P. (2015). Semantic web and decision support systems. Journal of Decision Systems, 1-15. |
|
4 |
|
Chauhan, S., Kumar, V., & Kanwar, V. Multi user detection techniques for ds-cdma. |
|
5 |
|
Chauhan, S., Kumar, V., & Kanwar, V. Multi user detection for ds-cdma system using artificial neural network (ann) with mmse. |
|
6 |
|
Lanese, I., Vasconcelos, V. T., Caires, L., Carbone, M., Deniélou, P. M., Mostrous, D., ... & Zavattaro, G. Hans Hüttel, Aalborg University. |
|
7 |
|
Sheeba, A., & Arumugam, C. (2014). User-Centric Design for Mathematical Web Services. Advances in Human-Computer Interaction, 2014. |
|
8 |
|
Graversen, E. F., Harbo, J. B., Hüttel, H., Bjerregaard, M. O., Poulsen, N. S., & Wahl, S. (2014). Type Inference for Session Types in the pi-calculus. In Web Services, Formal Methods, and Behavioral Types (pp. 103-121). Springer International Publishing. |
|
9 |
|
Antunes, F., Freire, M., & Costa, J. P. (2014). Semantic Web Tools and Decision-Making. In Group Decision and Negotiation. A Process-Oriented View (pp. 270-277). Springer International Publishing. |
|
10 |
|
Jali, N., Greer, D., & Hanna, P. (2014, September). Class Responsibility Assignment (CRA) for Use Case Specification to Sequence Diagrams (UC2SD). In Software Engineering Conference (MySEC), 2014 8th Malaysian (pp. 13-18). IEEE. |
|
|
|
