( en | de | ru )

 

Disambiguation of "Garanina, Natalia Olegovna"

Author of the publication

copydeleteadd this publication to your clipboard
Auto-Tuning High-Performance Programs Using Model Checking in Promela.

, , and . CoRR, (2023)

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.

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 Tkatschuk

Natalia Brüggemann

Natalia Pavalenco

Natalia Elfimova

 

Other publications of authors with the same name

A Distributed Approach to Coreference Resolution in Multiagent Text Analysis for Ontology Population., , and . Ershov Informatics Conference, volume 10742 of Lecture Notes in Computer Science, page 147-162. Springer, (2017)A Multi-agent Approach to Unstructured Data Analysis Based on Domain-specific Onthology., , and . CS&P, volume 1032 of CEUR Workshop Proceedings, page 122-132. CEUR-WS.org, (2013)An Approach to Ambiguity Resolution for Ontology Population., and . CS&P, volume 1492 of CEUR Workshop Proceedings, page 134-145. CEUR-WS.org, (2015)Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm., , , and . Sensors, 23 (13): 6216 (July 2023)An Ontology of Specification Patterns for Verification of Concurrent Systems., , , and . SoMeT, volume 303 of Frontiers in Artificial Intelligence and Applications, page 515-528. IOS Press, (2018)An Approach to Model Checking of Multi-agent Data Analysis., , and . MOD*, volume 168 of EPTCS, page 32-44. (2014)Autotuning Parallel Programs by Model Checking., and . Autom. Control. Comput. Sci., 56 (7): 634-648 (December 2022)A Temporal Logic for Programmable Logic Controllers., , , , , , and . Autom. Control. Comput. Sci., 55 (7): 763-775 (2021)Knowledge-Based Algorithms for BDI Agents., and . Autom. Control. Comput. Sci., 55 (7): 786-794 (2021)Conflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population., , and . Ershov Memorial Conference, volume 9609 of Lecture Notes in Computer Science, page 116-129. Springer, (2015)