( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na + /K + -ATPase.

, , , и . BSB, том 7409 из Lecture Notes in Computer Science, стр. 84-96. Springer, (2012)

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.

Oliver Braz

G Charles A Fernando

Kristina Brazaitis

Erich Brazel

Johanna F A Schwarz

 

Другие публикации лиц с тем же именем

A Probabilistic Model Checking Approach to Investigate the Palytoxin Effects on the Na + /K + -ATPase., , , и . BSB, том 7409 из Lecture Notes in Computer Science, стр. 84-96. Springer, (2012)A Probabilistic Model Checking Analysis of a Realistic Vehicular Networks Mobility Model., , и . SBMF, том 8941 из Lecture Notes in Computer Science, стр. 113-129. Springer, (2014)A Probabilistic Model Checking Analysis of the Potassium Reactions with the Palytoxin and Na + /K + -ATPase Complex., , , , , и . BSB, том 8213 из Lecture Notes in Computer Science, стр. 181-193. Springer, (2013)Probabilistic Model Checking Analysis of Palytoxin Effects on Cell Energy Reactions of the Na+/K+-ATPase., , , и . IEEE ACM Trans. Comput. Biol. Bioinform., 10 (6): 1530-1541 (2013)Using Binary Decision Diagrams (BDDs) for Memory Optimization in Basic Local Alignment Search Tool (BLAST)., , , , и . BSB, том 8826 из Lecture Notes in Computer Science, стр. 65-72. Springer, (2014)A Probabilistic Model Checking Analysis of Vehicular Ad-Hoc Networks., , , и . VTC Spring, стр. 1-7. IEEE, (2015)Intelligent service to perform overtaking in vehicular networks., , , , , и . ISCC, стр. 669-676. IEEE Computer Society, (2015)Palytoxin Inhibits the Sodium-Potassium Pump - An Investigation of an Electrophysiological Model Using Probabilistic Model Checking., , , и . SBMF, том 7498 из Lecture Notes in Computer Science, стр. 35-50. Springer, (2012)