default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDaisuke Ishii
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c26]Daisuke Ishii:
A Hypergraph-Based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method. SPIN 2024: 67-84- [i13]Daisuke Ishii:
A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method. CoRR abs/2403.10919 (2024) - 2023
- [c25]Daisuke Ishii, Takanori Hara, Nobuhide Nonaka, Kenichi Higuchi:
Clustering Method in Downlink Cell-Free MIMO Using Layered Partially Non-orthogonal ZF-Based Beamforming. VTC2023-Spring 2023: 1-5 - 2022
- [j19]Daisuke Ishii:
Foreword. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 105-A(5): 787 (2022) - [c24]Daisuke Ishii, Takashi Tomita
, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai:
SMT-Based Model Checking of Industrial Simulink Models. ICFEM 2022: 156-172 - [c23]Charnon Pattiyanon, Toshiaki Aoki, Daisuke Ishii:
A Method for Detecting Common Weaknesses in Self-Sovereign Identity Systems Using Domain-Specific Models and Knowledge Graph. MODELSWARD 2022: 219-226 - [c22]Daisuke Ishii, Takashi Tomita, Toshiaki Aoki:
Approximate Translation from Floating-Point to Real-Interval Arithmetic. NFM 2022: 733-751 - [c21]Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai:
Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods. QRS 2022: 422-433 - [i12]Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai:
SMT-Based Model Checking of Industrial Simulink Models. CoRR abs/2206.02992 (2022) - 2021
- [j18]Arito Yozu, Kohei Kaminishi, Daisuke Ishii, Yuichiro Omura, Akira Matsushita, Yutaka Kohno, Ryosuke Chiba, Jun Ota:
Effects of medication and dual tasking on postural sway in Parkinson's disease: A pilot case study. Adv. Robotics 35(13-14): 889-897 (2021) - [i11]Daisuke Ishii, Takashi Tomita, Toshiaki Aoki:
Approximate Translation from Floating-Point to Real-Interval Arithmetic. CoRR abs/2112.02804 (2021) - [i10]Daisuke Ishii, Takashi Tomita, Kenji Onishi, Toshiaki Aoki:
Compositional Test Generation of Industrial Synchronous Systems. CoRR abs/2112.05411 (2021) - 2020
- [j17]Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki:
Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 103-A(2): 451-461 (2020) - [j16]Daisuke Ishii, Tomohito Yabu:
Computer-assisted verification of four interval arithmetic operators. J. Comput. Appl. Math. 377: 112893 (2020) - [c20]Daisuke Ishii, Saito Fujii:
Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking. TASE 2020: 105-112 - [i9]Daisuke Ishii, Tomohito Yabu:
Computer-Assisted Verification of Four Interval Arithmetic Operators. CoRR abs/2003.10623 (2020) - [i8]Daisuke Ishii, Saito Fujii:
Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking. CoRR abs/2006.13613 (2020)
2010 – 2019
- 2019
- [c19]Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki:
A scalable Monte-Carlo test-case generation tool for large and complex simulink models. MiSE@ICSE 2019: 39-46 - [i7]Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii:
Declarative Semantics of the Hybrid Constraint Language HydLa. CoRR abs/1910.12272 (2019) - 2017
- [c18]Masahiro Shimizu, Daisuke Ishii, Hitoshi Aonuma, Koh Hosoda:
Swimming frog cyborg which generates efficient hydrodynamic propulsion with webbed foot. CBS 2017: 73-76 - [c17]Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki:
Template-Based Monte-Carlo Test Generation for Simulink Models. CyPhy 2017: 63-78 - [c16]Daisuke Ishii, Alexandre Goldsztejn, Naoki Yonezaki:
Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis - (Extended Abstract). CyPhy 2017: 79-82 - [c15]Daisuke Ishii, Masahiro Shimizu, Hitoshi Asanuma, Koh Hosoda:
Implementation of long lifetime dissected-muscle actuator for frog cyborg. ROBIO 2017: 13-18 - [c14]Daisuke Ishii, Alexandre Goldsztejn:
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis. RV 2017: 370-379 - [i6]Daisuke Ishii, Alexandre Goldsztejn:
HySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis. CoRR abs/1712.00570 (2017) - 2016
- [j15]Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn:
Monitoring Temporal Properties Using Interval Analysis. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 99-A(2): 442-453 (2016) - [i5]Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn:
Monitoring Temporal Properties using Interval Analysis. CoRR abs/1602.02387 (2016) - 2015
- [c13]Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura:
Scalable parallel numerical constraint solver using global load balancing. X10@PLDI 2015: 33-38 - [c12]Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn:
Monitoring Bounded LTL Properties Using Interval Analysis. NSV 2015: 85-100 - [i4]Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura:
Scalable Parallel Numerical Constraint Solver Using Global Load Balancing. CoRR abs/1505.04542 (2015) - [i3]Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn:
Monitoring Bounded LTL Properties Using Interval Analysis. CoRR abs/1506.01762 (2015) - [i2]Daisuke Ishii, Kohei Suenaga, Walid Taha:
Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14). NII Shonan Meet. Rep. 2015 (2015) - 2014
- [j14]Stéphane Caro, Damien Chablat, Alexandre Goldsztejn, Daisuke Ishii, Christophe Jermann:
A branch and prune algorithm for the computation of generalized aspects of parallel robots. Artif. Intell. 211: 34-50 (2014) - [c11]Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura:
Scalable Parallel Numerical CSP Solver. CP 2014: 398-406 - [i1]Daisuke Ishii, Kazuki Yoshizoe, Toyotaro Suzumura:
Scalable Parallel Numerical CSP Solver. CoRR abs/1411.1507 (2014) - 2013
- [c10]Daisuke Ishii, Guillaume Melquiond, Shin Nakajima:
Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus. IFM 2013: 139-153 - 2012
- [j13]Daisuke Ishii, Alexandre Goldsztejn, Christophe Jermann:
Interval-based projection method for under-constrained numerical systems. Constraints An Int. J. 17(4): 432-460 (2012) - [j12]Kunitaka Ashizawa, Takehiro Sato, Kazumasa Tokuhashi, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka, Eiji Oki:
Scalable Active Optical Access Network Using Variable High-Speed PLZT Optical Switch/Splitter. IEICE Trans. Commun. 95-B(3): 730-739 (2012) - [j11]Kou Kikuta, Daisuke Ishii, Satoru Okamoto, Eiji Oki, Naoaki Yamanaka:
Connection Setup Signaling Scheme with Flooding-Based Path Searching for Diverse-Metric Network. IEICE Trans. Commun. 95-B(8): 2600-2609 (2012) - [j10]Kou Kikuta, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka:
Experiment on Point-to-Multipoint VLAN Path Establishment on the Overlay-Model-Based GMPLS-Controlled Wide Area Ethernet. IEICE Trans. Commun. 95-B(10): 3302-3306 (2012) - [j9]Kazumasa Tokuhashi, Kunitaka Ashizawa, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka, Koji Wakayama, Keiichi Nashimoto:
MPCP based active optical access network with PLZT high-speed optical switch. Opt. Switch. Netw. 9(2): 118-129 (2012) - [c9]Stéphane Caro, Damien Chablat, Alexandre Goldsztejn, Daisuke Ishii, Christophe Jermann:
A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots. CP 2012: 867-882 - 2011
- [j8]Hidetoshi Takeshita, Daisuke Ishii, Satoru Okamoto, Eiji Oki, Naoaki Yamanaka:
Highly Energy Efficient Layer-3 Network Architecture Based on Service Cloud and Optical Aggregation Network. IEICE Trans. Commun. 94-B(4): 894-903 (2011) - [j7]Shota Yamada, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka:
Performance Evaluation of TCP/IP over SCTP/IP Parallel Networking with Parallel Route Transmission. IEICE Trans. Commun. 94-B(8): 2394-2396 (2011) - [j6]Kei Kawamura, Daisuke Ishii, Hiroshi Watanabe:
Automatic Scale Detection for Contour Fragment Based on Difference of Curvature. IEICE Trans. Inf. Syst. 94-D(10): 1998-2005 (2011) - [j5]Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe:
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems. Int. J. Softw. Tools Technol. Transf. 13(5): 449-461 (2011) - [c8]Keiichiro Hoashi, Chihiro Ono, Daisuke Ishii, Hiroshi Watanabe:
Automatic preview generation of comic episodes for digitized comic search. ACM Multimedia 2011: 1489-1492 - 2010
- [j4]Sho Shimizu, Wouter Tavernier, Kou Kikuta, Masahiro Nishida, Daisuke Ishii, Satoru Okamoto, Didier Colle, Mario Pickavet, Piet Demeester, Naoaki Yamanaka:
Interoperability Experiment of VLAN Tag Swapped Ethernet and Transmitting High Definition Video through the Layer-2 LSP between Japan and Belgium. IEICE Trans. Commun. 93-B(3): 736-740 (2010) - [c7]Kunitaka Ashizawa, Kazumasa Tokuhashi, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka, Eiji Oki:
Efficient singlecast / multicast method For active optical access network using PLZT high-speed optical switches. HPSR 2010: 14-19
2000 – 2009
- 2009
- [j3]Wataru Imajuku, Eiji Oki, Rajiv Papneja, Shinichiro Morishita, Kenichi Ogaki, Masanori Miyazawa, Keiji Miyazaki, Hiroaki Nakazato, Hidetsugu Sugiyama, John Allen, Shinichi Hasegawa, Nobuhiro Sakuraba, Itaru Nishioka, Shoichiro Seno, Yoshihiro Nakahira, Daisuke Ishii, Satoru Okamoto, Tara Van Unen, Mark Blumhardt, Hari Rakotoranto, Vijay Pandian:
A multi-area MPLS/GMPLS interoperability trial over ROADM/OXC network. IEEE Commun. Mag. 47(2): 168-175 (2009) - [j2]Kou Kikuta, Masahiro Nishida, Daisuke Ishii, Satoru Okamoto, Naoaki Yamanaka:
Multi-Domain VLAN Path Signaling Method Having Tag Swapping Function for GMPLS Controlled Wide Area Layer-2 Network. IEICE Trans. Commun. 92-B(4): 1353-1356 (2009) - [c6]Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn:
Interval-based Solving of Hybrid Constraint Systems. ADHS 2009: 144-149 - [c5]Daisuke Ishii, Masatsugu Shimomura, Hiroshi Yabu:
Droplet Manipulation on High Adhesion Superhydrophobic Surfaces. BIODEVICES 2009: 113-116 - [c4]Daisuke Ishii, Hiroshi Yabu, Masatsugu Shimomura:
Micro Droplet Transfer between Superhydrophobic Surfaces via a High Adhesive Superhydrophobic Surface. BIOSTEC (Selected Papers) 2009: 136-142 - [c3]Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe:
Simulation of hybrid systems based on hierarchical interval constraints. SimuTools 2009: 37 - 2008
- [j1]Masahiro Hayashitani, Teruo Kasahara, Daisuke Ishii, Yutaka Arakawa, Satoru Okamoto, Naoaki Yamanaka, Naganori Takezawa, Keiichi Nashimoto:
10ns High-speed PLZT optical content distribution system having slot-switch and GMPLS controller. IEICE Electron. Express 5(6): 181-186 (2008) - 2007
- [c2]Hiroyuki Miyagi, Masahiro Hayashitani, Daisuke Ishii, Yutaka Arakawa, Naoaki Yamanaka:
A Deadline-Aware Scheduling Scheme for Wavelength Assignment in l Grid Networks. ICC 2007: 2383-2387 - 2004
- [c1]Takanori Ito, Daisuke Ishii, Kohei Okazaki, Naoaki Yamanaka, Iwao Sasase:
A Scheduling Algorithm for Reducing Unused Timeslots by Considering Head Gap and Tail Gap in Time Sliced Optical Burst Switched Networks. OpNeTec 2004: 79-86
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 21:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
