Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models. - Martin Berz; Kyoko Makino (Reliab. Comput., 1998)

New Methods for High-Dimensional Verified Quadrature. - Martin Berz; Kyoko Makino (Reliab. Comput., 1999)

Efficient Control of the Dependency Problem Based on Taylor Model Methods. - Kyoko Makino; Martin Berz (Reliab. Comput., 1999)

Computing Validated Solutions of Implicit Differential Equations. - Jens Hoefkens; Martin Berz; Kyoko Makino (Adv. Comput. Math., 2003)

Controlling the Wrapping Effect in the Solution of ODEs for Asteroids. - Jens Hoefkens; Martin Berz; Kyoko Makino (Reliab. Comput., 2003)

Performance of Taylor Model Methods for Validated Integration of ODEs. - Martin Berz; Kyoko Makino (PARA, 2004)

Method of Hiding Information in Agglutinative Language Documents Using Adjustment to New Line Positions. - Osamu Takizawa; Kyoko Makino; Tsutomu Matsumoto; Hiroshi Nakagawa; Ichiro Murase (KES (3), 2005)

Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. - Nathalie Revol; Kyoko Makino; Martin Berz (J. Log. Algebraic Methods Program., 2005)

The Supporting Technology of Business Document Proofreading based on Intercultural Differences. - Guowei Zu; Hiroshi Taira; Kyoko Makino; Toshiyuki Kano; Shigeru Matsumoto (CEC/EEE, 2007)

Rigorous global search using taylor models. - Martin Berz; Kyoko Makino (SNC, 2009)

Rigorous integration of flows and ODEs using taylor models. - Kyoko Makino; Martin Berz (SNC, 2009)

A Discovery Method of Trend Rules from Complex Sequential Data. - Shigeaki Sakurai; Kyoko Makino; Shigeru Matsumoto (AINA Workshops, 2012)

Prediction of attractive evaluation objects based on trend rules and topic dictionary. - Shigeaki Sakurai; Kyoko Makino; Shigeru Matsumoto (SCIS&ISIS, 2012)

An Introduction to Beam Physics. - Martin Berz; Kyoko Makino; Weishi Wan (CRC Press, 2014)

An Activation Method of Topic Dictionary to Expand Training Data for Trend Rule Discovery. - Shigeaki Sakurai; Kyoko Makino; Shigeru Matsumoto (Appl. Comput. Intell. Soft Comput., 2014)

Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491). - Sergiy Bogomolov; Martin Fränzle; Kyoko Makino; Nacim Ramdani (Dagstuhl Reports, 2016)

Rigorous Reachability Analysis and Domain Decomposition of Taylor Models. - Martin Berz; Kyoko Makino (NSV@CAV, 2017)

Verified Computations Using Taylor Models and Their Applications. - Kyoko Makino; Martin Berz (NSV@CAV, 2017)