Francisco Martins
Universidade dos Açores(PT)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Distributed systems and fault tolerance, Logic, programming, and type systems, Formal Methods in Verification, Service-Oriented Architecture and Web Services
Most-Cited Works
- → SCC: A Service Centered Calculus(2006)146 cited
- → Behavioral Types in Programming Languages(2016)104 cited
- → Disciplining Orchestration and Conversation in Service-Oriented Computing(2007)74 cited
- → Protocol-based verification of message-passing parallel programs(2015)48 cited
- → Modelling IoT behaviour within BPMN Business Processes(2017)39 cited
- → Internet of Things Aware WS-BPEL Business Processes Context Variables and Expected Exceptions(2020)27 cited
- → Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language(2010)24 cited
- → Using BPMN to model Internet of Things behavior within business process(2022)24 cited
- → Verification of MPI Programs Using Session Types(2012)23 cited