default search action
Francisco Martins
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j9]Francisco Martins
, A. César C. França, Pedro Paixão, Diogo V. Martinho, Pedro F. Campos
Emerging Technologies to Promote Fans Interaction in Football Events: A Systematic Review. Adv. Hum. Comput. Interact. 2023: 6667260:1-6667260:13 (2023) - [j8]Tomasz Krzeszowski
System for Estimation of Human Anthropometric Parameters Based on Data from Kinect v2 Depth Camera. Sensors 23(7): 3459 (2023) - [c36]Carlos Mão de Ferro
Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems. COORDINATION 2023: 93-114 - [c35]Carlos Mão de Ferro, Anastasia Mavridou, Michael Dille, Francisco Martins:
Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software. DSN-W 2023: 263-266 - [c34]Carlos Mão de Ferro, Tiago Cogumbreiro, Francisco Martins:
Formalizing Model Inference of MicroPython. DSN-W 2023: 283-289 - 2022
- [j7]Vasco T. Vasconcelos
A Type Discipline for Message Passing Parallel Programs. ACM Trans. Program. Lang. Syst. 44(4): 26:1-26:55 (2022)
2010 – 2019
- 2019
- [j6]Tiago Cogumbreiro
Dynamic Deadlock Verification for General Barrier Synchronisation. ACM Trans. Program. Lang. Syst. 41(1): 1:1-1:38 (2019) - [c33]Vasco T. Vasconcelos
HeadREST: A Specification Language for RESTful APIs. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 428-434 - [c32]Dulce Domingos
Automatic Decomposition of IoT Aware Business Processes - a Pattern Approach. CENTERIS/ProjMAN/HCist 2019: 313-320 - [c31]Francisco Martins
A Graph Pattern Based Approach for Automatic Decomposition of IoT Aware Business Processes. ICEIS (Revised Selected Papers) 2019: 498-513 - [c30]Francisco Martins, Dulce Domingos, Daniel Vitoriano:
Automatic Decomposition of IoT Aware Business Processes with Data and Control Flow Distribution. ICEIS (2) 2019: 516-524 - [c29]Luís Mendes Gomes, Francisco Martins, Hélia Guerra:
Teaching Web Programming Using the MEAN Stack. ICL (2) 2019: 256-262 - [e2]Francisco Martins, Dominic Orchard:
Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2019, Prague, Czech Republic, 7th April 2019. EPTCS 291, 2019 [contents] - 2017
- [j5]Tiago Cogumbreiro
Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers. Proc. ACM Program. Lang. 1(OOPSLA): 103:1-103:26 (2017) - [c28]Francisco Martins
Inferring Types for Parallel Programs. PLACES@ETAPS 2017: 28-36 - 2016
- [j4]Davide Ancona, Viviana Bono
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3(2-3): 95-230 (2016) - [j3]Luís M. B. Lopes, Francisco Martins
A safe-by-design programming language for wireless sensor networks. J. Syst. Archit. 63: 16-32 (2016) - 2015
- [c27]Hugo A. López
Protocol-based verification of message-passing parallel programs. OOPSLA 2015: 280-298 - [c26]Tiago Cogumbreiro
Dynamic deadlock verification for general barrier synchronisation. PPoPP 2015: 150-160 - [c25]Eduardo R. B. Marques
NVL: a coordination language for unmanned vehicle networks. SAC 2015: 331-334 - [c24]César Santos, Francisco Martins
Deductive Verification of Parallel Programs Using Why3. ICE 2015: 128-142 - 2014
- [j2]Luís Cruz-Filipe
The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Aspects Comput. 26(5): 865-918 (2014) - [j1]Dulce Domingos, Francisco Martins, Carlos Cândido, Ricardo Martinho
Internet of Things Aware WS-BPEL Business Processes Context Variables and Expected Exceptions. J. Univers. Comput. Sci. 20(8): 1109-1129 (2014) - [c23]Eduardo R. B. Marques
Cooperari: a tool for cooperative testing of multithreaded Java programs. PPPJ 2014: 200-206 - [c22]Dulce Domingos
Decentralising Internet of Things Aware BPMN Business Processes. S-CUBE 2014: 110-119 - [c21]Rui Pires, Francisco Martins, Dulce Domingos:
Homogeneous Wireless Sensor Network Programming using MuFFIN. SENSORNETS 2014: 127-132 - 2013
- [c20]Tiago Cogumbreiro
Coordinating Phased Activities while Maintaining Progress. COORDINATION 2013: 31-44 - [c19]Dulce Domingos, Francisco Martins, Carlos Cândido:
Internet of Things Aware WS-BPEL Business Process. ICEIS (2) 2013: 505-512 - [c18]L. Miguel Lourenço, João Costa Seco
Concurrent typed intermediate language. SAC 2013: 1587-1588 - [c17]Eduardo R. B. Marques
Towards deductive verification of MPI programs against session types. PLACES 2013: 103-113 - 2012
- [c16]Kohei Honda, Eduardo R. B. Marques
Verification of MPI Programs Using Session Types. EuroMPI 2012: 291-293 - [e1]Francisco Martins, Luís M. B. Lopes, Hervé Paulino
Sensor Systems and Software - Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 102, Springer 2012, ISBN 978-3-642-32777-3 [contents] - 2010
- [c15]Dulce Domingos
Ad-hoc changes in IoT-aware business processes. IOT 2010 - [c14]Duarte Vieira, Francisco Martins
Integrating WSN Simulation into Workflow Testing and Execution. S-CUBE 2010: 205-218 - [c13]Francisco Martins, Vasco Thudichum Vasconcelos, Tiago Cogumbreiro
Types for X10 Clocks. PLACES 2010: 111-129
2000 – 2009
- 2009
- [c12]Francisco Martins
Towards the Safe Programming of Wireless Sensor Networks. PLACES 2009: 49-62 - [c11]Vasco Thudichum Vasconcelos, Francisco Martins
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language. PLACES 2009: 95-109 - [p1]Luís M. B. Lopes, Francisco Martins
Programming Wireless Sensor Networks. Middleware for Network Eccentric and Mobile Applications 2009: 25-41 - 2008
- [c10]Luís Cruz-Filipe
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. FMOODS 2008: 59-77 - [c9]Tiago Cogumbreiro
Compiling the pi-calculus into a Multithreaded Typed Assembly Language. PLACES@DisCoTec 2008: 57-84 - 2007
- [c8]Ronaldo Menezes
A model for terrain coverage inspired by ant's alarm pheromones. SAC 2007: 728-732 - [c7]Ivan Lanese
Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM 2007: 305-314 - [i3]Luís M. B. Lopes, Francisco Martins, Miguel S. Silva, João Barros:
A Formal Model for Programming Wireless Sensor Networks. CoRR abs/cs/0702042 (2007) - 2006
- [c6]Francisca Emanuelle Vieira, Francisco Martins, Rafael Silva, Ronaldo Menezes
Using genetic algorithms to generate test plans for functionality testing. ACM Southeast Regional Conference 2006: 140-145 - [c5]Francisca Emanuelle Vieira, Francisco Martins, Rafael Silva, Ronaldo Menezes
On the Idea of Using Nature-Inspired Metaphors to Improve Software Testing. AIAI 2006: 541-548 - [c4]Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola
SCC: A Service Centered Calculus. WS-FM 2006: 38-57 - [i2]Miguel S. Silva, Francisco Martins, Luís M. B. Lopes, João Barros:
A Calculus for Sensor Networks. CoRR abs/cs/0612093 (2006) - 2005
- [c3]Francisco Martins, Neva Slani:
Computing with Idiotypic Networks. Intelligent Information Systems 2005: 673-684 - [c2]Francisco Martins
History-Based Access Control for Distributed Processes. TGC 2005: 98-115 - [i1]Francisco Martins, Liliana C. M. Salvador, Vasco Thudichum Vasconcelos, Luís M. B. Lopes:
MiKO - Mikado Koncurrent Objects. Foundations of Global Computing 2005 - 2002
- [c1]Francisco Martins
The Impact of Linearity Information on the Performance of TyCO. TIP@MPC 2002: 41-60
Coauthor Index
aka: Vasco T. Vasconcelos
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: