@article{HoumaniMF09,
  title = {Secrecy of cryptographic protocols under equational theory},
  author = {Hanane Houmani and Mohamed Mejri and Hamido Fujita},
  year = {2009},
  doi = {10.1016/j.knosys.2008.11.004},
  url = {http://dx.doi.org/10.1016/j.knosys.2008.11.004},
  tags = {protocol},
  researchr = {https://researchr.org/publication/HoumaniMF09},
  cites = {0},
  citedby = {0},
  journal = {kbs},
  volume = {22},
  number = {3},
  pages = {160-173},
}

@inproceedings{AraiF08,
  title = {Design Concept of Automatic Program Generation Tool for Reactive Requirement},
  author = {Osamu Arai and Hamido Fujita},
  year = {2008},
  tags = {reactive programming, design},
  researchr = {https://researchr.org/publication/AraiF08},
  cites = {0},
  citedby = {0},
  pages = {377-388},
  booktitle = {somet},
}

@article{MejriKFE03,
  title = {Static analysis of Lyee requirements},
  author = {Mohamed Mejri and Béchir Ktari and Hamido Fujita and M. M. Erhioui},
  year = {2003},
  doi = {10.1016/j.knosys.2003.08.002},
  url = {http://dx.doi.org/10.1016/j.knosys.2003.08.002},
  tags = {analysis, static analysis},
  researchr = {https://researchr.org/publication/MejriKFE03},
  cites = {0},
  citedby = {0},
  journal = {kbs},
  volume = {16},
  number = {7-8},
  pages = {361-382},
}

@inproceedings{MejriF08,
  title = {Enforcing Security Policies Using Algebraic Approach},
  author = {Mohamed Mejri and Hamido Fujita},
  year = {2008},
  tags = {security,  algebra, systematic-approach},
  researchr = {https://researchr.org/publication/MejriF08},
  cites = {0},
  citedby = {0},
  pages = {84-98},
  booktitle = {somet},
}

@article{KakushimaBSKDBF05,
  title = {Silicon periodic nano-structures obtained by laser exposure of nano-wires},
  author = {K. Kakushima and T. Bourouina and T. Sarnet and G. Kerrien and D. Débarre and J. Boulmer and Hamido Fujita},
  year = {2005},
  doi = {10.1016/j.mejo.2005.04.034},
  url = {http://dx.doi.org/10.1016/j.mejo.2005.04.034},
  researchr = {https://researchr.org/publication/KakushimaBSKDBF05},
  cites = {0},
  citedby = {0},
  journal = {mj},
  volume = {36},
  number = {7},
  pages = {629-633},
}

@article{GruhnF06,
  title = {Special Issue on  Intelligent Software Design },
  author = {Volker Gruhn and Hamido Fujita},
  year = {2006},
  doi = {10.1016/j.knosys.2005.10.001},
  url = {http://dx.doi.org/10.1016/j.knosys.2005.10.001},
  tags = {design},
  researchr = {https://researchr.org/publication/GruhnF06},
  cites = {0},
  citedby = {0},
  journal = {kbs},
  volume = {19},
  number = {2},
  pages = {105-106},
}

@article{JohannessonF04,
  title = {Special issue on  Legacy systems and software change },
  author = {Paul Johannesson and Hamido Fujita},
  year = {2004},
  doi = {10.1016/j.knosys.2004.07.001},
  url = {http://dx.doi.org/10.1016/j.knosys.2004.07.001},
  researchr = {https://researchr.org/publication/JohannessonF04},
  cites = {0},
  citedby = {0},
  journal = {kbs},
  volume = {17},
  number = {5-6},
  pages = {237-238},
}

@inproceedings{KamedaAGF08,
  title = {Towards Verifying Declarative Specifications of Reactive Systems},
  author = {Tae Kameda and Osamu Arai and Sergei Gorlatch and Hamido Fujita},
  year = {2008},
  researchr = {https://researchr.org/publication/KamedaAGF08},
  cites = {0},
  citedby = {0},
  pages = {389-400},
  booktitle = {somet},
}

@article{Fujita03,
  title = {Special issue on  Intention and Software Process },
  author = {Hamido Fujita},
  year = {2003},
  doi = {10.1016/j.knosys.2003.08.005},
  url = {http://dx.doi.org/10.1016/j.knosys.2003.08.005},
  researchr = {https://researchr.org/publication/Fujita03},
  cites = {0},
  citedby = {0},
  journal = {kbs},
  volume = {16},
  number = {7-8},
  pages = {339},
}

@inproceedings{AraiF06,
  title = {Verification of the Lyee requirement},
  author = {Osamu Arai and Hamido Fujita},
  year = {2006},
  researchr = {https://researchr.org/publication/AraiF06},
  cites = {0},
  citedby = {0},
  pages = {340-361},
  booktitle = {somet},
}

@article{GorlatchMADFF09,
  title = {Clayworks: Toward user-oriented software for collaborative modeling and simulation},
  author = {Sergei Gorlatch and Jens Müller-Iden and Martin Alt and Jan Dünnweber and Hamido Fujita and Yutaka Funyu},
  year = {2009},
  doi = {10.1016/j.knosys.2008.12.001},
  url = {http://dx.doi.org/10.1016/j.knosys.2008.12.001},
  tags = {modeling},
  researchr = {https://researchr.org/publication/GorlatchMADFF09},
  cites = {0},
  citedby = {0},
  journal = {kbs},
  volume = {22},
  number = {3},
  pages = {209-215},
}

@inproceedings{RollandF09,
  title = {About Strategies to Engineer Situational Methods},
  author = {Colette Rolland and Hamido Fujita},
  year = {2009},
  doi = {10.3233/978-1-60750-049-0-22},
  url = {http://dx.doi.org/10.3233/978-1-60750-049-0-22},
  researchr = {https://researchr.org/publication/RollandF09},
  cites = {0},
  citedby = {0},
  pages = {22-38},
  booktitle = {somet},
}

@article{TakedaF04,
  title = {Legacy system program transformation by Lyee methodology},
  author = {Yozo Takeda and Hamido Fujita},
  year = {2004},
  doi = {10.1016/j.knosys.2004.07.002},
  url = {http://dx.doi.org/10.1016/j.knosys.2004.07.002},
  tags = {transformation system, transformation, program transformation},
  researchr = {https://researchr.org/publication/TakedaF04},
  cites = {0},
  citedby = {0},
  journal = {kbs},
  volume = {17},
  number = {5-6},
  pages = {283-302},
}

@article{FujitaHK09,
  title = {Intelligent human interface based on mental cloning-based software},
  author = {Hamido Fujita and Jun Hakura and Masaki Kurematsu},
  year = {2009},
  doi = {10.1016/j.knosys.2008.11.005},
  url = {http://dx.doi.org/10.1016/j.knosys.2008.11.005},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/FujitaHK09},
  cites = {0},
  citedby = {0},
  journal = {kbs},
  volume = {22},
  number = {3},
  pages = {216-234},
}

@inproceedings{MejriAF09,
  title = {Formal Specification and Analysis of Firewalls},
  author = {Mohamed Mejri and Kamel Adi and Hamido Fujita},
  year = {2009},
  doi = {10.3233/978-1-60750-049-0-284},
  url = {http://dx.doi.org/10.3233/978-1-60750-049-0-284},
  tags = {analysis},
  researchr = {https://researchr.org/publication/MejriAF09},
  cites = {0},
  citedby = {0},
  pages = {284-293},
  booktitle = {somet},
}

@inproceedings{FujitaHKCA08,
  title = {Empirical Based Techniques for Human Cognitive Interaction Analysis: Universal Template Design},
  author = {Hamido Fujita and Jun Hakura and Masaki Kurematsu and Shigekazu Chida and Yuko Arakawa},
  year = {2008},
  tags = {empirical, interaction design, rule-based, analysis, human-computer interaction, design},
  researchr = {https://researchr.org/publication/FujitaHKCA08},
  cites = {0},
  citedby = {0},
  pages = {257-277},
  booktitle = {somet},
}

@inproceedings{GorlatchMADFF07,
  title = {Clayworks: Toward User-Oriented Software for Collaborative Modeling and Simulation},
  author = {Sergei Gorlatch and Jens Müller and Martin Alt and Jan Dünnweber and Hamido Fujita and Yutaka Funyu},
  year = {2007},
  tags = {modeling},
  researchr = {https://researchr.org/publication/GorlatchMADFF07},
  cites = {0},
  citedby = {0},
  pages = {403-415},
  booktitle = {somet},
}

@inproceedings{HakuraFK09,
  title = {Facial Expression Invariants for Estimating Mental States of Person},
  author = {Jun Hakura and Hamido Fujita and Masaki Kurematsu},
  year = {2009},
  doi = {10.3233/978-1-60750-049-0-518},
  url = {http://dx.doi.org/10.3233/978-1-60750-049-0-518},
  researchr = {https://researchr.org/publication/HakuraFK09},
  cites = {0},
  citedby = {0},
  pages = {518-530},
  booktitle = {somet},
}

@article{FujitaKM06,
  title = {Implementing Lyee-Calculus in Java},
  author = {Hamido Fujita and Béchir Ktari and Mohamed Mejri},
  year = {2006},
  doi = {10.1016/j.knosys.2005.10.004},
  url = {http://dx.doi.org/10.1016/j.knosys.2005.10.004},
  tags = {Java},
  researchr = {https://researchr.org/publication/FujitaKM06},
  cites = {0},
  citedby = {0},
  journal = {kbs},
  volume = {19},
  number = {2},
  pages = {116-129},
}

@inproceedings{KurematsuOKHF09,
  title = {A Study of How to Implement a Listener Estimate Emotion in Speech},
  author = {Masaki Kurematsu and Marina Ohashi and Orimi Kinosita and Jun Hakura and Hamido Fujita},
  year = {2009},
  doi = {10.3233/978-1-60750-049-0-531},
  url = {http://dx.doi.org/10.3233/978-1-60750-049-0-531},
  researchr = {https://researchr.org/publication/KurematsuOKHF09},
  cites = {0},
  citedby = {0},
  pages = {531-540},
  booktitle = {somet},
}

@inproceedings{SasakiYTFPRTL09,
  title = {Improving Safety and Healthy Life of Elderly People: Italian and Japanese Experiences},
  author = {Jun Sasaki and Keizo Yamada and Michiru Tanaka and Hamido Fujita and Domenico M. Pisanelli and Riccardo Rasconi and Lorenza Tiberio and Claudio De Lazzari},
  year = {2009},
  doi = {10.3233/978-1-60750-049-0-585},
  url = {http://dx.doi.org/10.3233/978-1-60750-049-0-585},
  researchr = {https://researchr.org/publication/SasakiYTFPRTL09},
  cites = {0},
  citedby = {0},
  pages = {585-598},
  booktitle = {somet},
}

@inproceedings{FujitaHK07,
  title = {Cognitive Modeling in Software and Relation to Human Emotional Reasoning},
  author = {Hamido Fujita and Jun Hakura and Masaki Kurematsu},
  year = {2007},
  tags = {modeling},
  researchr = {https://researchr.org/publication/FujitaHK07},
  cites = {0},
  citedby = {0},
  pages = {145-165},
  booktitle = {somet},
}

@inproceedings{KurematsuOKHF08,
  title = {An Emotion Estimation from Human Speech Using Speech Recognition and Speech Synthesize},
  author = {Masaki Kurematsu and Marina Ohashi and Orimi Kinosita and Jun Hakura and Hamido Fujita},
  year = {2008},
  researchr = {https://researchr.org/publication/KurematsuOKHF08},
  cites = {0},
  citedby = {0},
  pages = {278-289},
  booktitle = {somet},
}

@article{AraiF03,
  title = {Mathematical structure model for Word-Based Program},
  author = {Osamu Arai and Hamido Fujita},
  year = {2003},
  doi = {10.1016/j.knosys.2003.08.006},
  url = {http://dx.doi.org/10.1016/j.knosys.2003.08.006},
  tags = {rule-based},
  researchr = {https://researchr.org/publication/AraiF03},
  cites = {0},
  citedby = {0},
  journal = {kbs},
  volume = {16},
  number = {7-8},
  pages = {399-411},
}

@article{Fujita09,
  title = {Special issue on  Intelligent Software Design },
  author = {Hamido Fujita},
  year = {2009},
  doi = {10.1016/j.knosys.2008.08.001},
  url = {http://dx.doi.org/10.1016/j.knosys.2008.08.001},
  tags = {design},
  researchr = {https://researchr.org/publication/Fujita09},
  cites = {0},
  citedby = {0},
  journal = {kbs},
  volume = {22},
  number = {3},
  pages = {129-131},
}

@inproceedings{GorlatchKFTFA06,
  title = {Towards Developing Adjustable Software: A Case Study with the Lyee Approach},
  author = {Sergei Gorlatch and Tae Kameda and Hamido Fujita and Michiru Tanaka and Yutaka Funyu and Osamu Arai},
  year = {2006},
  tags = {case study, systematic-approach},
  researchr = {https://researchr.org/publication/GorlatchKFTFA06},
  cites = {0},
  citedby = {0},
  pages = {423-438},
  booktitle = {somet},
}

@article{IsamotoMMCFT05,
  title = {Self-assembly technique for MEMS vertical comb electrostatic actuator},
  author = {K. Isamoto and T. Makino and A. Moroswa and C. Chong and Hamido Fujita and H. Toshiyoshi},
  year = {2005},
  doi = {10.1587/elex.2.311},
  url = {http://dx.doi.org/10.1587/elex.2.311},
  tags = {C++},
  researchr = {https://researchr.org/publication/IsamotoMMCFT05},
  cites = {0},
  citedby = {0},
  journal = {ieiceee},
  volume = {2},
  number = {9},
  pages = {311-315},
}

@inproceedings{NegoroF06,
  title = {Theory on Software Diagnosis for Program Code Validation},
  author = {Fumio Negoro and Hamido Fujita},
  year = {2006},
  researchr = {https://researchr.org/publication/NegoroF06},
  cites = {0},
  citedby = {0},
  pages = {245-271},
  booktitle = {somet},
}

@inproceedings{WatanobeMYMF09,
  title = {Filmification of Methods: Representation of Particle-In-Cell Algorithms},
  author = {Yutaka Watanobe and Victor E. Malyshkin and Rentaro Yoshioka and Nikolay N. Mirenkov and Hamido Fujita},
  year = {2009},
  doi = {10.1007/978-3-642-03275-2_36},
  url = {http://dx.doi.org/10.1007/978-3-642-03275-2_36},
  researchr = {https://researchr.org/publication/WatanobeMYMF09},
  cites = {0},
  citedby = {0},
  pages = {360-376},
  booktitle = {pact},
}

@inproceedings{GorlatchGPRF08,
  title = {User-Oriented Software Development for Real-Time Online Applications},
  author = {Sergei Gorlatch and Frank Glinka and Alexander Ploss and Allaithy Raed and Hamido Fujita},
  year = {2008},
  researchr = {https://researchr.org/publication/GorlatchGPRF08},
  cites = {0},
  citedby = {0},
  pages = {339-360},
  booktitle = {somet},
}

@inproceedings{KtariMGF05,
  title = {LyeeBuilder},
  author = {Béchir Ktari and Mohamed Mejri and Daniel Godbout and Hamido Fujita},
  year = {2005},
  researchr = {https://researchr.org/publication/KtariMGF05},
  cites = {0},
  citedby = {0},
  pages = {83-99},
  booktitle = {somet},
}

@inproceedings{KamedaAGF09,
  title = {Towards a Verification-Based Development Approach for Reactive Systems},
  author = {Tae Kameda and Osamu Arai and Sergei Gorlatch and Hamido Fujita},
  year = {2009},
  doi = {10.3233/978-1-60750-049-0-350},
  url = {http://dx.doi.org/10.3233/978-1-60750-049-0-350},
  tags = {rule-based, systematic-approach},
  researchr = {https://researchr.org/publication/KamedaAGF09},
  cites = {0},
  citedby = {0},
  pages = {350-363},
  booktitle = {somet},
}

@article{FujitaMK04,
  title = {A process algebra to formalize the Lyee methodology},
  author = {Hamido Fujita and Mohamed Mejri and Béchir Ktari},
  year = {2004},
  doi = {10.1016/j.knosys.2004.07.006},
  url = {http://dx.doi.org/10.1016/j.knosys.2004.07.006},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/FujitaMK04},
  cites = {0},
  citedby = {0},
  journal = {kbs},
  volume = {17},
  number = {5-6},
  pages = {263-281},
}

@inproceedings{FujitaHK09-1,
  title = {Virtual Medical Doctor Interaction Based on Transactional Analysis},
  author = {Hamido Fujita and Jun Hakura and Masaki Kurematsu},
  year = {2009},
  doi = {10.3233/978-1-60750-049-0-503},
  url = {http://dx.doi.org/10.3233/978-1-60750-049-0-503},
  tags = {rule-based, analysis},
  researchr = {https://researchr.org/publication/FujitaHK09-1},
  cites = {0},
  citedby = {0},
  pages = {503-517},
  booktitle = {somet},
}

@article{Fujita07,
  title = {Special issue on  techniques to produce Intelligent_Secure software },
  author = {Hamido Fujita},
  year = {2007},
  doi = {10.1016/j.knosys.2007.05.001},
  url = {http://dx.doi.org/10.1016/j.knosys.2007.05.001},
  researchr = {https://researchr.org/publication/Fujita07},
  cites = {0},
  citedby = {0},
  journal = {kbs},
  volume = {20},
  number = {7},
  pages = {614-616},
}

@inproceedings{HakuraCKF08,
  title = {An Automatic Facial Expression Recognition Method Using Situational Information - A Classification of User Profiles as Situational Information},
  author = {Jun Hakura and Shigekazu Chida and Masaki Kurematsu and Hamido Fujita},
  year = {2008},
  tags = {classification, user profiling},
  researchr = {https://researchr.org/publication/HakuraCKF08},
  cites = {0},
  citedby = {0},
  pages = {290-306},
  booktitle = {somet},
}

@inproceedings{AraiF07,
  title = {New Verification of Reactive Requirement for Lyee Method},
  author = {Osamu Arai and Hamido Fujita},
  year = {2007},
  researchr = {https://researchr.org/publication/AraiF07},
  cites = {0},
  citedby = {0},
  pages = {225-238},
  booktitle = {somet},
}

@article{KtariFMG07,
  title = {Toward a new software development environment},
  author = {Béchir Ktari and Hamido Fujita and Mohamed Mejri and Daniel Godbout},
  year = {2007},
  doi = {10.1016/j.knosys.2007.05.006},
  url = {http://dx.doi.org/10.1016/j.knosys.2007.05.006},
  tags = {meta-model, model-driven development, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/KtariFMG07},
  cites = {0},
  citedby = {0},
  journal = {kbs},
  volume = {20},
  number = {7},
  pages = {683-693},
}

@inproceedings{MechriLMFF07,
  title = {Automatic Enforcement of Security in Computer Networks},
  author = {T. Mechri and Mahjoub Langar and Mohamed Mejri and Hamido Fujita and Yutaka Funyu},
  year = {2007},
  tags = {security},
  researchr = {https://researchr.org/publication/MechriLMFF07},
  cites = {0},
  citedby = {0},
  pages = {200-222},
  booktitle = {somet},
}

@inproceedings{BrownBRFN03,
  title = {Generalizing WYSIWYT visual testing to screen transition languages},
  author = {Darren Brown and Margaret M. Burnett and Gregg Rothermel and Hamido Fujita and Fumio Negoro},
  year = {2003},
  tags = {testing},
  researchr = {https://researchr.org/publication/BrownBRFN03},
  cites = {0},
  citedby = {0},
  pages = {203-210},
  booktitle = {vl},
}
@proceedings{somet:2006,
  title = {New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2006, October 25-27, 2006, Quebec, Canada},
  year = {2006},
  researchr = {https://researchr.org/publication/somet%3A2006},
  cites = {0},
  citedby = {0},
  booktitle = {New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2006, October 25-27, 2006, Quebec, Canada},
  conference = {somet},
  editor = {Hamido Fujita and Mohamed Mejri},
  volume = {147},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  isbn = {978-1-58603-673-7},
}

@proceedings{somet-2009,
  title = {New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eighth SoMeT 2009, September 23-25, 2009, Prague, Czech Republic},
  year = {2009},
  researchr = {https://researchr.org/publication/somet-2009},
  cites = {0},
  citedby = {0},
  booktitle = {New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eighth SoMeT 2009, September 23-25, 2009, Prague, Czech Republic},
  conference = {somet},
  editor = {Hamido Fujita and Vladimír Marík},
  volume = {199},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  isbn = {978-1-60750-049-0},
}

@proceedings{somet:2008,
  title = {New Trends in Software Methodologies, Tools and Techniques - Proceedings of the seventh SoMeT 2008, October 15-17,2008, Sharjah, United Arab Emirates},
  year = {2008},
  researchr = {https://researchr.org/publication/somet%3A2008},
  cites = {0},
  citedby = {0},
  booktitle = {New Trends in Software Methodologies, Tools and Techniques - Proceedings of the seventh SoMeT 2008, October 15-17,2008, Sharjah, United Arab Emirates},
  conference = {somet},
  editor = {Hamido Fujita and Imran A. Zualkernan},
  volume = {182},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  isbn = {978-1-58603-916-5},
}

@proceedings{somet:2005,
  title = {New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2005, September 28-30, 2005, Tokyo, Japan},
  year = {2005},
  researchr = {https://researchr.org/publication/somet%3A2005},
  cites = {0},
  citedby = {0},
  booktitle = {New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Fifth SoMeT 2005, September 28-30, 2005, Tokyo, Japan},
  conference = {somet},
  editor = {Hamido Fujita and Mohamed Mejri},
  volume = {129},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
}

@proceedings{somet:2007,
  title = {New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Sixth SoMeT 2007, November 7-9, 2007, Rome, Italy},
  year = {2007},
  researchr = {https://researchr.org/publication/somet%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Sixth SoMeT 2007, November 7-9, 2007, Rome, Italy},
  conference = {somet},
  editor = {Hamido Fujita and Domenico M. Pisanelli},
  volume = {161},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  isbn = {978-1-58603-794-9},
}