default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Takaaki Tateishi
@inproceedings{DBLP:conf/kes/MasudaTT23,
author = {Satoshi Masuda and
Takaaki Tateishi and
Toshihiro Takahashi},
editor = {George A. Tsihrintzis and
Carlos Toro and
Sebasti{\'{a}}n A. R{\'{\i}}os and
Robert J. Howlett and
Lakhmi C. Jain},
title = {Datetime Feature Recommendation Using Textual Information},
booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems:
Proceedings of the 27th International Conference KES-2023, Athens,
Greece, 6-8 September 2023},
series = {Procedia Computer Science},
volume = {225},
pages = {617--625},
publisher = {Elsevier},
year = {2023},
url = {https://doi.org/10.1016/j.procs.2023.10.047},
doi = {10.1016/J.PROCS.2023.10.047},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kes/MasudaTT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/Mihindukulasooriya23,
author = {Nandana Mihindukulasooriya and
Sarthak Dash and
Sugato Bagchi and
Md. Faisal Mahbub Chowdhury and
Alfio Massimiliano Gliozzo and
Ariel Farkash and
Michael R. Glass and
Igor Gokhman and
Oktie Hassanzadeh and
Nhan Pham and
Gaetano Rossiello and
Boris Rozenberg and
Yehoshua Sagron and
Dharmashankar Subramanian and
Toshihiro Takahashi and
Takaaki Tateishi and
Long Vu},
editor = {Irini Fundulaki and
Kouji Kozaki and
Daniel Garijo and
Jos{\'{e}} Manu{\'{e}}l G{\'{o}}mez{-}P{\'{e}}rez},
title = {Unleashing the Potential of Data Lakes with Semantic Enrichment Using
Foundation Models},
booktitle = {Proceedings of the {ISWC} 2023 Posters, Demos and Industry Tracks:
From Novel Ideas to Industrial Practice co-located with 22nd International
Semantic Web Conference {(ISWC} 2023), Athens, Greece, November 6-10,
2023},
series = {{CEUR} Workshop Proceedings},
volume = {3632},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3632/ISWC2023\_paper\_513.pdf},
timestamp = {Wed, 07 Feb 2024 16:02:39 +0100},
biburl = {https://dblp.org/rec/conf/semweb/Mihindukulasooriya23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-18385,
author = {Toshihiro Takahashi and
Takaaki Tateishi and
Michiaki Tatsubori},
title = {Matching of Descriptive Labels to Glossary Descriptions},
journal = {CoRR},
volume = {abs/2310.18385},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.18385},
doi = {10.48550/ARXIV.2310.18385},
eprinttype = {arXiv},
eprint = {2310.18385},
timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-18385.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SrinivasTWKSTWA22,
author = {Kavitha Srinivas and
Takaaki Tateishi and
Daniel Karl I. Weidele and
Udayan Khurana and
Horst Samulowitz and
Toshihiro Takahashi and
Dakuo Wang and
Lisa Amini},
title = {Semantic Feature Discovery with Code Mining and Semantic Type Detection},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {13224--13226},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i11.21735},
doi = {10.1609/AAAI.V36I11.21735},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SrinivasTWKSTWA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/TateishiYSS19,
author = {Takaaki Tateishi and
Sachiko Yoshihama and
Naoto Sato and
Shin Saito},
title = {Automatic smart contract generation using controlled natural language
and template},
journal = {{IBM} J. Res. Dev.},
volume = {63},
number = {2/3},
pages = {6:1--6:12},
year = {2019},
url = {https://doi.org/10.1147/JRD.2019.2900643},
doi = {10.1147/JRD.2019.2900643},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ibmrd/TateishiYSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ithings/SatoTA18,
author = {Naoto Sato and
Takaaki Tateishi and
Shunichi Amano},
title = {Formal Requirement Enforcement on Smart Contracts Based on Linear
Dynamic Logic},
booktitle = {{IEEE} International Conference on Internet of Things (iThings) and
{IEEE} Green Computing and Communications (GreenCom) and {IEEE} Cyber,
Physical and Social Computing (CPSCom) and {IEEE} Smart Data (SmartData),
iThings/GreenCom/CPSCom/SmartData 2018, Halifax, NS, Canada, July
30 - August 3, 2018},
pages = {945--954},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/Cybermatics\_2018.2018.00181},
doi = {10.1109/CYBERMATICS\_2018.2018.00181},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/ithings/SatoTA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jip/Tateishi16,
author = {Takaaki Tateishi},
title = {Editor's Meesage to Special Issue on Software Engineering},
journal = {J. Inf. Process.},
volume = {24},
number = {2},
pages = {255},
year = {2016},
url = {https://doi.org/10.2197/ipsjjip.24.255},
doi = {10.2197/IPSJJIP.24.255},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jip/Tateishi16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/TateishiPT13,
author = {Takaaki Tateishi and
Marco Pistoia and
Omer Tripp},
title = {Path- and index-sensitive string analysis based on monadic second-order
logic},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {22},
number = {4},
pages = {33:1--33:33},
year = {2013},
url = {https://doi.org/10.1145/2522920.2522926},
doi = {10.1145/2522920.2522926},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/TateishiPT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/JoukovTOPCPT11,
author = {Nikolai Joukov and
Vasily Tarasov and
Joel Ossher and
Birgit Pfitzmann and
Sergej Chicherin and
Marco Pistoia and
Takaaki Tateishi},
editor = {Nazim Agoulmine and
Claudio Bartolini and
Tom Pfeifer and
Declan O'Sullivan},
title = {Static discovery and remediation of code-embedded resource dependencies},
booktitle = {Proceedings of the 12th {IFIP/IEEE} International Symposium on Integrated
Network Management, {IM} 2011, Dublin, Ireland, 23-27 May 2011},
pages = {233--240},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/INM.2011.5990696},
doi = {10.1109/INM.2011.5990696},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/im/JoukovTOPCPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/TateishiPT11,
author = {Takaaki Tateishi and
Marco Pistoia and
Omer Tripp},
editor = {Matthew B. Dwyer and
Frank Tip},
title = {Path- and index-sensitive string analysis based on monadic second-order
logic},
booktitle = {Proceedings of the 20th International Symposium on Software Testing
and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
pages = {166--176},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2001420.2001441},
doi = {10.1145/2001420.2001441},
timestamp = {Tue, 29 Dec 2020 18:31:45 +0100},
biburl = {https://dblp.org/rec/conf/issta/TateishiPT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/YoshihamaTTM09,
author = {Sachiko Yoshihama and
Takaaki Tateishi and
Naoshi Tabuchi and
Tsutomu Matsumoto},
title = {Information-Flow-Based Access Control for Web Browsers},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {92-D},
number = {5},
pages = {836--850},
year = {2009},
url = {https://doi.org/10.1587/transinf.E92.D.836},
doi = {10.1587/TRANSINF.E92.D.836},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/YoshihamaTTM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GeayPTRD09,
author = {Emmanuel Geay and
Marco Pistoia and
Takaaki Tateishi and
Barbara G. Ryder and
Julian Dolby},
title = {Modular string-sensitive permission analysis with demand-driven precision},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Proceedings},
pages = {177--187},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE.2009.5070519},
doi = {10.1109/ICSE.2009.5070519},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GeayPTRD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/TateishiT07,
author = {Takaaki Tateishi and
Naoshi Tabuchi},
title = {Secure Behavior of Web Browsers to Prevent Information Leakages},
booktitle = {14th Asia-Pacific Software Engineering Conference {(APSEC} 2007),
5-7 December 2007, Nagoya, Japan},
pages = {65--72},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/APSEC.2007.82},
doi = {10.1109/APSEC.2007.82},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/apsec/TateishiT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KoganeyamaTT07,
author = {Mika Koganeyama and
Naoshi Tabuchi and
Takaaki Tateishi},
title = {Reducing Unnecessary Conservativeness in Access Rights Analysis with
String Analysis},
booktitle = {14th Asia-Pacific Software Engineering Conference {(APSEC} 2007),
5-7 December 2007, Nagoya, Japan},
pages = {438--445},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/APSEC.2007.80},
doi = {10.1109/APSEC.2007.80},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/KoganeyamaTT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/TateishiMNSO07,
author = {Takaaki Tateishi and
Hisashi Miyashita and
Naoshi Tabuchi and
Shin Saito and
Kouichi Ono},
editor = {Constantine Stephanidis},
title = {{DHTML} Accessibility Checking Based on Static JavaScript Analysis},
booktitle = {Universal Access in Human-Computer Interaction. Applications and Services,
4th International Conference on Universal Access in Human-Computer
Interaction, {UAHCI} 2007 Held as Part of {HCI} International 2007
Beijing, China, July 22-27, 2007 Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {4556},
pages = {167--176},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73283-9\_20},
doi = {10.1007/978-3-540-73283-9\_20},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/hci/TateishiMNSO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/OnoNST07,
author = {Kouichi Ono and
Yuichi Nakamura and
Fumiko Satoh and
Takaaki Tateishi},
title = {Verifying the Consistency of Security Policies by Abstracting into
Security Types},
booktitle = {2007 {IEEE} International Conference on Web Services {(ICWS} 2007),
July 9-13, 2007, Salt Lake City, Utah, {USA}},
pages = {497--504},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICWS.2007.187},
doi = {10.1109/ICWS.2007.187},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/OnoNST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/TateishiMOS06,
author = {Takaaki Tateishi and
Hisashi Miyashita and
Kouichi Ono and
Shin Saito},
title = {Automated Verification Tool for {DHTML}},
booktitle = {21st {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
pages = {363--364},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ASE.2006.21},
doi = {10.1109/ASE.2006.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/TateishiMOS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/AokiTK01,
author = {Toshiaki Aoki and
Takaaki Tateishi and
Takuya Katayama},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {An Axiomatic Formalization of {UML} Models},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {13--28},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30860},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/AokiTK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 23:02 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
