Find Research outputs

Search results

• Conference contribution

  Accent neutralization for speech recognition of non-native speakers

  Radzikowski, K., Forc, M., Wang, L., Yoshie, O. & Nowak, R., 2019 Dec 2, 21st International Conference on Information Integration and Web-Based Applications and Services, iiWAS 2019 - Proceedings. Indrawan-Santiago, M., Pardede, E., Salvadori, I. L., Steinbauer, M., Khalil, I. & Anderst-Kotsis, G. (eds.). Association for Computing Machinery, (ACM International Conference Proceeding Series).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• Access control of XML documents and business rule processing for advanced information exchange

  Iwaihara, M., 2007, Proceedings - Second International Conference on Informatics Research for Development of Knowledge Society Infrastructure, ICKS 2007. p. 177-184 8 p. 4161228. (Proceedings - Second International Conference on Informatics Research for Development of Knowledge Society Infrastructure, ICKS 2007).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Accessibility evaluation for GUI software using source programs

  Shirogane, J., Mori, T., Iwata, H. & Fukazawa, Y., 2008 Jan 1, Knowledge-Based Software Engineering. Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering. 1 ed. IOS Press, p. 135-144 10 p. (Frontiers in Artificial Intelligence and Applications; vol. 180, no. 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Accessible-Design Standards for Consumer Products Developed in ISO/TC 159/SC 4/WG 10

  Kurakata, K., 2019 Jan 1, Proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018) - Volume VII: Ergonomics in Design, Design for All, Activity Theories for Work Analysis and Design, Affective Design. Bagnara, S., Tartaglia, R., Albolino, S., Alexander, T. & Fujita, Y. (eds.). Springer-Verlag, p. 1553-1557 5 p. (Advances in Intelligent Systems and Computing; vol. 824).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Access to cytoplasm of living single cells by nanofluidic technology∗

  Mawatari, K., Ling, L. & Kitamori, T., 2019 Feb 13, Proceedings of the 12th IEEE International Conference on Nano/Molecular Medicine and Engineering, NANOMED 2018. IEEE Computer Society, p. 63-66 4 p. 8641638. (IEEE International Conference on Nano/Molecular Medicine and Engineering, NANOMED; vol. 2018-December).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Accident prevention system based on semantic network

  Yang, J. X. & Watada, J., 2008, Proceedings of the 7th International Conference on Machine Learning and Cybernetics, ICMLC. Vol. 7. p. 3738-3743 6 p. 4621055

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• Accirate subgraph probabilities in a Random Geometric Graph and application to cooperative multihop ad-hoc networks

  Bourgeois, T. & Shimamoto, S., 2012 Dec 1, 2012 IEEE Global Communications Conference, GLOBECOM 2012. p. 506-511 6 p. 6503163. (GLOBECOM - IEEE Global Telecommunications Conference).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Accommodating learning styles: An EFL pronunciation course for science and engineering students

  Rose, R. L., 2010 Sept 15, 2010 IEEE International Professional Communication Conference, IPCC 2010. p. 138-142 5 p. 5529826. (IEEE International Professional Communication Conference).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Accounting for private taste: Facial shape analysis of attractiveness and inter-individual variance

  Tanaka, T., Mikuni, J., Shimane, D., Nakamura, K. & Watanabe, K., 2020 Jan, KST 2020 - 2020 12th International Conference on Knowledge and Smart Technology. Institute of Electrical and Electronics Engineers Inc., p. 203-206 4 p. 9059511. (KST 2020 - 2020 12th International Conference on Knowledge and Smart Technology).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  2 Citations (Scopus)

• Accounting system: A fine-grained CPU resource protection mechanism for Embedded System

  Sugaya, M., Oikawa, S. & Nakajima, T., 2006 Nov 21, Proceedings - Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2006. p. 72-81 10 p. 1630. (Proceedings - Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2006).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  14 Citations (Scopus)

• Accuracy and Generality of Trained Models for Lift Planning Using Deep Reinforcement Learning-Optimization of the Crane Hook Movement between Two Points

  Tarutani, A. & Ishida, K., 2020, Proceedings of the 37th International Symposium on Automation and Robotics in Construction, ISARC 2020: From Demonstration to Practical Use - To New Stage of Construction Robot. International Association on Automation and Robotics in Construction (IAARC), p. 538-546 9 p. (Proceedings of the 37th International Symposium on Automation and Robotics in Construction, ISARC 2020: From Demonstration to Practical Use - To New Stage of Construction Robot).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Accuracy-configurable low-power approximate floating-point multiplier based on mantissa bit segmentation

  Li, J., Guo, Y. & Kimura, S., 2020 Nov 16, 2020 IEEE Region 10 Conference, TENCON 2020. Institute of Electrical and Electronics Engineers Inc., p. 1311-1316 6 p. 9293755. (IEEE Region 10 Annual International Conference, Proceedings/TENCON; vol. 2020-November).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  5 Citations (Scopus)

• Accuracy evaluation of corridor width estimation using RGB-D camera

  Maruyama, D., Kanai, K. & Katto, J., 2020 Oct 13, 2020 IEEE 9th Global Conference on Consumer Electronics, GCCE 2020. Institute of Electrical and Electronics Engineers Inc., p. 297-298 2 p. 9291898. (2020 IEEE 9th Global Conference on Consumer Electronics, GCCE 2020).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Accuracy evaluations of contact-free heart rate measurement mehods using 4K facial images

  Yasumaru, M., Cheng, Z., Yoloyama, R., Knai, K. & Katto, J., 2019 Mar 6, 2019 IEEE International Conference on Consumer Electronics, ICCE 2019. Institute of Electrical and Electronics Engineers Inc., 8662095. (2019 IEEE International Conference on Consumer Electronics, ICCE 2019).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Accuracy evaluations of human moving pattern using communication quality based on machine learning

  Kawakami, W., Kanai, K., Wei, B. & Katto, J., 2017 Dec 19, 2017 IEEE 6th Global Conference on Consumer Electronics, GCCE 2017. Institute of Electrical and Electronics Engineers Inc., p. 1-2 2 p. (2017 IEEE 6th Global Conference on Consumer Electronics, GCCE 2017; vol. 2017-January).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  4 Citations (Scopus)

• Accuracy evaluations of real-time LiDAR-based indoor localization system

  Nimura, M., Kanai, K. & Katto, J., 2023, 2023 IEEE International Conference on Consumer Electronics, ICCE 2023. Institute of Electrical and Electronics Engineers Inc., (Digest of Technical Papers - IEEE International Conference on Consumer Electronics; vol. 2023-January).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Accuracy evaluations of video anomaly detection using human pose estimation

  Ichihara, K., Takeuchi, M. & Katto, J., 2020 Jan, 2020 IEEE International Conference on Consumer Electronics, ICCE 2020. Institute of Electrical and Electronics Engineers Inc., 9043128. (Digest of Technical Papers - IEEE International Conference on Consumer Electronics; vol. 2020-January).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  2 Citations (Scopus)

• Accuracy improvement in human detection using HOG features on train-mounted camera

  Saika, S., Takahashi, S., Takeuchi, M. & Katto, J., 2016 Dec 27, 2016 IEEE 5th Global Conference on Consumer Electronics, GCCE 2016. Institute of Electrical and Electronics Engineers Inc., 7800373. (2016 IEEE 5th Global Conference on Consumer Electronics, GCCE 2016).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  7 Citations (Scopus)

• Accuracy of Japanese pitch accent rises during and after shadowing training

  Rongna, A. & Hayashi, R., 2012, Proceedings of the 6th International Conference on Speech Prosody, SP 2012. Tongji University Press, p. 214-217 4 p. (Proceedings of the 6th International Conference on Speech Prosody, SP 2012; vol. 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Accurate, dense 3D reconstruction of moving and still objects from dynamic stereo sequences based on Temporal Modified-RANSAC and feature-cut

  Tatematsu, N. & Ohya, J., 2012, Proceedings of SPIE-IS and T Electronic Imaging - Intelligent Robots and Computer Vision XXIX: Algorithms and Techniques. 830105. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 8301).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  2 Citations (Scopus)

• Accurate depth-map refinement by per-pixel plane fitting for stereo vision

  Yokozuka, M., Tomita, K., Matsumoto, O. & Banno, A., 2016 Jan 1, 2016 23rd International Conference on Pattern Recognition, ICPR 2016. Institute of Electrical and Electronics Engineers Inc., p. 2807-2812 6 p. 7900061. (Proceedings - International Conference on Pattern Recognition; vol. 0).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  3 Citations (Scopus)

• Accurate extraction and measurement of fine cracks from concrete block surface image

  Ito, A., Aoki, Y. & Hashimoto, S., 2002, IECON Proceedings (Industrial Electronics Conference). Vol. 3. p. 2202-2207 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  101 Citations (Scopus)

• Accurate extraction of kt₂of piezoelectric film/substrate structure by conversion loss method for subtracting experimental acoustic losses in the substrate

  Tatsumi, R. & Yanagitani, T., 2020 Sept 7, IUS 2020 - International Ultrasonics Symposium, Proceedings. IEEE Computer Society, 9251360. (IEEE International Ultrasonics Symposium, IUS; vol. 2020-September).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• Accurate indoor positioning using IMES radio

  Fujii, K., Wang, W., Kaneko, Y., Sakamoto, Y., Arie, H. & Sugano, S., 2015 Sept 2, 2015 IEEE International Conference on Mechatronics and Automation, ICMA 2015. Institute of Electrical and Electronics Engineers Inc., p. 1966-1971 6 p. 7237787

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  4 Citations (Scopus)

• Accurate Matrix Multiplication on Binary128 Format Accelerated by Ozaki Scheme

  Mukunoki, D., Ozaki, K., Ogita, T. & Imamura, T., 2021 Aug 9, 50th International Conference on Parallel Processing, ICPP 2021 - Main Conference Proceedings. Association for Computing Machinery, (ACM International Conference Proceeding Series).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• Accurate measurement of sneak current in reram crossbar array with data storage pattern dependencies

  Shang, Y. & Ohsawa, T., 2019 Apr, 2019 International Symposium on VLSI Technology, Systems and Application, VLSI-TSA 2019. Institute of Electrical and Electronics Engineers Inc., 8804668. (2019 International Symposium on VLSI Technology, Systems and Application, VLSI-TSA 2019).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  4 Citations (Scopus)

• Accurate OD Traffic Matrix Estimation Based on Resampling of Observed Flow Data

  Kase, S., Tsuru, M. & Uchida, M., 2019 Mar 4, 2018 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, APSIPA ASC 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1574-1579 6 p. 8659531. (2018 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, APSIPA ASC 2018 - Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• AC direct multiple-string LED driver with low THD and minimum components

  Yeh, Y., Chen, M., Li, X., Shinohara, H. & Yoshihara, T., 2016 Feb 8, ISOCC 2015 - International SoC Design Conference: SoC for Internet of Everything (IoE). Institute of Electrical and Electronics Engineers Inc., p. 117-118 2 p. 7401680. (ISOCC 2015 - International SoC Design Conference: SoC for Internet of Everything (IoE)).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  5 Citations (Scopus)

• ACE/NOZOMI multispacecraft observations of solar energetic particles

  Miyasaka, H., Stone, E. C., Mewaldt, R. A., Mason, G. M., Haggerty, D. K., Nagata, K., Kikuchi, J., Doke, T., Hasebe, N., Maezawa, K., Takashima, T., Ihara, A. & Matsuoka, A., 2005, 29th International Cosmic Ray Conference, ICRC 2005. Tata Institute of Fundamental Research, Vol. 1. p. 315-318 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  2 Citations (Scopus)

• A challenge of authorship identification for ten-thousand-scale microblog users

  Okuno, S., Asai, H. & Yamana, H., 2015 Jan 7, Proceedings - 2014 IEEE International Conference on Big Data, IEEE Big Data 2014. Chang, W., Huan, J., Cercone, N., Pyne, S., Honavar, V., Lin, J., Hu, X. T., Aggarwal, C., Mobasher, B., Pei, J. & Nambiar, R. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 52-54 3 p. 7004491. (Proceedings - 2014 IEEE International Conference on Big Data, IEEE Big Data 2014).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  16 Citations (Scopus)

• A challenge to develop an inexpensive "spiral vortex pump"

  Tsujimoto, T., Iwasaki, K., Saeki, W., Yoshida, K., Arita, M., Umezu, M., Qian, Y., Ye, C. X., Imachi, K., Ishihara, K. & Tanaka, T., 2002, Proceedings of Asian Simulation Conference; System Simulation and Scientific Computing (Shanghai). Zongij, C., Minrui, F., Guosen, H., Xiaoyuan, P. & Guangleng, X. (eds.). p. 1040-1044 5 p. (Proceedings of Asian Simulation Conference; System Simulation and Scientific Computing (Shanghai); vol. 2).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• A charge pump circuit without overstress in low-voltage CMOS standard process

  Pan, J. & Yoshihara, T., 2007, IEEE Conference on Electron Devices and Solid-State Circuits 2007, EDSSC 2007. p. 501-504 4 p. 4450172

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  14 Citations (Scopus)

• A chat system based on emotion estimation from text and embodied conversational messengers

  Ma, C., Prendinger, H. & Ishizuka, M., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3711 LNCS. p. 535-538 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3711 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  11 Citations (Scopus)

• A chat system based on emotion estimation from text and embodied conversational messengers (preliminary report)

  Ma, C., Prendinger, H., Osherenko, A. & Ishizuka, M., 2005, Proceedings of the 2005 International Conference on Active Media Technology, AMT 2005. Vol. 2005. p. 546-548 3 p. 1505418

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  24 Citations (Scopus)

• A chemo-mechanical rotational actuator driven by BZ reaction

  Maeda, S., Hara, Y., Yoshida, R. & Hashimoto, S., 2006, Proceedings of the First IEEE/RAS-EMBS International Conference on Biomedical Robotics and Biomechatronics, 2006, BioRob 2006. Vol. 2006. p. 1160-1165 6 p. 1639249

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  12 Citations (Scopus)

• Achievement of high-speed processing by autonomous decentralized processing and decentralized algorithm in a wired-and-wireless integrated IC card ticket system

  Shiibashi, A., Lu, X. & Mori, K., 2006, Proc. - The Fourth IEEE Workshop on Software Technol. for Future Embedded and Ubiquitous Syst., SEUS 2006 andthe Second Int. Workshop on Collaborative Comput., Integr., and Assur., WCCIA 2006. Vol. 2006. p. 163-169 7 p. 1611731

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Achievement of peristaltic design in the artificial esophagus based on esophageal characteristic analysis of goats’ specimen

  Taira, Y., Kamiya, K., Shiraishi, Y., Miura, H., Shiga, T., Hashem, M. O., Yamada, A., Tsuboko, Y., Ito, T., Sano, K., Homma, D. & Yambe, T., 2014, The 15th International Conference on Biomedical Engineering, ICBME 2013. Goh, J. (ed.). Springer Verlag, p. 372-374 3 p. (IFMBE Proceedings; vol. 43).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Achieving almost-full security for lattice-based fully dynamic group signatures with verifier-local revocation

  Perera, M. N. S. & Koshiba, T., 2018, Information Security Practice and Experience - 14th International Conference, ISPEC 2018, Proceedings. Kikuchi, H. & Su, C. (eds.). Springer Verlag, p. 229-247 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11125 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  10 Citations (Scopus)

• Achieving full security for lattice-based group signatures with verifier-local revocation

  Perera, M. N. S. & Koshiba, T., 2018, Information and Communications Security - 20th International Conference, ICICS 2018, Proceedings. Blanc, G., Qing, S., Lu, R., Zhang, Z., Meddahi, A., Naccache, D., Xu, S. & Samarati, P. (eds.). Springer Verlag, p. 287-302 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11149 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  3 Citations (Scopus)

• Achieving Human–Robot Collaboration with Dynamic Goal Inference by Gradient Descent

  Murata, S., Masuda, W., Chen, J., Arie, H., Ogata, T. & Sugano, S., 2019, Neural Information Processing - 26th International Conference, ICONIP 2019, Proceedings. Gedeon, T., Wong, K. W. & Lee, M. (eds.). Springer, p. 579-590 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11954 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  3 Citations (Scopus)

• Achieving short ciphertexts or short secret-keys for adaptively secure general inner-product encryption

  Okamoto, T. & Takashima, K., 2011, Cryptology and Network Security - 10th International Conference, CANS 2011, Proceedings. p. 138-159 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7092 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  61 Citations (Scopus)

• Achieving Strong Security and Verifier-Local Revocation for Dynamic Group Signatures from Lattice Assumptions

  Perera, M. N. S. & Koshiba, T., 2018, Security and Trust Management - 14th International Workshop, STM 2018, Proceedings. Alcaraz, C., Katsikas, S. K. & Katsikas, S. K. (eds.). Springer Verlag, p. 3-19 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11091 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  8 Citations (Scopus)

• Achieving Sustainable Society through Micro-level Crowdfunding

  Sakamoto, M., Nakajima, T., Liu, Y. & Alexandrova, T., 2013 Apr 27, CHI EA 2013 - Extended Abstracts on Human Factors in Computing Systems: Changing Perspectives. Beaudouin-Lafon, M., Baudisch, P. & Mackay, W. E. (eds.). Association for Computing Machinery, p. 1443-1448 6 p. (Conference on Human Factors in Computing Systems - Proceedings; vol. 2013-April).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  2 Citations (Scopus)

• A choreographic authoring system for character dance animation reflecting a user’s preference

  Kakitsuka, R., Tsukuda, K., Fukayama, S., Iwamoto, N., Goto, M. & Morishima, S., 2016, Computer Animation 2016 - ACM SIGGRAPH / Eurographics Symposium Proceedings, SCA 2016 Posters. Bender, J. (ed.). The Eurographics Association, (Computer Animation 2016 - ACM SIGGRAPH / Eurographics Symposium Proceedings, SCA 2016 Posters).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  3 Citations (Scopus)

• Achromatically coupled wavelength conversion module with SILICAGRIN® lens

  Sugiura, K., Kurimura, S., Muranaka, Y., Kikuchi, K., Suzuki, T., Nakajima, H. & Ichikawa, J., 2012, CLEO: Science and Innovations, CLEO_SI 2012.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Achromatically coupled wavelength conversion module with SILICAGRIN® lens

  Sugiura, K., Kurimura, S., Muranaka, Y., Kikuchi, K., Suzuki, T., Nakajima, H. & Ichikawa, J., 2012, 2012 Conference on Lasers and Electro-Optics, CLEO 2012. 6325534

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• A class of prior distributions on context tree models and an efficient algorithm of the Bayes codes assuming it

  Matsushima, T. & Hirasawa, S., 2007 Dec 1, ISSPIT 2007 - 2007 IEEE International Symposium on Signal Processing and Information Technology. p. 938-941 4 p. 4458049. (ISSPIT 2007 - 2007 IEEE International Symposium on Signal Processing and Information Technology).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  3 Citations (Scopus)

• A clock net reassignment algorithm using Voronoi diagram

  Edahiro, M., 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers. Publ by IEEE, p. 420-423 4 p. (1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• A closed-form expression for estimating minimum operating voltage (V _DDmin) of CMOS logic gates

  Fuketa, H., Iida, S., Yasufuku, T., Takamiya, M., Nomura, M., Shinohara, H. & Sakurai, T., 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference, DAC 2011. Institute of Electrical and Electronics Engineers Inc., p. 984-989 6 p. 5981890. (Proceedings - Design Automation Conference).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  21 Citations (Scopus)

• A close look at constraint-based concurrency

  Ueda, K., 2001, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 2237. p. 9 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2237).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution