Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Taylor Holve
Claudia Calabrese
Xueying Xie
Maria Concetta Palumbo
Matrix Yao
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
FRANCISCO FERREIRA
Author Info
Open Visualization
Name
Affiliation
Papers
FRANCISCO FERREIRA
State Univ Paraiba, Ctr Strateg Technol Hlth Care, Campina Grande, Brazil
11
Collaborators
Citations
PageRank
34
10
4.19
Referers
Referees
References
38
235
74
Search Limit
100
235
Publications (11 rows)
Collaborators (34 rows)
Referers (38 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types
0
0.34
2021
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes
0
0.34
2021
Generating Interactive WebSocket Applications in TypeScript.
0
0.34
2020
Statically Verified Refinements for Multiparty Protocols
0
0.34
2020
A Type Theory for Defining Logics and Proofs
0
0.34
2019
Neuropsychological predictors of conversion from mild cognitive impairment to Alzheimer's disease: a feature selection ensemble combining stability and predictability.
1
0.36
2018
BicPAMS: software for biological data analysis with pattern-based biclustering.
8
0.69
2017
Erratum to: BicPAMS: software for biological data analysis with pattern-based biclustering.
0
0.34
2017
Towards a reliable prediction of conversion from Mild Cognitive Impairment to Alzheimer's Disease: stepwise learning using time windows.
1
0.43
2017
Automating the Migration of Enterprise Architecture Models.
0
0.34
2016
A Portable System to Support Electrocardiography in Emergency Care
0
0.34
2015
1