Concepedia

Author

Francisco Martins

University of LisbonORCID

Also Known As

Dulce Domingos, Einar Broch Johnsen, F. Martins, FELIPE SIMONSELOS MARTINS, Fabrízio Ramos Martins, Flavia Kublinski Martins, Francisco Leonardo Jales Martins, Francisco Martins, Francisco, Martins, Martins, Francisco

80

Publications

916

Citations

14

H-Index

51

Concepts

All Affiliations

University of LisbonImperial College LondonUniversidade do PortoUniversity of BolognaFlorida Institute of Technology
FM

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

11

14

332

2

Computer Science

11

14

332

3

Computer Engineering

8

8

192

4

Business

1

1

24

5

Communication

1

1

74

Francisco Martins

×

15

Publications

436

Citations

11

H-Index

YearCitations

Behavioral Types in Programming Languages

Davide Ancona, Viviana Bono, Mario Bravetti,

Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna)

2016

104

Disciplining Orchestration and Conversation in Service-Oriented Computing

Ivan Lanese, Francisco Martins, Vasco T. Vasconcelos,

2007

74

Protocol-based verification of message-passing parallel programs

Hugo A. López, Eduardo R. B. Marques, Francisco Martins,

2015

48

Modelling IoT behaviour within BPMN Business Processes

Francisco Martins, Dulce Domingos

Procedia Computer Science

2017

39

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

Using BPMN to model Internet of Things behavior within business process

Dulce Domingos, Francisco Martins

International journal of information systems and project management

2022

24

A model for terrain coverage inspired by ant's alarm pheromones

Ronaldo Menezes, Francisco Martins, Francisca Emanuelle Vieira,

2007

23

Dynamic deadlock verification for general barrier synchronisation

Tiago Cogumbreiro, Raymond Hu, Francisco Martins,

2015

21

Protocol-based verification of message-passing parallel programs

Hugo A. López, Eduardo R. B. Marques, Francisco Martins,

ACM SIGPLAN Notices

2015

14

Using genetic algorithms to generate test plans for functionality testing

Francisca Emanuelle Vieira, Francisco Martins, Rafael Silva,

2006

11

Page 1