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
Other persons with a similar name
- Rui Francisco Martins Marçal
- Francisco A. Martins
- Francisco F. Martins
- Francisco Leonardo Jales Martins
- Francisco de Babo Martins
- Joao Francisco B. S. Martins
- Joao Francisco Barreto da Silva Martins — Federal University of Minas Gerais, Belo Horizonte, MG, Brazil
- Regis Martins (aka: Regis F. T. Martins, Regis Francisco Teles Martins) — Federal University of São Carlos, Department of Computing, Sorocaba, Brazil
- Francisco Pina-Martins
- Bruno Francisco Martins da Silva
SPARQL queries
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, Tatiana B. Gouveia, Helder Lopes, Andreas Ihle, Eduardo R. B. Marques, Élvio Rúbio Gouveia:
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, Bartosz Dziadek, Cíntia França, Francisco Martins, Élvio Rúbio Gouveia, Krzysztof Przednowek:
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, Tiago Cogumbreiro, Francisco Martins:
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, Francisco Martins, Hugo-Andrés López, Nobuko Yoshida:
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, Raymond Hu, Francisco Martins, Nobuko Yoshida:
Dynamic Deadlock Verification for General Barrier Synchronisation. ACM Trans. Program. Lang. Syst. 41(1): 1:1-1:38 (2019) - [c33]Vasco T. Vasconcelos, Francisco Martins, Antónia Lopes, Nuno Burnay:
HeadREST: A Specification Language for RESTful APIs. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 428-434 - [c32]Dulce Domingos, Ana Respício, Francisco Martins, Breno Melo:
Automatic Decomposition of IoT Aware Business Processes - a Pattern Approach. CENTERIS/ProjMAN/HCist 2019: 313-320 - [c31]Francisco Martins, Dulce Domingos, Daniel Vitoriano:
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, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, Max Grossman:
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, Vasco Thudichum Vasconcelos, Hans Hüttel:
Inferring Types for Parallel Programs. PLACES@ETAPS 2017: 28-36 - 2016
- [j4]Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida:
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, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
Protocol-based verification of message-passing parallel programs. OOPSLA 2015: 280-298 - [c26]Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida:
Dynamic deadlock verification for general barrier synchronisation. PPoPP 2015: 150-160 - [c25]Eduardo R. B. Marques, Manuel A. Ribeiro, José Pinto, João B. Sousa, Francisco Martins:
NVL: a coordination language for unmanned vehicle networks. SAC 2015: 331-334 - [c24]César Santos, Francisco Martins, Vasco Thudichum Vasconcelos:
Deductive Verification of Parallel Programs Using Why3. ICE 2015: 128-142 - 2014
- [j2]Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos:
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, Francisco Martins, Miguel Simões:
Cooperari: a tool for cooperative testing of multithreaded Java programs. PPPJ 2014: 200-206 - [c22]Dulce Domingos, Francisco Martins, Lara Caiola:
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, Francisco Martins, Vasco Thudichum Vasconcelos:
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, Francisco Martins:
Concurrent typed intermediate language. SAC 2013: 1587-1588 - [c17]Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos, Nicholas Ng, Nuno Martins:
Towards deductive verification of MPI programs against session types. PLACES 2013: 103-113 - 2012
- [c16]Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida:
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, Francisco Martins, Ricardo Martinho, Mário J. Silva:
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, Luís M. B. Lopes, João Barros:
Towards the Safe Programming of Wireless Sensor Networks. PLACES 2009: 49-62 - [c11]Vasco Thudichum Vasconcelos, Francisco Martins, Tiago Cogumbreiro:
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language. PLACES 2009: 95-109 - [p1]Luís M. B. Lopes, Francisco Martins, João Barros:
Programming Wireless Sensor Networks. Middleware for Network Eccentric and Mobile Applications 2009: 25-41 - 2008
- [c10]Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos:
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. FMOODS 2008: 59-77 - [c9]Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos:
Compiling the pi-calculus into a Multithreaded Typed Assembly Language. PLACES@DisCoTec 2008: 57-84 - 2007
- [c8]Ronaldo Menezes, Francisco Martins, Francisca Emanuelle Vieira, Rafael Silva, Márcio Braga:
A model for terrain coverage inspired by ant's alarm pheromones. SAC 2007: 728-732 - [c7]Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara:
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, Márcio Braga:
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, Márcio Braga:
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, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro:
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, Vasco Thudichum Vasconcelos:
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, Luís M. B. Lopes, Vasco Thudichum Vasconcelos:
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