( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Object-Oriented Model of Maps.

, и . DEXA Workshop, стр. 514-515. IEEE Computer Society, (1999)

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.

Naoki Yoshida

Naoki Ueda

Naoki Fukuzawa

Naoki Tamura

Naoki Saito

 

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

Logical environments for natural language approach., , и . ISPW, стр. 84-86. ACM, (1985)ACM SIGSOFT Software Engineering Notes 11(4), August 1986.Modularization of formal specifications or efficient synthesis of reactive systems., , , и . ICSCA, стр. 208-213. ACM, (2017)Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis - (Extended Abstract)., , и . CyPhy, том 11267 из Lecture Notes in Computer Science, стр. 79-82. Springer, (2017)Fast Translation from LTL to Büchi Automata via Non-transition-based Automata., , , и . ICFEM, том 8829 из Lecture Notes in Computer Science, стр. 364-379. Springer, (2014)Temporal logic extended with object creation and destruction., и . SEKE, стр. 156-163. Knowledge Systems Institute, (1994)More Expressive Temporal Logic for Specifications., и . SEKE, стр. 363-366. Knowledge Systems Institute, (1993)A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking, , и . INFINITY, том 73 из EPTCS, стр. 79-93. (2011)Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs., , и . BIOINFORMATICS, стр. 93-101. SciTePress, (2015)A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products., , и . EJC, том 166 из Frontiers in Artificial Intelligence and Applications, стр. 290-297. IOS Press, (2007)Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic., , , и . ICSCA, стр. 17-20. ACM, (2020)