Weighted Pushdown Systems with Indexed Weight Domains von Minamide, Yasuhiko

Volltext

Monoid-Based Approach to the Inclusion Problem on Superdeterministic Pushdown Automata von Uezato, Yuya, Minamide, Yasuhiko

Volltext

Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL von Hirata, Michikazu, Minamide, Yasuhiko, Sato, Tetsuya

Volltext

2004年台風による高波災害の被災パターンについて von 平山, 克也, 平石, 哲也, 南靖, 彦, 奥野, 光洋, 峯村, 浩治

Volltext

リーフ上とその周辺の波による流れ場の形成に関する数値計算とその検証 von 平山, 克也, 長谷川, 準三, 南, 靖彦

Volltext

Synchronized Recursive Timed Automata von Uezato, Yuya, Minamide, Yasuhiko

Volltext

越波吸収型護岸による海上空港の越波対策 von 平石, 哲也, 南, 靖彦, 長谷川, 巌

Volltext

数値解析による臨海施設の浸水危険性と対策効果の検討測 von 平石, 哲也, 永瀬, 恭一, 押村, 嘉人, 南, 靖彦

Volltext

拡張正規表現マッチングの計算量解析 von 高橋, 和也, 南出, 靖彦

Volltext

非決定性Streaming String TransducerとParikh オートマトンを用いた文字列制約の充足可能性判定 von 釜野, 雅基, 福田, 大我, 南出, 靖彦

Volltext

Mitigation of Wave Overtopping Rate in Offshore Airport by Permeable Bed Type Seawall von HIRAISHI, Tetsuya, MINAMI, Yasuhiko, HASEGAWA, Iwao

Volltext

Assessment on Inundation Risk and Efficiency of Disaster Countermeasures in Coastal Urban Area by Numerical Simulation von HIRAISHI, Tetsuya, NAGASE, Kyouichi, OSHIMURA, Yoshihito, MINAMI, Yasuhiko

Volltext

同期型再帰的時間オートマトンの到達可能性解析 von 上里, 友弥, 南出, 靖彦

Volltext

Editorial: Special Issue on Programming and Programming Languages von Kobayashi, Naoki, Minamide, Yasuhiko

Volltext

Complexity Analysis of Extended Regular Expression Matching von TAKAHASHI, Kazuya, MINAMIDE, Yasuhiko

Volltext

Solving String Constraints with Nondeterministic Streaming String Transducers and Parikh Automata von KAMANO, Masaki, FUKUDA, Taiga, MINAMIDE, Yasuhiko

Volltext

Cプログラムの検証ツールCaduceus von 南出, 靖彦

Volltext

特集「プログラミング及びプログラミング言語」の編集にあたって von 小林, 直樹, 南出, 靖彦

Volltext

POPL '96会議報告 von 南出, 靖彦

Volltext

23-1 有機物の長期連用が積雪寒冷地域水田の温室効果ガス収支に及ぼす影響 : 土壌炭素蓄積とCH_4,N_2O放出の関係(23.地球環境,2012年度鳥取大会)... von 高階, 史章, 畠山, 恵子, 小南, 靖弘, 大野, 智史, 永田, 修, 西田, 瑞彦, 佐藤, 孝, 金田, 吉弘

Volltext