ニュース / News

ニュース受賞 2019/08/28 受賞

受賞

2019/08/28

和賀正樹さん（総研大情報学専攻、蓮尾研究室）の論文が国際会議FORMATS 2019で最優秀論文賞を受賞

和賀正樹さん（総研大情報学専攻、蓮尾研究室）の論文が実時間システムの形式検証分野における主要国際会議であるFORMATS 2019で最優秀論文賞（Oded Maler Award）を受賞しました。

賞の名称

最優秀論文賞（Oded Maler Award）

受賞論文タイトル

Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata

受賞者

和賀正樹（総研大情報学専攻、蓮尾研究室）

授与団体・学会

17th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2019)

受賞日

2019年8月28日

関連リンク

FORMATS 2019
和賀正樹氏，FORMATS 2019 で最優秀論文賞を受賞 - ERATO MMSD
Formal Modeling and Analysis of Timed Systems | SpringerLink

3866

2024年度

2023年度

2022年度

2021年度

2020年度

2019年度

2018年度

2017年度

2016年度

2015年度

2014年度

2013年度

2012年度

2011年度

2010年度

2010/11/30 ニュースリリース 2010/11/12 ニュースリリース

2009年度

2009/07/16 ニュースリリース 2009/05/21 ニュースリリース

ニュースリリース

2024年度

2023年度

2022年度

2021年度

2020年度

2019年度

2018年度

2017年度

2016年度

2015年度

2014年度

2015/03/23 ニュースリリース 2015/02/05 ニュースリリース 2014/10/30 ニュースリリース 2014/10/14 ニュースリリース 2014/09/11 ニュースリリース 2014/08/08 ニュースリリース 2014/06/30 ニュースリリース 2014/05/22 ニュースリリース 2014/05/09 ニュースリリース 2014/05/08 ニュースリリース 2014/04/08 ニュースリリース

2013年度

2013/12/10 ニュースリリース 2013/11/25 ニュースリリース 2013/10/08 ニュースリリース 2013/10/01 ニュースリリース 2013/08/21 ニュースリリース 2013/07/02 ニュースリリース 2013/07/01 ニュースリリース 2013/05/28 ニュースリリース 2013/05/15 ニュースリリース 2013/05/14 ニュースリリース 2013/05/10 ニュースリリース 2013/04/22 ニュースリリース

2012年度

2011年度

2010年度

2010/11/30 ニュースリリース 2010/11/12 ニュースリリース

2009年度

2009/07/16 ニュースリリース 2009/05/21 ニュースリリース

受賞

2024年度

2025/01/22 受賞 2025/01/16 受賞 2025/01/14 受賞 2024/12/18 受賞 2024/12/05 受賞 2024/12/04 受賞 2024/11/03 受賞 2024/10/02 受賞 2024/09/26 受賞 2024/09/11 受賞 2024/09/05 受賞 2024/08/15 受賞 2024/08/15 受賞 2024/08/06 受賞 2024/08/02 受賞 2024/07/03 受賞 2024/06/10 受賞 2024/06/03 受賞 2024/05/28 受賞 2024/04/22 ニュースリリース 2024/04/09 ニュースリリース

2023年度

2024/03/15 受賞 2024/03/05 受賞 2024/03/05 受賞 2024/02/22 受賞 2024/02/06 受賞 2024/02/02 受賞 2023/12/07 受賞 2023/11/28 受賞 2023/11/07 受賞 2023/09/27 受賞 2023/09/13 受賞 2023/07/31 受賞 2023/07/23 受賞 2023/07/21 受賞 2023/07/13 受賞 2023/07/01 受賞 2023/06/08 受賞 2023/05/14 受賞 2023/05/08 受賞

2022年度

2023/03/22 受賞 2023/03/01 受賞 2023/01/30 受賞 2023/01/10 受賞 2022/12/20 受賞 2022/12/08 受賞 2022/11/25 受賞 2022/11/25 受賞 2022/11/21 受賞 2022/11/12 受賞 2022/11/10 受賞 2022/11/08 受賞 2022/10/26 受賞 2022/09/06 受賞 2022/09/02 受賞 2022/09/02 受賞 2022/08/24 受賞 2022/07/27 受賞 2022/06/15 受賞 2022/05/24 受賞 2022/05/15 受賞 2022/04/26 受賞 2022/04/08 受賞 2022/04/08 ニュースリリース

2021年度

2022/03/14 受賞 2022/03/02 受賞 2022/02/21 受賞 2022/02/21 受賞 2022/02/21 受賞 2022/01/28 受賞 2021/12/24 受賞 2021/12/24 受賞 2021/12/08 受賞 2021/11/25 受賞 2021/11/13 受賞 2021/11/03 受賞 2021/11/01 受賞 2021/11/01 受賞 2021/11/01 受賞 2021/10/27 受賞 2021/10/27 受賞 2021/10/12 受賞 2021/09/17 受賞 2021/09/09 受賞 2021/08/03 受賞 2021/07/22 受賞 2021/06/21 受賞 2021/06/21 受賞 2021/06/15 受賞 2021/06/08 受賞 2021/04/30 受賞

2020年度

2021/03/06 受賞 2021/03/05 受賞 2021/02/16 受賞 2021/02/15 受賞 2021/01/12 受賞 2020/12/25 受賞 2020/12/18 受賞 2020/12/17 受賞 2020/12/14 受賞 2020/11/25 受賞 2020/11/15 受賞 2020/11/01 受賞 2020/10/08 受賞 2020/09/24 受賞 2020/09/12 受賞 2020/09/07 受賞 2020/08/06 受賞 2020/07/31 受賞 2020/07/23 受賞 2020/06/25 受賞 2020/05/23 受賞 2020/05/16 受賞 2020/04/17 受賞 2020/04/07 ニュースリリース 2020/04/07 ニュースリリース 2020/04/07 ニュースリリース 2020/04/06 ニュースリリース

2019年度

2020/03/17 受賞 2020/03/06 受賞 2020/03/05 受賞 2020/02/26 受賞 2019/12/27 受賞 2019/12/04 受賞 2019/11/29 受賞 2019/11/12 受賞 2019/10/30 受賞 2019/10/30 受賞 2019/10/30 受賞 2019/10/02 受賞 2019/10/01 受賞 2019/10/01 受賞 2019/09/25 受賞 2019/09/24 受賞 2019/09/24 受賞 2019/09/22 受賞 2019/09/22 受賞 2019/08/28 受賞 2019/08/20 受賞 2019/08/07 受賞 2019/08/02 受賞 2019/07/11 受賞 2019/07/11 受賞 2019/07/04 受賞 2019/06/27 受賞 2019/06/21 受賞 2019/06/20 受賞 2019/06/06 受賞 2019/06/03 受賞 2019/05/09 受賞 2019/05/06 受賞 2019/04/19 受賞 2019/04/10 受賞

2018年度

2019/03/20 受賞 2019/03/15 受賞 2019/03/15 受賞 2019/03/09 受賞 2019/02/16 受賞 2019/01/31 受賞 2019/01/28 受賞 2018/12/21 受賞 2018/12/13 受賞 2018/12/13 受賞 2018/11/14 受賞 2018/11/14 受賞 2018/11/14 受賞 2018/11/13 受賞 2018/11/09 受賞 2018/11/07 受賞 2018/11/06 ニュースリリース 2018/10/11 受賞 2018/09/18 受賞 2018/09/15 受賞 2018/08/30 受賞 2018/08/27 受賞 2018/07/25 受賞 2018/07/24 受賞 2018/07/16 受賞 2018/07/03 受賞 2018/06/25 受賞 2018/06/25 受賞 2018/06/22 受賞 2018/05/20 受賞 2018/04/21 受賞

2017年度

2018/03/23 受賞 2018/03/13 受賞 2018/03/13 受賞 2018/03/06 受賞 2018/02/17 受賞 2017/12/23 受賞 2017/12/06 受賞 2017/11/30 受賞 2017/11/22 受賞 2017/11/14 受賞 2017/11/03 受賞 2017/10/26 受賞 2017/10/19 受賞 2017/10/17 受賞 2017/10/11 受賞 2017/09/19 受賞 2017/09/18 受賞 2017/09/15 受賞 2017/08/20 受賞 2017/08/09 受賞 2017/08/02 受賞 2017/07/30 受賞 2017/07/30 受賞 2017/07/26 受賞 2017/07/11 受賞 2017/07/10 受賞 2017/07/08 受賞 2017/07/05 受賞 2017/06/08 受賞 2017/05/16 受賞 2017/04/26 受賞 2017/04/26 受賞 2017/04/26 受賞 2017/04/11 ニュースリリース 2017/04/11 ニュースリリース

2016年度

2017/03/24 受賞 2017/03/24 受賞 2017/03/16 受賞 2017/03/16 受賞 2017/03/09 受賞 2017/02/24 受賞 2017/01/31 受賞 2016/12/27 ニュースリリース 2016/12/15 受賞 2016/12/15 受賞 2016/12/12 受賞 2016/12/12 受賞 2016/12/08 受賞 2016/12/01 受賞 2016/12/01 受賞 2016/11/29 受賞 2016/11/23 受賞 2016/11/10 受賞 2016/11/09 受賞 2016/11/04 受賞 2016/11/04 受賞 2016/10/30 受賞 2016/10/28 受賞 2016/10/03 ニュースリリース 2016/09/21 受賞 2016/09/21 受賞 2016/09/20 受賞 2016/09/17 受賞 2016/09/14 受賞 2016/09/12 受賞 2016/09/09 受賞 2016/08/18 受賞 2016/07/12 受賞 2016/07/12 受賞 2016/06/24 受賞 2016/06/24 受賞 2016/06/24 受賞 2016/06/03 受賞 2016/06/03 受賞 2016/06/03 受賞 2016/06/02 受賞 2016/06/01 受賞 2016/05/17 受賞 2016/05/17 受賞 2016/05/17 受賞 2016/04/01 受賞

2015年度

2016/03/24 受賞 2016/03/24 受賞 2016/03/24 受賞 2016/03/15 受賞 2016/03/01 受賞 2016/02/15 受賞 2016/01/30 受賞 2016/01/22 受賞 2015/12/09 受賞 2015/11/20 受賞 2015/11/20 受賞 2015/11/06 受賞 2015/10/30 受賞 2015/10/28 受賞 2015/10/27 受賞 2015/10/21 受賞 2015/10/16 受賞 2015/10/01 受賞 2015/09/17 受賞 2015/09/09 受賞 2015/07/31 受賞 2015/07/31 受賞 2015/07/28 受賞 2015/07/22 受賞 2015/07/21 受賞 2015/07/12 受賞 2015/07/10 受賞 2015/07/10 受賞 2015/06/23 受賞 2015/06/19 受賞 2015/06/12 受賞 2015/06/04 ニュースリリース 2015/05/20 受賞 2015/05/18 受賞 2015/05/08 受賞 2015/04/24 受賞 2015/04/22 ニュースリリース 2015/04/13 受賞 2015/04/07 ニュースリリース

2014年度

2015/03/20 受賞 2015/03/19 受賞 2015/03/10 受賞 2015/03/03 受賞 2015/02/10 受賞 2015/02/04 受賞 2015/02/02 受賞 2014/12/28 受賞 2014/12/25 受賞 2014/12/24 受賞 2014/12/09 受賞 2014/11/26 受賞 2014/11/20 受賞 2014/11/13 受賞 2014/11/10 受賞 2014/10/31 受賞 2014/10/30 受賞 2014/10/30 受賞 2014/10/30 受賞 2014/10/29 受賞 2014/10/28 受賞 2014/10/17 受賞 2014/10/07 受賞 2014/10/07 受賞 2014/10/07 受賞 2014/10/07 受賞 2014/10/06 受賞 2014/10/03 受賞 2014/10/03 受賞 2014/08/30 受賞 2014/08/28 受賞 2014/08/04 受賞 2014/07/02 受賞 2014/06/10 受賞 2014/06/05 受賞 2014/05/15 受賞 2014/04/30 受賞 2014/04/17 受賞 2014/04/17 受賞 2014/04/10 受賞 2014/04/02 受賞 2014/04/01 受賞

2013年度

2014/03/24 受賞 2014/03/20 受賞 2014/03/11 受賞 2014/03/10 受賞 2014/02/17 受賞 2014/01/30 受賞 2014/01/24 受賞 2013/12/18 受賞 2013/12/16 受賞 2013/12/16 受賞 2013/12/02 受賞 2013/11/21 受賞 2013/11/18 受賞 2013/11/05 受賞 2013/10/29 受賞 2013/10/29 受賞 2013/10/29 受賞 2013/10/09 受賞 2013/10/04 受賞 2013/10/04 受賞 2013/10/04 受賞 2013/10/03 受賞 2013/09/25 受賞 2013/09/19 受賞 2013/09/09 受賞 2013/08/30 受賞 2013/08/27 受賞 2013/08/26 受賞 2013/07/17 受賞 2013/07/12 受賞 2013/07/02 受賞 2013/07/02 受賞 2013/06/28 受賞 2013/06/10 受賞 2013/06/10 受賞 2013/06/10 受賞 2013/06/07 受賞 2013/06/03 受賞 2013/06/03 受賞 2013/05/23 受賞 2013/05/15 受賞 2013/05/13 受賞 2013/05/10 受賞 2013/04/22 ニュースリリース 2013/04/19 受賞 2013/04/16 受賞 2013/04/05 受賞

2012年度

2013/03/26 受賞 2013/03/18 受賞 2013/03/13 受賞 2013/03/11 受賞 2013/03/07 受賞 2013/01/24 受賞 2013/01/17 受賞 2013/01/15 受賞 2013/01/11 受賞 2012/12/25 受賞 2012/12/17 受賞 2012/12/17 受賞 2012/12/13 受賞 2012/12/06 受賞 2012/11/13 受賞 2012/11/09 受賞 2012/11/07 受賞 2012/11/02 受賞 2012/10/31 受賞 2012/10/29 受賞 2012/10/29 受賞 2012/10/19 受賞 2012/10/12 受賞 2012/09/27 受賞 2012/09/25 受賞 2012/09/20 受賞 2012/08/30 受賞 2012/08/24 受賞 2012/08/20 受賞 2012/07/27 受賞 2012/07/25 受賞 2012/07/17 受賞 2012/07/10 受賞 2012/06/26 受賞 2012/06/22 受賞 2012/06/12 受賞 2012/06/04 受賞 2012/06/01 受賞 2012/05/28 受賞 2012/05/25 受賞 2012/05/24 受賞 2012/05/07 受賞 2012/04/13 受賞 2012/04/12 受賞 2012/04/12 受賞 2012/04/11 受賞 2012/04/10 受賞 2012/04/03 受賞 2012/04/03 受賞 2012/04/03 受賞

2011年度

2012/03/26 受賞 2012/03/26 受賞 2012/03/26 受賞 2012/03/26 受賞 2012/03/13 受賞 2012/02/01 受賞 2012/01/20 受賞 2012/01/04 受賞 2012/01/04 受賞 2011/12/20 受賞 2011/12/19 受賞 2011/12/19 受賞 2011/12/09 受賞 2011/12/05 受賞 2011/11/24 受賞 2011/11/16 受賞 2011/10/04 受賞 2011/09/09 受賞 2011/08/23 受賞 2011/08/01 受賞 2011/07/28 受賞 2011/07/13 受賞 2011/06/30 受賞 2011/06/10 受賞 2011/06/09 受賞 2011/06/08 受賞 2011/06/06 受賞 2011/05/27 受賞 2011/05/18 受賞 2011/04/20 受賞 2011/04/19 受賞 2011/04/11 受賞

2010年度

2010/11/12 ニュースリリース

注目コンテンツ / SPECIAL

NII Today No.104

NII研究100連発2024

国立情報学研究所
2024年度要覧

SINETStream 事例紹介：トレーラー型動物施設 [徳島大学バイオイノベーション研究所]

ウェブサイト「軽井沢土曜懇話会アーカイブス」を公開

情報研シリーズこれからの「ソフトウェアづくり」との向き合い方

学術研究プラットフォーム紹介動画

教育機関DXシンポ

高等教育機関におけるセキュリティポリシー

情報・システム研究機構におけるLGBTQを尊重する基本理念

オープンサイエンスのためのデータ管理基盤ハンドブック

教育機関DXシンポ
アーカイブス

コンピュータサイエンスパーク

ニュース
イベント
サイトポリシー
リンク
採用情報

大学共同利用機関法人情報・システム研究機構
国立情報学研究所　
〒101-8430 東京都千代田区一ツ橋2-1-2

STAFF ONLY

情報・システム研究機構国立極地研究所統計数理研究所国立遺伝学研究所

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

ニュース / News

受賞

和賀 正樹さん（総研大情報学専攻、蓮尾研究室）の論文が国際会議FORMATS 2019で最優秀論文賞を受賞

賞の名称

受賞論文タイトル

受賞者

授与団体・学会

受賞日

関連リンク

注目コンテンツ / SPECIAL

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

和賀正樹さん（総研大情報学専攻、蓮尾研究室）の論文が国際会議FORMATS 2019で最優秀論文賞を受賞