( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Nested Timed Automata with Frozen Clocks.

, , и . FORMATS, том 9268 из Lecture Notes in Computer Science, стр. 189-205. Springer, (2015)

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.

Akio Ogawa

Masahiro Ogawa

Akira Ogawa

 

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

Nested Timed Automata with Frozen Clocks., , и . FORMATS, том 9268 из Lecture Notes in Computer Science, стр. 189-205. Springer, (2015)Checking roundoff errors using counterexample-guided narrowing., и . ASE, стр. 301-304. ACM, (2010)Proving Properties of Incremental Merkle Trees., , и . CADE, том 3632 из Lecture Notes in Computer Science, стр. 424-440. Springer, (2005)Subtropical Satisfiability., , , и . FroCoS, том 10483 из Lecture Notes in Computer Science, стр. 189-206. Springer, (2017)Call-by-need reduction for membership conditional term rewriting Systems.. WRS, том 86 из Electronic Notes in Theoretical Computer Science, стр. 673-688. Elsevier, (2003)Abstract Interpretation over Infinite Abstract Domains (Tentative Report).. APLAS, стр. 183-191. (2001)Complete Axiomatization of an Algebraic Construction of Graphs.. FLOPS, том 2998 из Lecture Notes in Computer Science, стр. 163-179. Springer, (2004)Automatic Stub Generation for Dynamic Symbolic Execution of ARM binary., и . SoICT, стр. 352-359. ACM, (2022)A Hybrid Approach for Control Flow Graph Construction from Binary Code., , , и . APSEC (2), стр. 159-164. IEEE Computer Society, (2013)Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems., , , и . ICFP, стр. 137-149. ACM, (2000)SIGPLAN Notices 35(9), September 2000.