Tibialis spastic varus foot without tarsal coalition: a report of two cases
- 期刊名称Journal of Orthopaedic Science
- 作者Kanzaki, Noriyuki; Nishiyama, Takayuki; Takakura, Yoshiyuki; Takakura, Yoshinori; Fujishiro, Takaaki; Hayashi, Shinya; Hashimoto, Shingo; Kuroda, Ryosuke; Kurosaka, Masahiro
- 卷第20卷
- 期第3期
- 印刷ISSN0949-2658
- 电子ISSN1436-2023
- 文件大小288.62KB
- 发表时间2015-5
- DOI10.1007/s00776-013-0486-y
- 页码551-554
When does abstraction help?Avni, Guy; Kupferman, Orna · Information Processing Letters · 2013
Parameterized Weighted ContainmentAvni, Guy; Kupferman, Orna · ACM Transactions on Computational Logic · 2014
Dynamic resource allocation gamesAvni, Guy; Henzinger, Thomas A.; Kupferman, Orna · Theoretical Computer Science · 2019
Synthesis from component libraries with costsAvni, Guy; Kupferman, Orna · Theoretical Computer Science · 2017
Network-formation games with regular objectivesAvni, Guy; Kupferman, Orna; Tamir, Tami · Information and Computation · 2016
An Abstraction-Refinement Methodologyfor Reasoning about Network Games†Avni, Guy; Guha, Shibashis; Kupferman, Orna · Games · 2018
PrefaceGopalakrishnan, Ganesh L.; Qadeer, Shaz · Formal Methods in System Design · 2012
2011 CAV award announcementVardi, Moshe Y.; Henzinger, Thomas A.; Alur, Rajeev; Kwiatkowska, Marta · Formal Methods in System Design · 2012
Being careful about theory combinationJovanović, Dejan; Barrett, Clark · Formal Methods in System Design · 2013
Time-triggered runtime verificationBonakdarpour, Borzoo; Navabpour, Samaneh; Fischmeister, Sebastian · Formal Methods in System Design · 2013
Code aware resource managementKrishnendu Chatterjee,Luca de Alfaro,Marco Faella… · Formal Methods in System Design · 2013
Weighted modal transition systemsSebastian S. Bauer,Uli Fahrenberg,Line Juhl… · Formal Methods in System Design · 2013
Program repair without regretvon Essen, Christian; Jobstmann, Barbara · Formal Methods in System Design · 2015
Synthesising correct concurrent runtime monitorsFrancalanza, Adrian; Seychell, Aldrin · Formal Methods in System Design · 2015