dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Teruo Higashino (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTomoya Kitani, Ryo Nakahashi, Khaled El-Fakih, Teruo Higashino: Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors. RTCSA 2009: 109-118
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuki Sakai, Akihito Hiromori, Hirozumi Yamaguchi, Khaled El-Fakih, Teruo Higashino: An integrated tool for development of overlay services. SimuTools 2009: 61
105no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih: Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings Springer 2008
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino: Deriving protocol specifications from service specifications written as Predicate/Transition-nets. Computer Networks 51(1): 258-284 (2007)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHirozumi Yamaguchi, Khaled El-Fakih, Akihito Hiromori, Teruo Higashino: A formal approach to design optimized multimedia service overlay. NOSSDAV 2005: 57-62
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHirozumi Yamaguchi, Khaled El-Fakih, Gregor von Bochmann, Teruo Higashino: Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets. Distributed Computing 16(1): 21-35 (2003)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhaled El-Fakih, Hirozumi Yamaguchi, Gregor von Bochmann, Teruo Higashino: Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources. ASE 2000: 305-308

Selection of 7 from 129 records - Teruo Higashino has 126 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page