| SCC: a service centered calculus M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ... Web services and formal methods, 38-57, 2006 | 208 | 2006 |
| Behavioral types in programming languages D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ... Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016 | 196 | 2016 |
| Disciplining orchestration and conversation in service-oriented computing I Lanese, VT Vasconcelos, F Martins, A Ravara Software Engineering and Formal Methods, 2007. SEFM 2007. Fifth IEEE …, 2007 | 113 | 2007 |
| Protocol-based verification of message-passing parallel programs HA López, ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, ... Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015 | 70 | 2015 |
| Modelling IoT behaviour within BPMN business processes F Martins, D Domingos Procedia computer science 121, 1014-1022, 2017 | 55 | 2017 |
| Using BPMN to model Internet of Things behavior within business process D Domingos, F Martins International Journal of Information Systems and Project Management 5 (4), 39-51, 2017 | 42 | 2017 |
| Type inference for deadlock detection in a multithreaded polymorphic typed assembly language VT Vasconcelos, F Martins, T Cogumbreiro arXiv preprint arXiv:1002.0942, 2010 | 42 | 2010 |
| Internet of Things Aware WS-BPEL Business Processes Context Variables and Expected Exceptions. D Domingos, F Martins, C Candido, R Martinho J. Univers. Comput. Sci. 20 (8), 1109-1129, 2014 | 36 | 2014 |
| A middleware framework for the internet of things B Valente, F Martins Proceedings of the 3rd International Conference on Advances in Future …, 2011 | 29 | 2011 |
| Dynamic deadlock verification for general barrier synchronisation T Cogumbreiro, R Hu, F Martins, N Yoshida ACM SIGPLAN Notices 50 (8), 150-160, 2015 | 28 | 2015 |
| Verification of MPI programs using session types K Honda, E Marques, F Martins, N Ng, V Vasconcelos, N Yoshida Recent Advances in the Message Passing Interface, 291-293, 2012 | 28 | 2012 |
| Towards the safe programming of wireless sensor networks F Martins, L Lopes, J Barros arXiv preprint arXiv:1002.0937, 2010 | 28 | 2010 |
| An evaluation of LoRa communication range in urban and forest areas: A case study in brazil and portugal MR Villarim, JVH de Luna, D de Farias Medeiros, RIS Pereira, ... 2019 IEEE 10th Annual Information Technology, Electronics and Mobile …, 2019 | 26 | 2019 |
| Towards deductive verification of MPI programs against session types ERB Marques, F Martins, VT Vasconcelos, N Ng, N Martins arXiv preprint arXiv:1312.2705, 2013 | 26 | 2013 |
| A multithreaded typed assembly language VT Vasconcelos, F Martins Proceedings of TV 6, 133-141, 2006 | 19 | 2006 |
| A safe-by-design programming language for wireless sensor networks L Lopes, F Martins Journal of Systems Architecture 63, 16-32, 2016 | 17 | 2016 |
| Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers T Cogumbreiro, R Surendran, F Martins, V Sarkar, VT Vasconcelos, ... Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-26, 2017 | 16 | 2017 |
| Deductive verification of parallel programs using Why3 C Santos, F Martins, VT Vasconcelos arXiv preprint arXiv:1508.04856, 2015 | 16 | 2015 |
| Programming Wireless Sensor Networks L Lopes, F Martins, J Barros Middleware for Network Eccentric and Mobile Applications, 25-41, 2009 | 16* | 2009 |
| A process calculus approach to sensor network programming L Lopes, F Martins, MS Silva, J Barros Sensor Technologies and Applications, 2007. SensorComm 2007. International …, 2007 | 16 | 2007 |
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
