( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Lookaheads in Regular Expressions with Backreferences.

, и . IEICE Trans. Inf. Syst., 106 (5): 959-975 (мая 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.

No persons found for author name Terauchi, Tachio
add a person with the name Terauchi, Tachio
 

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

Automated Verification of Higher-Order Functional Programs.. FLOPS, том 7294 из Lecture Notes in Computer Science, стр. 2. Springer, (2012)Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement., и . ESOP, том 9032 из Lecture Notes in Computer Science, стр. 610-633. Springer, (2015)Local temporal reasoning., и . CSL-LICS, стр. 59:1-59:10. ACM, (2014)Flow-Sensitive Type Qualifiers., , и . PLDI, стр. 1-12. ACM, (2002)Checking race freedom via linear programming.. PLDI, стр. 1-10. ACM, (2008)Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling., и . TACAS, том 9035 из Lecture Notes in Computer Science, стр. 149-163. Springer, (2015)Repairing DoS Vulnerability of Real-World Regexes., и . SP, стр. 2060-2077. IEEE, (2022)A Type System for Observational Determinism.. CSF, стр. 287-300. IEEE Computer Society, (2008)Quantitative Information Flow - Verification Hardness and Possibilities., и . CSF, стр. 15-27. IEEE Computer Society, (2010)Explaining the Effectiveness of Small Refinement Heuristics in Program Verification with CEGAR.. SAS, том 9291 из Lecture Notes in Computer Science, стр. 128-144. Springer, (2015)