◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Toru Takisaka

13 papers hereh-index 5115 citations20 works total

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

author position
  • sole author1
  • first author3
  • middle author8
  • last author1

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

fields
  • cs.AI3
  • cs.PL3
  • cs.LO2
  • eess.SY2
  • cs.GT1
  • cs.IT1

identity via Semantic Scholar / OpenAlex

activity
20142026
most citedRanking and Repulsing Supermartingales for Reachability in Probabilistic Programs

15 citations · 32 across the 13 of their papers we have counts for

collaborators
Showing 2019Show all

2 papers · 1 filter

eess.SY2019

Moment Propagation of Discrete-Time Stochastic Polynomial Systems using Truncated Carleman Linearization

Sasinee Pruekprasert, Toru Takisaka, Clovis Eberhart +2

We propose a method to compute an approximation of the moments of a discrete-time stochastic polynomial system. We use the Carleman linearization technique to transform this finite…

cs.LO2019★ 1 cited

Large Scale Geometries of Infinite Strings

Bakhadyr Khoussainov, Toru Takisaka

We introduce geometric consideration into the theory of formal languages. We aim to shed light on our understanding of global patterns that occur on infinite strings. We utilise me…

◍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.