Yuki Chiba

MaRDI QIDQ2009474zbMATH OpenWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Scale-free congestion clusters in large-scale traffic networks: a continuum modeling study Physica A	2026-09-09	Paper
Nitsche's method for a Robin boundary value problem in a smooth domain Numerical Methods for Partial Differential Equations	2023-11-23	Paper
Computing Morse decomposition of ODEs via Runge-Kutta method JSIAM Letters	2022-11-09	Paper
Erratum: Computing Morse decomposition of ODEs via Runge-Kutta method JSIAM Letters	2022-11-09	Paper
Weak discrete maximum principle and L^ analysis of the DG method for the Poisson equation on a polygonal domain Japan Journal of Industrial and Applied Mathematics	2019-11-28	Paper
Checking the Conformance of a Promela Design to its Formal Specification in Event-B Communications in Computer and Information Science	2016-01-06	Paper
Constructor-Based Inductive Theorem Prover Algebra and Coalgebra in Computer Science	2013-09-13	Paper
Natural inductive theorems for higher-order rewriting	2012-04-24	Paper
RAPT: A Program Transformation System Based on Term Rewriting Lecture Notes in Computer Science	2008-09-25	Paper

Research outcomes over time

This page was built for person: Yuki Chiba