( en | de | ru )

 

Disambiguation of "da Silva, Leandro Dias"

Author of the publication

copydeleteadd this publication to your clipboard
Ticc: A Tool for Interface Compatibility and Composition.

, , , , , , and . CAV, volume 4144 of Lecture Notes in Computer Science, page 59-62. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Vitor Dias Silva

Kerstin da Silva

Adriano João Da Silva

Rodrigo Corrêa da Silva

Carolina Ferraz da Silva

 

Other publications of authors with the same name

A methodology for modeling and simulation of biomedical signal acquisition devices., , , , , and . HealthCom, page 227-231. IEEE, (2015)Formal modelling and verification of a component model using coloured petri nets and model checking., , and . SAC, page 1427-1431. ACM, (2007)Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study., , , , , and . EMBC, page 2488-2491. IEEE, (2016)Coloured Petri Nets Modeling Multilayer Perceptron Neural Networks., , , , , and . ICCE, page 1-4. IEEE, (2024)A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets., , , and . SELMAS, volume 3390 of Lecture Notes in Computer Science, page 162-179. Springer, (2004)Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device., , , , , and . IECON, page 2645-2651. IEEE, (2014)Machine Learning Application to Quantify the Tremor Level for Parkinson's Disease Patients., , , and . CENTERIS/ProjMAN/HCist, volume 138 of Procedia Computer Science, page 215-220. Elsevier, (2018)A User-Centered Approach for the Development of a Pervasive Mobile Tool for Health Care., , and . CENTERIS (3), volume 221 of Communications in Computer and Information Science, page 384-391. Springer, (2011)A Game-Based Approach to Monitor Parkinson's Disease: The Bradykinesia Symptom Classification., , , , and . CBMS, page 337-342. IEEE Computer Society, (2016)Pitfalls and tradeoffs on dealing with handoff management in bluetooth-based WPANs for real-time applications., , , and . ISCC, page 631-636. IEEE Computer Society, (2008)