The Impact of Linearity Information on the Performance of TyCO. - Francisco Martins; Luís M. B. Lopes; Vasco Thudichum Vasconcelos (TIP@MPC, 2002)

MiKO - Mikado Koncurrent Objects. - Francisco Martins; Liliana C. M. Salvador; Vasco Thudichum Vasconcelos; Luís M. B. Lopes (Foundations of Global Computing, 2005)

Computing with Idiotypic Networks. - Francisco Martins; Neva Slani (Intelligent Information Systems, 2005)

History-Based Access Control for Distributed Processes. - Francisco Martins; Vasco Thudichum Vasconcelos (TGC, 2005)

Using genetic algorithms to generate test plans for functionality testing. - Francisca Emanuelle Vieira; Francisco Martins; Rafael Silva; Ronaldo Menezes; Márcio Braga (ACM Southeast Regional Conference, 2006)

On the Idea of Using Nature-Inspired Metaphors to Improve Software Testing. - Francisca Emanuelle Vieira; Francisco Martins; Rafael Silva; Ronaldo Menezes; Márcio Braga (AIAI, 2006)

SCC: A Service Centered Calculus. - Michele Boreale; Roberto Bruni 001; Luís Caires; Rocco De Nicola; Ivan Lanese; Michele Loreti; Francisco Martins; Ugo Montanari; António Ravara; Davide Sangiorgi; Vasco Thudichum Vasconcelos; Gianluigi Zavattaro (WS-FM, 2006)

A Calculus for Sensor Networks - Miguel S. Silva; Francisco Martins; Luís M. B. Lopes; João Barros (CoRR, 2006)

A model for terrain coverage inspired by ant's alarm pheromones. - Ronaldo Menezes; Francisco Martins; Francisca Emanuelle Vieira; Rafael Silva; Márcio Braga (SAC, 2007)

Disciplining Orchestration and Conversation in Service-Oriented Computing. - Ivan Lanese; Francisco Martins; Vasco Thudichum Vasconcelos; António Ravara (SEFM, 2007)

A Formal Model for Programming Wireless Sensor Networks - Luís M. B. Lopes; Francisco Martins; Miguel S. Silva; João Barros (CoRR, 2007)

Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. - Luís Cruz-Filipe; Ivan Lanese; Francisco Martins; António Ravara; Vasco Thudichum Vasconcelos (FMOODS, 2008)

Compiling the pi-calculus into a Multithreaded Typed Assembly Language. - Tiago Cogumbreiro; Francisco Martins; Vasco Thudichum Vasconcelos (PLACES@DisCoTec, 2008)

Programming Wireless Sensor Networks. - Luís M. B. Lopes; Francisco Martins; João Barros (Middleware for Network Eccentric and Mobile Applications, 2009)

Towards the Safe Programming of Wireless Sensor Networks - Francisco Martins; Luís M. B. Lopes; João Barros (PLACES, 2009)

Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language - Vasco Thudichum Vasconcelos; Francisco Martins; Tiago Cogumbreiro (PLACES, 2009)

Ad-hoc changes in IoT-aware business processes. - Dulce Domingos; Francisco Martins; Ricardo Martinho 001; Mário J. Silva (IOT, 2010)

Integrating WSN Simulation into Workflow Testing and Execution. - Duarte Vieira; Francisco Martins (S-CUBE, 2010)

Types for X10 Clocks - Francisco Martins; Vasco Thudichum Vasconcelos; Tiago Cogumbreiro (PLACES, 2010)

Verification of MPI Programs Using Session Types. - Kohei Honda 001; Eduardo R. B. Marques; Francisco Martins; Nicholas Ng; Vasco Thudichum Vasconcelos; Nobuko Yoshida (EuroMPI, 2012)

Coordinating Phased Activities while Maintaining Progress. - Tiago Cogumbreiro; Francisco Martins; Vasco Thudichum Vasconcelos (COORDINATION, 2013)

Internet of Things Aware WS-BPEL Business Process. - Dulce Domingos; Francisco Martins; Carlos Cândido (ICEIS (2), 2013)

Concurrent typed intermediate language. - L. Miguel Lourenço; João Costa Seco; Francisco Martins (SAC, 2013)

Towards deductive verification of MPI programs against session types. - Eduardo R. B. Marques; Francisco Martins; Vasco T. Vasconcelos; Nicholas Ng; Nuno Martins (PLACES, 2013)

Cooperari: a tool for cooperative testing of multithreaded Java programs. - Eduardo R. B. Marques; Francisco Martins; Miguel Simões (PPPJ, 2014)

Decentralising Internet of Things Aware BPMN Business Processes. - Dulce Domingos; Francisco Martins; Lara Caiola (S-CUBE, 2014)

Homogeneous Wireless Sensor Network Programming using MuFFIN. - Rui Pires; Francisco Martins; Dulce Domingos (SENSORNETS, 2014)

The stream-based service-centred calculus: a foundation for service-oriented programming. - Luís Cruz-Filipe; Ivan Lanese; Francisco Martins; António Ravara; Vasco Thudichum Vasconcelos (Formal Aspects Comput., 2014)

Internet of Things Aware WS-BPEL Business Processes Context Variables and Expected Exceptions. - Dulce Domingos; Francisco Martins; Carlos Cândido; Ricardo Martinho 001 (J. Univers. Comput. Sci., 2014)

Protocol-based verification of message-passing parallel programs. - Hugo A. López 001; Eduardo R. B. Marques; Francisco Martins; Nicholas Ng; César Santos; Vasco Thudichum Vasconcelos; Nobuko Yoshida (OOPSLA, 2015)

NVL: a coordination language for unmanned vehicle networks. - Eduardo R. B. Marques; Manuel A. Ribeiro; José Pinto 001; João B. Sousa; Francisco Martins (SAC, 2015)

Deductive Verification of Parallel Programs Using Why3. - César Santos; Francisco Martins; Vasco Thudichum Vasconcelos (ICE, 2015)

Behavioral Types in Programming Languages. - Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos 002; Giuseppe Castagna; Pierre-Malo Deniélou; Simon J. Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; et al. (Found. Trends Program. Lang., 2016)

A safe-by-design programming language for wireless sensor networks. - Luís M. B. Lopes; Francisco Martins (J. Syst. Archit., 2016)

Inferring Types for Parallel Programs. - Francisco Martins; Vasco Thudichum Vasconcelos; Hans Hüttel (PLACES@ETAPS, 2017)

Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers. - Tiago Cogumbreiro; Rishi Surendran; Francisco Martins; Vivek Sarkar; Vasco T. Vasconcelos; Max Grossman (Proc. ACM Program. Lang., 2017)

HeadREST: A Specification Language for RESTful APIs. - Vasco T. Vasconcelos; Francisco Martins; Antónia Lopes; Nuno Burnay (Models, Languages, and Tools for Concurrent and Distributed Programming, 2019)

Automatic Decomposition of IoT Aware Business Processes - a Pattern Approach. - Dulce Domingos; Ana Respício; Francisco Martins; Breno Melo (CENTERIS/ProjMAN/HCist, 2019)

Automatic Decomposition of IoT Aware Business Processes with Data and Control Flow Distribution. - Francisco Martins; Dulce Domingos; Daniel Vitoriano (ICEIS (2), 2019)

A Graph Pattern Based Approach for Automatic Decomposition of IoT Aware Business Processes. - Francisco Martins; Dulce Domingos; Daniel Vitoriano (ICEIS (Revised Selected Papers), 2019)

Teaching Web Programming Using the MEAN Stack. - Luís Mendes Gomes; Francisco Martins; Hélia Guerra (ICL (2), 2019)

Dynamic Deadlock Verification for General Barrier Synchronisation. - Tiago Cogumbreiro; Raymond Hu; Francisco Martins; Nobuko Yoshida (ACM Trans. Program. Lang. Syst., 2019)

A Type Discipline for Message Passing Parallel Programs. - Vasco T. Vasconcelos; Francisco Martins; Hugo-Andrés López 001; Nobuko Yoshida (ACM Trans. Program. Lang. Syst., 2022)

Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. - Carlos Mão de Ferro; Tiago Cogumbreiro; Francisco Martins (COORDINATION, 2023)

Formalizing Model Inference of MicroPython. - Carlos Mão de Ferro; Tiago Cogumbreiro; Francisco Martins (DSN-W, 2023)

Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software. - Carlos Mão de Ferro; Anastasia Mavridou; Michael Dille; Francisco Martins (DSN-W, 2023)

Emerging Technologies to Promote Fans Interaction in Football Events: A Systematic Review. - Francisco Martins; A. César C. França; Pedro Paixão; Diogo V. Martinho; Pedro F. Campos; Tatiana B. Gouveia; Helder Lopes; Andreas Ihle; Eduardo R. B. Marques; Élvio Rúbio Gouveia (Adv. Hum. Comput. Interact., 2023)

System for Estimation of Human Anthropometric Parameters Based on Data from Kinect v2 Depth Camera. - Tomasz Krzeszowski; Bartosz Dziadek; Cíntia França; Francisco Martins; Élvio Rúbio Gouveia; Krzysztof Przednowek (Sensors, 2023)