Thesis

2017

Author Affiliation Degree Date Title
Miki Yagita Dept. of Computer Science, The University of Tokyo Master March 2017 Similarity Analysis on Legal Court Case Documents
Zhen Cui Dept. of Creative Informatics, The University of Tokyo Master March 2017 A fast approach for Test-Driven Code Search
Tsutomu Kobayashi Dept. of Computer Science, The University of Tokyo Doctor March 2017 Supporting Planning and Refactoring of Refinement Structure of Event-B Models

2016

Author Affiliation Degree Date Title
Natsumi Asahara Dept. of Computer Science, The University of Tokyo Master March 2016 Integrating Rear-gestural Input with Tablet Interfaces for Editing 3D Models
Junto Nakaoka Dept. of Creative Informatics, The University of Tokyo Master March 2016 Efficient repair space search for Ajax Web applications
Tomoya Katagi Dept. of Creative Informatics, The University of Tokyo Master March 2016 Second Order Mutation Testing for Ajax Applications
Yuta Tokitake Dept. of Creative Informatics, The University of Tokyo Master March 2016 Predicting Reviewed Code Changes by Mining Pull Requests on GitHub

2015

Author Affiliation Degree Date Title
Takayuki Suzuki Dept. of Computer Science, The University of Tokyo Master March 2015 An Approach for Evaluating and Suggesting Method Names using N-gram Models
Kohsuke Yatoh Dept. of Computer Science, The University of Tokyo Master March 2015 Feedback-controlled Random Testing
Kiichi Ueta Dept. of Creative Informatics, The University of Tokyo Master March 2015 Empirical Study: Selective Mutation Testing for Ajax Web Applications
Shun Lee Dept. of Creative Informatics, The University of Tokyo Master March 2015 Fast task execution of unmanned aerial vehicle by time-efficient cooperation with unmanned ground vehicles
Yuta Maezawa Dept. of Computer Science, The University of Tokyo Doctor March 2015 Interaction-Based Preventive Maintenance of Ajax Web Applications
Soramichi Akiyama Dept. of Creative Informatics, The University of Tokyo Doctor March 2015 Reducing Energy Consumption of Data Centers by Improving Virtual Machine Live Migration
Ryo Shimizu undefined Doctor March 2015 Study on Multi-Level Model-Driven Development Approach for Wireless Sensor Network Software

2014

Author Affiliation Degree Date Title
Yuki Inoue Dept. of Computer Science, The University of Tokyo Master March 2014 UCT with Speciation for Riparian Invasive Species Problem
Shengbo Xu Dept. of Computer Science, The University of Tokyo Master March 2014 SAMPLE EFFICIENT NEUROEVOLUTION ALGORITHMS FOR ROBOTS CONTROLLER GENERATION
Kazuki Nishiura Dept. of Computer Science, The University of Tokyo Master March 2014 MUTATION ANALYSIS FOR TESTING JAVASCRIPT WEB APPLICATIONS

2013

Author Affiliation Degree Date Title
Tsutomu Kobayashi Dept. of Computer Science, The University of Tokyo Master March 2013 ANALYSIS ON REFINEMENT STRATEGY PLANNING IN EVENT-B
Shouichi Kamiya Dept. of Computer Science, The University of Tokyo Master March 2013 SYNCHRONIZATION OF RANDOM SEARCH JPFS
Shingo Horiuchi Dept. of Computer Science, The University of Tokyo Master March 2013 AUTOMATIC IMAGE DESCRIPTION BY USING WORD-LEVEL FEATURES
Susumu Toriumi Dept. of Computer Science, The University of Tokyo Doctor March 2013 SENSOR ASSIGNMENT FOR MULTIPLE TASKS IN SHARED WIRELESS SENSOR NETWORKS
Hirotaka Moriguchi Dept. of Computer Science, The University of Tokyo Doctor March 2013 Policy Search and Model Learning in Reinforcement Learning via Evolutionary Computation
Adrian Helmut David Klein Dept. of Computer Science, The University of Tokyo Doctor March 2013 Applied and Scalable Optimization of Long-term and Network-aware Service Compositions
Valentina Baljak Dept. of Creative Informatics, The University of Tokyo Doctor March 2013 Framework for Fault Tolerance in Dense Data-centric Wireless Sensor Networks
Florian Stefan Wagner Dept. of Creative Informatics, The University of Tokyo Doctor March 2013 Robust Workflows by Applying Functional Clustering on Multi-Objective Service Composition

2012

Author Affiliation Degree Date Title
Mohammad Reza Motallebi Dept. of Computer Science, The University of Tokyo Master March 2012 Trust Computation for Web Service Composition Using Bayesian Networks
Yuta Maezawa Dept. of Computer Science, The University of Tokyo Master March 2012 Extracting Interaction-based Stateful Behavior in Rich Internet Applications
Daisuke Fukuchi Dept. of Computer Science, The University of Tokyo Doctor March 2012 PLACEMENTS AND ALGORITHMS FOR ARRAYS ON CHORD NETWORKS
Johan t. Nyström-Persson Dept. of Computer Science, The University of Tokyo Doctor March 2012 EXTENDING THE JAVA PROGRAMMING LANGUAGE FOR EVOLVABLE COMPONENT INTEGRATION

2011

Author Affiliation Degree Date Title
Suyama Atsushi Dept. of Computer Science, The University of Tokyo Master March 2011 DYNAMIC NETWORKED EVOLUTIONARY ALGORITHM

2010

Author Affiliation Degree Date Title
Rey Abe Dept. of Creative Informatics, The University of Tokyo Doctor September 2010 Adaptive Communication Protocols for Wireless Sensor Networks
Yoichi Kaneki Dept. of Computer Science, The University of Tokyo Master March 2010 Wavelet-based Correlated Data Compression Using Broadcast in Wireless Sensor Networks
Hirotaka Moriguchi Dept. of Computer Science, The University of Tokyo Master March 2010 Behavior-based Niching Scheme for Neuroevolution
Susumu Toriumi Dept. of Computer Science, The University of Tokyo Master March 2010 Sensor Assignment for Multiple Tasks using Path Information
Valentina Baljak Dept. of Creative Informatics, The University of Tokyo Master March 2010 DISCOVERY OF CONFIGURATIONS FOR INDOOR WIRELESS SENSOR NETWORKS THROUGH USE OF SIMULATION IN VIRTUAL WORLDS
Christian Sommer Dept. of Computer Science, The University of Tokyo Doctor March 2010 Approximate Shortest Path and Distance Queries in Networks

2009

Author Affiliation Degree Date Title
Daisuke Fukuchi Dept. of Computer Science, The University of Tokyo Master March 2009 Distributed Arrays: A P2P Data Structure for Efficient Logical Arrays
Yuichi Sei Dept. of Computer Science, The University of Tokyo Doctor March 2009 DETECTION OF COMMUNICATION DISTURBANCES IN WIRELESS SENSOR NETWORKS

2008

Author Affiliation Degree Date Title
Eric Tschetter Dept. of Computer Science, The University of Tokyo Master March 2008 Timeless modeling of application-level timeouts for model checking communication protocols
Ryota Seike Dept. of Computer Science, The University of Tokyo Master March 2008 INCS-DF:In-Network Centric Storage-balacing and Data Filtering in Wireless Sensor Networks
Ryu Tatsumi Dept. of Computer Science, The University of Tokyo Master March 2008 Secure Vickrey Auction Protocol using Order-Preserving Function
Satoshi Kataoka Dept. of Computer Science, The University of Tokyo Master March 2008 Multi Robot Framework for Task Allocation

2007

Author Affiliation Degree Date Title
Truong Khanh Quan Dept. of Computer Science, The University of Tokyo Master March 2007 Improving Prediction Accuracy in Recommender System by Clustering Items Based on Stability of User Similarity
Satoshi Niwa Dept. of Computer Science, The University of Tokyo Master March 2007 Web Document Recommender based on Folksonomy Mining
Eric Platon The Graduate University for Advanced Studies Doctor March 2007 Model of Exception Management in Multi-Agent Systems
Kazutaka Matsuzaki Dept. of Computer Science, The University of Tokyo Doctor March 2007 On the Ease of Deployment of Applications for Ambient Environments
Fuyuki Ishikawa Dept. of Computer Science, The University of Tokyo Doctor March 2007 Agreement-based Cooperative Mobility in Service-Oriented Computing

2006

Author Affiliation Degree Date Title
NGUYEN Khanh Ngoc Dept. of Computer Science, The University of Tokyo Master March 2006 Service agreement description and management framework
Yuichi Sei Dept. of Computer Science, The University of Tokyo Master March 2006 An algorithm to reduce the communication traffic for multi-word search in distributed hash table

2005

Author Affiliation Degree Date Title
Takuya Karube Dept. of Computer Science, The University of Tokyo Master March 2005 MOBILE AGENT FRAMEWORK FOR CONTENT DISTRIBUTION
Takuo Doi Dept. of Computer Science, The University of Tokyo Master March 2005 IOM/T: An Interaction Description Language for Multi-Agent System

2004

Author Affiliation Degree Date Title
Kazutaka Matsuzaki Dept. of Computer Science, The University of Tokyo Master March 2004 UBIQUITOUS APPLICATIONS DEVELOPMENT WITH MOBILEAGENT_BASED SYSTEM
Fuyuki Ishikawa Dept. of Computer Science, The University of Tokyo Master March 2004 WEB SERVICES INTEGRATION WITH MOBILE AGENT

2003

2002

2001

2000