Concepedia

Francisco Martins

FM

15

Publications

436

Citations

11

H-Index

2006

Active since

Affiliations

University of Lisbon(Current)

Imperial College London

Universidade do Porto

University of Bologna

Florida Institute of Technology

Francisco Martins is an author at University of Lisbon specializing in computer science, engineering, and formal verification.

ORCID

Top concepts

Publications per year

2006–2022

15

Publications

15

Behavioral Types in Programming Languages

Davide Ancona, Viviana Bono, Mario Bravetti et al. · Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna) · 2016 · 104 citations · Full text

Disciplining Orchestration and Conversation in Service-Oriented Computing

Ivan Lanese, Francisco Martins, Vasco T. Vasconcelos et al. · 2007 · 74 citations

, , +15

Protocol-based verification of message-passing parallel programs

Hugo A. López, Eduardo R. B. Marques, Francisco Martins et al. · 2015 · 48 citations

, , +18

Modelling IoT behaviour within BPMN Business Processes

Francisco Martins, Dulce Domingos · Procedia Computer Science · 2017 · 39 citations · Full text

, , +19

Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language

Vasco T. Vasconcelos, Francisco Martins, Tiago Cogumbreiro · Electronic Proceedings in Theoretical Computer Science · 2010 · 24 citations · Full text

, , +21

Rows per page

1–5 of 15