( en | de | ru )

 

Disambiguation of "Budde, Carlos E."

Author of the publication

copydeleteadd this publication to your clipboard
Replicating sc Restart with Prolonged Retrials: An Experimental Report.

, and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 373-380. Springer, (2021)

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.

Ottilie Budde

Otto Budde

Fabian Budde

Klaus Budde

Joachim Budde

 

Other publications of authors with the same name

Compositional Construction of Importance Functions in Fully Automated Importance Splitting., , and . VALUETOOLS, ACM, (2016)Using Statistical Model Checking for Cybersecurity Analysis.. CyberSec4Europe, volume 1807 of Communications in Computer and Information Science, page 16-32. Springer, (2022)A compositional semantics for Repairable Fault Trees with general distributions., , and . LPAR, volume 73 of EPiC Series in Computing, page 354-372. EasyChair, (2020)A Maturity Assessment Model for Cyber Security Education in Europe., and . World Conference on Information Security Education, volume 650 of IFIP Advances in Information and Communication Technology, page 60-74. Springer, (2022)Replicating sc Restart with Prolonged Retrials: An Experimental Report., and . TACAS (2), volume 12652 of Lecture Notes in Computer Science, page 373-380. Springer, (2021)Lévy decoupled random walks, , and . Physica A: Statistical Mechanics and its Applications, (May 15, 2003)Marginal distribution of non-Markovian stochastic processes with internal states, and . Physica A: Statistical and Theoretical Physics, 153 (2): 326--340 (Nov 15, 1988)The continuous-time resolvent matrix for non-markovian chains, and . Physica A: Statistical and Theoretical Physics, 153 (2): 315--325 (Nov 15, 1988)Diffusion in fluctuating media: resonant activation, , and . Physica A: Statistical Mechanics and its Applications, 342 (1-2): 1--8 (Oct 15, 2004)The Dynamic Fault Tree Rare Event Simulator., , and . QEST, volume 12289 of Lecture Notes in Computer Science, page 233-238. Springer, (2020)