◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Daisuke Ishii

4 papers hereh-index 7198 citations42 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author3
  • last author1

Across the 4 of 4 papers where every author was matched, so the position is known.

fields
  • cs.LO2
  • cs.DC1
  • cs.PL1
same name
  • Daisuke Ishii — 2 papers

Either other researchers who publish under this name, or the same person where the external sources have not merged their records.

identity via Semantic Scholar / OpenAlex

activity
20152020
most citedHySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis

5 citations · 9 across the 4 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2019★ 2 cited

Declarative Semantics of the Hybrid Constraint Language HydLa

Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii

Hybrid systems are dynamical systems with continuous evolution of states and discrete evolution of states and governing equations. We have worked on the design and implementation o…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.