( en | de | ru )

 

Disambiguierung von "Terauchi, Tachio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Inferring Channel Buffer Bounds Via Linear Programming.

, und . ESOP, Volume 4960 von Lecture Notes in Computer Science, Seite 284-298. Springer, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Terauchi, Tachio
Eine Person hinzufügen mit dem Namen Terauchi, Tachio
 

Weitere Publikationen von Autoren mit dem selben Namen

Automated Verification of Higher-Order Functional Programs.. FLOPS, Volume 7294 von Lecture Notes in Computer Science, Seite 2. Springer, (2012)Local temporal reasoning., und . CSL-LICS, Seite 59:1-59:10. ACM, (2014)Flow-Sensitive Type Qualifiers., , und . PLDI, Seite 1-12. ACM, (2002)Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement., und . ESOP, Volume 9032 von Lecture Notes in Computer Science, Seite 610-633. Springer, (2015)On Lookaheads in Regular Expressions with Backreferences., und . IEICE Trans. Inf. Syst., 106 (5): 959-975 (Mai 2023)On Lookaheads in Regular Expressions with Backreferences., und . FSCD, Volume 228 von LIPIcs, Seite 15:1-15:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Automatic Termination Verification for Higher-Order Functional Programs., , , und . ESOP, Volume 8410 von Lecture Notes in Computer Science, Seite 392-411. Springer, (2014)A Formal Analysis of Timing Channel Security via Bucketing., und . POST, Volume 11426 von Lecture Notes in Computer Science, Seite 29-50. Springer, (2019)Inferring Channel Buffer Bounds Via Linear Programming., und . ESOP, Volume 4960 von Lecture Notes in Computer Science, Seite 284-298. Springer, (2008)Witnessing side-effects., und . ICFP, Seite 105-115. ACM, (2005)