( en | de | ru )

 

Disambiguation of "Rodrigues, Pedro"

Author of the publication

copydeleteadd this publication to your clipboard
Compositional Reliability Analysis for Probabilistic Component Automata.

, , and . MiSE@ICSE, page 19-24. IEEE Computer Society, (2015)

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.

Benno Pedrotti

Mario Pedroso

Luicy Pedroza Espinoza

Claudia Pedroni

Francisco Pedrosa Gil

 

Other publications of authors with the same name

An Approach to Sound and Acoustics in Primary Education Using Arduino., , , , and . TECH-EDU, volume 993 of Communications in Computer and Information Science, page 331-342. Springer, (2018)On re-assembling self-managed components., , and . IM, page 727-733. IEEE, (2015)Physiological-Based Difficulty Assessment for Virtual Reality Rehabilitation Games., , and . FDG, page 49:1-49:4. ACM, (2023)A Visual Programming Language for Soccer., , , , and . ICSOFT PT, page 121-127. SciTePress, (2014)HNPE: Leveraging Global Parameters for Neural Posterior Estimation., , , and . NeurIPS, page 13432-13443. (2021)Wi-Green: Optimization of the power consumption of Wi-Fi networks sensitive to traffic patterns invited paper., , , , and . WiOpt, page 1-5. IEEE, (2017)STATCOM Simulation Models for Analysis of Electrified Railways., , , and . IECON, page 2257-2262. IEEE, (2019)Model-based Self-Adaptive Components: A preliminary approach., and . ICCSW, volume DTR11-9 of Department of Computing Technical Report, page 73-72. Imperial College London, (2011)Verifying Properties of Neural Networks., , and . IWANN (1), volume 2084 of Lecture Notes in Computer Science, page 158-165. Springer, (2001)LTSA-PCA: tool support for compositional reliability analysis., , and . ICSE Companion, page 548-551. ACM, (2014)