( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Autotuning Parallel Programs by Model Checking.

, и . Autom. Control. Comput. Sci., 56 (7): 634-648 (декабря 2022)

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.

Natalia Seller

Ichthyosis vulgaris: novel FLG mutations in the German population and high presence of dentritic cells in the epidermis of the atopic subgroup. Uni Münster, (2009)

Natalia Seiden

Natalia Meyer

Natalia Tkatschuk

Natalia Brüggemann

 

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

A Distributed Approach to Coreference Resolution in Multiagent Text Analysis for Ontology Population., , и . Ershov Informatics Conference, том 10742 из Lecture Notes in Computer Science, стр. 147-162. Springer, (2017)A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific Onthology., , и . CS&P, том 1032 из CEUR Workshop Proceedings, стр. 122-132. CEUR-WS.org, (2013)An Approach to Ambiguity Resolution for Ontology Population., и . CS&P, том 1492 из CEUR Workshop Proceedings, стр. 134-145. CEUR-WS.org, (2015)An Ontology of Specification Patterns for Verification of Concurrent Systems., , , и . SoMeT, том 303 из Frontiers in Artificial Intelligence and Applications, стр. 515-528. IOS Press, (2018)An Approach to Model Checking of Multi-agent Data Analysis., , и . MOD*, том 168 из EPTCS, стр. 32-44. (2014)Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm., , , и . Sensors, 23 (13): 6216 (июля 2023)A Temporal Logic for Programmable Logic Controllers., , , , , , и . Autom. Control. Comput. Sci., 55 (7): 763-775 (2021)Knowledge-Based Algorithms for BDI Agents., и . Autom. Control. Comput. Sci., 55 (7): 786-794 (2021)Autotuning Parallel Programs by Model Checking., и . Autom. Control. Comput. Sci., 56 (7): 634-648 (декабря 2022)Common knowledge in well-structured perfect recall systems.. Automatic Control and Computer Sciences, 48 (7): 381-388 (2014)