default search action

combined dblp search
author search
venue search
publication search

ask others

NII Shonan Meeting Reports, Volume 2011

> Home > Journals > NII Shonan Meeting Reports

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 2011, 2011

- view
  - electronic edition @ nii.ac.jp (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/shonan-reports/HorimotoIR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/HorimotoIR11
Katsuhisa Horimoto, Katsumi Inoue, Oliver Ray:
International Symposium on Symbolic Systems Biology (NII Shonan Meeting 2011-7).
- view
  - electronic edition @ nii.ac.jp (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/shonan-reports/MilburnSTN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/MilburnSTN11
Gerard J. Milburn, Jörg Schmiedmayer, Yasuhiro Tokura, Kae Nemoto:
Hybrid Quantum Devices (NII Shonan Meeting 2011-6).
- view
  - electronic edition @ nii.ac.jp (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/shonan-reports/KobayashiOH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/KobayashiOH11
Naoki Kobayashi, Luke Ong, David Van Horn:
Automated Techniques for Higher-Order Program Verification (NII Shonan Meeting 2011-5).
- view
  - electronic edition @ nii.ac.jp (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/shonan-reports/KurohashiYIR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/KurohashiYIR11
Sadao Kurohashi, Akihiro Yamamoto, Kentaro Inui, Sebastian Riedel:
Knowledge-leveraged Computational Thinking through Natural Language Processing and Statistical Logic (NII Shonan Meeting 2011-4).
- view
  - electronic edition @ nii.ac.jp (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/shonan-reports/MuMW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/MuMW11
Shin-Cheng Mu, Conor McBride, Stephanie Weirich:
Dependently Typed Programming (NII Shonan Meeting 2011-3).
- view
  - electronic edition @ nii.ac.jp (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/shonan-reports/DybjerKM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/DybjerKM11
Peter Dybjer, Yoshiki Kinoshita, Shin-Cheng Mu:
Agda Implementors Meeting (NII Shonan Meeting 2011-2).
- view
  - electronic edition @ nii.ac.jp (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/shonan-reports/IwataK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/shonan-reports/IwataK11
Satoru Iwata, Ken-ichi Kawarabayashi:
Graph Algorithm and Combinatorial Optimization (NII Shonan Meeting 2011-1).

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.