Francisco Ferreira
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
14
Active years
2003–2025
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DCAI | Wearable Photoplethysmography Sensors for Postural Change Detection: A Comprehensive Review. | Izabela Pera Calvi, Tiago Silva, Francisco Ferreira, Isabela Guerche, Filipe Andrade Bernardi, Vincius Lima, Rute Almeida, Alberto Freitas |
| 2024 | Coordination | The Concurrent Calculi Formalisation Benchmark. | Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon |
| 2023 | ECOOP | Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea). | Sung-Shik Jongmans, Francisco Ferreira |
| 2023 | ISSTA | Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis. | Francisco Ferreira, Sung-Shik Jongmans |
| 2021 | CC | Communication-safe web programming in TypeScript with routed multiparty session types. | Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou |
| 2021 | FCT | Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types. | Nobuko Yoshida, Fangyi Zhou, Francisco Ferreira |
| 2021 | PLDI | Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. | David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida |
| 2020 | TACAS | EMTST: Engineering the Meta-theory of Session Types. | David Castro-Perez, Francisco Ferreira, Nobuko Yoshida |
| 2019 | LICS | A Type Theory for Defining Logics and Proofs. | Brigitte Pientka, David Thibodeau, Andreas Abel, Francisco Ferreira, Rbecca Zucchini |
| 2017 | ESOP | Programs Using Syntax with First-Class Binders. | Francisco Ferreira, Brigitte Pientka |
| 2015 | CBMS | A Portable System to Support Electrocardiography in Emergency Care. | Robson Pequeno, Normando Carvalho, Katia Elizabete Galdino, Carlos de Almeida, Luis Maior, Breno Polanski, Genilson Medeiros, Francisco Ferreira, Jessica Laisa |
| 2014 | POPL | Fair reactive programming. | Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka |
| 2014 | PPDP | Bidirectional Elaboration of Dependently Typed Programs. | Francisco Ferreira, Brigitte Pientka |
| 2003 | WWW | A Peer-To-Peer Platform Based on Semantic Web Services. | Francisco Ferreira, Carlos Jos Pereira de Lucena, Daniel Schwabe |