メインナビゲーションにスキップ
検索にスキップ
メインコンテンツにスキップ
English
日本語
ホーム
プロファイル
研究部門
研究成果
専門知識、名前、または所属機関で検索
Scopus著者プロファイル
本位田 真一
教授(任期付)
Professor(without tenure) 教授(任期付)
,
国際理工学センター(理工学術院)
ウェブサイト
http://researchers.waseda.jp/profile/ja.1786b2d104ffd2118d973db970bb041d.html
1910
被引用数
出典: Scopus
21
h-index
Pureの文献数とScopusの被引用数に基づいて算出されます
1984 …
2020
年別の研究成果
概要
フィンガープリント
ネットワーク
研究成果
(297)
類似のプロファイル
(6)
Pureに変更を加えた場合、すぐここに表示されます。
フィンガープリント
Shinichi Honidenが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
並べ替え順
重み付け
アルファベット順
Engineering & Materials Science
Mobile agents
Wireless sensor networks
Multi agent systems
Specifications
Chemical analysis
Web services
Temporal logic
Communication
Software engineering
Quality of service
Formal specification
Adaptive systems
Ubiquitous computing
Virtual machine
Planning
Experiments
Network protocols
Software prototyping
Object oriented programming
Computer programming languages
Middleware
Real time systems
Testing
Semantics
Specification languages
Model checking
Traffic congestion
Internet
Information services
Interoperability
Sensors
Formal methods
Computer software reusability
Ad hoc networks
Petri nets
Routing protocols
Large scale systems
Industry
Data structures
Mobile computing
Costs
Encapsulation
Sensor nodes
Robots
Synchronization
Concretes
Knowledge engineering
Telecommunication traffic
Recommender systems
Application programs
Mathematics
Mobile Agent
Framework
Agent Systems
Event-B
Concurrent
Agent Architecture
Multi-agent Systems
Interaction Protocols
Interaction
Service Selection
Wireless Sensor Networks
Architecture
Service Composition
Intelligent Agents
Mobile Systems
Neuroevolution
Specification
Refinement
Policy
Exception Handling
Voronoi
Model
Infrastructure
Refactoring
Prototyping
Web Services
Communication
Distributed Systems
Migration
Formal Specification
Quality of Service
Traffic
Design
Object
Software
Planning
Requirements
Vertex of a graph
Exception
Rewriting Logic
Real-time
Robot
Resources
Context-aware
Petri Nets
Software Development
Context
Prolog
Temporal Logic