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. |
|
11 |
|
Abebe, A. (2013). Concept-based Amharic Documents Similarity (CADS) (Doctoral dissertation, Addis Ababa University). |
|
12 |
|
Sharma, V., & Sarkar, I. N. (2013). Bioinformatics opportunities for identification and study of medicinal plants. Briefings in bioinformatics, 14(2), 238-250. |
|
13 |
|
Nemade, S. N., & Kolte, M. T. (2013). Non Iterative Algorithm for Multi-user Detection in DS-CDMA System: An Enhanced Harmony Search Algorithm. International Journal of Computer Applications, 72(7). |
|
14 |
|
Copello, E. (2012). Inferencia de tipos de sesión (Doctoral dissertation, Master’s thesis, Universidad ORT Uruguay). |
|
15 |
|
Jairath, A., & Shah, S. K. (2012). Design & implementation of FPGA based digital filters. International Journal of Advanced Research in Computer Engineering & Technology (IJARCET), 1(7), pp-199. |
|
|
|
