BibTeX records: Naoya Nitta

download as .bib file

@inproceedings{DBLP:conf/facs2/NittaKF23,
  author       = {Naoya Nitta and
                  Shinji Kageyama and
                  Kouta Fujii},
  editor       = {Javier C{\'{a}}mara and
                  Sung{-}Shik Jongmans},
  title        = {A Formal Web Services Architecture Model for Changing {PUSH/PULL}
                  Data Transfer},
  booktitle    = {Formal Aspects of Component Software - 19th International Conference,
                  {FACS} 2023, Virtual Event, October 19-20, 2023, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14485},
  pages        = {65--83},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-52183-6\_4},
  doi          = {10.1007/978-3-031-52183-6\_4},
  timestamp    = {Thu, 18 Jan 2024 08:27:17 +0100},
  biburl       = {https://dblp.org/rec/conf/facs2/NittaKF23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bwcca/SerizawaOOYSNNB22,
  author       = {Ayumi Serizawa and
                  Ryosuke Okudera and
                  Yumo Ouchi and
                  Mizuho Yoshihira and
                  Yuya Shiomi and
                  Naoya Nitta and
                  Masataka Nakahara and
                  Akira Baba and
                  Yutaka Miyake and
                  Tetsushi Ohki and
                  Masakatsu Nishigaki},
  editor       = {Leonard Barolli},
  title        = {Improving Palmprint-Region Estimation for ID-Less Palmprint Recognition},
  booktitle    = {Advances on Broad-Band Wireless Computing, Communication and Applications
                  - Proceedings of the 17th International Conference on Broad-Band Wireless
                  Computing, Communication and Applications (BWCCA-2022), Tirana, Albania,
                  27-29 October 2022},
  series       = {Lecture Notes in Networks and Systems},
  volume       = {570},
  pages        = {125--136},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20029-8\_12},
  doi          = {10.1007/978-3-031-20029-8\_12},
  timestamp    = {Thu, 20 Oct 2022 11:20:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bwcca/SerizawaOOYSNNB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/YoshihiraSOOSNN22,
  author       = {Mizuho Yoshihira and
                  Ayumi Serizawa and
                  Ryosuke Okudera and
                  Yumo Ouchi and
                  Yuya Shiomi and
                  Naoya Nitta and
                  Masataka Nakahara and
                  Akira Baba and
                  Yutaka Miyake and
                  Tetsushi Ohki and
                  Masakatsu Nishigaki},
  editor       = {Abbas Moallem},
  title        = {Improving Rank-N Identification Rate of Palmprint Identification Using
                  Permutation-Based Indexing},
  booktitle    = {{HCI} for Cybersecurity, Privacy and Trust - 4th International Conference,
                  {HCI-CPT} 2022, Held as Part of the 24th {HCI} International Conference,
                  {HCII} 2022, Virtual Event, June 26 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13333},
  pages        = {78--93},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-05563-8\_6},
  doi          = {10.1007/978-3-031-05563-8\_6},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/YoshihiraSOOSNN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/HongoN21,
  author       = {Aki Hongo and
                  Naoya Nitta},
  title        = {Towards a Dynamic Visualization of Complex Reverse-Engineered Object
                  Collaboration},
  booktitle    = {28th Asia-Pacific Software Engineering Conference, {APSEC} 2021, Taipei,
                  Taiwan, December 6-9, 2021},
  pages        = {568--569},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/APSEC53868.2021.00071},
  doi          = {10.1109/APSEC53868.2021.00071},
  timestamp    = {Wed, 23 Feb 2022 18:55:47 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/HongoN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/KandeN21,
  author       = {Narumasa Kande and
                  Naoya Nitta},
  title        = {A Method to Comprehend Feature Dependencies Based on Semi-Static Structures},
  booktitle    = {{IEEE} International Conference on Software Maintenance and Evolution,
                  {ICSME} 2021, Luxembourg, September 27 - October 1, 2021},
  pages        = {148--158},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICSME52107.2021.00020},
  doi          = {10.1109/ICSME52107.2021.00020},
  timestamp    = {Mon, 29 Nov 2021 16:15:48 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/KandeN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgda/KumeSNN19,
  author       = {Izuru Kume and
                  Etsuya Shibayama and
                  Masahide Nakamura and
                  Naoya Nitta},
  title        = {Cutting Java Expressions into Lines for Detecting their Evaluation
                  at Runtime},
  booktitle    = {Proceedings of the 2019 2nd International Conference on Geoinformatics
                  and Data Analysis, {ICGDA} 2019, Prague, Czech Republic, March 15-17,
                  2019},
  pages        = {37--46},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3318236.3318259},
  doi          = {10.1145/3318236.3318259},
  timestamp    = {Fri, 13 Aug 2021 11:43:54 +0200},
  biburl       = {https://dblp.org/rec/conf/icgda/KumeSNN19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/KumeNN18,
  author       = {Izuru Kume and
                  Masahide Nakamura and
                  Naoya Nitta},
  title        = {Revealing Implicit Correspondence between Bytecode Instructions and
                  Expressions Determined by Java Compilers},
  booktitle    = {25th Australasian Software Engineering Conference, {ASWEC} 2018, Adelaide,
                  Australia, November 26-30, 2018},
  pages        = {126--130},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ASWEC.2018.00025},
  doi          = {10.1109/ASWEC.2018.00025},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aswec/KumeNN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csii/KumeNNS17,
  author       = {Izuru Kume and
                  Masahide Nakamura and
                  Naoya Nitta and
                  Etsuya Shibayama},
  title        = {Analyzing Execution Traces of Failed Programs for Materializing Chain
                  of Infection},
  booktitle    = {5th International Conference on Applied Computing and Information
                  Technology, 4th International Conference on Computational Science/Intelligence
                  and Applied Informatics, 2nd International Conference on Big Data,
                  Cloud Computing, Data Science {\&} Engineering, {ACIT/CSII/BCD}
                  2017, Hamamatsu, Japan, July 9-13, 2017},
  pages        = {333--339},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ACIT-CSII-BCD.2017.68},
  doi          = {10.1109/ACIT-CSII-BCD.2017.68},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/csii/KumeNNS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/FujiokaN17,
  author       = {Daiki Fujioka and
                  Naoya Nitta},
  title        = {Constraints Based Approach to Interactive Feature Location},
  booktitle    = {2017 {IEEE} International Conference on Software Maintenance and Evolution,
                  {ICSME} 2017, Shanghai, China, September 17-22, 2017},
  pages        = {499--503},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICSME.2017.55},
  doi          = {10.1109/ICSME.2017.55},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/FujiokaN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/Nitta17,
  author       = {Naoya Nitta},
  editor       = {Teruhisa Hochin and
                  Hiroaki Hirata and
                  Hiroki Nomiya},
  title        = {Experiences of debugger-based architecture comprehension},
  booktitle    = {18th {IEEE/ACIS} International Conference on Software Engineering,
                  Artificial Intelligence, Networking and Parallel/Distributed Computing,
                  {SNPD} 2017, Kanazawa, Japan, June 26-28, 2017},
  pages        = {471--476},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/SNPD.2017.8022764},
  doi          = {10.1109/SNPD.2017.8022764},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snpd/Nitta17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/Nitta16,
  author       = {Naoya Nitta},
  title        = {A formal approach for guiding architecture design with data constraints},
  booktitle    = {15th {IEEE/ACIS} International Conference on Computer and Information
                  Science, {ICIS} 2016, Okayama, Japan, June 26-29, 2016},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICIS.2016.7550874},
  doi          = {10.1109/ICIS.2016.7550874},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ACISicis/Nitta16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/TakahashiN16,
  author       = {Yusuke Takahashi and
                  Naoya Nitta},
  title        = {Composite Refactoring for Decoupling Multiple Classes},
  booktitle    = {{IEEE} 23rd International Conference on Software Analysis, Evolution,
                  and Reengineering, {SANER} 2016, Suita, Osaka, Japan, March 14-18,
                  2016 - Volume 1},
  pages        = {594--598},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SANER.2016.54},
  doi          = {10.1109/SANER.2016.54},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wcre/TakahashiN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsinnov/KumeNNS15,
  author       = {Izuru Kume and
                  Masahide Nakamura and
                  Naoya Nitta and
                  Etsuya Shibayama},
  title        = {A Case Study of Dynamic Analysis to Locate Unexpected Side Effects
                  Inside of Frameworks},
  journal      = {Int. J. Softw. Innov.},
  volume       = {3},
  number       = {3},
  pages        = {26--40},
  year         = {2015},
  url          = {https://doi.org/10.4018/IJSI.2015070103},
  doi          = {10.4018/IJSI.2015070103},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijsinnov/KumeNNS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/NittaM15,
  author       = {Naoya Nitta and
                  Tomohiro Matsuoka},
  editor       = {Rainer Koschke and
                  Jens Krinke and
                  Martin P. Robillard},
  title        = {Delta extraction: An abstraction technique to comprehend why two objects
                  could be related},
  booktitle    = {2015 {IEEE} International Conference on Software Maintenance and Evolution,
                  {ICSME} 2015, Bremen, Germany, September 29 - October 1, 2015},
  pages        = {61--70},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICSM.2015.7332452},
  doi          = {10.1109/ICSM.2015.7332452},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/NittaM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/NittaKT14,
  author       = {Naoya Nitta and
                  Izuru Kume and
                  Yasuhiro Takemura},
  editor       = {Richard E. Jones},
  title        = {Identifying Mandatory Code for Framework Use via a Single Application
                  Trace},
  booktitle    = {{ECOOP} 2014 - Object-Oriented Programming - 28th European Conference,
                  Uppsala, Sweden, July 28 - August 1, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8586},
  pages        = {593--617},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-44202-9\_24},
  doi          = {10.1007/978-3-662-44202-9\_24},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/NittaKT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/KumeNNS14,
  author       = {Izuru Kume and
                  Naoya Nitta and
                  Masahide Nakamura and
                  Etsuya Shibayama},
  editor       = {Yookun Cho and
                  Sung Y. Shin and
                  Sang{-}Wook Kim and
                  Chih{-}Cheng Hung and
                  Jiman Hong},
  title        = {A dynamic analysis technique to extract symptoms that suggest side
                  effects in framework applications},
  booktitle    = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
                  Korea - March 24 - 28, 2014},
  pages        = {1176--1178},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2554850.2555123},
  doi          = {10.1145/2554850.2555123},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/KumeNNS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/KumeNNS14,
  author       = {Izuru Kume and
                  Masahide Nakamura and
                  Naoya Nitta and
                  Etsuya Shibayama},
  title        = {Toward a dynamic analysis technique to locate framework misuses that
                  cause unexpected side effects},
  booktitle    = {15th {IEEE/ACIS} International Conference on Software Engineering,
                  Artificial Intelligence, Networking and Parallel/Distributed Computing,
                  {SNPD} 2014, Las Vegas, NV, USA, June 30 - July 2, 2014},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/SNPD.2014.6888730},
  doi          = {10.1109/SNPD.2014.6888730},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snpd/KumeNNS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/NittaKT13,
  author       = {Naoya Nitta and
                  Izuru Kume and
                  Yasuhiro Takemura},
  editor       = {Pornsiri Muenchaisri and
                  Gregg Rothermel},
  title        = {A Method for Early Detection of Mismatches between Framework Architecture
                  and Execution Scenarios},
  booktitle    = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi,
                  Bangkok, Thailand, December 2-5, 2013 - Volume 1},
  pages        = {517--522},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/APSEC.2013.74},
  doi          = {10.1109/APSEC.2013.74},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/NittaKT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/KumeNNS13,
  author       = {Izuru Kume and
                  Masahide Nakamura and
                  Naoya Nitta and
                  Etsuya Shibayama},
  title        = {A Feature Model of Framework Applications},
  booktitle    = {14th {ACIS} International Conference on Software Engineering, Artificial
                  Intelligence, Networking and Parallel/Distributed Computing, {SNPD}
                  2013, Honolulu, Hawaii, USA, 1-3 July, 2013},
  pages        = {511--516},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/SNPD.2013.14},
  doi          = {10.1109/SNPD.2013.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snpd/KumeNNS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/TsukamotoTNN12,
  author       = {Hidekuni Tsukamoto and
                  Yasuhiro Takemura and
                  Hideo Nagumo and
                  Naoya Nitta},
  editor       = {Richard J. LeBlanc and
                  Ann E. K. Sobel},
  title        = {Work in progress: Analysis of the relationship between teaching contents
                  and motivation in programming education},
  booktitle    = {{IEEE} Frontiers in Education Conference, {FIE} 2012, Seattle, WA,
                  USA, October 3-6, 2012},
  pages        = {1--2},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/FIE.2012.6462408},
  doi          = {10.1109/FIE.2012.6462408},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fie/TsukamotoTNN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalt/TsukamotoNTN12,
  author       = {Hidekuni Tsukamoto and
                  Hideo Nagumo and
                  Yasuhiro Takemura and
                  Naoya Nitta},
  editor       = {Carlo Giovannella and
                  Demetrios G. Sampson and
                  Ignacio Aedo},
  title        = {Change of Students' Motivation in an Introductory Programming Course
                  for Non-computing Majors},
  booktitle    = {12th {IEEE} International Conference on Advanced Learning Technologies,
                  {ICALT} 2012, Rome, Italy, July 4-6, 2012},
  pages        = {124--125},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICALT.2012.38},
  doi          = {10.1109/ICALT.2012.38},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icalt/TsukamotoNTN12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imt/NittaS06,
  author       = {Naoya Nitta and
                  Hiroyuki Seki},
  title        = {{LTL} Model Checking for Extended Pushdown Systems with Regular Tree
                  Valuations},
  journal      = {Inf. Media Technol.},
  volume       = {1},
  number       = {2},
  pages        = {712--729},
  year         = {2006},
  url          = {https://doi.org/10.11185/imt.1.712},
  doi          = {10.11185/IMT.1.712},
  timestamp    = {Mon, 26 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/imt/NittaS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icce/KumeNT06,
  author       = {Izuru Kume and
                  Naoya Nitta and
                  Yasuhiro Takemura},
  editor       = {Riichiro Mizoguchi and
                  Pierre Dillenbourg and
                  Zhiting Zhu},
  title        = {A Method for Creating Teaching Materials of Practical Object-Oriented
                  Methods Education},
  booktitle    = {Learning by Effective Utilization of Technologies: Facilitating Intercultural
                  Understanding, Proceeding of the 14th International Conference on
                  Computers in Education, {ICCE} 2006, November 30 - December 4, 2006,
                  Beijing, China},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {151},
  pages        = {75--78},
  publisher    = {{IOS} Press},
  year         = {2006},
  url          = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=2239},
  timestamp    = {Wed, 14 Mar 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icce/KumeNT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/KuninobuTNS05,
  author       = {Shigeta Kuninobu and
                  Yoshiaki Takata and
                  Naoya Nitta and
                  Hiroyuki Seki},
  title        = {Policy Controlled System and Its Model Checking},
  journal      = {{IEICE} Trans. Inf. Syst.},
  volume       = {88-D},
  number       = {7},
  pages        = {1685--1696},
  year         = {2005},
  url          = {https://doi.org/10.1093/ietisy/e88-d.7.1685},
  doi          = {10.1093/IETISY/E88-D.7.1685},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/KuninobuTNS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/WangNS05,
  author       = {Jing Wang and
                  Naoya Nitta and
                  Hiroyuki Seki},
  title        = {An Efficient Method for Optimal Probe Deployment of Distributed {IDS}},
  journal      = {{IEICE} Trans. Inf. Syst.},
  volume       = {88-D},
  number       = {8},
  pages        = {1948--1957},
  year         = {2005},
  url          = {https://doi.org/10.1093/ietisy/e88-d.8.1948},
  doi          = {10.1093/IETISY/E88-D.8.1948},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/WangNS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/NittaS03,
  author       = {Naoya Nitta and
                  Hiroyuki Seki},
  editor       = {Roberto M. Amadio and
                  Denis Lugiez},
  title        = {An Extension of Pushdown System and Its Model Checking Method},
  booktitle    = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
                  Marseille, France, September 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2761},
  pages        = {278--292},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45187-7\_19},
  doi          = {10.1007/978-3-540-45187-7\_19},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/NittaS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/NittaTS01,
  author       = {Naoya Nitta and
                  Yoshiaki Takata and
                  Hiroyuki Seki},
  editor       = {Michael K. Reiter and
                  Pierangela Samarati},
  title        = {An efficient security verification method for programs with stack
                  inspection},
  booktitle    = {{CCS} 2001, Proceedings of the 8th {ACM} Conference on Computer and
                  Communications Security, Philadelphia, Pennsylvania, USA, November
                  6-8, 2001},
  pages        = {68--77},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/501983.501994},
  doi          = {10.1145/501983.501994},
  timestamp    = {Tue, 10 Nov 2020 20:00:35 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/NittaTS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sacmat/NittaST01,
  author       = {Naoya Nitta and
                  Hiroyuki Seki and
                  Yoshiaki Takata},
  editor       = {Ravi S. Sandhu and
                  Trent Jaeger},
  title        = {Security verification of programs with stack inspection},
  booktitle    = {6th {ACM} Symposium on Access Control Models and Technologies, {SACMAT}
                  2001, Litton-TASC, Chantilly, Virginia, USA, May 3-4, 2001},
  pages        = {31--40},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/373256.373260},
  doi          = {10.1145/373256.373260},
  timestamp    = {Tue, 09 Feb 2021 08:50:30 +0100},
  biburl       = {https://dblp.org/rec/conf/sacmat/NittaST01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}