Yoshinao ISOBE


Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver
Yoshinao ISOBE Hisabumi HATSUGAI Akira TANAKA Yutaka OIWA Takanori AMBE Akimasa OKADA Satoru KITAMURA Yamato FUKUTA Takashi KUNIFUJI 
Publication:   
Publication Date: 2019/02/01
Vol. E102-A  No. 2  pp. 325-335
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: 
Keyword: 
formal approachtrain timetablemesoscopic modelperiodic timetableSMT-Solverrailway capacity
 Summary | Full Text:PDF

FOREWORD
Yoshinao ISOBE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/05/01
Vol. E97-D  No. 5  pp. 1139-1139
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF

Refinement and Verification of Sequence Diagrams Using the Process Algebra CSP
Tomohiro KAIZU Yoshinao ISOBE Masato SUZUKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2013/02/01
Vol. E96-A  No. 2  pp. 495-504
Type of Manuscript:  Special Section PAPER (Special Section on Mathematical Systems Science and its Applications)
Category: Concurrent Systems
Keyword: 
sequence diagramprocess algebraCSPprocess synthesis
 Summary | Full Text:PDF

Least Fixpoint and Greatest Fixpoint in a Process Algebra with Conjunction and Disjunction
Yoshinao ISOBE Yutaka SATO Kazuhito OHMAKI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2000/03/25
Vol. E83-A  No. 3  pp. 401-411
Type of Manuscript:  Special Section PAPER (Special Section of Selected Papers from the 12th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
process algebraprocess logicprocess synthesisleast fixpointgreatest fixpoint
 Summary | Full Text:PDF

Analysis of Database Production Rules by Process Algebra
Yoshinao ISOBE Isao KOJIMA Kazuhito OHMAKI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/08/25
Vol. E78-D  No. 8  pp. 992-1002
Type of Manuscript:  PAPER
Category: Databases
Keyword: 
active databaseproduction ruleprocess algebraprocess creationprocess treemulti-way communication
 Summary | Full Text:PDF