( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Communication-Centric Solution for Cholesky Decomposition: Industrial Case Study for Coordination Programming

, , , , и . CoRR, (2013)

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.

Üstün Olgay

Olga Munteanu

Rapidly changing automotive global value chains in Hungary: multinational vs. local firm perspectives. Uni Leipzig, (2009)

Olga Bruskina

Periinterventionelle Blutungskomplikationen und die Auswirkung auf den 1-Jahresverlauf nach perkutaner Koronarintervention: Blutungen als zusätzliche Komponente eines kombinierten klinischen Endpunktes. TU München, (2008)

Olga Osetska

Homo- and heterodinuclear luminescent helicates. TU Aachen, (2008)

Olga Narygina

 

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

Deciding Reachability for 3-Dimensional Multi-Linear Systems, и . GandALF, том 54 из EPTCS, стр. 250-262. (2011)A Constraint Satisfaction Method for Configuring Non-local Service Interfaces., , и . IFM, том 9681 из Lecture Notes in Computer Science, стр. 474-488. Springer, (2016)A Conditional Superpolynomial Lower Bound for Extended Resolution.. LATA, том 7810 из Lecture Notes in Computer Science, стр. 559-569. Springer, (2013)Communication-Centric Solution for Cholesky Decomposition: Industrial Case Study for Coordination Programming, , , , и . CoRR, (2013)Configuring Cloud-Service Interfaces Using Flow Inheritance., , и . iFMCloud@IFM, том 228 из EPTCS, стр. 27-34. (2016)Non-local configuration of component interfaces by constraint satisfaction., , и . Constraints An Int. J., 25 (3-4): 121-159 (2020)Component Interfaces with Loosely Synchronous Communication., , и . SA, стр. 1-8. IEEE, (2021)EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas., и . MFCSIT, том 225 из Electronic Notes in Theoretical Computer Science, стр. 405-420. Elsevier, (2006)Resolution Simulates Polynomially Ordered Binary Decision Diagrams for Conjunctive Normal Forms.. CoRR, (2017)Modular Development of Hybrid Systems for Verification in Coq., и . HSCC, том 4981 из Lecture Notes in Computer Science, стр. 638-641. Springer, (2008)